pith. sign in

arxiv: 2605.21711 · v1 · pith:TKDPMQ55new · submitted 2026-05-20 · 🧮 math.FA

Primariness and the Primary Factorisation Property

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

classification 🧮 math.FA
keywords primarinessprimary factorisation propertyuniform primary factorisationBanach spacesℓ_p spacesnon-separable spacessymmetric sums
0
0 comments X

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.

This paper connects primariness of Banach spaces to the stronger primary factorisation property and its uniform version. It revisits classical primariness arguments to isolate the extra conditions needed for factoring the identity through arbitrary operators. Support-reduction and free-selection tools are developed for uncountable direct sums to transfer these properties from countable building blocks. The main result establishes a uniform primary factorisation theorem for B(ℓ_p) using its finite-block representation.

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.

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

1 major / 2 minor

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)
  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)
  1. [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.
  2. [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

1 responses · 0 unresolved

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
  1. 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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard set theory to invoke negation of the Continuum Hypothesis and on classical Banach space results; no free parameters or new postulated entities are introduced.

axioms (1)
  • standard math ZFC set theory with the negation of the Continuum Hypothesis
    Invoked explicitly for the primariness result on C[0,1]*.

pith-pipeline@v0.9.0 · 5759 in / 1284 out tokens · 55718 ms · 2026-05-22T07:45:45.128383+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

82 extracted references · 82 canonical work pages · 1 internal anchor

  1. [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. [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

  3. [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

  4. [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

  5. [5]

    S. A. Argyros and T. Raikoftsalis,Banach spaces with a unique nontrivial decomposition, Proc. Amer. Math. Soc.136(2008), no. 10, 3611–3620

  6. [6]

    Alspach, P

    D. Alspach, P. Enflo, and E. Odell,On the structure of separableL p spaces(1< p <∞), Studia Math. 60(1977), no. 1, 79–90

  7. [7]

    D. E. Alspach and Y. Benyamini,Primariness of spaces of continuous functions on ordinals, Israel J. Math.27(1977), 64–92

  8. [8]

    A. D. Andrew,The Banach spaceJ Tis primary, Pacific J. Math.108(1983), no. 1, 9–17

  9. [9]

    J. L. Ansorena,Primarity of direct sums of Orlicz spaces and Marcinkiewicz spaces, Banach J. Math. Anal.14(2020), 1018–1034

  10. [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

  11. [11]

    Arias,Nest algebras inc 1, J

    A. Arias,Nest algebras inc 1, J. Operator Theory29(1993), no. 2, 389–409

  12. [12]

    Arias and J

    A. Arias and J. D. Farmer,On the structure of tensor products ofℓ p-spaces, Pacific J. Math.175(1996), no. 1, 13–37

  13. [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

  14. [14]

    Bird and N

    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

  15. [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

  16. [16]

    Bourgain,On the primarity ofH ∞-spaces, Israel J

    J. Bourgain,On the primarity ofH ∞-spaces, Israel J. Math.45(1983), 329–336

  17. [17]

    Capon,Primarit´ e deℓ p(L1), Math

    M. Capon,Primarit´ e deℓ p(L1), Math. Ann.250(1980), no. 1, 55–63

  18. [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

  19. [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

  20. [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

  21. [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

  22. [22]

    P. G. Casazza,James’ quasi-reflexive space is primary, Israel J. Math.26(1977), no. 3, 294–305

  23. [23]

    Casazza and B.-L

    P. Casazza and B.-L. Lin,Projections on Banach spaces with symmetric bases, Studia Math.52(1974), 189–193

  24. [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

  25. [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

  26. [26]

    Christensen and A

    E. Christensen and A. M. Sinclair,Completely bounded isomorphisms of injective von Neumann algebras, Proc. Edinb. Math. Soc.32(1989), no. 2, 317–327

  27. [27]

    C´ uth, M

    M. C´ uth, M. Doucha and P. Wojtaszczyk,On the structure of Lipschitz-free spaces, Proc. Amer. Math. Soc.144(2016), no. 9, 3833–3846

  28. [28]

    Dosev and W

    D. Dosev and W. B. Johnson,Commutators onℓ ∞, Bull. London Math. Soc.42(2010), 155–169

  29. [29]

    Dosev, W

    D. Dosev, W. B. Johnson and G. Schechtman,Commutators onL p,1⩽p <∞, J. Amer. Math. Soc.26 (2013), 101–127

  30. [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

  31. [31]

    Drewnowski and J

    L. Drewnowski and J. W. Roberts,On the primariness of the Banach spaceℓ ∞/c0, Proc. Amer. Math. Soc.112(1991), no. 4, 949–957

  32. [32]

    Erd˝ os, A

    P. Erd˝ os, A. Hajnal, A. M´ at´ e and R. Rado,Combinatorial Set Theory, North-Holland, Amsterdam, 1984

  33. [33]

    Enflo and T

    P. Enflo and T. W. Starbird,Subspaces ofL 1 containingL 1, Studia Math.65(1979), no. 2, 203–225

  34. [34]

    Hajnal,Proof of a conjecture of S

    A. Hajnal,Proof of a conjecture of S. Ruziewicz, Fund. Math.50(1961), 123–128

  35. [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

  36. [36]

    W. B. Johnson and N. Randrianantoanina,On complemented versions of James’s distortion theorems, Proc. Amer. Math. Soc.135(2007), 2751–2757

  37. [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

  38. [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

  39. [39]

    W. T. Gowers and B. Maurey, Banach spaces with small spaces of operators, Math. Ann.307(1997), 543–568

  40. [40]

    Kaˇ cena, O

    M. Kaˇ cena, O. F. K. Kalenda and J. Spurn` y,Quantitative Dunford–Pettis property, Adv. Math.234 (2013), 488–527

  41. [41]

    Kania and N

    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

  42. [42]

    Kania and R

    T. Kania and R. Lechner,Factorisation in stopping-time Banach spaces: identifying unique maximal ideals, Adv. Math.409(2022), 108643

  43. [43]

    Kania and G

    T. Kania and G. Lewicki, (λ +)-injective Banach spaces, arXiv:2603.09710 (2026)

  44. [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)

  45. [45]

    Konstantos and P

    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

  46. [46]

    Konstantos and P

    K. Konstantos and P. Motakis,Coordinate systems and distributional embeddings in Bourgain-Rosenthal- Schechtman spaces, arXiv:2510.24487 (2025)

  47. [47]

    Konstantos and T

    K. Konstantos and T. Speckhofer,Factorization in independent sums of Haar system Hardy spaces, arXiv:2507.18600 (2025)

  48. [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

  49. [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

  50. [50]

    Lechner,Factorization inSL ∞, Israel J

    R. Lechner,Factorization inSL ∞, Israel J. Math.226(2018), 957–991

  51. [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

  52. [52]

    Lechner,Subsymmetric weak ∗ Schauder bases and factorization of the identity, Studia Math.248 (2019), no

    R. Lechner,Subsymmetric weak ∗ Schauder bases and factorization of the identity, Studia Math.248 (2019), no. 3, 295–319

  53. [53]

    Lechner, P

    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

  54. [54]

    Lechner, P

    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

  55. [55]

    Lechner, P

    R. Lechner, P. Motakis, P. F. X. M¨ uller, and Th. Schlumprecht,The spaceL1(Lp)is primary for1< p < ∞, Forum Math. Sigma10(2022), e32

  56. [56]

    Lechner, P

    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

  57. [57]

    Lechner and T

    R. Lechner and T. Speckhofer,Factorization in Haar system Hardy spaces, Ark. Mat.63(2025), no. 1, 149–205

  58. [58]

    Lindenstrauss,On complemented subspaces ofm, Israel J

    J. Lindenstrauss,On complemented subspaces ofm, Israel J. Math.5(1967), no. 3, 153–156

  59. [59]

    Lindenstrauss,Decomposition of Banach spaces, Indiana Univ

    J. Lindenstrauss,Decomposition of Banach spaces, Indiana Univ. Math. J.20(1971), no. 10, 917–919

  60. [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

  61. [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

  62. [62]

    Lindenstrauss and A

    J. Lindenstrauss and A. Pe lczy´ nski,Contributions to the theory of the classical Banach spaces, J. Funct. Anal.8(1971), 225–249

  63. [63]

    Lindenstrauss and L

    J. Lindenstrauss and L. Tzafriri,Classical Banach Spaces II. Function Spaces, Springer, 1979

  64. [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

  65. [65]

    Lusky,On primary simplex spaces, Manuscripta Math.38(1982), 1–19

    W. Lusky,On primary simplex spaces, Manuscripta Math.38(1982), 1–19

  66. [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

  67. [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

  68. [68]

    P. F. X. M¨ uller,On projections inH 1 andBMO, Studia Math.89(1988), 145–158

  69. [69]

    P. F. X. M¨ uller,Two remarks on primary spaces, Math. Proc. Cambridge Philos. Soc.153(2012), no. 3, 505–523

  70. [70]

    Kh. V. Navoyan,Factorization property in rearrangement invariant spaces, Adv. Oper. Theory8(2023), article 63

  71. [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

  72. [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

  73. [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

  74. [74]

    H. P. Rosenthal,On relatively disjoint families of measures, with some applications to Banach space theory, Studia Math.37(1970), 13–36

  75. [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

  76. [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

  77. [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

  78. [78]

    H. M. Wark,Banach spaces with few operators and multiplier results, D.Phil. thesis, University of Oxford, 1997

  79. [79]

    H. M. Wark,Theℓ ∞ direct sum ofL p (1< p <∞)is primary, J. Lond. Math. Soc. (2)75(2007), no. 1, 176–186

  80. [80]

    H. M. Wark,A class of primary Banach spaces, J. Math. Anal. Appl.330(2007), 961–967

Showing first 80 references.