The 2-concavification of a Banach lattice equals the diagonal of the Fremlin tensor square (Q360415)

It is well known that the diagonal of the projective tensor product \(\ell_p \otimes_\pi \ell_p\) is isometric to \(\ell_r\) where \(r = \frac{p}{2}\) if \(p \geq 2\) and \(r=1\) if \(1 \leq p \leq 2\). In this paper, the authors extend this result to every Banach lattice \(E\). It turns out that the ``right'' tensor product to study is the Fremlin tensor product \(E \otimes_{|\pi|} E\). The diagonal of \(E \otimes_{|\pi|} E\) is defined as the quotient of \((E \otimes_{|\pi|} E)/I_{oc}\), where \(I_{oc}\) is the closed order ideal generated by the set \(\{(x \otimes y) : x \perp y\}\). The relationship between the diagonal of \(E \otimes_{|\pi|} E\) and the 2-concavification \(E_{(2)}\) of \(E\) is studied. In general, \(\|\cdot\|_{{(2)}}\) is only a lattice semi-norm on \(E_{(2)}\), but taking quotients and completing we get a Banach lattice \(E_{[2]}\) which is shown to be lattice isometric to \((E \otimes_{|\pi|} E)/I_{oc}\). If \(E\) is a discrete Banach lattice, then \(E_{(2)}\) is a normed lattice; even a Banach lattice if \(E\) is 2-convex. It is shown that, if \(E\) is a 2-convex Banach lattice with a basis, then \((E \otimes_{|\pi|} E)/I_{oc}\) is lattice isometric to \(E_{(2)}\). Also, if \(E\) is a Banach lattice with a normalized basis satisfying a lower 2-estimate with constant \(M\), then \((E \otimes_{|\pi|} E)/I_{oc}\) is lattice isomorphic to \(\ell_1\).