Linear versus lattice embeddings between Banach lattices

Antonio Avilés,Gonzalo Martínez-Cervantes,Abraham Rueda Zoca,Pedro Tradacete
DOI: https://doi.org/10.48550/arXiv.2109.00832
2021-09-02
Abstract:A well-known classical result states that $c_0$ is linearly embeddable in a Banach lattice if and only if it is lattice embeddable. Improving results of H.P.~Lotz, H.P.~Rosenthal and N.~Ghoussoub, we prove that $C[0,1]$ shares this property with $c_0$. Furthermore, we show that any infinite-dimensional sublattice of $C[0,1]$ is either lattice isomorphic to $c_0$ or contains a sublattice isomorphic to $C[0,1]$. As a consequence, it is proved that for a separable Banach lattice $X$ the following conditions are equivalent: (1) $X$ is linearly embeddable in a Banach lattice if and only if it is lattice embeddable; (2) $X$ is lattice embeddable into $C[0,1]$.
Functional Analysis
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine which Banach lattices, when embedded as subspaces in any Banach lattice, can also be embedded as sublattices. Specifically, the main contribution of the paper lies in proving that the Banach lattice \(C[0, 1]\) has the same property as \(c_0\), that is, the Banach lattice \(C[0, 1]\) is linearly embedded in a Banach lattice if and only if it is embedded as a sublattice in that Banach lattice. ### Main Results 1. **Theorem A**: - **Statement**: The Banach lattice \(C[0, 1]\) is linearly embedded in a Banach lattice if and only if it is embedded as a sublattice in that Banach lattice. - **Significance**: This result extends the known similar properties of \(c_0\) and provides a new example, indicating that certain Banach lattices must also be embedded as sublattices when embedded as subspaces. 2. **Theorem B**: - **Statement**: For a separable Banach lattice \(X\), the following conditions are equivalent: 1. \(X\) is linearly embedded in a Banach lattice if and only if it is embedded as a sublattice in that Banach lattice. 2. \(X\) is embedded as a sublattice in \(C[0, 1]\). - **Significance**: This result provides a complete characterization of separable Banach lattices, such that these lattices must also be embedded as sublattices when embedded as subspaces. 3. **Theorem C**: - **Statement**: An infinite - dimensional sublattice of \(C[0, 1]\) is either isomorphic to the \(c_0\) lattice or contains a sublattice isomorphic to the \(C[0, 1]\) lattice. - **Significance**: This result provides an important tool for further research on the structure of Banach lattices. ### Key Techniques - **Projectivity**: The paper utilizes the projectivity of \(C[0, 1]\), which is the key to proving Theorem A. - **Lattice Homomorphisms**: By constructing appropriate lattice homomorphisms, the paper shows how to deduce lattice embeddings from linear embeddings. - **Sublattices and Quotients**: The paper analyzes in detail the properties of sublattices and quotient lattices, especially the sublattice structure in \(C[0, 1]\). ### Applications and Further Research - **Non - separable Banach Lattices**: The paper raises some open questions, such as whether there exists a non - separable Banach lattice \(X\) such that when \(X\) is linearly embedded in a Banach lattice, it must also be embedded as a sublattice. - **C(K) Spaces**: For \(C(K)\) spaces, the paper gives a characterization, that is, \(C(K)\) is embedded as a sublattice in \(C[0, 1]\) if and only if \(K\) is the disjoint union of a finite number of Peano compact spaces. In conclusion, through in - depth research on the embedding properties of \(C[0, 1]\), this paper provides new insights and tools for understanding the relationship between the linear structure and the lattice structure of Banach lattices.