Order, norming faces, and symmetries of Tursi's Banach lattice

Let L be Tursi’s separable universal homogeneous real Banach lattice. The set of decreasing positive sequences with infimum zero is coanalytic complete, even for sequences of components of one fixed quasi-interior vector, providing a fixed-lattice coanalytic-complete example for the decreasing-order-complexity question raised in Tursi’s 2024 survey. This gives a negative answer to the 2024 question of Avilés, Rosendal, Taylor, and Tradacete whether every separable Banach lattice belongs to their countable Fatou hierarchy. Unrestricted sequential order convergence has the exact complete complexity coA(Pi^1_1), the dual of one Souslin operation on coanalytic sets. We classify quasi-interior positive vectors by their norming Choquet simplices and answer Tursi’s documented 2021 automorphism-group universality question affirmatively. We prove universality of embedding orbits for every nonzero separable domain and of automorphism conjugacy, and establish concentration, lifting, and representation results for pointwise face kernels. Further results describe generic embedding orbits, ideals, and finite-dimensional approximate disposition.

GitHub repository: https://github.com/eulogica/tursi-banach-lattice