pith. sign in

arxiv: 2606.27198 · v1 · pith:BPRR2CNInew · submitted 2026-06-25 · 🧮 math.OA · math.GR

Selflessness for twisted group C*-algebras of amenable groups and their inclusions

Tron Omland This is my paper

Pith reviewed 2026-06-26 01:37 UTC · model grok-4.3

classification 🧮 math.OA math.GR
keywords twisted group C*-algebrasselflessnessKleppner conditionamenable groupsgroup inclusionsvirtually nilpotent groupsFC-hypercentral groups
0
0 comments X

The pith

For amenable virtually nilpotent groups, the twisted reduced group C*-algebra is selfless exactly when the pair satisfies Kleppner's condition.

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

The paper records when twisted group C*-algebras of discrete amenable groups are selfless. For infinite finitely generated virtually nilpotent G this holds exactly when (G,σ) satisfies Kleppner's condition. The same equivalence holds modulo Z-stability for the larger class of FC-hypercentral groups. For inclusions of such algebras with H normal in G, the inclusion is selfless precisely when the smaller algebra is selfless and the relative Kleppner condition holds. These results give explicit group-theoretic criteria for the selflessness property in the amenable setting.

Core claim

For a discrete amenable group G with two-cocycle σ the twisted group C*-algebra C*_r(G,σ) is selfless exactly when (G,σ) satisfies Kleppner's condition, at least when G is infinite finitely generated and virtually nilpotent. For FC-hypercentral amenable groups the same holds modulo Z-stability. For a normal subgroup H the inclusion C*_r(H,σ') ⊆ C*_r(G,σ) is selfless precisely when C*_r(H,σ') is selfless and (H≤G,σ) satisfies the relative Kleppner condition; this equivalence holds for any amenable G.

What carries the argument

Kleppner's condition (and its relative version for pairs H≤G), the group-theoretic criterion that exactly determines selflessness of the twisted C*-algebras and inclusions.

If this is right

  • Selflessness of C*_r(G,σ) reduces to checking Kleppner's condition when G is infinite finitely generated virtually nilpotent and amenable.
  • For FC-hypercentral amenable groups, selflessness is equivalent to Kleppner's condition up to Z-stability of the algebra.
  • Selflessness of an inclusion C*_r(H,σ') ⊆ C*_r(G,σ) with H normal reduces to selflessness of the smaller algebra plus the relative Kleppner condition.
  • The selflessness property for inclusions is completely determined by the subalgebra and the relative condition whenever G is amenable.

Where Pith is reading between the lines

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

  • If Kleppner's condition admits an algorithmic check for concrete groups, the results supply a practical test for selflessness without computing the algebra directly.
  • The pattern suggests that Kleppner-type conditions may characterize selflessness for amenable groups outside the virtually nilpotent and FC-hypercentral classes.
  • Removing amenability would require new structural results, since the proofs invoke amenability to relate the twisted algebras to known classes.

Load-bearing premise

The exact equivalences with Kleppner's condition are proved only when the groups are amenable and fall into the classes of virtually nilpotent or FC-hypercentral groups.

What would settle it

An explicit amenable virtually nilpotent group G and cocycle σ that satisfies Kleppner's condition yet yields a non-selfless C*_r(G,σ) would falsify the claimed equivalence.

read the original abstract

For a discrete amenable group $G$ with a two-cocycle $\sigma$ we first record a few results on when the twisted group $C^*$-algebra $C^*_r(G,\sigma)$ is selfless, in the sense of Robert. In particular, for an infinite finitely generated virtually nilpotent $G$, this holds exactly when $(G,\sigma)$ satisfies Kleppner's condition. For the larger class of FC-hypercentral groups the same holds modulo $\mathcal{Z}$-stability, equivalently finite nuclear dimension. Further, using the relative Kleppner condition we obtain corresponding selflessness results for inclusions $C^*_r(H,\sigma')\subseteq C^*_r(G,\sigma)$, when $H$ is a normal subgroup of $G$. For amenable $G$ such an inclusion is selfless precisely when $C^*_r(H,\sigma')$ is selfless and $(H\leq G,\sigma)$ satisfies the relative Kleppner condition. Thus, for an infinite finitely generated virtually nilpotent $G$, selflessness of the inclusion $C^*_r(H,\sigma')\subseteq C^*_r(G,\sigma)$ is equivalent to the relative Kleppner condition.

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

Summary. The manuscript establishes results on selflessness (in the sense of Robert) for twisted reduced group C*-algebras C_r^*(G, σ) where G is discrete and amenable. For infinite finitely generated virtually nilpotent G the algebra is selfless precisely when (G, σ) satisfies Kleppner's condition; for the larger class of FC-hypercentral groups the same equivalence holds modulo Z-stability (equivalently, finite nuclear dimension). Analogous statements are obtained for inclusions C_r^*(H, σ') ⊆ C_r^*(G, σ) with H normal in G, using the relative Kleppner condition: for amenable G the inclusion is selfless if and only if C_r^*(H, σ') is selfless and the relative Kleppner condition holds. Consequently the same equivalence with the relative Kleppner condition holds when G is infinite finitely generated virtually nilpotent.

Significance. The equivalences supply explicit, checkable group-theoretic criteria for a C*-algebraic property in two substantial classes of amenable groups and for their normal-subgroup inclusions. The results rely on amenability to invoke known structural facts about twisted group C*-algebras and on the specific group classes to obtain exact (rather than one-sided) equivalences; when the derivations are complete they therefore give concrete tools for constructing or ruling out examples with finite nuclear dimension or Z-stability.

minor comments (2)
  1. [Abstract] The abstract states the main equivalences but does not recall the precise definition of selflessness or the statement of Kleppner's condition; a one-sentence reminder or reference to Robert's original paper would improve accessibility.
  2. [Abstract] Notation for the restricted cocycle σ' on H is introduced without an explicit sentence relating it to the restriction of σ; a short clarifying sentence in the paragraph introducing the inclusion results would prevent ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No circularity: equivalences to independent Kleppner condition

full rationale

The paper records equivalences between selflessness of C*_r(G,σ) (and inclusions) and the (relative) Kleppner condition for amenable groups in the classes of virtually nilpotent or FC-hypercentral groups. Kleppner's condition is a pre-existing, independently defined group-theoretic property, not constructed from selflessness data or fitted within the paper. The derivations rely on amenability to invoke external structural results on twisted group C*-algebras and on the group class for exact equivalence, without any self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations that reduce the central claim to its own inputs. The abstract and stated results are self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the standard definition of amenability, the definition of twisted group C*-algebras, the definition of selflessness due to Robert, and the definition of Kleppner's condition; none of these are introduced or fitted inside the paper.

axioms (2)
  • domain assumption G is discrete and amenable
    All stated results are restricted to discrete amenable groups.
  • standard math Kleppner's condition and its relative version are well-defined group-cohomological conditions
    The equivalences are expressed directly in terms of these pre-existing conditions.

pith-pipeline@v0.9.1-grok · 5738 in / 1539 out tokens · 29860 ms · 2026-06-26T01:37:03.148172+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

28 extracted references · 7 canonical work pages · 5 internal anchors

  1. [1]

    Amrutam, D

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

    2025

  2. [2]

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

    1991

  3. [3]

    Bédos and T

    E. Bédos and T. Omland. On twisted groupC∗-algebras associated with FC-hypercentral groups and other related groups.Ergodic Theory Dynam. Systems, 36(6):1743–1756, 2016

    2016

  4. [4]

    Bédos and T

    E. Bédos and T. Omland. On reduced twisted groupC∗-algebras that are simple and/or have a unique trace.J. Noncommut. Geom., 12(3):947–996, 2018

    2018

  5. [5]

    Bédos and T

    E. Bédos and T. Omland.C∗-irreducibility for reduced twisted groupC∗-algebras.J. Funct. Anal., 284(5):Paper No. 109795, 2023

    2023

  6. [6]

    Castillejos, S

    J. Castillejos, S. Evington, A. Tikuisis, S. White, and W. Winter. Nuclear dimension of simple C∗-algebras.Invent. Math., 224:245–290, 2021

    2021

  7. [7]

    Math., 488:Paper No

    C.EckhardtandJ.Wu.Nucleardimensionandvirtuallypolycyclicgroups.Adv. Math., 488:Paper No. 110768, 2026

    2026

  8. [8]

    Z-stability of twisted group C*-algebras of nilpotent groups

    U. Enstad and E. Vilalta.Z-stability of twisted groupC∗-algebras of nilpotent groups. Preprint, arXiv:2503.18088, 2025

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  9. [9]

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

    F. Flores, M. Klisse, M. Ó Cobhthaigh, and M. Pagliero. Pureness and stable rank one for reduced twisted groupC∗-algebras of certain group extensions. Preprint, arXiv:2601.19758, 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  10. [10]

    Gardella, I

    E. Gardella, I. Hirshberg, and A. Vaccaro. Strongly outer actions of amenable groups onZ-stable nuclearC∗-algebras.J. Math. Pures Appl. (9), 162:76–123, 2022

    2022

  11. [11]

    Geffen and D

    S. Geffen and D. Ursu. Simplicity of crossed products by FC-hypercentral groups. Compositio Math., to appear, arXiv:2304.07852, 2025

    work page arXiv 2025

  12. [12]

    Hayes, S

    B. Hayes, S. Kunnawalkam Elayavalli, G. Patchell, and L. Robert. Selfless inclusions ofC∗- algebras. Preprint, arXiv:2510.13398, 2025

    work page arXiv 2025

  13. [13]

    Kleppner

    A. Kleppner. The structure of some induced representations.Duke Math. J., 29:555–572, 1962

    1962

  14. [14]

    Matui and Y

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

    2012

  15. [15]

    T. Omland. Primeness and primitivity conditions for twisted groupC∗-algebras.Math. Scand., 114(2):299–319, 2014

    2014

  16. [16]

    N. Ozawa. Proximality and selflessness for groupC∗-algebras. Preprint, arXiv:2508.07938, 2025

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  17. [17]

    S. Popa. On the relative Dixmier property for inclusions ofC∗-algebras.J. Funct. Anal., 171(1):139–154, 2000

    2000

  18. [18]

    S. Raum, H. Thiel, and E. Vilalta. Strict comparison for twisted groupC∗-algebras. Preprint, arXiv:2505.18569, 2025

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  19. [19]

    L. Robert. SelflessC∗-algebras.Adv. Math., 478:Paper No. 110409, 2025

    2025

  20. [20]

    M. Rørdam. The stable and the real rank ofZ-absorbing C∗-algebras.Internat. J. Math., 15(10):1065–1084, 2004. 10 OMLAND

    2004

  21. [21]

    M. Rørdam. Irreducible inclusions of simpleC∗-algebras.Enseign. Math., 69(3–4):275–314, 2023

    2023

  22. [22]

    Sarkowicz

    P. Sarkowicz. Tensorially absorbing inclusions ofC∗-algebras.Canad. J. Math., 77(4):1315–1346, 2025

    2025

  23. [23]

    Y. Sato. Actions of amenable groups and crossed products ofZ-absorbing C∗-algebras. In Operator Algebras and Mathematical Physics, volume 80 ofAdv. Stud. Pure Math., pages 189–210. Math. Soc. Japan, Tokyo, 2019

    2019

  24. [24]

    Nuclear C*-algebras: 99 problems

    C. Schafhauser, A. Tikuisis, and S. White. Nuclear C∗-algebras: 99 problems. Preprint, arXiv:2506.10902, 2025

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  25. [25]

    G. Szabó. Equivariant property (SI) revisited.Anal. PDE, 14(4):1199–1232, 2021

    2021

  26. [26]

    Szabó and L

    G. Szabó and L. Wouters. Equivariant propertyΓand the tracial local-to-global principle for C∗-dynamics.Anal. PDE, 18(6):1385–1432, 2025

    2025

  27. [27]

    W. Winter. Nuclear dimension andZ-stability of pureC∗-algebras.Invent. Math., 187:259–342, 2012

    2012

  28. [28]

    EquivariantZ-stability for single automorphisms on simpleC∗-algebras with tractable trace simplices.Math

    Lise Wouters. EquivariantZ-stability for single automorphisms on simpleC∗-algebras with tractable trace simplices.Math. Z., 304(1):Paper No. 22, 36, 2023. Norwegian National Security Authority (NSM) and Department of Mathematics, University of Oslo, Norway Email address:tron.omland@gmail.com

    2023