The free Banach lattice generated by a lattice (Q2321904)

The free Banach lattice generated by a set with no extra structure has been introduced by \textit{B. de Pagter} and \textit{A. W. Wickstead} in [Proc. R. Soc. Edinb., Sect. A, Math. 145, No. 1, 105--143 (2015; Zbl 1325.46020)]. More recently, free Banach lattices generated by a Banach space were introduced by the first author, \textit{J. Rodríguez} and the reviewer in [J. Funct. Anal. 274, No. 10, 2955--2977 (2018; Zbl 1400.46015)]. In this paper, the authors expand the zoo of free Banach lattices by constructing the free Banach lattice generated by a lattice. Recall that a lattice \(\mathbb L\) is a set with operations of supremum \(\vee\) and infimum \(\wedge\) inducing a partial order on the set. Also, a mapping between lattices \(f:\mathbb L_1\rightarrow \mathbb L_2\) is a lattice homomorphism if \(f(x\vee y)=f(x)\vee f(y)\) and \(f(x\wedge y)=f(x)\wedge f(y)\), for every \(x,y\in \mathbb L_1\). The free Banach lattice generated by a lattice \(\mathbb L\) is a Banach lattice \(FBL\langle \mathbb L\rangle\) equipped with a lattice homomorphism \(\phi:\mathbb L\rightarrow FBL\langle \mathbb L\rangle\) such that, for every Banach lattice \(X\) and every bounded lattice homomorphism \(T:\mathbb L\rightarrow X\), there is a unique linear lattice homomorphism \(\hat T:FBL\langle \mathbb L\rangle\rightarrow X\) such that \(T=\hat T\circ \phi\) and, moreover, \(\|\hat T\|=\sup\{\|Tx\|:x\in\mathbb L\}\). In this paper, the authors provide an explicit description of \(FBL\langle \mathbb L\rangle\) and its norm (Theorem 1.2), and show that for a linearly ordered lattice \(\mathbb L\), \(FBL\langle \mathbb L\rangle\) satisfies the countable chain condition if and only if \(\mathbb L\) is order-isomorphic to a subset of the real line (Theorem 5.1). Several other auxiliary results are given. The reader is referred to this interesting paper for details.