Linear versus lattice embeddings between Banach lattices (Q2161311): Difference between revisions

It is proved (Theorem A) that \textit{\(C[0,1]\) is linearly embeddable in a Banach lattice \(X\) if and only if it is lattice embeddable in \(X\)}, a property shared by \(c_0\). In combination with Theorem (A) from [\textit{N. Ghoussoub}, Math. Ann. 262, 461--472 (1983; Zbl 0511.46016)] and Theorem 2 from [\textit{H. P. Lotz} and \textit{H. P. Rosenthal}, Isr. J. Math. 31, 169--179 (1978; Zbl 0388.46014)], the following result is then obtained. Corollary 2.4. The following statements are equivalent for a Banach lattice \(X\): \begin{itemize} \item[1.] \(C[0,1]\) is linearly embeddable in \(X\); \item[2.] \(C[0,1]\) is lattice embeddable in \(X\); \item[3.] \(L_1\) is lattice embeddable in \(X^\ast\); \item[4.] \(C(\Delta)^\ast\) is lattice embeddable in \(X^\ast\); \item[5.] There is an order bounded sequence in \(X\) with no weak Cauchy subsequence. \end{itemize} By combining Theorem A with Theorem II.2 in [\textit{N. Ghoussoub} and \textit{W. B. Johnson}, Math. Z. 194, 153--171 (1987; Zbl 0618.46025)] and Theorem 4.69 in [\textit{C. D. Aliprantis} and \textit{O. Burkinshaw}, Positive operators. Reprint of the 1985 original. Berlin: Springer (2006; Zbl 1098.47001)] the authors obtain (Corollary 2.5) that \textit{if \(\ell_1\) linearly embeds in the Banach lattice \(X\), then \(X\) contains \(\ell_1\) or \(C[0,1]\) as a sublattice.} Let us here denote by (\(*\)) the above common property of \(c_0\) and \(C[0,1]\), cf. Theorem~A. The authors ask which Banach lattices have (\(*\)) and solve that problem completely in the separable case (Theorem B): \textit{A separable Banach lattice has \((*)\) exactly when it is lattice embeddable in \(C[0,1]\).} A key ingredient in the proof of Theorem B is the following very interesting result (Theorem C): \textit{An infinite-dimensional closed sublattice of \(C[0,1]\) is either lattice isomorphic to \(c_0\) or it contains a closed sublattice isomorphic to \(C[0,1]\).} The proof of Theorem A is built on results of Lotz, Rosenthal and Ghoussoub in combination with the very recent theory of projective Banach lattices, introduced in [\textit{B. de Pagter} and \textit{A. W. Wickstead}, Proc. R. Soc. Edinb., Sect. A, Math. 145, No. 1, 105--143 (2015; Zbl 1325.46020)], in particular the fact that \(C[0,1]\) is projective.