pith. sign in

arxiv: 2505.18569 · v3 · submitted 2025-05-24 · 🧮 math.OA · math.GR

Strict comparison for twisted group C*-algebras

Sven Raum , Hannes Thiel , Eduard Vilalta This is my paper

Pith reviewed 2026-05-19 14:21 UTC · model grok-4.3

classification 🧮 math.OA math.GR MSC 46L0520F65
keywords twisted group C*-algebrasselfless groupsrapid decay propertystrict comparisonacylindrically hyperbolic groupspure C*-algebras
0
0 comments X p. Extension

The pith

Any reduced twisted group C*-algebra of a selfless group with the rapid decay property is selfless.

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

The paper aims to prove that selflessness carries over from a group to its reduced twisted group C*-algebra when the group also satisfies the rapid decay property. This matters because selflessness is a regularity condition that helps determine when these algebras are pure and exhibit strict comparison, two features that control their trace structure and K-theory behavior. The authors then apply the result to acylindrically hyperbolic groups that have rapid decay, even those with a nontrivial finite radical, to conclude that the associated twisted group C*-algebras are pure and therefore have strict comparison. This supplies new families of C*-algebras known to satisfy these structural properties.

Core claim

We prove that any reduced twisted group C*-algebra of a selfless group with the rapid decay property is selfless. As an application, we show that twisted group C*-algebras of acylindrically hyperbolic groups (possibly with nontrivial finite radical) and rapid decay are pure, and hence have strict comparison.

What carries the argument

the selfless property of C*-algebras, transferred to reduced twisted group C*-algebras from groups that also have rapid decay

Load-bearing premise

The groups must be selfless and have the rapid decay property, conditions that need separate checking for classes such as acylindrically hyperbolic groups.

What would settle it

A concrete selfless group with the rapid decay property whose reduced twisted group C*-algebra fails to be selfless would disprove the central claim.

read the original abstract

We prove that any reduced twisted group C*-algebra of a selfless group with the rapid decay property is selfless. As an application, we show that twisted group C*-algebras of acylindrically hyperbolic groups (possibly with nontrivial finite radical) and rapid decay are pure, and hence have strict comparison.

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 manuscript proves that any reduced twisted group C*-algebra of a selfless group with the rapid decay property is selfless. As an application, it shows that twisted group C*-algebras of acylindrically hyperbolic groups (possibly with nontrivial finite radical) satisfying rapid decay are pure and therefore have strict comparison.

Significance. If the central result holds, the work meaningfully enlarges the class of C*-algebras known to satisfy strict comparison by incorporating twisted coefficients and groups with finite radicals. The hypotheses are stated cleanly in terms of established group-theoretic notions (selflessness and rapid decay) without introducing free parameters or ad-hoc constructions, and the application to acylindrically hyperbolic groups supplies new concrete examples.

minor comments (3)
  1. [§1] §1 (Introduction): a short paragraph recalling the precise definition of a selfless group (or a pointer to the reference) would improve readability for readers outside the immediate subfield.
  2. [Theorem 3.4] Theorem 3.4: the statement that the twisting cocycle is assumed to be continuous and normalized could be made explicit in the theorem itself rather than only in the surrounding text.
  3. [§5] §5 (Application): the verification that the acylindrically hyperbolic groups under consideration satisfy both selflessness and rapid decay is central to the application; a dedicated lemma or subsection summarizing the group-theoretic input would make the logical flow clearer.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive report. The referee's summary accurately captures our main theorem on selflessness of reduced twisted group C*-algebras for selfless groups with rapid decay, and the application to purity and strict comparison for acylindrically hyperbolic groups (including those with nontrivial finite radical). We are pleased that the work is viewed as enlarging the known class of examples with strict comparison under clean hypotheses.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained against external group-theoretic assumptions

full rationale

The paper states a direct theorem: reduced twisted group C*-algebras of selfless groups with the rapid decay property are selfless, then applies this to acylindrically hyperbolic groups satisfying rapid decay. The central claim rests on the external definitions of 'selfless' and 'rapid decay' (non-trivial group properties whose verification is separate) together with standard C*-algebraic techniques for twisted group algebras. No step reduces by construction to a fitted parameter, self-citation chain, or renamed input; the proof chain is independent of the target conclusion and relies on verifiable external hypotheses rather than internal redefinition.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, ad-hoc axioms, or invented entities are mentioned in the provided text.

pith-pipeline@v0.9.0 · 5561 in / 1169 out tokens · 67905 ms · 2026-05-19T14:21:00.093306+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Selfless reduced amalgamated free products and HNN extensions

    math.OA 2026-04 unverdicted novelty 7.0

    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.

  2. Pureness and stable rank one for reduced twisted group $\mathrm{C}^\ast$-algebras of certain group extensions

    math.OA 2026-01 unverdicted novelty 7.0

    Reduced twisted group C*-algebras of groups with property P_PHP are completely selfless, and those of finite-by-G extensions have stable rank one and are pure.

  3. Selfless inclusions arising from commensurator groups of hyperbolic groups

    math.GR 2026-05 unverdicted novelty 6.0

    Commensurator groups of torsion-free hyperbolic groups are C*-selfless.

  4. Selfless W$^*$-probability spaces and Connes' bicentralizer problem

    math.OA 2025-11 unverdicted novelty 6.0

    Separable type III_1 factors with trivial bicentralizer are selfless W*-probability spaces for every faithful normal state.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages · cited by 4 Pith papers · 2 internal anchors

  1. [1]

    Amrutam,D

    [AGKEP24]T. Amrutam,D. Gao,S. Kunnawalkam Elayavalli, andG. Patchell, Strict comparison in reduced groupC ∗-algebras, preprint (arXiv:2412.06031 [math.OA]),

    work page arXiv

  2. [2]

    Antoine,F

    [APT18]R. Antoine,F. Perera, andH. Thiel, Tensor products and regularity properties of Cuntz semigroups,Mem. Amer. Math. Soc.251(2018), viii+191. [APTV24]R. Antoine,F. Perera,H. Thiel, andE. Vilalta, PureC ∗-algebras, preprint (arXiv:2406.11052 [math.OA]),

    work page arXiv 2018

  3. [3]

    AustadandS

    [AR26]A. AustadandS. Raum, Detecting ideals in reduced crossed product C ∗-algebras of topological dynamical systems,J. Inst. Math. Jussieu25No. 2 (2026), 841–865. [B91]E. B ´edos, Discrete groups and simpleC ∗-algebras,Math. Proc. Cambridge Philos. Soc.109(1991), 521–537. [BEvV22]E. B ´edos,U. Enstad, andJ. T. van Velthoven, Smooth lattice orbits of nilp...

    work page 2026

  4. [4]

    [BK18]R. S. BryderandM. Kennedy, Reduced twisted crossed products overC ∗-simple groups,Int. Math. Res. Not. IMRN(2018), 1638–1655. [EV25]U. EnstadandE. Vilalta,Z-stability of twisted groupC ∗-algebras of nilpotent groups, preprint (arXiv:2503.18088 [math.OA]),

    work page arXiv 2018

  5. [5]

    Pureness and stable rank one for reduced twisted group $\mathrm{C}^\ast$-algebras of certain group extensions

    [FKO+26]F. Flores,M. Klisse,M. ´O CobhthaighandM. Pagliero, Pureness and stable rank one for reduced twisted group C∗-algebras of certain group extensions, preprint (arXiv:2601.19758 [math.OA]),

    work page internal anchor Pith review Pith/arXiv arXiv

  6. [6]

    GerasimovaandD

    [GO20]M. GerasimovaandD. Osin, On invertible elements in reducedC ∗-algebras of acylindrically hyperbolic groups,J. Funct. Anal.279(2020), 108689,

    work page 2020

  7. [7]

    Green, The structure of imprimitivity algebras,J

    [Gre80]P. Green, The structure of imprimitivity algebras,J. Funct. Anal.36(1980), 88–

    work page 1980

  8. [8]

    de la Harpe, Groupes hyperboliques, alg` ebres d’op´ erateurs et un th´ eor` eme de Jolissaint

    [dlH88]P. de la Harpe, Groupes hyperboliques, alg` ebres d’op´ erateurs et un th´ eor` eme de Jolissaint. (Hyperbolic groups, operator algebras and Jolissaint’s theorem),C. R. Acad. Sci., Paris, S´ er. I307(1988), 771–774 (French). [HKER25]B. Hayes,S. Kunnawalkam Elayavalli, andL. Robert, Selfless reduced free prod- uctC ∗-algebras, preprint (arXiv:2505.1...

    work page arXiv 1988

  9. [9]

    Hirshberg,M

    [HRW07]I. Hirshberg,M. Rørdam, andW. Winter,C 0(X)-algebras, stability and strongly self-absorbingC ∗-algebras,Math. Ann.339(2007), 695–732. [Jol90]P. Jolissaint, Rapidly decreasing functions in reducedC ∗-algebras of groups,Trans. Amer. Math. Soc.317(1990), 167–196. [Ker20]D. Kerr, Dimension, comparison, and almost finiteness,J. Eur. Math. Soc. (JEMS) 22...

    work page arXiv 2007

  10. [10]

    Proximality and selflessness for group C*-algebras

    [Laf00]V. Lafforgue, A proof of property (RD) for cocompact lattices of SL 3(R)J. Lie Theory10, No. 2 (2000), 255–267. [MS12]H. MatuiandY. Sato, Strict comparison andZ-absorption of nuclearC ∗-algebras, Acta Math.209(2012), 179–196. [MO15]A. MinasyanandD. Osin, Acylindrical hyperbolicity of groups acting on trees, Math. Ann.362(2015), 1055–1105. [MO19]A. ...

    work page internal anchor Pith review Pith/arXiv arXiv 2000

  11. [11]

    Perera,H

    [PTV25]F. Perera,H. ThielandE. Vilalta, Extensions of pureC ∗-algebras, preprint (arXiv:2506.10529 [math.OA]),

    work page arXiv

  12. [12]

    Ramagge,G

    [RRS98]J. Ramagge,G. RobertsonandT. Steger, A Haagerup inequality for eA1 × eA1 and eA2 buildings,Geom. Funct. Anal.8No. 4 (1998), 702–731. [Rau24]S. Raum, Twisted groupC ∗-algebras of acylindrically hyperbolic groups have stable rank one, Groups, Geom. and Dyn. (to appear), preprint (2403.04649 [math.OA]),

    work page arXiv 1998

  13. [13]

    Robert, Selfless C ∗-algebras,Adv

    STRICT COMPARISON FOR TWISTED GROUP C ∗-ALGEBRAS 7 [Rob25]L. Robert, Selfless C ∗-algebras,Adv. Math.478No. 110409 (2025), 1–28. [RT17]L. RobertandA. Tikuisis, Nuclear dimension andZ-stability of non-simpleC ∗- algebras,Trans. Amer. Math. Soc.369(2017), 4631–4670. [Rob96]D. J. S. Robinson,A course in the theory of groups, second ed.,Graduate Texts in Math...

    work page 2025

  14. [14]

    Thiel, Ranks of operators in simpleC ∗-algebras with stable rank one,Comm

    [Thi20]H. Thiel, Ranks of operators in simpleC ∗-algebras with stable rank one,Comm. Math. Phys.377(2020), 37–76. [Vig25]I. Vigdorovich, Structural properties of reducedC ∗-algebras associated with higher- rank lattices, preprint (arXiv:2503.12737 [math.OA]),

    work page arXiv 2020

  15. [15]

    Winter, Nuclear dimension andZ-stability of pureC ∗-algebras,Invent

    [Win12]W. Winter, Nuclear dimension andZ-stability of pureC ∗-algebras,Invent. Math. 187(2012), 259–342. [Win18]W. Winter, Structure of nuclearC ∗-algebras: from quasidiagonality to classification and back again, inProceedings of the International Congress of Mathematicians— Rio de Janeiro

    work page 2012

  16. [16]

    Vol. III. Invited lectures, World Sci. Publ., Hackensack, NJ, 2018, pp. 1801–1823. Sven Raum, Institute of Mathematics, University of Potsdam, Karl-Liebknecht-Str. 24-25, 14476 Potsdam, Germany Email address:sven.raum@uni-potsdam.de URL:https://raum-brothers.eu/sven/ Hannes Thiel, Department of Mathematical Sciences, Chalmers University of Tech- nology an...

    work page 2018