pith. sign in

arxiv: 2606.09654 · v1 · pith:RUS7YIZXnew · submitted 2026-06-08 · 🧮 math.OA

The Selfless Dichotomy

Miles Gould This is my paper

Pith reviewed 2026-06-27 13:59 UTC · model grok-4.3

classification 🧮 math.OA
keywords selfless C*-algebrasC*-probability spacespurely infinitestably finitereduced free productsGNS representationsdichotomysimplicity
0
0 comments X

The pith

Nonfaithful selfless C*-probability spaces are purely infinite and simple, completing the dichotomy that every selfless C*-algebra is either purely infinite or stably finite.

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

The paper closes the remaining case in the classification of selfless C*-probability spaces by showing that those with nonfaithful states are purely infinite and simple. A sympathetic reader would care because this finishes the split into purely infinite or stably finite, and establishes that all such algebras are pure. The argument rests on proving that infinite reduced free products of C*-probability spaces with nonfaithful states inducing faithful GNS representations are often purely infinite and simple. This step then yields stronger permanence results, advances on a related conjecture, and new isomorphisms from free products.

Core claim

Nonfaithful selfless C*-probability spaces are purely infinite, simple. This completes the dichotomy: Every selfless C*-algebra is either purely infinite or stably finite. Notably, this shows that every selfless C*-algebra is pure. To accomplish this, infinite reduced free products of C*-probability spaces with nonfaithful states inducing faithful GNS representations are often purely infinite, simple. Having resolved the selfless dichotomy, existing permanence properties of selfless C*-probability spaces are improved, progress is made on a conjecture of Choda and Dykema, and several new isomorphisms arise from reduced free products.

What carries the argument

Infinite reduced free products of C*-probability spaces with nonfaithful states inducing faithful GNS representations, used to establish the purely infinite simple case.

If this is right

  • Every selfless C*-algebra is pure.
  • Permanence properties of selfless C*-probability spaces hold in stronger form.
  • Progress is made on the Choda-Dykema conjecture.
  • New isomorphisms are obtained between certain reduced free products.

Where Pith is reading between the lines

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

  • The completed dichotomy rules out any selfless C*-algebra that mixes finite and infinite behavior in its projections.
  • The free product construction supplies a systematic method for generating purely infinite simple examples from nonfaithful data.

Load-bearing premise

Infinite reduced free products of C*-probability spaces with nonfaithful states inducing faithful GNS representations are often purely infinite and simple.

What would settle it

An explicit example of a nonfaithful selfless C*-probability space that is neither purely infinite nor simple would disprove the claim.

read the original abstract

The purpose of this note is to address the gap in the stably finite/purely infinite dichotomy of selfless $C^*$-probability spaces. In particular, we show that nonfaithful selfless $C^*$-probability spaces are purely infinite, simple. This completes the dichotomy: Every selfless $C^*$-algebra is either purely infinite or stably finite. Notably, this shows that every selfless $C^*$-algebra is pure. To accomplish this, we show that infinite reduced free products of $C^*$-probability spaces with nonfaithful states inducing faithful GNS representations are often purely infinite, simple. Having resolved the selfless dichotomy, we improve existing permanence properties of selfless $C^*$-probability spaces, make progress on a conjecture of Choda and Dykema, and produce several new isomorphisms arising from reduced free products.

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 paper addresses the gap in the stably finite/purely infinite dichotomy for selfless C*-probability spaces. It proves that nonfaithful selfless C*-probability spaces are purely infinite and simple by showing that infinite reduced free products of C*-probability spaces with nonfaithful states that induce faithful GNS representations are often purely infinite and simple. This completes the dichotomy, implying that every selfless C*-algebra is either purely infinite or stably finite, and hence pure. Additionally, the paper improves permanence properties of selfless C*-probability spaces, makes progress on a conjecture of Choda and Dykema, and produces several new isomorphisms from reduced free products.

Significance. Resolving the selfless dichotomy is a notable advance in the theory of C*-algebras, particularly in understanding the structure of selfless C*-algebras and their purity. The use of reduced free products to generate purely infinite simple examples strengthens the toolkit for constructing C*-algebras with specific properties. If the proofs are correct, this work has the potential to influence further research on free products and related constructions in operator algebras.

minor comments (3)
  1. [Abstract] Abstract: the qualifier 'often purely infinite, simple' should be replaced by a precise reference to the theorem stating the exact hypotheses under which the reduced free product is purely infinite and simple.
  2. The introduction should include a short paragraph recalling the definition of a selfless C*-probability space and the precise statement of the gap that is being filled.
  3. When new isomorphisms are stated as consequences of the reduced free product construction, the specific C*-algebras on each side of the isomorphism should be named explicitly rather than left implicit.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of its contributions to resolving the selfless dichotomy, and recommendation of minor revision. The significance noted aligns with our view of the work's potential impact on C*-algebra theory.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's derivation establishes that nonfaithful selfless C*-probability spaces are purely infinite and simple by constructing infinite reduced free products of C*-probability spaces with nonfaithful states that induce faithful GNS representations, then proving permanence properties and new isomorphisms. No load-bearing step reduces by definition or construction to its own inputs; the key claim is supported by explicit arguments supplied in the manuscript rather than self-citation chains, fitted parameters renamed as predictions, or ansatzes smuggled via prior work. The result is self-contained against the stated external constructions.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no specific free parameters, axioms, or invented entities can be extracted or verified from the provided text.

pith-pipeline@v0.9.1-grok · 5650 in / 1073 out tokens · 16753 ms · 2026-06-27T13:59:34.470720+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

22 extracted references · 9 canonical work pages · 5 internal anchors

  1. [1]

    Ramon Antoine, Francesc Perera, Hannes Thiel, and Eduard Vilalta,PureC ∗-algebras (2024), preprint, available atarXiv:2406.11052

    work page arXiv 2024

  2. [2]

    5, Cambridge University Press, Cambridge, 1998

    Bruce Blackadar,K-Theory for Operator Algebras, 2nd ed., Mathematical Sciences Research Institute Publications, vol. 5, Cambridge University Press, Cambridge, 1998

    1998

  3. [3]

    Dykema,Purely infinite, simpleC ∗-algebras arising from free product constructions, III, Proc

    Marie Choda and Kenneth J. Dykema,Purely infinite, simpleC ∗-algebras arising from free product constructions, III, Proc. Amer. Math. Soc.128(2000), no. 11, 3269–3273

    2000

  4. [4]

    Dykema,Purely infinite, simpleC ∗-algebras arising from free product construc- tions, II, Math

    Kenneth J. Dykema,Purely infinite, simpleC ∗-algebras arising from free product construc- tions, II, Math. Scand.90(2002), 73–86

    2002

  5. [5]

    Dykema and Mikael Rørdam,Purely infinite, simpleC ∗-algebras arising from free product constructions, Canad

    Kenneth J. Dykema and Mikael Rørdam,Purely infinite, simpleC ∗-algebras arising from free product constructions, Canad. J. Math.50(1998), no. 2, 323–341

    1998

  6. [6]

    271, American Mathematical Society, Providence, RI, 2021

    Ilijas Farah, Bradd Hart, Martino Lupini, Leonel Robert, Aaron Tikuisis, Alessandro Vignati, and Wilhelm Winter,Model Theory ofC ∗-Algebras, Memoirs of the American Mathematical Society, vol. 271, American Mathematical Society, Providence, RI, 2021

    2021

  7. [7]

    Felipe Flores, Mario Klisse, M´ ıche´ al´O Cobhthaigh, and Matteo Pagliero,Selfless reduced free products and graph products ofC ∗-algebras(2025), preprint, available atarXiv:2510.24675

    work page arXiv 2025

  8. [8]

    David Gao, Srivatsav Kunnawalkam Elayavalli, Gregory Patchell, and Lizzy Teryoshin,Self- less reduced amalgamated free products and HNN extensions(2026), preprint, available at arXiv:2604.06982

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  9. [9]

    Kei Hasegawa,KK-equivalence for amalgamated free productC ∗-algebras, Int. Math. Res. Not. IMRN24(2016), 7619–7636

    2016

  10. [10]

    Ben Hayes, Srivatsav Kunnawalkam Elayavalli, and Leonel Robert,Selfless reduced free prod- uctC ∗-algebras(2025), preprint, available atarXiv:2505.13265

    work page arXiv 2025

  11. [11]

    Ben Hayes, Srivatsav Kunnawalkam Elayavalli, Gregory Patchell, and Leonel Robert,Selfless inclusions ofC ∗-algebras(2025), preprint, available atarXiv:2510.13398

    work page arXiv 2025

  12. [12]

    An isomorphism theorem for infinite reduced free products

    Ilan Hirshberg and N. Christopher Phillips,An isomorphism theorem for infinite reduced free products(2026), preprint, available atarXiv:2602.10220

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  13. [13]

    Akitaka Kishimoto, Narutaka Ozawa, and Shˆ oichirˆ o Sakai,Homogeneity of the pure state space of a separableC ∗-algebra, Canad. Math. Bull.46(2003), no. 3, 365–372

    2003

  14. [14]

    Narutaka Ozawa,Nuclearity of reduced amalgamated free productC ∗-algebras, RIMS Kˆ okyˆ uroku1250(2002), 49–55

    2002

  15. [15]

    ,Proximality and selflessness for groupC ∗-algebras(2025), preprint, available at arXiv:2508.07938

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  16. [16]

    Sven Raum, Hannes Thiel, and Eduard Vilalta,Strict comparison for twisted groupC ∗- algebras(2025), preprint, available atarXiv:2505.18569

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  17. [17]

    Math.478(2025), Paper No

    Leonel Robert,SelflessC ∗-algebras, Adv. Math.478(2025), Paper No. 110409, 28 pp

    2025

  18. [18]

    Entropy in Operator Algebras, 2002, pp

    Mikael Rørdam,Classification of nuclear, simpleC ∗-algebras, Classification of NuclearC ∗- Algebras. Entropy in Operator Algebras, 2002, pp. 1–145

    2002

  19. [19]

    124, Springer, Berlin, Heidelberg, 2001

    Masamichi Takesaki,Theory of Operator Algebras I, Encyclopaedia of Mathematical Sciences, vol. 124, Springer, Berlin, Heidelberg, 2001

    2001

  20. [20]

    Klaus Thomsen,On the KK-theory and the E-theory of amalgamated free products ofC ∗- algebras, J. Funct. Anal.201(2003), no. 1, 30–56

    2003

  21. [21]

    Itamar Vigdorovich,Selfless reducedC ∗-algebras of linear groups(2026), preprint, available atarXiv:2602.10616

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  22. [22]

    Voiculescu, Kenneth J

    Dan V. Voiculescu, Kenneth J. Dykema, and Alexandru Nica,Free Random Variables, CRM Monograph Series, vol. 1, American Mathematical Society, Providence, RI, 1992

    1992