pith. sign in

arxiv: 2604.14697 · v2 · submitted 2026-04-16 · 🧮 math.FA · math.OA

Wickstead's conjecture on positive projections and non-representable Banach lattice algebras

David Mu\~noz-Lahoz This is my paper

Pith reviewed 2026-05-10 09:25 UTC · model grok-4.3

classification 🧮 math.FA math.OA
keywords Wickstead conjecturepositive projectionsBanach latticesDedekind completeBanach lattice algebrasregular operatorsfaithful representationscentral operators
0
0 comments X

The pith

Wickstead's conjecture holds in general: for positive projections on Dedekind complete Banach lattices, the largest central operator below the projection must be zero or 1/n times the identity.

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

The paper proves that if P is a positive projection on a Dedekind complete Banach lattice X and the largest central operator below P equals alpha times the identity, then alpha must be either zero or one over a positive integer. This extends the known finite-dimensional case to arbitrary dimension. The result matters because it immediately yields Banach lattice algebras of dimension two that cannot be faithfully represented as regular operators on any Dedekind complete Banach lattice, thereby settling an open representation question.

Core claim

Let X be a Dedekind complete Banach lattice, and let P colon X to X be a positive projection for which the largest central operator below P is alpha id_X, for some alpha greater than or equal to zero. We show that alpha must either be 0 or 1/n, for some n in natural numbers. As a consequence, we settle the representation problem for Banach lattice algebras: there exist Banach lattice algebras of dimension 2 that do not admit a faithful representation as regular operators on any Dedekind complete Banach lattice.

What carries the argument

The largest central operator lying below a positive projection P, which the argument shows must equal alpha times the identity only for alpha equal to zero or the reciprocal of a natural number.

If this is right

  • The representation problem for Banach lattice algebras is settled by the existence of two-dimensional examples without faithful representations as regular operators.
  • Any positive projection whose largest central lower bound is nonzero must have that bound exactly equal to 1/n times the identity for some natural number n.
  • The finite-dimensional proof of the conjecture extends directly to the general infinite-dimensional setting.

Where Pith is reading between the lines

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

  • The same scalar restriction may hold for other classes of lattice operators beyond projections.
  • The newly identified non-representable algebras can be used as test cases for alternative representation theorems in ordered algebra.
  • It would be natural to ask whether the same conclusion on alpha survives if Dedekind completeness is dropped.

Load-bearing premise

The underlying space must be a Dedekind complete Banach lattice.

What would settle it

A positive projection P on some Dedekind complete Banach lattice X such that the largest central operator below P equals alpha id_X with alpha neither zero nor equal to 1/n for any natural number n would falsify the result.

read the original abstract

Let $X$ be a Dedekind complete Banach lattice, and let $P\colon X\to X$ be a positive projection for which the largest central operator below $P$ is $\alpha \operatorname{id}_X$, for some $\alpha \ge 0$. Wickstead conjectured that $\alpha $ must either be $0$ or $1/n$, for some $n \in \mathbb{N}$, and proved it for finite-dimensional $X$. In this paper, we show that the conjecture holds in general. As a consequence, we settle the representation problem for Banach lattice algebras: we show that there exist Banach lattice algebras of dimension $2$ that do not admit a faithful representation as regular operators on any Dedekind complete Banach 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.

Referee Report

0 major / 3 minor

Summary. The manuscript proves Wickstead's conjecture in full generality: if X is a Dedekind complete Banach lattice and P : X → X is a positive projection such that the largest central operator dominated by P is α id_X (α ≥ 0), then α = 0 or α = 1/n for some n ∈ ℕ. The argument reduces the general case to Wickstead's finite-dimensional result by exploiting the order structure and the center Z(L^r(X)) of the algebra of regular operators on X. As a corollary, the paper exhibits a two-dimensional Banach lattice algebra that admits no faithful representation as a subalgebra of regular operators on any Dedekind complete Banach lattice.

Significance. If the reduction via the center is correct, the result settles a long-standing conjecture in the theory of positive operators on Banach lattices and supplies the first explicit counterexamples to representability for Banach lattice algebras. The technique of passing to the finite-dimensional case through central projections is a natural and potentially reusable device; the concrete 2-dimensional counterexample is a clear strength.

minor comments (3)
  1. [main theorem] The reduction step (main theorem) would be easier to follow if the precise invocation of the finite-dimensional result were stated as a numbered lemma or proposition before the general argument begins.
  2. [corollary] In the corollary constructing the 2-dimensional counterexample, the explicit multiplication table or the resulting operator that would force an invalid α should be displayed as a small matrix or table for immediate verification.
  3. [preliminaries] A short paragraph recalling the definition of the center Z(L^r(X)) and its identification with the band of central operators would help readers who are not specialists in regular operator algebras.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. We are pleased that the significance of settling Wickstead's conjecture and providing explicit counterexamples to representability is recognized.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper presents a direct mathematical proof of Wickstead's conjecture for arbitrary Dedekind complete Banach lattices by reducing the general case to the finite-dimensional result (originally proved by Wickstead) via standard properties of the center of the regular operators and the order structure. No self-definitional steps, fitted inputs renamed as predictions, load-bearing self-citations, or ansatzes smuggled via prior work appear in the derivation chain. The non-representability corollary follows immediately from exhibiting an explicit 2-dimensional counterexample algebra. The argument is self-contained against external benchmarks in Banach lattice theory and does not reduce any central claim to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the standard definitions and properties of Dedekind complete Banach lattices, positive projections, and central operators in the field; no free parameters or invented entities are indicated in the abstract.

axioms (2)
  • domain assumption X is a Dedekind complete Banach lattice
    The conjecture and its statement are formulated specifically for this class of spaces.
  • domain assumption P is a positive projection with largest central operator below it equal to α id_X
    This is the given setup for the conjecture.

pith-pipeline@v0.9.0 · 5425 in / 1247 out tokens · 64953 ms · 2026-05-10T09:25:45.506864+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

11 extracted references · 11 canonical work pages

  1. [1]

    Y. A. Abramovich and C. D. Aliprantis.An invitation to operator theory. Vol. 50. Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2002, pp. xiv+530. MR:1921782

    work page 2002

  2. [2]

    C. D. Aliprantis and O. Burkinshaw.Positive operators. Vol. 119. Pure and Applied Mathematics. Academic Press, Inc., Orlando, FL, 1985, pp. xvi+367. MR:809372

    work page 1985

  3. [3]

    Birkhoff.Lattice theory

    G. Birkhoff.Lattice theory. Third edition. Vol. XXV. American Mathemati- cal Society Colloquium Publications. American Mathematical Society, Prov- idence, RI, 1967, pp. vi+418. MR:227053

    work page 1967

  4. [4]

    On some aspects of the theory of lattice-ordered algebras

    C. B. Huijsmans and W. A. J. Luxemburg. “On some aspects of the theory of lattice-ordered algebras”. In:Lattice theory and its applications (Darmstadt, 1991). Vol. 23. Res. Exp. Math. Heldermann, Lemgo, 1995, pp. 103–120. MR: 1366868

    work page 1991

  5. [5]

    Concrete representation of abstract (M)-spaces. (A characteri- zation of the space of continuous functions.)

    S. Kakutani. “Concrete representation of abstract (M)-spaces. (A characteri- zation of the space of continuous functions.)” In:Ann. of Math. (2)42 (1941), pp. 994–1024. MR:5778

    work page 1941

  6. [6]

    Some trends in lattice-ordered groups and rings

    K. Keimel. “Some trends in lattice-ordered groups and rings”. In:Lattice theory and its applications (Darmstadt, 1991). Vol. 23. Res. Exp. Math. Hel- dermann, Lemgo, 1995, pp. 131–161. MR:1366870

    work page 1991

  7. [7]

    Lindenstrauss and L

    J. Lindenstrauss and L. Tzafriri.Classical Banach spaces. II. Vol. 97. Ergeb- nisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas]. Function spaces. Springer-Verlag, Berlin-New York, 1979, pp. x+243. MR:540367

    work page 1979

  8. [8]

    W. A. J. Luxemburg and A. C. Zaanen.Riesz spaces. Vol. I. North-Holland Mathematical Library. North-Holland Publishing Co., Amsterdam-London; American Elsevier Publishing Co., Inc., New York, 1971, pp. xi+514. MR: 511676

    work page 1971

  9. [9]

    Banach lattice algebras: some questions, but very few answers

    A. W. Wickstead. “Banach lattice algebras: some questions, but very few answers”. In:Positivity21.2 (2017), pp. 803–815. MR:3656022

    work page 2017

  10. [10]

    Ordered Banach algebras and multi-norms: some open problems

    A. W. Wickstead. “Ordered Banach algebras and multi-norms: some open problems”. In:Positivity21.2 (2017), pp. 817–823. MR:3656023

    work page 2017

  11. [11]

    Two dimensional unital Riesz algebras, their representa- tions and norms

    A. W. Wickstead. “Two dimensional unital Riesz algebras, their representa- tions and norms”. In:Positivity21.2 (2017), pp. 787–801. MR:3656021. Instituto de Ciencias Matem´aticas, Universidad Aut´onoma de Madrid Email address:david.munnozl (at) uam (dot) es

    work page 2017