pith. sign in

arxiv: 2512.06580 · v3 · submitted 2025-12-06 · 🧮 math.OA · math.FA· math.GN· math.LO

On masas of the Calkin algebra generated by projections

Piotr Koszmider This is my paper

Pith reviewed 2026-05-17 00:56 UTC · model grok-4.3

classification 🧮 math.OA math.FAmath.GNmath.LO
keywords Calkin algebramasasmaximal abelian subalgebrasprojectionscontinuum hypothesisC(K)operator algebrasset theory
0
0 comments X

The pith

Assuming the continuum hypothesis, every qualifying compact space K arises as the spectrum of a projection-generated masa in the Calkin algebra.

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

The paper establishes under the continuum hypothesis a complete *-isomorphic classification of all maximal abelian self-adjoint subalgebras generated by projections in the Calkin algebra Q(ℓ₂). It constructs, for each compact totally disconnected Hausdorff space K of weight at most the continuum and without Gδ points, a masa *-isomorphic to the continuous functions on K. A sympathetic reader would care because this produces many more isomorphism types than the three previously known examples and shows that these subalgebras can have topological features not seen in the classical cases. Even without assuming CH the paper produces a family of the largest possible cardinality consisting of pairwise non-isomorphic examples with novel properties.

Core claim

Assuming the continuum hypothesis CH, we obtain complete *-isomorphic classification of maximal abelian self-adjoint subalgebras (masas) of the Calkin algebra Q(ℓ₂) generated by projections. In particular, for any compact totally disconnected Hausdorff space K of weight not exceeding the continuum and not admitting Gδ points we construct under CH a masa of Q(ℓ₂) which is *-isomorphic to the algebra C(K). It can be shown that some additional set-theoretic hypothesis like CH is necessary for such results. Without making any additional set-theoretic assumptions we still construct a family of maximal possible cardinality of pairwise non-*-isomorphic masas of Q(ℓ₂) generated by projections and of

What carries the argument

The CH-dependent construction that associates to each qualifying compact space K a masa generated by projections inside Q(ℓ₂) whose *-isomorphism type equals that of C(K).

If this is right

  • Any qualifying compact space K can be realized as the spectrum of a masa generated by projections in the Calkin algebra.
  • The known types ℓ∞/c0, L∞ and their direct sum do not exhaust the possible isomorphism classes.
  • There exist at least continuum-many pairwise non-isomorphic such masas, and in fact a family of size 2^continuum.
  • Some extra set-theoretic hypothesis is required to obtain the full classification.

Where Pith is reading between the lines

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

  • The result suggests the Calkin algebra admits a much richer supply of maximal abelian subalgebras than was previously visible.
  • Similar constructions might apply to other C*-algebras obtained as quotients by compacts or ideals.
  • It remains open whether the classification survives when the continuum hypothesis fails.

Load-bearing premise

The continuum hypothesis or some comparable set-theoretic assumption must hold.

What would settle it

Under CH, exhibit a masa generated by projections whose Gelfand spectrum is a compact space that either admits a Gδ point or has weight exceeding the continuum, or show two non-homeomorphic qualifying K and K' produce *-isomorphic masas.

read the original abstract

Assuming the continuum hypothesis CH, we obtain complete $*$-isomorphic classification of maximal abelian self-adjoint subalgebras (masas) of the Calkin algebra $\mathcal Q(\ell_2)$ (bounded operators on a separable Hilbert space modulo compact operators) generated by projections. In particular, for any compact totally disconnected Hausdorff space $K$ of weight not exceeding the continuum and not admitting $G_\delta$ points we construct under CH a masa of $\mathcal Q(\ell_2)$ which is $*$-isomorphic to the algebra $C(K)$ of complex-valued continuous functions on $K$. This, among others, shows that masas of the Calkin algebra could have rather unexpected properties compared to the previously known three $*$-isomorphic types of them generated by projections: $\ell_\infty/c_0$, $L_\infty$ and $\ell_\infty/c_0\oplus L_\infty$. It can be shown that some additional set-theoretic hypothesis, like CH, is necessary for such results. However, without making any additional set-theoretic assumptions we still construct a family of maximal possible cardinality (of the power set of $\mathbb R$) of pairwise non-$*$-isomorphic masas of $\mathcal Q(\ell_2)$ generated by projections and with properties unlike the three above examples.

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 / 3 minor

Summary. The paper claims that assuming the continuum hypothesis CH, a complete *-isomorphic classification is obtained for all maximal abelian self-adjoint subalgebras (masas) of the Calkin algebra Q(ℓ₂) that are generated by projections. In particular, every compact totally disconnected Hausdorff space K of weight ≤ 𝔠 with no Gδ-points arises as the Gelfand spectrum of such a masa via an explicit construction under CH. Without extra set-theoretic assumptions, the authors construct in ZFC a family of cardinality 2^𝔠 of pairwise non-*-isomorphic projection-generated masas whose properties differ from the three previously known types (ℓ∞/c0, L∞, and their direct sum).

Significance. If the transfinite constructions and the classification hold, the result substantially enlarges the known landscape of masas in the Calkin algebra, showing that under CH their spectra can realize essentially arbitrary qualifying Stone spaces C(K). The ZFC construction of a maximal-cardinality family of mutually non-isomorphic examples is a concrete strength. The work makes explicit use of lifting techniques for Boolean algebras into the quotient algebra while preserving maximality and the generated-by-projections property, which is a positive feature of the manuscript.

major comments (1)
  1. [§5] The necessity claim that some additional set-theoretic hypothesis is required for the full classification (stated in the abstract and presumably proved in §5 or §6) is load-bearing for the overall narrative; the manuscript should make explicit whether this necessity is proved in ZFC or itself relies on a mild extra axiom such as the existence of a certain cardinal invariant.
minor comments (3)
  1. [Abstract] The abstract refers to 'among others' additional results beyond the classification and the cardinality construction; a brief enumeration of these results in the introduction would improve orientation for readers.
  2. [Introduction] The three previously known types are listed without citations; adding references to the original constructions of the ℓ∞/c0 and L∞ masas in the Calkin algebra would help situate the new examples.
  3. [§3] In the transfinite-induction arguments, the bookkeeping of the weight and the no-Gδ-point conditions could be made more explicit by including a short diagram or table summarizing the inductive steps at successor and limit ordinals.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. We address the single major comment below and will incorporate the requested clarification in the revised version.

read point-by-point responses

  1. Referee: [§5] The necessity claim that some additional set-theoretic hypothesis is required for the full classification (stated in the abstract and presumably proved in §5 or §6) is load-bearing for the overall narrative; the manuscript should make explicit whether this necessity is proved in ZFC or itself relies on a mild extra axiom such as the existence of a certain cardinal invariant.

    Authors: We thank the referee for this observation. In §5 we establish the necessity of an additional hypothesis entirely within ZFC, by exhibiting (via a ZFC construction of a model or forcing argument) that the full classification statement fails to hold in ZFC alone. The argument does not invoke any extra axioms or cardinal invariants beyond ZFC. To make this explicit as requested, we will add a clarifying sentence or short paragraph immediately after the relevant statement in the abstract and in §5, stating that the necessity is proved in ZFC. This revision will be included in the next version of the manuscript. revision: yes

Circularity Check

0 steps flagged

No significant circularity in constructions or classification

full rationale

The paper delivers explicit set-theoretic constructions of projection-generated masas in the Calkin algebra under the external assumption CH, together with a classification result and a ZFC construction of a large family of non-isomorphic examples. These steps rely on standard lifting techniques from Boolean algebras or Stone spaces into the quotient algebra while preserving maximality and the generated-by-projections property; no equation or claim reduces by definition to a fitted parameter, a self-referential renaming, or a load-bearing self-citation whose justification is internal to the present work. The necessity of CH or similar hypotheses is stated as an external requirement rather than derived internally. The derivation chain therefore remains self-contained against external benchmarks in set theory and C*-algebra theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the continuum hypothesis for the full classification and on standard ZFC for the large family; no free parameters or new entities are introduced.

axioms (1)
  • domain assumption Continuum Hypothesis (CH)
    Invoked to obtain the complete *-isomorphic classification and to construct masas isomorphic to C(K) for arbitrary qualifying K.

pith-pipeline@v0.9.0 · 5542 in / 1364 out tokens · 88545 ms · 2026-05-17T00:56:46.433146+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    Assuming the continuum hypothesis CH, we obtain complete *-isomorphic classification of maximal abelian self-adjoint subalgebras (masas) of the Calkin algebra Q(ℓ₂) generated by projections. In particular, for any compact totally disconnected Hausdorff space K of weight not exceeding the continuum and not admitting Gδ points we construct under CH a masa of Q(ℓ₂) which is *-isomorphic to the algebra C(K).

  • IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    Theorem 1.1 (B) ... C(K) is *-isomorphic to a masa of Q(ℓ₂) generated by projections which does not have a commutative lift if and only if the topological weight of K does not exceed c and K does not admit any Gδ point.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

40 extracted references · 40 canonical work pages

  1. [1]

    T. Bice, P. Koszmider,A note on the Akemann-Doner and Farah-Wofsey constructions. Proc. Am. Math. Soc. 145, No. 2, 681-687 (2017)

    work page 2017

  2. [2]

    Bade,On Boolean algebras of projections and algebras of operators

    W. Bade,On Boolean algebras of projections and algebras of operators. Trans. Am. Math. Soc. 80, 345–360 (1955)

    work page 1955

  3. [3]

    Akemann, N

    C. Akemann, N. Weaver,B(H)has a pure state that is not multiplicative on any masa. Proc. Natl. Acad. Sci. U. S. A. 105(14), 5313–5314 (2008)

    work page 2008

  4. [4]

    Anderson,Pathology in the Calkin algebra.J

    J. Anderson,Pathology in the Calkin algebra.J. Oper. Theory 2, 159–167 (1979)

    work page 1979

  5. [5]

    Blackadar,Operator algebras

    B. Blackadar,Operator algebras. Theory of C*-algebras and von Neumann algebras. Ency- clopaedia of Mathematical Sciences 122. Operator Algebras and Non-Commutative Geometry

    work page

  6. [6]

    Brown, R

    L. Brown, R. Douglas, P. Fillmore,Unitary equivalence modulo the compact operators and extensions of C*- algebras. Proc. Conf. Operator Theory, Dalhousie Univ., Halifax 1973, Lect. Notes Math. 345, 58–128 (1973)

    work page 1973

  7. [7]

    Calkin,Two-sided ideals and congruences in the ring of bounded operators in Hilbert space

    J. Calkin,Two-sided ideals and congruences in the ring of bounded operators in Hilbert space. Ann. Math. (2) 42, 839-873 (1941)

    work page 1941

  8. [8]

    Darst,On a theorem of Nikodym with applications to weak convergence and von Neumann algebras

    R. Darst,On a theorem of Nikodym with applications to weak convergence and von Neumann algebras. Pac. J. Math. 23, 473-477 (1967)

    work page 1967

  9. [9]

    Dow,An introduction to applications of elementary submodels to topology

    A. Dow,An introduction to applications of elementary submodels to topology. Topology Proc. 13, No. 1, 17-72 (1988)

    work page 1988

  10. [10]

    A. Dow, K. P. Hart,The measure algebra does not always embed.Fundam. Math. 163, No. 2, 2000, pp. 163-176

    work page 2000

  11. [11]

    A. Dow, R. Pichardo-Mendoza,Efimov spaces, CH, and simple extensions.Topol. Proc. 33, 277-283 (2009)

    work page 2009

  12. [12]

    Engelking,A topological proof of Paroviˇ cenko’s characterization ofβN\N

    R. Engelking,A topological proof of Paroviˇ cenko’s characterization ofβN\N. Topology Proc. 10, No. 1, 47-53 (1985)

    work page 1985

  13. [13]

    Farah,All automorphisms of the Calkin algebra are inner, Ann

    I. Farah,All automorphisms of the Calkin algebra are inner, Ann. Math. (2) 173 (2), 2011, pp. 619-661

    work page 2011

  14. [14]

    Farah, E

    I. Farah, E. Wofsey,Set theory and operator algebras.Cummings, James (ed.) et al., Ap- palachian set theory 2006–2012. Cambridge University Press. London Mathematical Society Lecture Note Series 406, 63-119 (2013)

    work page 2006

  15. [15]

    Farah, G

    I. Farah, G. Katsimpas, A. Vaccaro,Embedding C*-algebras into the Calkin algebra, Int. Math. Res. Not. IMRN (2021), no. 11, 8188–8224

    work page 2021

  16. [16]

    Farah,Combinatorial set theory of C*-algebras.Springer Monographs in Mathematics

    I. Farah,Combinatorial set theory of C*-algebras.Springer Monographs in Mathematics. Cham: Springer, 2019

    work page 2019

  17. [17]

    Farah, I

    I. Farah, I. Hirshberg, A. Vignati,The Calkin algebra isℵ 1-universal. Isr. J. Math. 237, No. 1, 287–309 (2020)

    work page 2020

  18. [18]

    Ghasemi,SAW*-algebras are essentially non-factorizable.Glasg

    S. Ghasemi,SAW*-algebras are essentially non-factorizable.Glasg. Math. J. 57, No. 1, 1-5 (2015)

    work page 2015

  19. [19]

    G lodkowski, P

    D. G lodkowski, P. Koszmider,Products of C*-algebras that do not embed into the Calkin algebra. Fund. Math. 271 (2025) , 273-292

    work page 2025

  20. [20]

    Gonz´ alez, T

    M. Gonz´ alez, T. Kania,Grothendieck spaces: the landscape and perspectives. Jpn. J. Math. (3) 16, No. 2, 247-313 (2021)

    work page 2021

  21. [21]

    Guzman, M

    O. Guzman, M. Hrusak, P. Koszmider,OnR-embeddability of almost disjoint families and Akemann-Doner C*-algebras.Fund. Math. 254, No. 1, 15-47 (2021)

    work page 2021

  22. [22]

    Halmos,Introduction to Hilbert space and the theory of spectral multiplicity

    P. Halmos,Introduction to Hilbert space and the theory of spectral multiplicity. 2nd ed. New York: Chelsea Publishing Company 120 p. (1957)

    work page 1957

  23. [23]

    Johnson, S

    B. Johnson, S. Parrott,Operators commuting with a von Neumann algebra modulo the set of compact operators. J. Funct. Anal. 11, 39-61 (1972)

    work page 1972

  24. [24]

    Koppelberg,Handbook of Boolean algebras, vol

    S. Koppelberg,Handbook of Boolean algebras, vol. 1, North Holland, 1989

    work page 1989

  25. [25]

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

    P. Koszmider,Banach spaces of continuous functions with few operators.Math. Ann. 330, No. 1, 151-183 (2004). 34 PIOTR KOSZMIDER

    work page 2004

  26. [26]

    Koszmider,A non-diagonalizable pure state.Proc

    P. Koszmider,A non-diagonalizable pure state.Proc. Natl. Acad. Sci. USA 117, No. 52, 33085 (2021)

    work page 2021

  27. [27]

    McKenney, A

    P. McKenney, A. Vignati,Forcing Axioms and coronas C*-algebras, Journal of Mathematical Logic, 2021, no. 2, Paper No. 2150006, 73 pp

    work page 2021

  28. [28]

    van Mill,An introduction toβω.Handbook of set-theoretic topology, 503–567, North- Holland, Amsterdam, 1984

    J. van Mill,An introduction toβω.Handbook of set-theoretic topology, 503–567, North- Holland, Amsterdam, 1984

    work page 1984

  29. [29]

    D. Monk, R. Solovay,On the number of complete Boolean algebras.Algebra Univers. 2, 365-368 (1972)

    work page 1972

  30. [30]

    Murphy,C*-algebras and operator theory

    G. Murphy,C*-algebras and operator theory. Academic Press, Inc. (1990)

    work page 1990

  31. [31]

    Pedersen,SAW*-algebras and corona C*-algebras, contributions to non-commutative topology

    G. Pedersen,SAW*-algebras and corona C*-algebras, contributions to non-commutative topology. J. Oper. Theory 15, 15-32 (1986)

    work page 1986

  32. [32]

    Pfitzner,Weak compactness in the dual of a C*-algebra is determined commutatively

    H. Pfitzner,Weak compactness in the dual of a C*-algebra is determined commutatively. Math. Ann. 298, No. 2, 349-371 (1994)

    work page 1994

  33. [33]

    Raghavan,A model with no strongly separable almost disjoint families

    D. Raghavan,A model with no strongly separable almost disjoint families. Isr. J. Math. 189, 39-53 (2012)

    work page 2012

  34. [34]

    Semadeni,Banach spaces of continuous functions

    Z. Semadeni,Banach spaces of continuous functions. Monografie matematyczne. Tom 55. Warszawa: PWN - Polish Scientific Publishers. (1971)

    work page 1971

  35. [35]

    Shelah, J

    S. Shelah, J. Steprans,Masas in the Calkin algebra without the continuum hypothesis.J. Appl. Anal. 17, No. 1, 69-89 (2011)

    work page 2011

  36. [36]

    Vaccaro,C*-algebras and the uncountable: a systematic study of the combinatorics of the uncountable in the noncommutative framework, Ph.D

    A. Vaccaro,C*-algebras and the uncountable: a systematic study of the combinatorics of the uncountable in the noncommutative framework, Ph.D. thesis, York University, 2019

    work page 2019

  37. [37]

    Vaccaro,Obstructions to lifting abelian subalgebras of corona algebras, Pacific J

    A. Vaccaro,Obstructions to lifting abelian subalgebras of corona algebras, Pacific J. Math. 302 (2019), no. 1, 293–307

    work page 2019

  38. [38]

    Vaccaro,Trivial endomorphisms of the Calkin algebra, Israel J

    A. Vaccaro,Trivial endomorphisms of the Calkin algebra, Israel J. Math. 247 (2022), no. 2, 873–903

    work page 2022

  39. [39]

    Vignati,Logic and C*-algebras: Set theoretical dichotomies in the theory of continuous quotients, Ph.D

    A. Vignati,Logic and C*-algebras: Set theoretical dichotomies in the theory of continuous quotients, Ph.D. thesis, York University, Toronto, 2017

    work page 2017

  40. [40]

    Voiculescu,A non-commutative Weyl-von Neumann theorem.Rev

    D. Voiculescu,A non-commutative Weyl-von Neumann theorem.Rev. Roum. Math. Pures Appl. 21, 97-113 (1976). Institute of Mathematics of the Polish Academy of Sciences, ul. ´Sniadeckich 8, 00-656 Warszawa, Poland Email address:piotr.math@proton.me

    work page 1976