Free Banach lattices over pre-ordered Banach spaces

Abstract: We define the free Banach lattice over a pre-ordered Banach space in a category of Banach lattices of a given convexity type, and show its existence. The subsumption of a pre-ordering necessitates an approach that differs fundamentally from the known one for the free Banach lattice over a Banach space under a given convexity condition, which is a special case. The relation between the free vector lattice over a pre-ordered Banach space and the free Banach lattice of a given convexity type over it is made explicit. It is determined when precisely the free Banach lattice has a canonical realisation as a lattice of homogeneous continuous functions on the positive part of the unit ball of the dual space. For free $p$-convex Banach lattices with convexity constant 1 over pre-ordered Banach spaces, realisations as function lattices are obtained that generalise those for free Banach lattices of that type over Banach spaces. A characterisation of $p$-convex Banach lattices in terms of vector lattice homomorphisms into $\mathrm{L}_p$-spaces or into the real numbers is included.