Primariness and the Primary Factorisation Property
Pith reviewed 2026-05-22 07:45 UTC · model grok-4.3
The pith
The Banach space B(ℓ_p) satisfies the uniform primary factorisation property for 1 < p < ∞.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Using the finite-block representation of B(ℓ_p), the identity operator on B(ℓ_p) factors uniformly through an arbitrary bounded operator on B(ℓ_p) for 1 < p < ∞.
What carries the argument
Finite-block representation of B(ℓ_p), which reduces general operators to actions on finite-dimensional blocks to achieve uniform factorisation.
Load-bearing premise
The support-reduction and free-selection tools for uncountable direct sums transfer primariness and PFP from countable building blocks to non-separable cases.
What would settle it
An explicit bounded operator on B(ℓ_p) through which the identity cannot factor with any uniform constant would disprove the uniform primary factorisation theorem.
read the original abstract
We study the relation between primariness of Banach spaces and the stronger operator-theoretic notions of the primary factorisation property (PFP) and the uniform primary factorisation property (UPFP). We revisit several classical primariness arguments and isolate the additional information needed to factor the identity through arbitrary operators. In the separable setting, this recovers quantitative factorisation versions of the Casazza--Kottman--Lin method for spaces with symmetric bases and treats the exceptional cases of $\ell_1$ and $\ell_\infty$. We then develop support-reduction and free-selection tools for uncountable direct sums, allowing one to transfer primariness and the PFP/UPFP from countable building blocks to non-separable $\ell_p$-, $c_0$- and more general symmetric sums. As applications, we obtain, among others, the primariness of $C[0,1]^*$ under the negation of the Continuum Hypothesis and UPFP results for uncountable sums of ordinal $C(\alpha)$-spaces. Finally, using the finite-block representation of $\mathcal B(\ell_p)$, we prove a uniform primary factorisation theorem for the Banach space $\mathcal B(\ell_p)$, $1<p<\infty$, and end with open problems concerning the gap between primariness and factorisation.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the relation between primariness of Banach spaces and the stronger operator-theoretic properties PFP and UPFP. It revisits classical primariness arguments (including Casazza-Kottman-Lin) to extract quantitative factorisation information, recovers versions for symmetric bases in the separable setting (including exceptional cases ℓ1 and ℓ∞), develops support-reduction and free-selection tools for uncountable direct sums, and transfers primariness/PFP/UPFP from countable blocks to non-separable ℓp, c0 and symmetric sums. Applications include primariness of C[0,1]* under ¬CH, UPFP for uncountable sums of ordinal C(α)-spaces, and a uniform primary factorisation theorem for B(ℓp) (1<p<∞) via the finite-block representation; the paper closes with open problems on the gap between primariness and factorisation.
Significance. If the central claims hold, the work supplies explicit, self-contained tools that upgrade classical primariness results to uniform factorisation statements and extends them to non-separable settings. The direct constructions for support-reduction and free-selection in both countable and uncountable cases, together with the finite-block representation argument for B(ℓp), constitute concrete technical advances that can be checked independently and applied to other symmetric sums.
major comments (1)
- [Uncountable direct sums] Uncountable direct sums section: the transfer of PFP/UPFP via support-reduction and free-selection is presented as a direct construction, but the argument for preserving uniformity when passing to uncountable sums of symmetric blocks should include an explicit verification that the resulting factorisation constants remain independent of the index set (this is load-bearing for the UPFP claims on uncountable ordinal sums).
minor comments (2)
- [Introduction] Introduction: the quantitative versions recovered from the Casazza-Kottman-Lin method are stated without recalling the precise constants or block sizes used in the original argument; a short reminder would clarify the improvement.
- [Applications] Applications to C[0,1]*: the primariness result under ¬CH is stated cleanly, but the dependence on the specific model of set theory could be flagged more explicitly in the statement of the theorem.
Simulated Author's Rebuttal
We thank the referee for their thorough reading, positive evaluation, and constructive suggestion. We address the single major comment below and will incorporate the requested clarification in the revised manuscript.
read point-by-point responses
-
Referee: [Uncountable direct sums] Uncountable direct sums section: the transfer of PFP/UPFP via support-reduction and free-selection is presented as a direct construction, but the argument for preserving uniformity when passing to uncountable sums of symmetric blocks should include an explicit verification that the resulting factorisation constants remain independent of the index set (this is load-bearing for the UPFP claims on uncountable ordinal sums).
Authors: We agree that an explicit verification of the index-set independence of the factorisation constants would improve the exposition and strengthen the UPFP claims. In the revised manuscript we will add a short dedicated paragraph immediately after the statement of the main transfer result in the Uncountable direct sums section. This paragraph will track the constants through the support-reduction and free-selection steps, confirming that they depend only on the uniform constants of the countable symmetric blocks and are therefore independent of the cardinality or structure of the index set. The argument will be self-contained and will not alter any existing proofs. revision: yes
Circularity Check
No significant circularity identified
full rationale
The paper develops support-reduction and free-selection tools explicitly for countable and uncountable direct sums, then applies them via direct constructions to transfer primariness and PFP/UPFP. The uniform primary factorisation theorem for B(ℓ_p) is obtained from the finite-block representation through independent technical steps rather than any reduction to fitted parameters, self-definitional loops, or load-bearing self-citations. The central claims remain self-contained against external benchmarks and prior literature such as the Casazza-Kottman-Lin method.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math ZFC set theory with the negation of the Continuum Hypothesis
Reference graph
Works this paper leans on
-
[1]
Acuaviva,C(K)-spaces with few operators relative to posets, arXiv:2511.22339 (2025)
A. Acuaviva,C(K)-spaces with few operators relative to posets, arXiv:2511.22339 (2025)
-
[2]
Arazy,On large subspaces of the Schattenp-classes, Compositio Math.41(1980), no
J. Arazy,On large subspaces of the Schattenp-classes, Compositio Math.41(1980), no. 3, 297–336
work page 1980
-
[3]
Arazy,A remark on complemented subspaces of unitary matrix spaces, Proc
J. Arazy,A remark on complemented subspaces of unitary matrix spaces, Proc. Amer. Math. Soc.79 (1980), no. 4, 601–608
work page 1980
-
[4]
S. A. Argyros, J. F. Castillo, A. S. Granero, M. Jim´ enez, and J. P. Moreno,Complementation and embeddings ofc 0(I)in Banach spaces, Proc. Lond. Math. Soc. (3)85(2002), 742–768
work page 2002
-
[5]
S. A. Argyros and T. Raikoftsalis,Banach spaces with a unique nontrivial decomposition, Proc. Amer. Math. Soc.136(2008), no. 10, 3611–3620
work page 2008
-
[6]
D. Alspach, P. Enflo, and E. Odell,On the structure of separableL p spaces(1< p <∞), Studia Math. 60(1977), no. 1, 79–90
work page 1977
-
[7]
D. E. Alspach and Y. Benyamini,Primariness of spaces of continuous functions on ordinals, Israel J. Math.27(1977), 64–92
work page 1977
-
[8]
A. D. Andrew,The Banach spaceJ Tis primary, Pacific J. Math.108(1983), no. 1, 9–17
work page 1983
-
[9]
J. L. Ansorena,Primarity of direct sums of Orlicz spaces and Marcinkiewicz spaces, Banach J. Math. Anal.14(2020), 1018–1034
work page 2020
-
[10]
Apatsidis,Operators on the stopping time space, Studia Math.228(2015), no
D. Apatsidis,Operators on the stopping time space, Studia Math.228(2015), no. 3, 235–258
work page 2015
-
[11]
A. Arias,Nest algebras inc 1, J. Operator Theory29(1993), no. 2, 389–409
work page 1993
-
[12]
A. Arias and J. D. Farmer,On the structure of tensor products ofℓ p-spaces, Pacific J. Math.175(1996), no. 1, 13–37
work page 1996
-
[13]
Billard,Sur la primarit´ e des espacesC(α), Studia Math.62(1978), no
P. Billard,Sur la primarit´ e des espacesC(α), Studia Math.62(1978), no. 2, 143–162
work page 1978
-
[14]
A. Bird and N. J. Laustsen,An amalgamation of the Banach spaces associated with James and Schreier, Part I: Banach-space structure, Banach Center Publ.91(2010), 45–76
work page 2010
-
[15]
Blower,The Banach spaceB(ℓ 2)is primary, Bull
G. Blower,The Banach spaceB(ℓ 2)is primary, Bull. London Math. Soc.22(1990), no. 2, 176–182
work page 1990
-
[16]
Bourgain,On the primarity ofH ∞-spaces, Israel J
J. Bourgain,On the primarity ofH ∞-spaces, Israel J. Math.45(1983), 329–336
work page 1983
-
[17]
Capon,Primarit´ e deℓ p(L1), Math
M. Capon,Primarit´ e deℓ p(L1), Math. Ann.250(1980), no. 1, 55–63
work page 1980
-
[18]
Capon,Primarit´ e deL p(ℓr),1< p, r <∞, Israel J
M. Capon,Primarit´ e deL p(ℓr),1< p, r <∞, Israel J. Math.36(1980), no. 3–4, 346–364. 72 A. ACUAVIVA AND T. KANIA
work page 1980
-
[19]
Capon,Primarit´ e deL p(Lr), Israel J
M. Capon,Primarit´ e deL p(Lr), Israel J. Math.42(1982), no. 1–2, 87–98
work page 1982
-
[20]
Capon,Primarit´ e de certains espaces de Banach, Proc
M. Capon,Primarit´ e de certains espaces de Banach, Proc. London Math. Soc. (3)45(1982), no. 1, 113–130
work page 1982
-
[21]
Capon,Primarit´ e deL p(X), Trans
M. Capon,Primarit´ e deL p(X), Trans. Amer. Math. Soc.276(1983), no. 2, 431–487
work page 1983
-
[22]
P. G. Casazza,James’ quasi-reflexive space is primary, Israel J. Math.26(1977), no. 3, 294–305
work page 1977
-
[23]
P. Casazza and B.-L. Lin,Projections on Banach spaces with symmetric bases, Studia Math.52(1974), 189–193
work page 1974
-
[24]
P. G. Casazza, C. A. Kottman, and B.-L. Lin,On primary Banach spaces, Bull. Amer. Math. Soc.82 (1976), no. 1, 73–75
work page 1976
-
[25]
P. G. Casazza, C. A. Kottman, and B.-L. Lin,On some classes of primary Banach spaces, Canad. J. Math.29(1977), no. 4, 856–873
work page 1977
-
[26]
E. Christensen and A. M. Sinclair,Completely bounded isomorphisms of injective von Neumann algebras, Proc. Edinb. Math. Soc.32(1989), no. 2, 317–327
work page 1989
- [27]
-
[28]
D. Dosev and W. B. Johnson,Commutators onℓ ∞, Bull. London Math. Soc.42(2010), 155–169
work page 2010
- [29]
-
[30]
Drewnowski,Primariness of some spaces of continuous functions, Rev
L. Drewnowski,Primariness of some spaces of continuous functions, Rev. Mat. Univ. Complut. Madrid 2(1989), Suppl., 119–127
work page 1989
-
[31]
L. Drewnowski and J. W. Roberts,On the primariness of the Banach spaceℓ ∞/c0, Proc. Amer. Math. Soc.112(1991), no. 4, 949–957
work page 1991
-
[32]
P. Erd˝ os, A. Hajnal, A. M´ at´ e and R. Rado,Combinatorial Set Theory, North-Holland, Amsterdam, 1984
work page 1984
-
[33]
P. Enflo and T. W. Starbird,Subspaces ofL 1 containingL 1, Studia Math.65(1979), no. 2, 203–225
work page 1979
-
[34]
Hajnal,Proof of a conjecture of S
A. Hajnal,Proof of a conjecture of S. Ruziewicz, Fund. Math.50(1961), 123–128
work page 1961
-
[35]
W. B. Johnson, T. Kania, and G. Schechtman,Closed ideals of operators on and complemented subspaces of Banach spaces of functions with countable support, Proc. Amer. Math. Soc.144(2016), no. 10, 4471– 4485
work page 2016
-
[36]
W. B. Johnson and N. Randrianantoanina,On complemented versions of James’s distortion theorems, Proc. Amer. Math. Soc.135(2007), 2751–2757
work page 2007
-
[37]
E. M. Galego,A note on extensions of Pe lczy´ nski’s decomposition method in Banach spaces, Studia Math. 180(2007), no. 1, 27–40
work page 2007
-
[38]
E. M. Galego,Generalizations of Pe lczy´ nski’s decomposition method for Banach spaces containing a com- plemented copy of their squares, Arch. Math. (Basel)90(2008), 530–536
work page 2008
-
[39]
W. T. Gowers and B. Maurey, Banach spaces with small spaces of operators, Math. Ann.307(1997), 543–568
work page 1997
-
[40]
M. Kaˇ cena, O. F. K. Kalenda and J. Spurn` y,Quantitative Dunford–Pettis property, Adv. Math.234 (2013), 488–527
work page 2013
-
[41]
T. Kania and N. J. Laustsen,Operators on two Banach spaces of continuous functions on locally compact spaces of ordinals, Proc. Amer. Math. Soc.143(2015), 2585–2596
work page 2015
-
[42]
T. Kania and R. Lechner,Factorisation in stopping-time Banach spaces: identifying unique maximal ideals, Adv. Math.409(2022), 108643
work page 2022
-
[43]
T. Kania and G. Lewicki, (λ +)-injective Banach spaces, arXiv:2603.09710 (2026)
-
[44]
How many miles from $L_\infty$ to $\ell_\infty$?
M. Korpalski and G. Plebanek,How many miles fromL ∞ toℓ ∞?, to appear in Proc. Amer. Math. Soc., arXiv:2511.12672 (2025)
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[45]
K. Konstantos and P. Motakis,Orthogonal factors of operators on the RosenthalX p,w spaces and the Bourgain–Rosenthal–SchechtmanR p ω space, J. Funct. Anal.288(2025), no. 5, 110802
work page 2025
-
[46]
K. Konstantos and P. Motakis,Coordinate systems and distributional embeddings in Bourgain-Rosenthal- Schechtman spaces, arXiv:2510.24487 (2025)
-
[47]
K. Konstantos and T. Speckhofer,Factorization in independent sums of Haar system Hardy spaces, arXiv:2507.18600 (2025)
-
[48]
N. J. Laustsen,Matrix multiplication and composition of operators on the direct sum of an infinite sequence of Banach spaces, Math. Proc. Cambridge Philos. Soc.131(2001), no. 1, 165–183
work page 2001
-
[49]
N. J. Laustsen, R. Lechner, and P. F. X. M¨ uller,Factorization of the identity through operators with large diagonal, J. Funct. Anal.275(2018), no. 11, 3169–3207. PRIMARINESS AND THE PRIMARY FACTORISATION PROPERTY 73
work page 2018
-
[50]
Lechner,Factorization inSL ∞, Israel J
R. Lechner,Factorization inSL ∞, Israel J. Math.226(2018), 957–991
work page 2018
-
[51]
Lechner,Factorization in mixed norm Hardy andBMOspaces, Studia Math.242(2018), no
R. Lechner,Factorization in mixed norm Hardy andBMOspaces, Studia Math.242(2018), no. 3, 231– 265
work page 2018
-
[52]
R. Lechner,Subsymmetric weak ∗ Schauder bases and factorization of the identity, Studia Math.248 (2019), no. 3, 295–319
work page 2019
-
[53]
R. Lechner, P. Motakis, P. F. X. M¨ uller, and Th. Schlumprecht,Strategically reproducible bases and the factorization property, Israel J. Math.238(2020), no. 1, 13–60
work page 2020
-
[54]
R. Lechner, P. Motakis, P. F. X. M¨ uller, and Th. Schlumprecht,The factorisation property ofℓ ∞(Xk), Math. Proc. Cambridge Philos. Soc.171(2021), no. 2, 421–448
work page 2021
-
[55]
R. Lechner, P. Motakis, P. F. X. M¨ uller, and Th. Schlumprecht,The spaceL1(Lp)is primary for1< p < ∞, Forum Math. Sigma10(2022), e32
work page 2022
-
[56]
R. Lechner, P. Motakis, P. F. X. M¨ uller, and Th. Schlumprecht,Multipliers on bi-parameter Haar system Hardy spaces, Math. Ann.390(2024), no. 4, 5669–5752
work page 2024
-
[57]
R. Lechner and T. Speckhofer,Factorization in Haar system Hardy spaces, Ark. Mat.63(2025), no. 1, 149–205
work page 2025
-
[58]
Lindenstrauss,On complemented subspaces ofm, Israel J
J. Lindenstrauss,On complemented subspaces ofm, Israel J. Math.5(1967), no. 3, 153–156
work page 1967
-
[59]
Lindenstrauss,Decomposition of Banach spaces, Indiana Univ
J. Lindenstrauss,Decomposition of Banach spaces, Indiana Univ. Math. J.20(1971), no. 10, 917–919
work page 1971
-
[60]
Lin,Reflexive Banach spaces with symmetric bases are primary, Ph.D
Y.-H. Lin,Reflexive Banach spaces with symmetric bases are primary, Ph.D. thesis, University of Iowa, 1992
work page 1992
-
[61]
J. Lindenstrauss,Weakly compact sets: their topological properties and the Banach spaces they generate, inSymposium on Infinite-Dimensional Topology(Louisiana State Univ., Baton Rouge, La., 1967), Ann. of Math. Stud.69, Princeton Univ. Press, Princeton, NJ, 1972, pp. 235–273
work page 1967
-
[62]
J. Lindenstrauss and A. Pe lczy´ nski,Contributions to the theory of the classical Banach spaces, J. Funct. Anal.8(1971), 225–249
work page 1971
-
[63]
J. Lindenstrauss and L. Tzafriri,Classical Banach Spaces II. Function Spaces, Springer, 1979
work page 1979
-
[64]
Lusky,On the primariness of the Poulsen simplex space, Israel J
W. Lusky,On the primariness of the Poulsen simplex space, Israel J. Math.37(1980), no. 1, 151–163
work page 1980
-
[65]
Lusky,On primary simplex spaces, Manuscripta Math.38(1982), 1–19
W. Lusky,On primary simplex spaces, Manuscripta Math.38(1982), 1–19
work page 1982
-
[66]
Maurey,Sous-espaces compl´ ement´ es deLp, d’apr` es P
B. Maurey,Sous-espaces compl´ ement´ es deLp, d’apr` es P. Enflo, S´ eminaire Maurey–Schwartz (1974–1975), Exp. No. III, 1–14
work page 1974
-
[67]
Michalak,The Banach spaceD(0,1)is primary, Comment
A. Michalak,The Banach spaceD(0,1)is primary, Comment. Math.45(2005), no. 1, 107–124
work page 2005
-
[68]
P. F. X. M¨ uller,On projections inH 1 andBMO, Studia Math.89(1988), 145–158
work page 1988
-
[69]
P. F. X. M¨ uller,Two remarks on primary spaces, Math. Proc. Cambridge Philos. Soc.153(2012), no. 3, 505–523
work page 2012
-
[70]
Kh. V. Navoyan,Factorization property in rearrangement invariant spaces, Adv. Oper. Theory8(2023), article 63
work page 2023
-
[71]
Pe lczy´ nski,Projections in certain Banach spaces, Studia Math.19(1960), 209–228
A. Pe lczy´ nski,Projections in certain Banach spaces, Studia Math.19(1960), 209–228
work page 1960
-
[72]
Pe lczy´ nski, On strictly singular and strictly cosingular operators
A. Pe lczy´ nski, On strictly singular and strictly cosingular operators. I. Strictly singular and strictly cosin- gular operators inC(S)-spaces,Bull. Acad. Polon. Sci. S´ er. Sci. Math. Astronom. Phys.13(1965), 31–36
work page 1965
-
[73]
Popa,Primariness of some vector-valued function spaces, Rev
N. Popa,Primariness of some vector-valued function spaces, Rev. Roumaine Math. Pures Appl.32(1987), 65–77
work page 1987
-
[74]
H. P. Rosenthal,On relatively disjoint families of measures, with some applications to Banach space theory, Studia Math.37(1970), 13–36
work page 1970
-
[75]
Ruziewicz,Une g´ en´ eralisation d’un th´ eor` eme de M
S. Ruziewicz,Une g´ en´ eralisation d’un th´ eor` eme de M. Sierpi´ nski, Publ. Math. Univ. Belgrade5(1936), 23–27
work page 1936
-
[76]
Samuel,Primarit´ e des produits d’espaces de suites, Colloq
C. Samuel,Primarit´ e des produits d’espaces de suites, Colloq. Math.39(1978), no. 1, 123–132
work page 1978
-
[77]
Troyanski,On non-separable Banach spaces with a symmetric basis, Studia Math.53(1975), 253–263
S. Troyanski,On non-separable Banach spaces with a symmetric basis, Studia Math.53(1975), 253–263
work page 1975
-
[78]
H. M. Wark,Banach spaces with few operators and multiplier results, D.Phil. thesis, University of Oxford, 1997
work page 1997
-
[79]
H. M. Wark,Theℓ ∞ direct sum ofL p (1< p <∞)is primary, J. Lond. Math. Soc. (2)75(2007), no. 1, 176–186
work page 2007
-
[80]
H. M. Wark,A class of primary Banach spaces, J. Math. Anal. Appl.330(2007), 961–967
work page 2007
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.