pith. sign in

arxiv: 2408.06630 · v3 · submitted 2024-08-13 · 🧮 math.FA

Free Banach lattices over pre-ordered Banach spaces

Marcel de Jeu , Xingni Jiang This is my paper

Pith reviewed 2026-05-23 22:32 UTC · model grok-4.3

classification 🧮 math.FA
keywords free Banach latticespre-ordered Banach spacesbipositive embeddingsclosed normal conesp-convex Banach latticespositive contractionsfunction latticesvector lattices
0
0 comments X

The pith

The positive contraction from a pre-ordered Banach space into its free Banach lattice is a bipositive embedding with closed range if and only if the positive wedge is a closed normal cone.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs free Banach lattices over pre-ordered Banach spaces inside categories of Banach lattices with fixed convexity type. It shows that the natural positive contraction map from the original space to this free lattice is injective or bipositive under explicit conditions on the ordering. The map forms a bipositive embedding with closed range exactly when the positive wedge of the space is a closed normal cone. The authors also realize the norm on the free p-convex lattice with constant 1 as a function lattice on the positive part of the dual unit ball and give preparatory characterizations of p-convexity via lattice homomorphisms into L_p spaces.

Core claim

The central claim is that the canonical positive contraction from a pre-ordered Banach space into its free Banach lattice of given convexity type is a bipositive embedding with closed range if and only if the positive wedge of the space is a closed normal cone. This equivalence remains valid even when the domain space is already a Banach lattice, though the embedding need not then be isometric. The result follows from the existence of free vector lattices over pre-ordered vector spaces, and the paper supplies an explicit function-space description of the norm in the p-convex case with constant one.

What carries the argument

The positive contraction map from the pre-ordered Banach space into the free Banach lattice of prescribed convexity type, which determines the embedding and range properties.

If this is right

  • If the positive wedge fails to be a closed normal cone, the contraction map cannot be a bipositive closed embedding.
  • The free lattice may exist but will lose either injectivity on the positive cone or closedness of the image.
  • In the p-convex case with constant one the norm admits a concrete representation by functions on the positive dual unit ball.
  • p-convex Banach lattices admit characterizations as lattices of homomorphisms into L_p spaces over probability measures.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The closed-normal-cone condition may serve as a test for when free objects in other ordered categories remain faithful embeddings.
  • The dual-ball function representation could be used to compute explicit norms or distances in concrete pre-ordered spaces.
  • The preparatory homomorphisms into L_p spaces might extend to give similar representations for other convexity types.

Load-bearing premise

Free vector lattices over pre-ordered vector spaces exist and can be used to construct the corresponding Banach-lattice versions.

What would settle it

Exhibit a pre-ordered Banach space whose positive wedge is not a closed normal cone yet whose positive contraction into the free lattice is still a bipositive map with closed range.

read the original abstract

We study free Banach lattices over pre-ordered Banach spaces in the category of Banach lattices of a given convexity type. These generalise the free Banach lattices under convexity conditions over Banach spaces in the literature. Their existence is shown from the existence of free vector lattices over pre-ordered vector spaces, which are also investigated. We determine when the positive contraction from the pre-ordered Banach space into the free Banach lattice is injective or bipositive, and when it has closed range. It is a bipositive embedding with closed range if and only if the positive wedge of the space is a closed normal cone. Even for a Banach lattice it can be non-isometric. By analysing the norm of the free $p$-convex Banach lattice with convexity constant 1 over a pre-ordered Banach space, it becomes clear that it can be realised as a function lattice on the positive part of the dual unit ball. This generalises the known realisation for a free Banach lattice of that type over a Banach space. As a preparation for this analysis of the norm, characterisations of $p$-convex Banach lattices in terms of vector lattice homomorphisms into $\mathrm{L}_p(\mu)$-spaces for probability measures $\mu$ are given.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript establishes existence of free Banach lattices over pre-ordered Banach spaces within the category of p-convex Banach lattices (with convexity constant 1), by reduction to the existence of free vector lattices over pre-ordered vector spaces (which the authors also investigate). It determines conditions under which the canonical positive contraction is injective, bipositive, or has closed range, proving that it is a bipositive embedding with closed range if and only if the positive wedge is a closed normal cone. The work further realizes the free p-convex Banach lattice as a function lattice on the positive part of the dual unit ball and supplies characterizations of p-convexity via lattice homomorphisms into L_p(μ) spaces.

Significance. If the derivations hold, the results meaningfully extend the existing theory of free Banach lattices (previously limited to Banach spaces) to the pre-ordered setting, supplying an explicit iff criterion for closed-range bipositive embeddings and a concrete function-space realization that generalizes known constructions. The preparatory characterizations of p-convex lattices via L_p homomorphisms are also of independent interest for ordered functional analysis.

minor comments (3)
  1. [Introduction / §2] The reduction to free vector lattices over pre-ordered vector spaces is invoked as a black box in the existence proof; a brief self-contained sketch or explicit reference to the precise statement used would strengthen the argument flow.
  2. [§4] In the norm analysis leading to the realization on the dual unit ball, the precise role of the convexity constant 1 versus general constants should be stated explicitly when passing from the vector-lattice free object to the Banach-lattice completion.
  3. [Throughout] Notation for the canonical map (positive contraction) and the free object itself varies slightly between the abstract and the body; a single consistent symbol throughout would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No major comments were listed in the report, so there are no specific points requiring response or revision.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper proves existence of free Banach lattices over pre-ordered Banach spaces by direct investigation of the underlying free vector lattices over pre-ordered vector spaces, then derives the bipositive closed-range embedding characterization (iff the positive wedge is a closed normal cone) and the p-convex realization on the dual unit ball via standard lattice-homomorphism arguments into L_p spaces. No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-definition, or load-bearing self-citation chain; the central claims are established from the given category-theoretic constructions and norm analysis without circular reduction to inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The paper relies on standard results from the theory of vector lattices and Banach spaces; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

pith-pipeline@v0.9.0 · 5736 in / 1038 out tokens · 26346 ms · 2026-05-23T22:32:55.728996+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

  1. [1]

    Adámek, H

    J. Adámek, H. Herrlich, and G.E. Strecker, Abstract and concrete categories: the joy of cats, Repr. Theory Appl. Categ.17 (2006), 1–507. Reprint of the 1990 original [Wiley , New York]

    work page 2006

  2. [2]

    Albiac and N.J

    F . Albiac and N.J. Kalton,Topics in Banach space theory, Graduate Texts in Mathematics, vol. 233, Springer, New York, 2006

    work page 2006

  3. [3]

    Aliprantis and O

    C.D. Aliprantis and O. Burkinshaw, Positive operators, Springer, Dordrecht, 2006. Reprint of the 1985 original

    work page 2006

  4. [4]

    Aliprantis and R

    C.D. Aliprantis and R. Tourky, Cones and duality, Graduate Studies in Mathematics, vol. 84, American Mathematical Society , Providence, RI, 2007

    work page 2007

  5. [5]

    Avilés, J

    A. Avilés, J. Rodríguez, and P . Tradacete,The free Banach lattice generated by a Banach space, J. Funct. Anal. 274 (2018), no. 10, 2955–2977

    work page 2018

  6. [6]

    Baker, Free vector lattices, Canadian J

    K.A. Baker, Free vector lattices, Canadian J. Math. 20 (1968), 58–66

    work page 1968

  7. [7]

    Birkhoff, Lattice-ordered groups, Ann

    G. Birkhoff, Lattice-ordered groups, Ann. of Math. (2) 43 (1942), 298–331

    work page 1942

  8. [8]

    Bleier, Free vector lattices, Trans

    R.D. Bleier, Free vector lattices, Trans. Amer. Math. Soc.176 (1973), 73–87

    work page 1973

  9. [9]

    Ordered Structures with Applications in Economics and Finance

    M. de Jeu, Free vector lattices over vector spaces as function lattices. Preprint, 2020. To appear in Birkhauser’s Trends in Mathematics series in “Ordered Structures with Applications in Economics and Finance” (M.A. Ben Amor and B.A. Watson, Eds.); proceedings of the online “Conference on Ordered Structures with Applications in Economy and Finance”, May 3–7,

    work page 2020

  10. [10]

    Available at https://arxiv.org/pdf/2005.01978.pdf

    work page arXiv 2005

  11. [11]

    de Jeu, Free vector lattices and free vector lattice algebras, Positivity and its applications, Birkhäuser/Springer, Cham, 2021, pp

    M. de Jeu, Free vector lattices and free vector lattice algebras, Positivity and its applications, Birkhäuser/Springer, Cham, 2021, pp. 103–139. Proceedings of the Positivity X conference, 8–12 July 2019, Pretoria, South Africa

    work page 2021

  12. [12]

    de Jeu and M

    M. de Jeu and M. Messerschmidt, A strong open mapping theorem for surjections from cones onto Banach spaces, Adv. Math. 259 (2014), 43–66

    work page 2014

  13. [13]

    de Pagter and A.W

    B. de Pagter and A.W . Wickstead,Free and projective Banach lattices, Proc. Roy . Soc. Edinburgh Sect. A 145 (2015), no. 1, 105–143. FREE BANACH LATTICES 35

    work page 2015

  14. [14]

    Dixmier, C∗-algebras, North-Holland Mathematical Library, vol

    J. Dixmier, C∗-algebras, North-Holland Mathematical Library, vol. 15, North-Holland Pub- lishing Co., Amsterdam-New York-Oxford, 1977

    work page 1977

  15. [15]

    Jacobson, Basic algebra

    N. Jacobson, Basic algebra. II, Second edition, W .H. Freeman and Company , New York, 1989

    work page 1989

  16. [16]

    Jardón-Sánchez, N.J

    H. Jardón-Sánchez, N.J. Laustsen, M.A. Taylor, P . Tradacete, and V .G. Troitsky,Free Banach lattices under convexity conditions, Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 116 (2022), no. 1, Paper No. 15

    work page 2022

  17. [17]

    Laustsen and V .G

    N.J. Laustsen and V .G. Troitsky,Vector lattices admitting a positively homogeneous continuous function calculus, Q. J. Math. 71 (2020), no. 1, 281–294

    work page 2020

  18. [18]

    Lindenstrauss and L

    J. Lindenstrauss and L. Tzafriri, Classical Banach spaces. II. Function spaces, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 97, Springer-Verlag, Berlin-New York, 1979

    work page 1979

  19. [19]

    Oikhberg, M.A

    T . Oikhberg, M.A. Taylor, P . Tradacete, and V .G. Troitsky,Free Banach lattices, J. Eur. Math. Soc. (2024), published online first

    work page 2024

  20. [20]

    Rudin,Functional analysis, Second edition, International Series in Pure and Applied Mathematics, McGraw-Hill, Inc., New York, 1991

    W . Rudin,Functional analysis, Second edition, International Series in Pure and Applied Mathematics, McGraw-Hill, Inc., New York, 1991

    work page 1991

  21. [21]

    Troitsky,Simple constructions of FBL(A) and FBL[E], Positivity 23 (2019), no

    V .G. Troitsky,Simple constructions of FBL(A) and FBL[E], Positivity 23 (2019), no. 5, 1173– 1178

    work page 2019

  22. [22]

    van Amstel,Applications of direct and inverse limits in analysis , Ph.D

    W . van Amstel,Applications of direct and inverse limits in analysis , Ph.D. Thesis, Pretoria, 2023

    work page 2023

  23. [23]

    Weinberg, Free lattice-ordered abelian groups, Math

    E.C. Weinberg, Free lattice-ordered abelian groups, Math. Ann. 151 (1963), 187–199. (Marcel de Jeu) MATHEMATICAL INSTITUTE , L EIDEN UNIVERSITY , P .O. BOX 9512, 2300 RA LEIDEN , THE NETHERLANDS , AND, DEPARTMENT OF MATHEMATICS AND APPLIED MATHEMATICS , UNIVERSITY OF PRETORIA , CORNER OF LYNNWOOD ROAD AND ROPER STREET, HATFIELD 0083, PRETORIA , SOUTH AFRI...

    work page 1963