Classification of injective Banach lattices (Q403860)

An injective Banach lattice is a real Banach lattice \(X\) having the following extension property: For every Banach lattice \(Y\), every closed sublattice \(Y_{0}\) of \(Y\) and every positive linear operator \(T_{0}\in L(Y_{0},X)\), there exists a positive linear operator \(T\in L(Y,X)\) such that \(T|_{Y_{0}}=T_{0}\) and \(\left\| T\right\| =\left\| T_{0}\right\| \). Injective Banach lattices were introduced by \textit{H. P. Lotz} in his paper [Trans. Am. Math. Soc. 211, 85--100 (1975; Zbl 0351.47005)]. The basic examples are the order complete AM-spaces with unit and the AL-spaces. In the paper under review it is shown that every injective Banach lattice can be constructed from these spaces via direct sums and tensor products. On this basis, a complete system of invariants determining an injective Banach lattice up to lattice isometry is obtained. The key ingredient is the Boolean-valued transfer principle, according to which any injective Banach lattice becomes an AL-space under an immersion in a suitable Boolean-valued model.