pith. machine review for the scientific record. sign in

arxiv: 2601.19758 · v2 · submitted 2026-01-27 · 🧮 math.OA · math.FA· math.GR

Recognition: 2 theorem links

· Lean Theorem

Pureness and stable rank one for reduced twisted group C^ast-algebras of certain group extensions

Felipe Flores , Mario Klisse , M\'iche\'al \'O Cobhthaigh , Matteo Pagliero
Authors on Pith no claims yet

Pith reviewed 2026-05-16 10:40 UTC · model grok-4.3

classification 🧮 math.OA math.FAmath.GR
keywords reduced twisted group C*-algebrasproperty P_PHPstable rank onepure C*-algebrasgroup extensionsstrict comparisonacylindrically hyperbolic groupsselfless inclusions
0
0 comments X

The pith

Discrete groups with property P_PHP produce completely selfless reduced twisted group C*-algebras, and finite-by-G extensions yield pure ones of stable rank one.

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

The paper establishes that discrete groups satisfying Ozawa's property P_PHP produce reduced twisted group C*-algebras which are completely selfless. An adaptation of this property for group inclusions leads to selfless inclusions of the corresponding C*-algebras. For extensions of the form finite-by-G where G has P_PHP, the reduced twisted C*-algebras have stable rank one and are pure. This implies they satisfy strict comparison. The proofs avoid assumptions like rapid decay and cover examples such as acylindrically hyperbolic groups and lattices in SL(n, R) for n at least 2.

Core claim

Discrete groups with property P_PHP give rise to completely selfless reduced twisted group C*-algebras, extending the untwisted case. For finite-by-G group extensions with G having P_PHP, the reduced (twisted) C*-algebras are pure and have stable rank one, implying strict comparison. The results hold without rapid decay assumptions.

What carries the argument

Property P_PHP and its adaptation for inclusions, which ensures selflessness of reduced twisted group C*-algebras along with purity and stable rank one in the finite-by-G extension case.

Load-bearing premise

The groups or inclusions satisfy property P_PHP or its adaptation, and the extension is of finite-by-G form.

What would settle it

A discrete group satisfying P_PHP whose reduced twisted group C*-algebra is not completely selfless, or a finite-by-G extension whose C*-algebra lacks stable rank one or purity, would disprove the claims.

read the original abstract

The purpose of this note is to prove two results. First, we observe that discrete groups with property $\mathrm{P}_{\mathrm{PHP}}$ in the sense of Ozawa give rise to completely selfless reduced twisted group $\mathrm{C}^\ast$-algebras, thereby extending a theorem of Ozawa from the untwisted to the twisted case. We also observe that an adaptation of property $\mathrm{P}_{\mathrm{PHP}}$ for an inclusion of groups implies that the associated inclusion of reduced twisted group $\mathrm{C}^\ast$-algebras is selfless in the sense of Hayes-Kunnawalkam Elayavalli-Patchell-Robert. Second, we show that reduced (twisted) $\mathrm{C}^\ast$-algebras of some group extensions of the form finite-by-$G$, with $G$ having the property $\mathrm{P}_{\mathrm{PHP}}$, have stable rank one and are pure, which implies strict comparison. Our results do not assume rapid decay, and extend a theorem of Raum-Thiel-Vilalta. Examples covered by our results include reduced twisted group $\mathrm{C}^\ast$-algebras of all acylindrically hyperbolic groups and all lattices in ${\rm SL}(n,\mathbb R)$ for $n\geq2$.

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 two main results. First, discrete groups with Ozawa's property P_PHP yield completely selfless reduced twisted group C*-algebras, extending Ozawa's theorem to the twisted setting; an adaptation of P_PHP for group inclusions implies selflessness of the corresponding inclusion of reduced twisted group C*-algebras. Second, for finite-by-G extensions where G has P_PHP, the reduced (twisted) C*-algebras have stable rank one and are pure, implying strict comparison. The proofs avoid any rapid-decay hypothesis and apply to acylindrically hyperbolic groups and lattices in SL(n,R) for n≥2.

Significance. If the derivations hold, the results meaningfully enlarge the class of groups for which complete selflessness, stable rank one, and purity are known for reduced twisted group C*-algebras. The removal of the rapid-decay assumption and the treatment of twisted multipliers and finite-by-G extensions constitute concrete technical progress over Ozawa and over Raum-Thiel-Vilalta, with direct consequences for strict comparison.

minor comments (3)
  1. [§1] §1, paragraph after Definition 1.2: the precise statement of the adapted property P_PHP for inclusions (how the multipliers and the twisting cocycle interact with the PHP condition) should be written as a numbered definition rather than described inline.
  2. [Theorem 3.4] Theorem 3.4: the passage from purity to strict comparison is invoked via a reference to a result of Rørdam; a one-sentence reminder of the exact hypothesis needed (e.g., unitality or nuclearity) would help readers.
  3. [Introduction] The list of examples in the final paragraph of the introduction is useful; adding a short sentence confirming that the listed groups satisfy the (adapted) P_PHP hypothesis would make the applicability immediate.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of the main results, and recommendation for minor revision. The report correctly identifies the extensions to the twisted setting, the treatment of finite-by-G extensions, and the removal of the rapid-decay hypothesis.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper extends Ozawa's externally defined property P_PHP to reduced twisted group C*-algebras and to finite-by-G extensions, then invokes standard C*-algebraic consequences (selflessness, stable rank one, purity, strict comparison) under those hypotheses. The derivations are conditional on the group-theoretic assumptions, which are independently stated and illustrated by examples such as acylindrically hyperbolic groups and lattices in SL(n,R); no step reduces by definition or by self-citation to the paper's own fitted quantities or prior claims. The argument therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Relies on the external definition of property P_PHP (Ozawa) and standard axioms of C*-algebras and group representations; no free parameters or invented entities are introduced.

axioms (2)
  • standard math Standard axioms of C*-algebras, reduced group C*-algebras, and twisted multipliers
    Invoked throughout as background for the definitions of selflessness, stable rank one, and purity.
  • domain assumption Property P_PHP as defined by Ozawa for discrete groups
    Central hypothesis for the first result; adapted for inclusions in the second.

pith-pipeline@v0.9.0 · 5548 in / 1306 out tokens · 23197 ms · 2026-05-16T10:40:26.980803+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.

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.

Forward citations

Cited by 2 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. 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.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages · cited by 2 Pith papers · 1 internal anchor

  1. [1]

    Amrutam, D

    T. Amrutam, D. Gao, S. Kunnawalkam Elayavalli, and G. Patchell,Strict comparison in reduced groupC∗- algebras, Invent. Math.242(2025), no. 3, 639–657

    work page 2025

  2. [2]

    Antoine, F

    R. Antoine, F. Perera, H. Thiel, and E. Vilalta,PureC∗-algebras, 2024, preprint,https://arxiv.org/abs/ 2406.11052

    work page arXiv 2024

  3. [3]

    Ramon Antoine, Francesc Perera, and Hannes Thiel,Tensor products and regularity properties of cuntz semi- groups, Mem. Amer. Math. Soc.251(2018), viii+191

    work page 2018

  4. [4]

    Bédos,Discrete groups and simpleC ∗-algebras, Math

    E. Bédos,Discrete groups and simpleC ∗-algebras, Math. Proc. Cambridge Philos. Soc.109(1991), no. 3, 521–537

    work page 1991

  5. [5]

    Bédos, U

    E. Bédos, U. Enstad, and J. T. van Velthoven,Smooth lattice orbits of nilpotent groups and strict comparison of projections, J. Funct. Anal.283(2022), no. 6, Paper No. 109572, 48

    work page 2022

  6. [6]

    Blackadar,Comparison theory for simpleC ∗-algebras, Operator algebras and applications, London Math

    B. Blackadar,Comparison theory for simpleC ∗-algebras, Operator algebras and applications, London Math. Soc. Lecture Note Ser., vol. 135, Cambridge Univ. Press, Cambridge, 1988, pp. 21–54

    work page 1988

  7. [7]

    Chatterji,Introduction to the rapid decay property, Around Langlands correspondences, Contemp

    I. Chatterji,Introduction to the rapid decay property, Around Langlands correspondences, Contemp. Math., vol. 691, Amer. Math. Soc., Providence, RI, 2017, pp. 53–72

    work page 2017

  8. [8]

    Flores, M

    F. Flores, M. Klisse, M. Ó Cobhthaigh, and M. Pagliero,Selfless reduced free products and graph products of C∗-algebras, 2025, preprint,https://arxiv.org/abs/2510.24675

    work page arXiv 2025

  9. [9]

    Glasner,Proximal flows, Lecture Notes in Mathematics, vol

    S. Glasner,Proximal flows, Lecture Notes in Mathematics, vol. 517, Springer-Verlag, Berlin-New York, 1976

    work page 1976

  10. [10]

    Green,The structure of imprimitivity algebras, J

    P. Green,The structure of imprimitivity algebras, J. Funct. Anal.36(1980), no. 1, 88–104

    work page 1980

  11. [11]

    Hayes, S

    B. Hayes, S. Kunnawalkam Elayavalli, G. Patchell, and L. Robert,Selfless inclusions ofC∗-algebras, 2025, preprint,https://arxiv.org/abs/2510.13398

    work page arXiv 2025

  12. [12]

    Hayes, S

    B. Hayes, S. Kunnawalkam Elayavalli, and L. Robert,Selfless reduced free productC∗-algebras, 2025, preprint, https://arxiv.org/abs/2505.13265

    work page arXiv 2025

  13. [13]

    Kerr,Dimension, comparison, and almost finiteness, J

    D. Kerr,Dimension, comparison, and almost finiteness, J. Eur. Math. Soc. (JEMS)22(2020), no. 11, 3697– 3745

    work page 2020

  14. [14]

    Kunnawalkam Elayavalli, G

    S. Kunnawalkam Elayavalli, G. Patchell, and L. Teryoshin,Some remarks on decay in countable groups and amalgamated free products, 2025, preprint,https://arxiv.org/abs/2509.08754

    work page arXiv 2025

  15. [15]

    Kunnawalkam Elayavalli and C

    S. Kunnawalkam Elayavalli and C. Schafhauser,Negative resolution to theC∗-algebraic tarski problem, 2025, preprint,https://arxiv.org/abs/2503.10505

    work page arXiv 2025

  16. [16]

    X. Ma, D. Wang, and W. Yang,Boundary actions ofCAT(0)spaces: topological freeness and applications to C∗-algebras, 2025, preprint,https://arxiv.org/abs/2510.05669

    work page arXiv 2025

  17. [17]

    Matui and Y

    H. Matui and Y. Sato,Strict comparison andZ-absorption of nuclearC ∗-algebras, Acta Math.209(2012), no. 1, 179–196

    work page 2012

  18. [18]

    Minasyan and D

    A. Minasyan and D. Osin,Acylindrical hyperbolicity of groups acting on trees, Math. Ann.362(2015), no. 3-4, 1055–1105

    work page 2015

  19. [19]

    Ann.371(2019), no

    ,Correction to: ‘acylindrical hyperbolicity of groups acting on trees’, Math. Ann.371(2019), no. 1-2, 895–900

    work page 2019

  20. [20]

    Osin,Acylindrically hyperbolic groups, Trans

    D. Osin,Acylindrically hyperbolic groups, Trans. Amer. Math. Soc.368(2016), no. 2, 851–888

    work page 2016

  21. [21]

    Ozawa,Proximality and selflessness for groupC∗-algebras, 2025, preprint,https://arxiv.org/abs/2508

    N. Ozawa,Proximality and selflessness for groupC∗-algebras, 2025, preprint,https://arxiv.org/abs/2508. 07938

    work page 2025

  22. [22]

    Perera, H

    F. Perera, H. Thiel, and E. Vilalta,Extensions of pureC∗-algebras, 2025, preprint,https://arxiv.org/abs/ 2506.10529

    work page arXiv 2025

  23. [23]

    Raum,Twisted groupC ∗-algebras of acylindrically hyperbolic groups have stable rank one, 2024, preprint, https://arxiv.org/abs/2403.04649

    S. Raum,Twisted groupC ∗-algebras of acylindrically hyperbolic groups have stable rank one, 2024, preprint, https://arxiv.org/abs/2403.04649

    work page arXiv 2024

  24. [24]

    S. Raum, H. Thiel, and Eduard Vilalta,Strict comparison for twisted groupC∗-algebras, 2025, preprint,https: //arxiv.org/abs/2505.18569

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  25. [25]

    M. A. Rieffel,Dimension and stable rank in theK-theory ofC∗-algebras, Proc. London Math. Soc.3(1983), no. 2, 301–333

    work page 1983

  26. [26]

    Robert,SelflessC ∗-algebras, Adv

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

    work page 2025

  27. [27]

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

    H. Thiel,Ranks of operators in simpleC∗-algebras with stable rank one, Comm. Math. Phys.377(2020), no. 1, 37–76

    work page 2020

  28. [28]

    Vigdorovich,Structural properties of reducedC∗-algebras associated with higher-rank lattices, 2025, preprint, https://arxiv.org/abs/2503.12737

    I. Vigdorovich,Structural properties of reducedC∗-algebras associated with higher-rank lattices, 2025, preprint, https://arxiv.org/abs/2503.12737

    work page arXiv 2025

  29. [29]

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

    W. Winter,Nuclear dimension andZ-stability of pureC ∗-algebras, Invent. Math.187(2012), no. 2, 259–342. PURENESS AND STABLE RANK ONE FOR REDUCED TWISTED GROUPC ∗-ALGEBRAS 7

    work page 2012

  30. [30]

    Internat

    ,Structure of nuclearC∗-algebras: from quasidiagonality to classification and back again, Proc. Internat. Cong. Math. (Rio de Janeiro 2018), vol. III. Invited lectures, World Sci. Publ., Hackensack, NJ, 2018, pp. 1801– 1823

    work page 2018

  31. [31]

    Yang,An extreme boundary of acylindrically hyperbolic groups, 2025, preprint,https://arxiv.org/abs/ 2511.16400

    W. Yang,An extreme boundary of acylindrically hyperbolic groups, 2025, preprint,https://arxiv.org/abs/ 2511.16400

    work page arXiv 2025

  32. [32]

    R. J. Zimmer,Ergodic theory and semisimple groups, Monographs in Mathematics, vol. 81, Birkhäuser Verlag, Basel, 1984. Department of Mathematics, University of Virginia, Kerchof Hall. 141 Cabell Dr, Char- lottesville, Virginia, United States Email address:hmy3tf@virginia.edu Email address:des5sf@virginia.edu Department of Mathematics, Christian-Albrechts ...

    work page 1984