arxiv: 2604.27841 · v1 · submitted 2026-04-30 · 🧮 math.FA

Recognition: unknown

On the free Banach lattice generated by a lattice

Asma Ben Rjeb , Pedro Tradacete

Authors on Pith no claims yet

Pith reviewed 2026-05-07 05:36 UTC · model grok-4.3

classification 🧮 math.FA

keywords free Banach latticedistributive latticestrong unitdensity characterorder denseprojection bandsquasi-interior pointsopposite lattice

0 comments

The pith

The free Banach lattice FBL generated by a distributive lattice L is lattice isometric to the one generated by its opposite lattice L^op.

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

The paper examines structural features of the free Banach lattice FBL generated by a distributive lattice L. It characterizes when this space has a strong unit, determines its density character, and measures the density character of its order intervals. The authors also identify when the free vector lattice FVL is order dense inside FBL and describe projection bands, quasi-interior points, and the Banach lattice homomorphisms that arise from lattice homomorphisms out of L. A central conclusion is that FBL of L is always lattice isometric to FBL of the opposite lattice, establishing a reversal symmetry in the construction.

Core claim

For any distributive lattice L the free Banach lattice FBL⟨L⟩ is lattice isometric to FBL⟨L^op⟩. The authors characterize the existence of a strong unit in FBL⟨L⟩, compute its density character, and determine the density character of its order intervals. They further determine the conditions under which the free vector lattice FVL⟨L⟩ is order dense in FBL⟨L⟩ and study projection bands, quasi-interior points, and the Banach lattice homomorphisms induced by lattice homomorphisms from L.

What carries the argument

The free Banach lattice FBL⟨L⟩ generated by the distributive lattice L, serving as the universal Banach lattice into which L embeds via a lattice homomorphism that preserves the order structure.

If this is right

Existence of a strong unit in FBL⟨L⟩ is equivalent to a concrete condition on the underlying lattice L.
The density character of FBL⟨L⟩ and of its order intervals is determined directly from cardinal invariants of L.
FVL⟨L⟩ sits order dense in FBL⟨L⟩ precisely when L satisfies a stated order-theoretic criterion.
Projection bands and quasi-interior points of FBL⟨L⟩ correspond to specific subsets or elements of L.
Every lattice homomorphism from L to another lattice extends to a Banach lattice homomorphism between the corresponding free objects.

Where Pith is reading between the lines

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

The isometry implies that any property of FBL⟨L⟩ proved without reference to the direction of the order can be transferred immediately to FBL⟨L^op⟩.
For finite or countable lattices the isometry can be checked by direct norm computation on the generators.
The symmetry may simplify classification problems for free Banach lattices by allowing one to assume without loss that L satisfies an additional order condition such as being bounded above.
Results on projection bands or quasi-interior points may combine with the isometry to produce new examples of Banach lattices with prescribed band structure.

Load-bearing premise

The lattice L is distributive, which is required for the free Banach lattice FBL⟨L⟩ to be defined with its standard universal mapping properties.

What would settle it

A concrete distributive lattice L together with an explicit computation showing that the norm or order structure of FBL⟨L⟩ differs from that of FBL⟨L^op⟩ in a manner preventing lattice isometry.

read the original abstract

We study structural properties of the free Banach lattice $FBL\langle L\rangle$ generated by a distributive lattice $L$. We characterize when $FBL\langle L\rangle$ has a strong unit, compute its density character, analyze the density character of order intervals and study when is $FVL\langle L\rangle$ order dense in $FBL\langle L\rangle$. We also study projection bands, quasi-interior points, and Banach lattice homomorphisms induced by lattice homomorphisms. Finally, we show that $FBL\langle L\rangle$ is lattice isometric to $FBL\langle L^{\mathrm{op}}\rangle$, where $L^{\mathrm{op}}$ denotes the opposite lattice.

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.

Desk Editor's Note private letter to a colleague

The paper gives explicit characterizations of units and densities for the free Banach lattice over a distributive lattice, plus a clean isometry with the version over the opposite lattice.

read the letter

The main thing to know is that the authors characterize when FBL has a strong unit, compute its density character and that of its order intervals, check order density of the free vector lattice inside it, and prove that FBL is lattice isometric to FBL via an explicit norm built from suprema over homomorphisms into [0,1]. The isometry swaps the order while preserving joins and meets, and the supporting calculations on bands and points are symmetric under reversal. Distributivity of L is used throughout in the expected way to keep the universal property intact. The stress-test on the isometry proof found no unsupported steps, so the central argument holds up on its own terms. These concrete descriptions are the useful part; they turn abstract universal properties into something you can actually compute or compare in examples. The rest of the paper fills in standard structural facts about projection bands and induced homomorphisms without overclaiming. The work stays squarely inside the distributive setting, which is necessary, and the advances are incremental rather than foundational. No major gaps show up in the outline or the verified proof sketch, but the results do not suggest immediate uses outside this corner of Banach lattice theory. Specialists who already work with free objects or need density calculations will get direct value from the explicit formulas and the symmetry. A broader functional analysis reader might only need the isometry theorem. The paper is coherent and formally grounded enough to deserve a serious referee, even if revisions will be needed on exposition or minor extensions. I would send it to peer review.

Referee Report

0 major / 3 minor

Summary. The manuscript studies structural properties of the free Banach lattice FBL⟨L⟩ generated by a distributive lattice L. It characterizes the existence of strong units, computes the density character of FBL⟨L⟩ and of its order intervals, determines when the free vector lattice FVL⟨L⟩ is order dense in FBL⟨L⟩, analyzes projection bands and quasi-interior points, examines Banach lattice homomorphisms induced by lattice homomorphisms, and proves that FBL⟨L⟩ is lattice isometric to FBL⟨L^op⟩.

Significance. If the claims hold, the work provides useful characterizations and explicit constructions in the theory of free Banach lattices, including a symmetry result under order reversal that follows from the norm definition via suprema over lattice homomorphisms into [0,1]. The reliance on standard definitions without ad-hoc parameters or circular constructions, together with the uniform use of distributivity to preserve the universal property, strengthens the contribution to Banach lattice theory.

minor comments (3)

Abstract: the notation FVL⟨L⟩ appears without prior definition or reference; a parenthetical clarification that it denotes the free vector lattice would improve immediate readability.
The section computing density characters: while the arguments are symmetric under order reversal, an explicit low-dimensional example (e.g., L a finite chain) would make the formulas for density character and order-interval density more concrete and easier to verify.
The final theorem on lattice isometry with L^op: the proof sketch via swapping order and reverse order in the norm definition is clear, but a brief remark on how the isometry interacts with the projection bands studied earlier would strengthen the narrative flow.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our manuscript and for recommending minor revision. The referee's description accurately captures the main results on the free Banach lattice FBL⟨L⟩ generated by a distributive lattice L, including characterizations of strong units, density characters, order density of FVL⟨L⟩, projection bands, quasi-interior points, induced homomorphisms, and the lattice isometry with FBL⟨L^op⟩. As no major comments appear in the report, we have no specific points requiring rebuttal at this stage and will address any minor editorial suggestions in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained from standard definitions

full rationale

The paper defines the free Banach lattice FBL⟨L⟩ via the standard universal property for distributive lattices L, using an explicit norm given by suprema over lattice homomorphisms into [0,1]. The central isometry result FBL⟨L⟩ ≅ FBL⟨L^op⟩ is obtained by constructing a linear isometry that interchanges the roles of the order and its reverse while preserving the lattice operations; this construction is symmetric under order reversal and relies only on the uniform use of distributivity to verify the universal property in both cases. No step reduces a claimed prediction or theorem to a fitted parameter, a self-citation chain, or a renaming of an input quantity. All supporting results on density character, order intervals, projection bands, and induced homomorphisms are derived directly from the norm definition and lattice-theoretic identities without circular dependence on the final isometry. The work is therefore self-contained against external benchmarks in Banach lattice theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on the standard categorical definition of the free Banach lattice generated by a distributive lattice and basic properties of Banach spaces and lattices. No new free parameters, ad hoc axioms, or invented entities are introduced.

axioms (2)

domain assumption Existence and universal property of the free Banach lattice FBL⟨L⟩ for distributive lattice L
Invoked throughout as the object under study; standard in the literature on free objects in Banach lattice categories.
domain assumption Distributivity of L
Required for the free construction to satisfy the expected lattice properties.

pith-pipeline@v0.9.0 · 5404 in / 1555 out tokens · 68263 ms · 2026-05-07T05:36:15.757499+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

24 extracted references · 3 canonical work pages · 1 internal anchor

[1]

Avil´ es, G

A. Avil´ es, G. Mart´ ınez-Cervantes, J. D. Rodr´ ıguez Abell´ an,On projective Banach lattices of the formC(K)andFBL[E]. J. Math. Anal. Appl.489(2020), no. 1, 124129

2020
[2]

Avil´ es, G

A. Avil´ es, G. Mart´ ınez-Cervantes, J. D. Rodr´ ıguez Abell´ an, A. Rueda Zoca,Free Banach lattices generated by a lattice and projectivity. Proc. Amer. Math. Soc.150(2022), no. 5, 2071–2082

2022
[3]

Avil´ es, G

A. Avil´ es, G. Mart´ ınez-Cervantes, J. D. Rodr´ ıguez Abell´ an, A. Rueda Zoca,Lattice embed- dings in free Banach lattices over lattices. Math. Inequal. Appl.25(2022), no. 2, 495–509

2022
[4]

Avil´ es, G

A. Avil´ es, G. Plebanek, J. D. Rodr´ ıguez Abell´ an,Chain conditions in free Banach lattices. J. Math. Anal. Appl.465(2018), no. 2, 1223–1229

2018
[5]

Avil´ es, J

A. Avil´ es, J. D. Rodr´ ıguez Abell´ an,The free Banach lattice generated by a lattice. Positivity 23(2019), 581–597

2019
[6]

Avil´ es, J

A. Avil´ es, J. D. Rodr´ ıguez Abell´ an,Projectivity of the free Banach lattice generated by a lattice. Arch. Math.113(2019), no. 5, 515–524

2019
[7]

Avil´ es, J

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

2018
[8]

Azouzi, A

Y. Azouzi, A. Ben Rjeb, P. Tradacete,The strong Nakano property in Banach lattices. Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat.119(2025), article no. 99

2025
[9]

Azouzi, W

Y. Azouzi, W. Dhifaoui,Order denseness in free Banach lattices. Preprint, arXiv:2508.11648, 2025. 20 A. BEN RJEB AND P. TRADACETE

work page arXiv 2025
[10]

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

1968
[11]

Bilokopytov, E

E. Bilokopytov, E. Garc´ ıa-S´ anchez, D. de Hevia, G. Mart´ ınez-Cervantes, P. Tradacete, Norm-attaining lattice homomorphisms and renormings of Banach lattices. J. Funct. Anal. 290(2026), no. 4, article no. 111250

2026
[12]

Dantas, G

S. Dantas, G. Mart´ ınez-Cervantes, J. D. Rodr´ ıguez Abell´ an, A. Rueda Zoca,Octahedral norms in free Banach lattices. Rev. R. Acad. Cienc. Exactas F´ ıs. Nat. Ser. A Mat. RACSAM 115(2021), article no. 6

2021
[13]

B. A. Davey, H. A. Priestley,Introduction to lattices and order. Cambridge University Press, New York, 2002

2002
[14]

de Hevia, P

D. de Hevia, P. Tradacete,Free complex Banach lattices. J. Funct. Anal.284(2023), no. 10, article no. 109888

2023
[15]

de Jeu, X

M. de Jeu, X. Jiang,Free Banach lattices over pre-ordered Banach spaces. J. Math. Anal. Appl. (2026), article no. 130706, in press

2026
[16]

de Pagter, A

B. de Pagter, A. W. Wickstead,Free and projective Banach lattices. Proc. Roy. Soc. Edin- burgh Sect. A145(2015), no. 1, 105–143

2015
[17]

Garc´ ıa-S´ anchez, D

E. Garc´ ıa-S´ anchez, D. H. Leung, M. A. Taylor, P. Tradacete,Banach lattices with upper p-estimates: free and injective objects. Math. Ann.391(2025), 3363–3398

2025
[18]

Garc´ ıa-S´ anchez, P

E. Garc´ ıa-S´ anchez, P. Tradacete,Free dual spaces and free Banach lattices. J. Math. Anal. Appl.532(2024), no. 2, article no. 127931

2024
[19]

Jard´ on-S´ anchez, N

H. Jard´ on-S´ anchez, N. J. Laustsen, M. A. Taylor, P. Tradacete, V. G. Troitsky,Free Banach lattices under convexity conditions. Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 116(2022), article no. 15

2022
[20]

Meyer-Nieberg,Banach lattices

P. Meyer-Nieberg,Banach lattices. Universitext, Springer-Verlag, Berlin, 1991

1991
[21]

Free Banach $f$-algebras

D. Mu˜ noz-Lahoz, P. Tradacete,Free Banachf-algebras. Preprint, arXiv:2511.13299, 2025

work page internal anchor Pith review Pith/arXiv arXiv 2025
[22]

Oikhberg,Geometry of unit balls of free Banach lattices, and its applications

T. Oikhberg,Geometry of unit balls of free Banach lattices, and its applications. J. Funct. Anal.286(2024), no. 8, article no. 110351

2024
[23]

Oikhberg, M

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

2024
[24]

Salguero-Alarc´ on, P

A. Salguero-Alarc´ on, P. Tradacete, N. Trejo-Arroyo,Free quasi-Banach lattices. Preprint, arXiv:2512.05273, 2025. Preparatory institute for engineering studies Nabeul, Research Laboratory of Algebra, Topology, Arithmetic, and Order, Department of Mathematics, Fac- ulty of Mathematical, Physical and Natural Sciences of Tunis, Tunis-El Manar University, 20...

work page arXiv 2025