pith. sign in

arxiv: 2604.10624 · v1 · submitted 2026-04-12 · 🧮 math.FA · math.CT· math.OA

Semiprojective Banach lattices

Tomasz Kania , Mariusz Niwi\'nski This is my paper

Pith reviewed 2026-05-10 15:42 UTC · model grok-4.3

classification 🧮 math.FA math.CTmath.OA
keywords semiprojective Banach latticesC(X) spacesabsolute neighbourhood retractslattice homomorphismsinductive limits1+-projectivity
0
0 comments X

The pith

For a compact metric space X, the Banach lattice C(X) is semiprojective exactly when X is an absolute neighbourhood retract.

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

The paper defines semiprojectivity for Banach lattices as the property that every contractive lattice homomorphism lifts through inductive limits of closed ideals while incurring only arbitrarily small norm loss. It proves that this property holds for C(X) if and only if the compact metric space X is an absolute neighbourhood retract. The result is strictly weaker than the analogous statement in C*-algebras because lattice homomorphisms between C(K) spaces are weighted composition operators and impose no commutation relations that must also lift. The paper further shows that semiprojectivity properly contains the stricter notion of 1+-projectivity and that several standard spaces such as Lp for 1 < p < infinity and Orlicz spaces fail the property.

Core claim

The central claim is that C(X) is semiprojective precisely when X is an absolute neighbourhood retract. Lattice homomorphisms are weighted composition operators, so the dimensional restriction that appears in the C*-algebra setting disappears. Uncountable l1-sums of 1+-projective Banach lattices with topological order units are semiprojective yet need not be 1+-projective, while lp, Lp([0,1]) for p in (1, infinity) and Orlicz spaces are not semiprojective.

What carries the argument

Semiprojectivity defined by liftability of contractive lattice homomorphisms through inductive limits of closed ideals with arbitrarily small norm loss.

If this is right

  • Contractive lattice homomorphisms from C(X) lift with controlled norm whenever X is an ANR.
  • Semiprojectivity and 1+-projectivity are distinct in the Banach lattice category.
  • Lp spaces for 1 < p < infinity and Orlicz spaces fail to be semiprojective.
  • The lattice setting permits semiprojectivity for ANRs of any dimension.

Where Pith is reading between the lines

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

  • Analogous characterisations may hold for other families of Banach lattices besides C(X).
  • The lack of commutation constraints suggests lattice categories admit more flexible projective objects than algebraic counterparts.
  • Explicit checks on non-ANR spaces could delineate the exact boundary of the semiprojectivity property.

Load-bearing premise

The definition requires that contractive lattice homomorphisms lift through inductive limits of closed ideals while losing only arbitrarily small norm control.

What would settle it

Exhibit a compact metric space X that is not an absolute neighbourhood retract for which every contractive lattice homomorphism from C(X) lifts through the relevant inductive limits with small norm loss, or an ANR X where the lifts fail.

read the original abstract

We introduce a norm-controlled notion of semiprojectivity for Banach lattices, requiring liftability of contractive lattice homomorphisms through inductive limits of closed ideals with arbitrarily small loss of norm control. Our main result establishes that, for a compact metric space $X$, the Banach lattice $C(X)$ is semiprojective if and only if $X$ is an absolute neighbourhood retract. Notably, this characterisation is strictly more permissive than its $C^*$-algebraic counterpart: by a theorem of S\orensen and Thiel, $C(X)$ is semiprojective in the category of $C^*$-algebras and $*$-homomorphisms if and only if $X$ is an ANR of dimension at most one. The dimensional obstruction disappears in the Banach-lattice setting because lattice homomorphisms between $C(K)$-spaces are automatically weighted composition operators, and therefore no commutation relations need to be lifted. We also show that uncountable $\ell_1$-sums of $1^+$-projective Banach lattices with topological order units are semiprojective but need not be $1^+$-projective, establishing that the two notions are genuinely distinct. On the negative side, we prove that $\ell_p$ and $L_p([0,1])$ for $p \in (1,\infty)$ as well as Orlicz spaces are not semiprojective.

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 paper introduces a norm-controlled notion of semiprojectivity for Banach lattices, requiring that contractive lattice homomorphisms lift through inductive limits of closed ideals with arbitrarily small norm loss. The central theorem states that for a compact metric space X, the Banach lattice C(X) is semiprojective if and only if X is an absolute neighbourhood retract. This is strictly more permissive than the corresponding result in the C*-algebra category (due to Sörensen-Thiel), since lattice homomorphisms between C(K)-spaces are weighted composition operators and thus impose no commutation relations to lift. The paper further shows that uncountable ℓ1-sums of 1+-projective Banach lattices with topological order units are semiprojective but need not be 1+-projective, and proves that ℓp, Lp([0,1]) for p ∈ (1,∞), and Orlicz spaces fail to be semiprojective.

Significance. If the main characterization holds, the work supplies a clean topological criterion for semiprojectivity in the Banach-lattice setting and demonstrates that the lattice category genuinely enlarges the class of semiprojective objects relative to C*-algebras. The explicit separation of semiprojectivity from 1+-projectivity via uncountable sums, together with the negative results for Lp and Orlicz spaces, provides concrete examples that clarify the scope of the new notion. The manuscript ships a self-contained characterization together with distinguishing examples, which strengthens its contribution to the study of lifting properties in ordered Banach spaces.

minor comments (3)
  1. [§1] §1 (Introduction): the definition of semiprojectivity is stated in terms of 'arbitrarily small loss of norm control,' but the precise quantifiers (how the ε depends on the homomorphism and the inductive system) are not made fully explicit until later; a displayed formal definition with all quantifiers at the first appearance would improve readability.
  2. [§4] §4 (negative results): the argument that Lp([0,1]) is not semiprojective relies on the failure of certain lattice homomorphisms to lift; it would be helpful to cite the specific theorem or lemma (e.g., the relevant result on non-existence of lattice homomorphisms with controlled norm) rather than referring only to 'standard facts about Lp spaces.'
  3. Throughout: the abbreviation 'ANR' is used without an initial expansion in the abstract and early sections; adding '(absolute neighbourhood retract)' on first use would aid readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and detailed assessment of our manuscript, including the recognition of the main characterization, the distinction from the C*-algebra setting, and the clarifying examples. We note the recommendation for minor revision, but no specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper defines a norm-controlled semiprojectivity notion for Banach lattices and proves an if-and-only-if characterization for C(X) on compact metric spaces. This rests on external facts about ANRs and the representation of lattice homomorphisms as weighted composition operators (eliminating commutation lifting). No equations, parameters, or self-citations reduce the central claim to its inputs by construction. The distinction from the C*-case and negative results for Lp/Orlicz spaces are consistent external arguments. This is the expected non-finding for a pure characterization theorem.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claim rests on a newly introduced definition of semiprojectivity together with standard facts from topology and Banach lattice theory; no free parameters or invented entities beyond the definition itself are visible in the abstract.

axioms (2)
  • standard math Standard properties of Banach lattices, contractive lattice homomorphisms, and inductive limits of closed ideals
    The definition and main result invoke these background notions without re-deriving them.
  • domain assumption Known topological characterization of absolute neighbourhood retracts for compact metric spaces
    The iff statement equates semiprojectivity to this pre-existing topological property.
invented entities (1)
  • semiprojectivity no independent evidence
    purpose: A norm-controlled lifting property for contractive lattice homomorphisms through ideal inductive limits
    New definition introduced to capture the desired behavior in the lattice category.

pith-pipeline@v0.9.0 · 5547 in / 1351 out tokens · 56871 ms · 2026-05-10T15:42:16.136456+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

19 extracted references · 19 canonical work pages

  1. [1]

    Ad´ amek and J

    J. Ad´ amek and J. Rosick´ y,Locally presentable and accessible categories, London Math. Soc. Lecture Note Ser., vol. 189, Cambridge Univ. Press, Cambridge, 1994

    work page 1994

  2. [2]

    Avil´ es, G

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

    work page 2020

  3. [3]

    Avil´ es, G

    A. Avil´ es, G. Mart´ ınez-Cervantes, and J. D. Rodr´ ıguez Abell´ an,On the Banach latticec0, Rev. Mat. Complut.34(2021), no. 1, 203–213

    work page 2021

  4. [4]

    Avil´ es, G

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

    work page 2022

  5. [5]

    Avil´ es, J

    A. Avil´ es, 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]

    Avil´ es and P

    A. Avil´ es and P. Tradacete,Amalgamation and injectivity in Banach lattices, Int. Math. Res. Not. IMRN 2023, no. 2, 956–997

    work page 2023

  7. [7]

    Blackadar,Shape theory forC ∗-algebras, Math

    B. Blackadar,Shape theory forC ∗-algebras, Math. Scand.56(1985), 249–275

    work page 1985

  8. [8]

    Blackadar,Semiprojectivity: a retrospective, slides from a talk given in Copenhagen, May 2010

    B. Blackadar,Semiprojectivity: a retrospective, slides from a talk given in Copenhagen, May 2010. Avail- able atbruceblackadar.com/Mathematics/copen10b.pdf

    work page 2010

  9. [9]

    Borsuk,Theory of retracts, Monografie Matematyczne, vol

    K. Borsuk,Theory of retracts, Monografie Matematyczne, vol. 44, Pa´ nstwowe Wydawnictwo Naukowe, Warsaw, 1967

    work page 1967

  10. [10]

    Chigogidze and A

    A. Chigogidze and A. N. Dranishnikov,Which compacta are noncommutative ARs?, Topology Appl.157 (2010), no. 4, 774–778

    work page 2010

  11. [11]

    Dantas, G

    S. Dantas, G. Mart´ ınez-Cervantes, J. D. Rodr´ ıguez Abell´ an, and A. Rueda Zoca,Norm-attaining lattice homomorphisms, Rev. Mat. Iberoam.38(2022), no. 3, 981–1002

    work page 2022

  12. [12]

    N. Gao, D. H. Leung, and F. Xanthos,Duality for unbounded order convergence and applications, Positivity 22(2018), no. 3, 711–725

    work page 2018

  13. [13]

    Hanner,Some theorems on absolute neighborhood retracts, Ark

    O. Hanner,Some theorems on absolute neighborhood retracts, Ark. Mat.1(1951), 389–408

    work page 1951

  14. [14]

    de Pagter and A

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

    work page 2015

  15. [15]

    T. A. Loring,Lifting solutions to perturbing problems inC ∗-algebras, Fields Institute Monographs, vol. 8, Amer. Math. Soc., Providence, RI, 1997. SEMIPROJECTIVE BANACH LATTICES 19

    work page 1997

  16. [16]

    Oyetunbi and A

    D. Oyetunbi and A. Tikuisis,Onℓ-openC ∗-algebras andℓ-closedC ∗-algebras, preprint, arXiv:2310.15155

    work page arXiv

  17. [17]

    A. P. W. Sørensen and H. Thiel,A characterization of semiprojectivity for commutativeC ∗-algebras, Proc. Lond. Math. Soc. (3)105(2012), no. 5, 1021–1046

    work page 2012

  18. [18]

    Thiel,Semiprojectivity and semiinjectivity in different categories, Publ

    H. Thiel,Semiprojectivity and semiinjectivity in different categories, Publ. Mat. Urug.17(2019), 263–274

    work page 2019

  19. [19]

    Thiel,Inductive limits of semiprojectiveC ∗-algebras, Adv

    H. Thiel,Inductive limits of semiprojectiveC ∗-algebras, Adv. Math.347(2019), 597–618. Institute of Mathematics, Czech Academy of Sciences, ˇZitn´a 25, 115 67 Prague 1, Czech Republic & Institute of Mathematics, Jagiellonian University, Lojasiewicza 6, 30-348 Krak ´ow, Poland Email address:tomasz.marcin.kania@gmail.com Doctoral School of Exact and Natural...

    work page 2019