Proximality and selflessness for group C*-algebras
Pith reviewed 2026-05-19 00:18 UTC · model grok-4.3
The pith
Reduced group C*-algebras of infinite discrete groups with topologically free extreme boundaries are selfless.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that the reduced group C*-algebras of infinite countable discrete groups having topologically-free extreme boundaries, or more generally groups that satisfy certain combinatorial property including all acylindrically hyperbolic groups with no nontrivial finite normal subgroups and all Zariski-dense subgroups of PSL(n,R), are selfless in the sense of L. Robert. This generalizes the recent results of Amrutam, Gao, Kunnawalkam Elayavalli, and Patchell, and of Vigdorovich. We also prove that selflessness is stable under tensor product among exact C*-algebras and that a C*-probability space is selfless provided that it is either simple and purely infinite or simple, exact, Z-stable, and
What carries the argument
The combinatorial property or the condition of topologically-free extreme boundaries on the group, which is used to deduce selflessness of the reduced group C*-algebra via proximality.
If this is right
- Selflessness is preserved when taking tensor products of exact C*-algebras.
- Every simple and purely infinite C*-probability space is selfless.
- Every simple, exact, Z-stable, and uniquely tracial C*-probability space is selfless.
- The conclusion applies in particular to all acylindrically hyperbolic groups without nontrivial finite normal subgroups.
Where Pith is reading between the lines
- The result may link selflessness to other rigidity phenomena already studied for boundary actions of the same groups.
- One could test whether the combinatorial property alone forces additional C*-algebraic features such as pure infiniteness.
- Stability under tensor products suggests examining whether selflessness passes to crossed products by actions that preserve the relevant group properties.
Load-bearing premise
That the groups under consideration possess topologically-free extreme boundaries or satisfy the combinatorial property listed in the statement.
What would settle it
An explicit infinite countable discrete group that satisfies the combinatorial property yet whose reduced group C*-algebra fails to be selfless would refute the central claim.
read the original abstract
We prove that the reduced group C*-algebras of infinite countable discrete groups having topologically-free extreme boundaries, or more generally groups that satisfy certain combinatorial property including all acylindrically hyperbolic groups with no nontrivial finite normal subgroups and all Zariski-dense subgroups of PSL(n,R), are selfless in the sense of L. Robert. This generalizes the recent results of Amrutam, Gao, Kunnawalkam Elayavalli, and Patchell, and of Vigdorovich. We also prove that selflessness is stable under tensor product among exact C*-algebras and that a C*-probability space is selfless provided that it is either simple and purely infinite or simple, exact, Z-stable, and uniquely tracial.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that the reduced group C*-algebras of infinite countable discrete groups having topologically-free extreme boundaries, or more generally groups satisfying a stated combinatorial property (including all acylindrically hyperbolic groups with no nontrivial finite normal subgroups and all Zariski-dense subgroups of PSL(n,R)), are selfless in the sense of L. Robert. This generalizes results of Amrutam-Gao-Kunnawalkam Elayavalli-Patchell and of Vigdorovich. The paper further establishes that selflessness is stable under tensor products among exact C*-algebras and that a C*-probability space is selfless if it is either simple and purely infinite or simple, exact, Z-stable, and uniquely tracial.
Significance. If the results hold, the work substantially enlarges the class of known selfless C*-algebras by incorporating standard families from geometric group theory and provides useful stability theorems. The explicit verification that the combinatorial property implies the required boundary-action conditions for selflessness, together with the direct inclusion of acylindrically hyperbolic groups and Zariski-dense subgroups, supplies concrete, checkable examples that strengthen the applicability of Robert's notion.
minor comments (3)
- [§2.1] §2.1: the combinatorial property is introduced via a list of conditions; a single numbered definition or displayed box would make subsequent references (e.g., in the proof of Theorem 3.4) easier to track.
- [Theorem 4.2] Theorem 4.2: the statement that selflessness passes to tensor products of exact C*-algebras is clear, but the argument relies on an auxiliary exactness-preserving map whose continuity at the unit is not explicitly verified; a short sentence or reference to a standard lemma would suffice.
- [Introduction] The introduction cites Robert's definition of selflessness but does not record the precise page or theorem number; adding the reference would aid readers unfamiliar with the source.
Simulated Author's Rebuttal
We thank the referee for the positive report and recommendation for minor revision. We appreciate the recognition of how the results enlarge the class of known selfless C*-algebras and provide concrete examples from geometric group theory.
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper proves selflessness of reduced group C*-algebras for groups with topologically-free extreme boundaries or a stated combinatorial property by establishing implications from the combinatorial condition to the required boundary action properties (in the sense of Robert) and verifying that acylindrically hyperbolic groups and Zariski-dense subgroups satisfy the property via standard facts. This chain relies on external definitions, prior results by other authors, and known boundary theory without any reduction of the central claim to a self-definition, fitted input renamed as prediction, or load-bearing self-citation chain. The stability results for exact C*-algebras and C*-probability spaces are likewise derived from independent assumptions on simplicity, exactness, and Z-stability. The derivation is therefore self-contained against external benchmarks in operator algebra theory.
Axiom & Free-Parameter Ledger
Forward citations
Cited by 8 Pith papers
-
Boundary dynamics, triple transitivity, and mixed identities in weakly hyperbolic groups
Lim-free dynamical criterion for faithful boundary actions on hyperbolic spaces is equivalent to the algebraic property of being mixed identity free, with transitivity degree bounded by 3 for non-lim-free groups.
-
Uniform amenability at infinity
Uniform amenability at infinity holds for free groups and limit groups, implying uniform strong convergence in the operator algebraic sense for convergent sequences of such groups in the marked group space.
-
Selfless reduced amalgamated free products and HNN extensions
A general family of selfless inclusions is established for reduced amalgamated free products of C*-algebras, with applications to new HNN extensions and selflessness for graph products over suitable graphs.
-
Selfless inclusions arising from commensurator groups of hyperbolic groups
Commensurator groups of torsion-free hyperbolic groups are C*-selfless.
-
A finitary criterion for selfless tracial C*-algebras
Selflessness of separable tracial C*-algebras equals an approximate finitary condition on traces of unitaries and alternating words, proved via ultrapower diagonalization.
-
Selfless W$^*$-probability spaces and Connes' bicentralizer problem
Separable type III_1 factors with trivial bicentralizer are selfless W*-probability spaces for every faithful normal state.
-
Toeplitz exactness for strong convergence
A new Toeplitz exactness theorem provides a general machine to upgrade strong convergence in C*-correspondences.
-
Strict comparison for twisted group C*-algebras
Reduced twisted group C*-algebras of selfless groups with rapid decay are selfless, implying that those of acylindrically hyperbolic groups with rapid decay are pure and have strict comparison.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.