Banach lattices with upper $p$-estimates: free and injective objects
Authors:
E. García-Sánchez,
D. H. Leung,
M. A. Taylor,
P. Tradacete
Abstract:
We study the free Banach lattice $FBL^{(p,\infty)}[E]$ with upper $p$-estimates generated by a Banach space $E$. Using a classical result of Pisier on factorization through $L^{p,\infty}(μ)$ together with a finite dimensional reduction, it is shown that the spaces $\ell^{p,\infty}(n)$ witness the universal property of $FBL^{(p,\infty)}[E]$ isomorphically. As a consequence, we obtain a functional r…
▽ More
We study the free Banach lattice $FBL^{(p,\infty)}[E]$ with upper $p$-estimates generated by a Banach space $E$. Using a classical result of Pisier on factorization through $L^{p,\infty}(μ)$ together with a finite dimensional reduction, it is shown that the spaces $\ell^{p,\infty}(n)$ witness the universal property of $FBL^{(p,\infty)}[E]$ isomorphically. As a consequence, we obtain a functional representation for $FBL^{(p,\infty)}[E]$. More generally, our proof allows us to identify the norm of any free Banach lattice over $E$ associated with a rearrangement invariant function space.
After obtaining the above functional representation, we take the first steps towards analyzing the fine structure of $FBL^{(p,\infty)}[E]$. Notably, we prove that the norm for $FBL^{(p,\infty)}[E]$ cannot be isometrically witnessed by $L^{p,\infty}(μ)$ and settle the question of characterizing when an embedding between Banach spaces extends to a lattice embedding between the corresponding free Banach lattices with upper $p$-estimates. To prove this latter result, we introduce a novel push-out argument, which when combined with the injectivity of $\ell^p$ allows us to give an alternative proof of the subspace problem for free $p$-convex Banach lattices. On the other hand, we prove that $\ell^{p,\infty}$ is not injective in the class of Banach lattices with upper $p$-estimates, elucidating one of many difficulties arising in the study of $FBL^{(p,\infty)}[E]$.
△ Less
Submitted 29 February, 2024;
originally announced February 2024.
Free objects in Banach space theory
Authors:
Enrique García-Sánchez,
David de Hevia,
Pedro Tradacete
Abstract:
We survey recent progress on three relevant instances of free objects related to Banach spaces: Lipschitz free spaces generated by metric spaces, holomorphic free spaces generated by open sets and free Banach lattices generated by Banach spaces. Our emphasis will be on the parallelisms among these developments.
We survey recent progress on three relevant instances of free objects related to Banach spaces: Lipschitz free spaces generated by metric spaces, holomorphic free spaces generated by open sets and free Banach lattices generated by Banach spaces. Our emphasis will be on the parallelisms among these developments.
△ Less
Submitted 14 September, 2023; v1 submitted 21 February, 2023;
originally announced February 2023.
Free dual spaces and free Banach lattices
Authors:
Enrique García-Sánchez,
Pedro Tradacete
Abstract:
The relation between the free Banach lattice generated by a Banach space and free dual spaces is clarified. In particular, it is shown that for every Banach space $E$ the free $p$-convex Banach lattice generated by $E^{**}$, denoted $FBL^p[E^{**}]$, admits a canonical isometric lattice embedding into $FBL^p[E]^{**}$ and $FBL^p[E^{**}]$ is lattice finitely representable in $FBL^p[E]$. Moreover, we…
▽ More
The relation between the free Banach lattice generated by a Banach space and free dual spaces is clarified. In particular, it is shown that for every Banach space $E$ the free $p$-convex Banach lattice generated by $E^{**}$, denoted $FBL^p[E^{**}]$, admits a canonical isometric lattice embedding into $FBL^p[E]^{**}$ and $FBL^p[E^{**}]$ is lattice finitely representable in $FBL^p[E]$. Moreover, we also show that for $p>1$, $FBL^p[E]^{**}$ can actually be considered as the free dual $p$-convex Banach lattice generated by $E$, whereas for $p=1$ this happens precisely when $E$ does not contain complemented copies of $\ell_1$.
△ Less
Submitted 7 July, 2023; v1 submitted 17 October, 2022;
originally announced October 2022.