Pure infiniteness and primary factorisation

Antonio Acuaviva; Bence Horv\'ath; Tomasz Kania

REVIEW 1 major objections 1 minor 19 references

Reviewed by Pith at T0; open to challenge.

T0 means a machine referee read the full paper against a public rubric. The mark states how deep the mechanical check went, never who wrote it. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

There is no real or complex indecomposable Banach space with the primary factorisation property.

2026-07-03 18:15 UTC pith:ESJWZ4SM

load-bearing objection The non-existence claim for indecomposable spaces with PFP is only shown when M_E is the unique maximal ideal, so the blanket statement may not fully hold. the 1 major comments →

arxiv 2607.01467 v1 pith:ESJWZ4SM submitted 2026-07-01 math.FA math.RA

Pure infiniteness and primary factorisation

Antonio Acuaviva , Bence Horv\'ath , Tomasz Kania This is my paper

classification math.FA math.RA

keywords Banach spacesindecomposableprimary factorisation propertyoperator algebrapure infinitenessmaximal idealRead's spaceultrapowers

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper establishes that no indecomposable Banach space over the reals or the complexes has the primary factorisation property. It connects this property to the ring-theoretic infiniteness of the bounded operator algebra B(E) and the quotient B(E)/M_E, where M_E consists of operators that do not factor the identity on E. This link is drawn under the assumption that M_E is the unique maximal ideal. A reader would care because the result rules out a natural algebraic condition on operators that indecomposable spaces might otherwise satisfy, while also treating ultrapowers and concrete examples such as classical sequence spaces and Read's space.

Core claim

We show that there is no real or complex indecomposable Banach space with the primary factorisation property (PFP). We relate the PFP of a Banach space E to ring-theoretic infiniteness of B(E) and of B(E)/M_E, where M_E denotes the set of operators not factoring the identity on E, in the case it is the unique maximal ideal of B(E). For complex E with the PFP, this quotient is purely infinite exactly when it is not scalar. We isolate the quantitative gap relevant to ultrapowers, identify classical sequence spaces as positive non-scalar cases, and show that Read's space E_R does not have the uniform PFP.

What carries the argument

The primary factorisation property (PFP), which ties the factoring of the identity on E through operators to the pure infiniteness of the quotient ring B(E)/M_E when M_E is the unique maximal ideal.

Load-bearing premise

That M_E is the unique maximal ideal of B(E) when relating PFP to ring-theoretic infiniteness of the quotient.

What would settle it

An explicit indecomposable Banach space E for which B(E)/M_E is purely infinite and non-scalar, with M_E the unique maximal ideal, would falsify the claim.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

Indecomposable spaces cannot possess the PFP.
For complex spaces with the PFP the quotient B(E)/M_E is purely infinite precisely when non-scalar.
Classical sequence spaces provide positive non-scalar examples for the quotient when PFP holds.
Read's space fails to have the uniform PFP.
A quantitative gap appears in the ultrapower setting for the relevant operator factorisation.

Where Pith is reading between the lines

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

The result may restrict how operator algebras arising from indecomposable spaces can achieve infiniteness properties.
Similar gaps identified for ultrapowers could be checked in other classes of Banach spaces to test related algebraic conditions.
The connection between PFP and maximal ideals might extend to questions about decomposable spaces and their operator quotients.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

The non-existence claim for indecomposable spaces with PFP is only shown when M_E is the unique maximal ideal, so the blanket statement may not fully hold.

read the letter

The paper's headline result is that no real or complex indecomposable Banach space has the primary factorisation property. It also gives a relation between PFP and pure infiniteness of the quotient B(E)/M_E, but only in the case where M_E is the unique maximal ideal, plus some checks on ultrapowers, classical sequence spaces, and Read's space lacking uniform PFP.

What works is the explicit link to ring-theoretic infiniteness and the isolation of the quantitative gap for ultrapowers. Showing that Read's space fails uniform PFP is a concrete negative example that stands on its own. The abstract's statement that the quotient is purely infinite exactly when non-scalar for complex E with PFP is a clean observation.

The soft spot is the conditional framing. The non-existence is announced without qualification, yet the infiniteness argument is restricted to the unique-maximal-ideal case. Nothing in the abstract indicates that PFP itself forces uniqueness of M_E or that the other cases are ruled out separately. If an indecomposable E with PFP exists where multiple maximal ideals appear, the main argument does not apply. That is a genuine gap in the evidence presented, not a minor technicality.

This is narrow Banach-space and operator-algebra material. A reader already working on ideal structure in B(E) or factorization properties will find the relation to pure infiniteness useful and the Read-space calculation worth checking. It is not broad enough for a general audience.

It deserves peer review. The claim is specific enough that referees can test whether the uniqueness issue is discharged in the full proofs or whether the non-existence needs to be restated as conditional.

Referee Report

1 major / 1 minor

Summary. The manuscript claims to prove that no real or complex indecomposable Banach space possesses the primary factorisation property (PFP). It relates the PFP of E to ring-theoretic pure infiniteness of the Banach algebra B(E) and the quotient B(E)/M_E (M_E the ideal of operators not factoring the identity on E), but only in the case where M_E is the unique maximal ideal of B(E). For complex E with PFP the quotient is shown to be purely infinite precisely when non-scalar. Classical sequence spaces are identified as positive non-scalar examples, Read's space E_R is shown to lack the uniform PFP, and a quantitative gap relevant to ultrapowers is isolated.

Significance. If the central non-existence result holds, the paper would make a substantial contribution to Banach space theory by establishing a strong obstruction for indecomposable spaces via algebraic properties of operator algebras. The explicit link to pure infiniteness, the concrete positive examples in sequence spaces, the analysis of Read's space, and the isolation of the ultrapower gap are all strengths that add value beyond the main claim.

major comments (1)

[Abstract] Abstract (main non-existence claim): the unconditional statement that no indecomposable real or complex E has the PFP is load-bearing, yet the relation of PFP to pure infiniteness of B(E)/M_E is established only 'in the case it is the unique maximal ideal of B(E)'. The manuscript gives no indication that PFP forces M_E to be the unique maximal ideal or that indecomposable spaces in which this fails are separately ruled out; if such an E exists the infiniteness argument does not apply and the non-existence conclusion does not follow.

minor comments (1)

The abstract refers to 'the quantitative gap relevant to ultrapowers' without further detail; a brief indication of its nature already in the introduction would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting this important point about the scope of the main non-existence claim. We address the concern directly below.

read point-by-point responses

Referee: [Abstract] Abstract (main non-existence claim): the unconditional statement that no indecomposable real or complex E has the PFP is load-bearing, yet the relation of PFP to pure infiniteness of B(E)/M_E is established only 'in the case it is the unique maximal ideal of B(E)'. The manuscript gives no indication that PFP forces M_E to be the unique maximal ideal or that indecomposable spaces in which this fails are separately ruled out; if such an E exists the infiniteness argument does not apply and the non-existence conclusion does not follow.

Authors: We agree that the manuscript as written does not explicitly establish that the PFP forces M_E to be the unique maximal ideal of B(E), nor does it separately rule out indecomposable spaces where this fails. In the revised version we will insert a short new lemma (placed immediately before the main infiniteness argument) proving that any Banach space with the PFP necessarily has M_E as its unique maximal ideal. With this addition the pure-infiniteness relation applies unconditionally, the non-existence result follows in full generality, and the abstract will be updated to reflect the clarified logical structure. revision: yes

Circularity Check

0 steps flagged

No circularity: non-existence claim derived from ring-theoretic relations without self-referential reduction

full rationale

The abstract states the main theorem (no indecomposable real or complex Banach space has PFP) and separately notes a relation of PFP to infiniteness of B(E)/M_E only 'in the case it is the unique maximal ideal'. No quoted step equates a prediction to its own fitted input, defines a quantity in terms of the result it claims to derive, or reduces the central non-existence to a self-citation chain. The conditional phrasing on uniqueness of M_E is an explicit scoping statement rather than a hidden self-definition. The paper isolates quantitative gaps and checks specific examples (classical sequence spaces, Read's space) as independent verifications. This structure is self-contained and matches the default expectation of no significant circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no information on free parameters, axioms, or invented entities.

pith-pipeline@v0.9.1-grok · 5665 in / 1033 out tokens · 23974 ms · 2026-07-03T18:15:11.566178+00:00 · methodology

0 comments

read the original abstract

We show that there is no real or complex indecomposable Banach space with the primary factorisation property (PFP). We relate the PFP of a Banach space $E$ to ring-theoretic infiniteness of $\mathcal{B}(E)$ and of $\mathcal{B}(E)/\mathcal{M}_E$, where $\mathcal{M}_E$ denotes the set of operators not factoring the identity on $E$, in the case it is the unique maximal ideal of $\mathcal{B}(E)$. For complex $E$ with the PFP, this quotient is purely infinite exactly when it is not scalar. We isolate the quantitative gap relevant to ultrapowers, identify classical sequence spaces as positive non-scalar cases, and show that Read's space $E_{\operatorname{R}}$ does not have the uniform PFP.

discussion (0)

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · 3 internal anchors

[1]

Primariness of the spaces $\ell_p(C(K))$ for $1 \leq p \leq \infty$

A. Acuaviva,Primariness of the spacesℓ p(C(K))for1⩽p⩽∞, arXiv:2605.29854 (2026).https: //doi.org/10.48550/arXiv.2605.29854

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2605.29854 2026
[2]

Primariness and the Primary Factorisation Property

A. Acuaviva and T. Kania,Primariness and the primary factorisation property, arXiv:2605.21711 (2026). https://doi.org/10.48550/arXiv.2605.21711

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2605.21711 2026
[3]

A. D. Andrew,Spreading basic sequences and subspaces of James’ quasi-reflexive space, Math. Scand.48 (1981), 109–118.https://doi.org/10.7146/math.scand.a-11904

work page doi:10.7146/math.scand.a-11904 1981
[4]

A. D. Andrew and W. L. Green,On James’ quasi-reflexive Banach space as a Banach algebra, Canad. J. Math.32(1980), no. 5, 1080–1101.https://doi.org/10.4153/CJM-1980-083-7

work page doi:10.4153/cjm-1980-083-7 1980
[5]

F. F. Bonsall and J. Duncan,Complete Normed Algebras, Springer-Verlag, New York, 1973

work page 1973
[6]

S. R. Caradus, W. E. Pfaffenberger and B. Yood,Calkin Algebras and Algebras of Operators on Banach Spaces, Marcel Dekker, Inc., New York, 1974

work page 1974
[7]

Daws,Closed ideals in the Banach algebra of operators on classical non-separable spaces, Math

M. Daws,Closed ideals in the Banach algebra of operators on classical non-separable spaces, Math. Proc. Cambridge Philos. Soc.140(2006), no. 2, 317–332.https://doi.org/10.1017/S0305004105009102

work page doi:10.1017/s0305004105009102 2006
[8]

Daws and B

M. Daws and B. Horv´ ath,A purely infinite Cuntz-like Banach∗-algebra with no purely infinite ultrapowers, J. Funct. Anal.283(2022), no. 1, Paper No. 109488, 36 pp.https://doi.org/10.1016/j.jfa.2022. 109488

work page doi:10.1016/j.jfa.2022 2022
[9]

W. T. Gowers and B. Maurey,Banach spaces with small spaces of operators, Math. Ann.307(1997), 543–568.https://doi.org/10.1007/s002080050050

work page doi:10.1007/s002080050050 1997
[10]

B. Horv´ ath,Banach spaces whose algebras of operators are Dedekind-finite but they do not have stable rank one, Banach Algebras and Applications (Proceedings of the International Conference held at the University of Oulu, July 3-11, 2017) (editor: M. Filali). De Gruyter (2020), 165–176.https://doi.org/ 10.1515/9783110602418-009

work page doi:10.1515/9783110602418-009 2017
[11]

Kania, P

T. Kania, P. Koszmider and N. J. Laustsen,Banach spaces whose algebra of bounded operators has the integers as theirK 0-group, J. Math. Anal. Appl.428(2015), no. 1, 282–294.https://doi.org/10.1016/ j.jmaa.2015.03.021

work page 2015
[12]

Kania and N

T. Kania and N. J. Laustsen,Uniqueness of the maximal ideal of the Banach algebra of bounded operators onC([0, ω 1]), J. Funct. Anal.262(2012), no. 11, 4831–4850.https://doi.org/10.1016/j.jfa.2012.03. 011

work page doi:10.1016/j.jfa.2012.03 2012
[13]

Koszmider,Banach spaces of continuous functions with few operators, Math

P. Koszmider,Banach spaces of continuous functions with few operators, Math. Ann.330(2004), no. 1, 151–183.https://doi.org/10.1007/s00208-004-0544-z

work page doi:10.1007/s00208-004-0544-z 2004
[14]

N. J. Laustsen,Maximal ideals in the algebra of operators on certain Banach spaces, Proc. Edinburgh Math. Soc. (2)45(2002), no. 2, 523–546.https://doi.org/10.1017/S0013091500001097

work page doi:10.1017/s0013091500001097 2002
[15]

N. J. Laustsen,On ring-theoretic (in)finiteness of Banach algebras of operators on Banach spaces, Glasgow Math. J. (1)45(2003), no. 1, 11–19.https://doi.org/10.1017/S0017089502008947

work page doi:10.1017/s0017089502008947 2003
[16]

N. J. Laustsen and R. Skillicorn,Extensions and the weak Calkin algebra of Read’s Banach space ad- mitting discontinuous derivations, Studia Math.236(2017), no. 1, 51–62.https://doi.org/10.4064/ sm8554-9-2016

work page 2017
[17]

R. J. Loy and G. A. Willis,Continuity of derivations onB(E)for certain Banach spacesE, J. London Math. Soc. (2)40(1989), no. 2, 327–346.https://doi.org/10.1112/jlms/s2-40.2.327

work page doi:10.1112/jlms/s2-40.2.327 1989
[18]

C. J. Read,Discontinuous derivations on the algebra of bounded operators on a Banach space, J. London Math. Soc. (2)40(1989), no. 2, 305–326.https://doi.org/10.1112/jlms/s2-40.2.305. PURE INFINITENESS AND PRIMARY FACTORISATION 19

work page doi:10.1112/jlms/s2-40.2.305 1989
[19]

Operators on Banach Spaces of Bourgain-Delbaen Type

M. Tarbard,Operators on Banach Spaces of Bourgain-Delbaen Type, Ph.D. Thesis, University of Oxford (2013).https://arxiv.org/abs/1309.7469. (A. Acuaviva)School of Mathematical Sciences, Fylde College, Lancaster University, LA1 4YF, United Kingdom Email address:ahacua@gmail.com (B. Horv´ ath)Helvetia Insurance Ltd., St. Alban-Anlage 26, 4002 Basel, Switzerl...

work page internal anchor Pith review Pith/arXiv arXiv 2013

[1] [1]

Primariness of the spaces $\ell_p(C(K))$ for $1 \leq p \leq \infty$

A. Acuaviva,Primariness of the spacesℓ p(C(K))for1⩽p⩽∞, arXiv:2605.29854 (2026).https: //doi.org/10.48550/arXiv.2605.29854

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2605.29854 2026

[2] [2]

Primariness and the Primary Factorisation Property

A. Acuaviva and T. Kania,Primariness and the primary factorisation property, arXiv:2605.21711 (2026). https://doi.org/10.48550/arXiv.2605.21711

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2605.21711 2026

[3] [3]

A. D. Andrew,Spreading basic sequences and subspaces of James’ quasi-reflexive space, Math. Scand.48 (1981), 109–118.https://doi.org/10.7146/math.scand.a-11904

work page doi:10.7146/math.scand.a-11904 1981

[4] [4]

A. D. Andrew and W. L. Green,On James’ quasi-reflexive Banach space as a Banach algebra, Canad. J. Math.32(1980), no. 5, 1080–1101.https://doi.org/10.4153/CJM-1980-083-7

work page doi:10.4153/cjm-1980-083-7 1980

[5] [5]

F. F. Bonsall and J. Duncan,Complete Normed Algebras, Springer-Verlag, New York, 1973

work page 1973

[6] [6]

S. R. Caradus, W. E. Pfaffenberger and B. Yood,Calkin Algebras and Algebras of Operators on Banach Spaces, Marcel Dekker, Inc., New York, 1974

work page 1974

[7] [7]

Daws,Closed ideals in the Banach algebra of operators on classical non-separable spaces, Math

M. Daws,Closed ideals in the Banach algebra of operators on classical non-separable spaces, Math. Proc. Cambridge Philos. Soc.140(2006), no. 2, 317–332.https://doi.org/10.1017/S0305004105009102

work page doi:10.1017/s0305004105009102 2006

[8] [8]

Daws and B

M. Daws and B. Horv´ ath,A purely infinite Cuntz-like Banach∗-algebra with no purely infinite ultrapowers, J. Funct. Anal.283(2022), no. 1, Paper No. 109488, 36 pp.https://doi.org/10.1016/j.jfa.2022. 109488

work page doi:10.1016/j.jfa.2022 2022

[9] [9]

W. T. Gowers and B. Maurey,Banach spaces with small spaces of operators, Math. Ann.307(1997), 543–568.https://doi.org/10.1007/s002080050050

work page doi:10.1007/s002080050050 1997

[10] [10]

B. Horv´ ath,Banach spaces whose algebras of operators are Dedekind-finite but they do not have stable rank one, Banach Algebras and Applications (Proceedings of the International Conference held at the University of Oulu, July 3-11, 2017) (editor: M. Filali). De Gruyter (2020), 165–176.https://doi.org/ 10.1515/9783110602418-009

work page doi:10.1515/9783110602418-009 2017

[11] [11]

Kania, P

T. Kania, P. Koszmider and N. J. Laustsen,Banach spaces whose algebra of bounded operators has the integers as theirK 0-group, J. Math. Anal. Appl.428(2015), no. 1, 282–294.https://doi.org/10.1016/ j.jmaa.2015.03.021

work page 2015

[12] [12]

Kania and N

T. Kania and N. J. Laustsen,Uniqueness of the maximal ideal of the Banach algebra of bounded operators onC([0, ω 1]), J. Funct. Anal.262(2012), no. 11, 4831–4850.https://doi.org/10.1016/j.jfa.2012.03. 011

work page doi:10.1016/j.jfa.2012.03 2012

[13] [13]

Koszmider,Banach spaces of continuous functions with few operators, Math

P. Koszmider,Banach spaces of continuous functions with few operators, Math. Ann.330(2004), no. 1, 151–183.https://doi.org/10.1007/s00208-004-0544-z

work page doi:10.1007/s00208-004-0544-z 2004

[14] [14]

N. J. Laustsen,Maximal ideals in the algebra of operators on certain Banach spaces, Proc. Edinburgh Math. Soc. (2)45(2002), no. 2, 523–546.https://doi.org/10.1017/S0013091500001097

work page doi:10.1017/s0013091500001097 2002

[15] [15]

N. J. Laustsen,On ring-theoretic (in)finiteness of Banach algebras of operators on Banach spaces, Glasgow Math. J. (1)45(2003), no. 1, 11–19.https://doi.org/10.1017/S0017089502008947

work page doi:10.1017/s0017089502008947 2003

[16] [16]

N. J. Laustsen and R. Skillicorn,Extensions and the weak Calkin algebra of Read’s Banach space ad- mitting discontinuous derivations, Studia Math.236(2017), no. 1, 51–62.https://doi.org/10.4064/ sm8554-9-2016

work page 2017

[17] [17]

R. J. Loy and G. A. Willis,Continuity of derivations onB(E)for certain Banach spacesE, J. London Math. Soc. (2)40(1989), no. 2, 327–346.https://doi.org/10.1112/jlms/s2-40.2.327

work page doi:10.1112/jlms/s2-40.2.327 1989

[18] [18]

C. J. Read,Discontinuous derivations on the algebra of bounded operators on a Banach space, J. London Math. Soc. (2)40(1989), no. 2, 305–326.https://doi.org/10.1112/jlms/s2-40.2.305. PURE INFINITENESS AND PRIMARY FACTORISATION 19

work page doi:10.1112/jlms/s2-40.2.305 1989

[19] [19]

Operators on Banach Spaces of Bourgain-Delbaen Type

M. Tarbard,Operators on Banach Spaces of Bourgain-Delbaen Type, Ph.D. Thesis, University of Oxford (2013).https://arxiv.org/abs/1309.7469. (A. Acuaviva)School of Mathematical Sciences, Fylde College, Lancaster University, LA1 4YF, United Kingdom Email address:ahacua@gmail.com (B. Horv´ ath)Helvetia Insurance Ltd., St. Alban-Anlage 26, 4002 Basel, Switzerl...

work page internal anchor Pith review Pith/arXiv arXiv 2013