Pith. sign in

REVIEW 1 major objections 33 references

Nuclear Dimension of Twisted $C^*$-Algebras of Virtually Abelian Groups

T0 review · 1 major / 0 minor · reviewed 2026-06-29 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For finitely generated virtually abelian groups with root-of-unity twisting cocycles, the nuclear dimension of the twisted group C*-algebra equals the rank of a finite-index abelian subgroup.

desk verdict The paper gives an exact formula for nuclear dimension of twisted group C*-algebras on virtually abelian groups when the cocycle takes root-of-unity values. read the letter →

arxiv 2605.27936 v1 pith:F7WJHGHX submitted 2026-05-27 math.OA math.GRmath.RT

Forrest Glebe , Pradyut Karmakar , Iason Moutzouris This is my paper · ORCID
classification math.OAmath.GRmath.RT
keywords nucleardimensiontwistedgroupC*-algebravirtuallyabelianrootofunitytypeIcohomology
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves that the nuclear dimension of C^*(G, σ) for such G and σ is exactly the rank of a finite index abelian subgroup. This provides an explicit computation of nuclear dimension in this class of twisted algebras. It also characterizes when the dimension achieves the maximum value r for abelian groups of rank r, namely when the cocycle is type I. Readers interested in C*-algebra classification would care because nuclear dimension is a key invariant that controls how close the algebra is to being simple or finite-dimensional in structure.

What carries the argument

The nuclear dimension of the twisted C*-algebra C^*(G,σ), shown to equal the rank of finite-index abelian subgroups under the root-of-unity condition on the cocycle.

What would settle it

An explicit computation of the nuclear dimension for a specific virtually abelian group and root-of-unity cocycle that yields a value different from the subgroup rank.

Watch

Extended reading notes

Core claim

Let G be a finitely generated virtually abelian group and [σ] ∈ H²(G; 𝕋) such that σ(x,y) is always a root of unity. The nuclear dimension of the twisted group C*-algebra C^*(G,σ) is equal to the rank of a finite index abelian subgroup of G. Additionally, dim_nuc(C^*(ℤ^r, σ)) = r if and only if σ is type I.

Load-bearing premise

The cocycle σ takes values only in the roots of unity.

Editorial extensions

If this is right

  • The nuclear dimension is finite for all such twisted algebras.
  • For G abelian of rank r, the dimension equals r precisely when the algebra is type I.
  • The result applies uniformly to all cocycles in the torsion subgroup of the cohomology.
  • The dimension depends only on the virtual rank of G, independent of the specific finite-index subgroup chosen.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the root-of-unity assumption is dropped, the dimension might become infinite or depend on other features of the cocycle.
  • This computation could help classify these algebras up to stable isomorphism or other equivalences.
  • Similar equalities might hold for other dimension functions like decomposition rank in the same setting.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 0 minor

Summary. The paper claims that for a finitely generated virtually abelian group G and a cohomology class [σ] in H²(G; 𝕋) such that σ takes values in roots of unity, the nuclear dimension of the twisted group C*-algebra C*(G, σ) equals the rank of a finite-index abelian subgroup of G. It further shows that for G = ℤ^r, dim_nuc(C*(ℤ^r, σ)) = r if and only if σ is type I.

Significance. If the results hold, they provide an explicit computation of the nuclear dimension in terms of the virtual rank of the group for a class of twisted group C*-algebras. This is significant as it extends known results for untwisted or abelian cases and may contribute to understanding the structure and classification of these algebras under the given cocycle condition.

major comments (1)
  1. The abstract states the main theorem but supplies no derivation or proof outline. It is therefore impossible to assess whether the root-of-unity hypothesis is essential or if the reduction steps to the abelian case are valid.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. Below we respond point by point to the major comment.

read point-by-point responses

  1. Referee: The abstract states the main theorem but supplies no derivation or proof outline. It is therefore impossible to assess whether the root-of-unity hypothesis is essential or if the reduction steps to the abelian case are valid.

    Authors: Abstracts in mathematics papers are conventionally limited to concise statements of results; derivations and outlines appear in the body. The reduction to the abelian case is carried out in Section 3 via the finite-index abelian subgroup and the root-of-unity assumption on σ, which ensures the twisted algebra is a direct limit of finite-dimensional twisted abelian algebras (see Proposition 3.4 and the subsequent inductive argument). The necessity of the root-of-unity condition is addressed by the counter-example in Example 4.2, where a non-root-of-unity cocycle on ℤ yields infinite nuclear dimension. The full manuscript therefore supplies the requested assessment. revision: no

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity in the claimed derivation

full rationale

The paper states that under the explicit hypothesis that σ takes values in roots of unity, dim_nuc(C^*(G,σ)) equals the rank of a finite-index abelian subgroup of G, and additionally that dim_nuc(C^*(Z^r,σ))=r iff σ is type I. These are presented as theorems derived from standard definitions and properties of twisted group C*-algebras and nuclear dimension. No load-bearing steps reduce by construction to fitted inputs, self-definitions, or self-citation chains; the root-of-unity condition is stated upfront as an assumption rather than derived internally. The derivation is self-contained against external benchmarks in C*-algebra theory, with no visible renaming of known results or ansatzes smuggled via citation.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The result rests on the standard definition of nuclear dimension, the construction of twisted group C*-algebras, and basic facts about virtually abelian groups and their cohomology; no free parameters or new entities are introduced.

assumptions (3)
  • standard math Definition and permanence properties of nuclear dimension for C*-algebras
    Nuclear dimension is taken as a known invariant from the C*-algebra literature.
  • domain assumption Existence and basic properties of twisted group C*-algebras C*(G,σ) for [σ] in H^2(G;𝕋)
    Standard construction used throughout operator algebra theory.
  • domain assumption Finite-index subgroup theorems for virtually abelian groups
    Background fact from group theory invoked to reduce to the abelian case.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Nuclear Dimension of Twisted $C^*$-Algebras of Virtually Abelian Groups." pith.science (2026). https://pith.science/paper/F7WJHGHX

@misc{pith2026260527936,
  author       = {Pith},
  title        = {Pith review of: Nuclear Dimension of Twisted $C^*$-Algebras of Virtually Abelian Groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/F7WJHGHX}},
  note         = {Machine review of arXiv:2605.27936}
}
abstract

Let $G$ be a finitely generated virtually abelian group and $[\sigma]\in H^2(G;\mathbb{T})$ such that $\sigma(x,y)$ is always a root of unity. We show that the nuclear dimension of the twisted group $C^*$-algebra $C^*(G,\sigma)$ is equal to the rank of a finite index abelian subgroup of $G$. We also show that $\mbox{dim}_{\text{nuc}}(C^*(\mathbb{Z}^r,\sigma))=r$ if and only if $\sigma$ is type I.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

33 extracted references

  1. [1]

    Blackadar.Operator Algebras: Theory ofC ∗-algebras and von Neumann Algebras

    B. Blackadar.Operator Algebras: Theory ofC ∗-algebras and von Neumann Algebras. Springer-Verlag Berline Heidelberg, 2010. 3

    2010

  2. [2]

    B¨ onicke and K

    C. B¨ onicke and K. Li. Nuclear dimension of subhomogeneous twisted groupoid C ∗-algebras and dynamic asymptotic dimension.Int. Math. Res. Not. IMRN, (16):11597–11610, 2024. 2, 9, 11, 17

    2024

  3. [3]

    Bratteli, G

    O. Bratteli, G. A. Elliott, D. E. Evans, and A. Kishimoto. Noncommutative spheres. II. Rational rotations.J. Operator Theory, 27(1):53–85, 1992. 10

    1992

  4. [4]

    K. S. Brown.Cohomology of Groups. Springer-Verlag, 1982. 3, 4, 5, 10, 12, 14

    1982

  5. [5]

    L. G. Brown, P. Green, and M. A. Rieffel. Stable isomorphism and strong Morita equivalence ofC ∗-algebras.Pacific J. Math., 71(2):349–363, 1977. 19

    1977

  6. [6]

    Castillejos and S

    J. Castillejos and S. Evington. Nuclear dimension of simple stably projectionless C ∗-algebras. Anal. PDE, 13(7):2205–2240, 2020. 1

    2020

  7. [7]

    Castillejos, S

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

    2021

  8. [8]

    F. Chan, S. J. Lippert, I. Moutzouris, and E. Weld. Nuclear dimension and rigidity results for virtually abelian groups. 2025. 1, 9, 13, 14, 16

    2025

Show all 33 references
  1. [9]

    Chan and E

    F. Chan and E. Weld. The topology of the unitary dual of crystallography groups, 2024. 9, 16

    2024

  2. [10]

    Dadarlat and U

    M. Dadarlat and U. Pennig. ConnectiveC ∗-algebras.J. Funct. Anal., 272(12):4919–4943,

  3. [11]

    Dixmier.C ∗-algebras

    J. Dixmier.C ∗-algebras. North Holland Publishing Company, 1977. 3, 16

    1977

  4. [12]

    Dranishnikov and J

    A. Dranishnikov and J. Smith. Asymptotic dimension of discrete groups.Fund. Math., 189(1):27–34, 2006. 9

    2006

  5. [13]

    Eckhardt and J

    C. Eckhardt and J. Wu. Nuclear dimension and virtually polycyclic groups.Adv. Math., 488:Paper No. 110768, 47, 2026. 1

    2026

  6. [14]

    G. A. Elliott and D. E. Evans. The structure of the irrational rotationC ∗-algebra.Ann. of Math. (2), 138(3):477–501, 1993. 10

    1993

  7. [15]

    G. A. Elliott and H. Li. Strong morita equivalence of smooth noncommutative tori. ii. 2005. 2, 17, 19

    2005

  8. [16]

    Hatcher.Algebraic topology

    A. Hatcher.Algebraic topology. Cambridge University Press, Cambridge, 2002. 8, 12

    2002

  9. [17]

    J. A. Hillman. Elementary amenable groups and 4-manifolds with Euler characteristic 0.J. Austral. Math. Soc. Ser. A, 50(1):160–170, 1991. 1, 7

    1991

  10. [18]

    A. K. Holzherr. Discrete groups whose multiplier representations are type I.J. Austral. Math. Soc. Ser. A, 31(4):486–495, 1981. 11, 13

    1981

  11. [19]

    Kaniuth and K

    E. Kaniuth and K. F. Taylor.Induced Representations of Locally Compact Groups. Cambridge University Press, 2013. 2, 14

    2013

  12. [20]

    Karpilovsky.Projective Representations of Finite Groups

    G. Karpilovsky.Projective Representations of Finite Groups. Marcel Dekker, Inc., New York,

  13. [21]

    Kleppner

    A. Kleppner. The structure of some induced representations.Duke Mathematical Journal, 29:555–572, 1962. 11

    1962

  14. [22]

    Kleppner

    A. Kleppner. Multiplier representations of discrete groups.Proc. Amer. Math. Soc., 88(2):371–375, 1983. 1, 11, 13

    1983

  15. [23]

    H. Li. Strong Morita equivalence of higher-dimensional noncommutative tori.J. Reine Angew. Math., 576:167–180, 2004. 2, 19

    2004

  16. [24]

    J. R. Munkres.Elements of Algebraic Topology. Addison-Wesley Publishing Company, 1984. 4

    1984

  17. [25]

    G. J. Murphy.C ∗-Algebras and Operator Theory. Academic Press Inc, 1990. 7

    1990

  18. [26]

    A. R. Pears.Dimension Theory of General Spaces. 1975. 17

    1975

  19. [27]

    N. C. Phillips. Every simple higher dimensional noncommutative torus is an AT algebra

  20. [28]

    2, 17, 18 NUCLEAR DIMENSION OF TWISTED ALGEBRAS OF VIRTUALLY ABELIAN GROUPS 21

  21. [29]

    M. A. Rieffel and A. Schwarz. Morita equivalence of multidimensional noncommutative tori. Internat. J. Math., 10(2):289–299, 1999. 19

    1999

  22. [30]

    Tikuisis and W

    A. Tikuisis and W. Winter. Decomposition rank ofZ-stable C ∗-algebras.Anal. PDE, 7(3):673–700, 2014. 2, 18

    2014

  23. [31]

    A. S. Toms and W. Winter.Z-stable ASH algebras.Canad. J. Math., 60(3):703–720, 2008. 18

    2008

  24. [32]

    W. Winter. Decomposition rank of subhomogeneousC ∗-algebras.Proc. London Math. Soc. (3), 89(2):427–456, 2004. 2, 9, 17

    2004

  25. [33]

    Winter and J

    W. Winter and J. Zacharias. The nuclear dimension ofC ∗-algebras.Adv. Math., 224(2):461– 498, 2010. 1, 2, 9, 10, 18, 19 FG: Department of Mathematics University of Hawaii at Manoa 2565 McCarthy Mall (Keller Hall) Honolulu, HI 96822, USA Email address:forrest6@hawaii.edu Websit...

    2010

Pith tools

Reviewed June 29, 2026 · model on record in the stance chip above.