pith. machine review for the scientific record. sign in

arxiv: 2604.12529 · v1 · submitted 2026-04-14 · 🧮 math.OA · math.KT

Recognition: unknown

A universal coefficient theorem for actions of finite cyclic groups of square-free order on C*-algebras

George Nadareishvili, Ralf Meyer

Pith reviewed 2026-05-10 13:49 UTC · model grok-4.3

classification 🧮 math.OA math.KT
keywords universal coefficient theoremequivariant Kasparov categoryC*-algebrasbootstrap classfinite cyclic groupssquare-free orderK-theorycrossed products
0
0 comments X

The pith

The authors prove a universal coefficient theorem computing equivariant Kasparov groups for actions of finite cyclic groups of square-free order on bootstrap C*-algebras.

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

The paper establishes a Universal Coefficient Theorem in the equivariant Kasparov category for finite cyclic groups of square-free order. This applies to objects in the bootstrap class and yields a short exact sequence relating the equivariant KK-groups to ordinary K-theory data with coefficients involving the group. A reader would care because it extends the classical non-equivariant UCT to this equivariant setting, enabling explicit computations for crossed products and classification problems under these group actions. The proof uses the square-free condition to control the group's representation theory and inductive arguments over the order.

Core claim

We prove a Universal Coefficient Theorem for objects in the bootstrap class in the equivariant Kasparov category for a finite cyclic group of square-free order. The theorem provides an exact sequence that identifies the equivariant KK-groups with Hom and Ext groups built from the K-theory of the algebras equipped with the group action.

What carries the argument

The equivariant Kasparov category KK^G together with the bootstrap class, which supplies a resolution allowing the UCT short exact sequence to be derived via induction on the group order.

If this is right

  • Equivariant KK-groups for these actions reduce to computable K-theory groups with group coefficients.
  • Classification of C*-algebras with such actions gains an explicit tool via the UCT sequence.
  • Crossed products by these groups inherit computability results from the theorem.
  • Inductive arguments over prime factors of the group order become available for related invariants.

Where Pith is reading between the lines

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

  • The square-free restriction may be removable if an alternative resolution replaces the current inductive step.
  • The same bootstrap class techniques could apply to other compact groups whose representation rings admit similar filtrations.
  • Direct verification on rotation algebras or irrational rotation C*-algebras with cyclic actions would test the formula in concrete cases.

Load-bearing premise

The group must be cyclic of square-free order and the algebras must lie in the bootstrap class for the resolution and induction steps to work.

What would settle it

Compute the equivariant KK-groups directly for a specific bootstrap algebra with a square-free cyclic action and check whether they match the Hom-Ext formula given by the theorem.

Figures

Figures reproduced from arXiv: 2604.12529 by George Nadareishvili, Ralf Meyer.

Figure 1
Figure 1. Figure 1: The ring Kp can be viewed as the Z/2-graded path ring of a graph with three vertices, modulo the relations described in Theorem 2.7. below). Since we will be concerned with specific properties of Kp, we recall its presentation in terms of generators and relations (see [6, 7] for more details). Theorem 2.7 ([7, Theorem 5.10]). The ring Kp is the universal ring generated by elements 1j for j = 0, 1, 2 and αj… view at source ↗
read the original abstract

We prove a Universal Coefficient Theorem for objects in the bootstrap class in the equivariant Kasparov category for a finite cyclic group of square-free order.

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

Summary. The manuscript proves a Universal Coefficient Theorem for objects in the bootstrap class in the equivariant Kasparov category KK^G for a finite cyclic group G of square-free order.

Significance. If correct, the result extends the classical UCT to an equivariant setting for a restricted but natural class of groups and algebras. The bootstrap-class restriction is standard and the square-free order condition permits a decomposition (via the Chinese Remainder Theorem) that preserves the class under equivariant extensions and suspensions, making the statement internally consistent and potentially useful for computations in equivariant KK-theory.

minor comments (1)
  1. The abstract is extremely concise; adding a one-sentence statement of the main theorem (including the precise statement of the UCT isomorphism) would improve readability without lengthening the abstract unduly.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their review of our manuscript and for acknowledging the potential usefulness of the result for computations in equivariant KK-theory. The referee's recommendation is listed as uncertain, yet no specific major comments or concerns about the proof, the bootstrap-class restriction, or the square-free order hypothesis were provided. We are therefore unable to address any particular points of uncertainty at this time.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper establishes a specialized Universal Coefficient Theorem in the equivariant Kasparov category KK^G for finite cyclic groups of square-free order, restricted to the bootstrap class. The derivation proceeds via standard category-theoretic tools, equivariant extensions, suspensions, and the Chinese Remainder Theorem decomposition of the group order, all of which are independent of the target UCT statement itself. No equations reduce a claimed prediction to a fitted input by construction, no load-bearing premise rests solely on self-citation, and the bootstrap-class restriction is stated explicitly rather than smuggled in. The result is therefore self-contained against external benchmarks in KK-theory.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so the ledger is minimal and based on the stated claim; no specific free parameters, axioms, or invented entities are identifiable from the given information.

pith-pipeline@v0.9.0 · 5307 in / 1042 out tokens · 37115 ms · 2026-05-10T13:49:41.632888+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

13 extracted references · 12 canonical work pages

  1. [1]

    Noncommut

    Yuki Arano and Yosuke Kubota,A categorical perspective on the Atiyah–Segal completion the- orem in KK-theory, J. Noncommut. Geom.12(2018), no. 2, 779–821, doi: 10.4171/JNCG/291. MR3825201

    work page doi:10.4171/jncg/291 2018

  2. [2]

    Math.22(2017), 423–454, doi: 10.4171/DM/570

    Rasmus Bentmann and Ralf Meyer,A more general method to classify up to equivariant KK-equivalence, Doc. Math.22(2017), 423–454, doi: 10.4171/DM/570. MR3628788

    work page doi:10.4171/dm/570 2017

  3. [3]

    Math.18(2025), no

    Serge Bouc, Ivo Dell’Ambrogio, and Rubén Martos,A general Greenlees–May splitting principle, Münster J. Math.18(2025), no. 1, 227–243, doi: 10.17879/11958511582. MR 4976179

    work page doi:10.17879/11958511582 2025

  4. [4]

    Noncommut

    Ivo Dell’Ambrogio,Equivariant Kasparov theory of finite groups via Mackey functors, J. Noncommut. Geom.8(2014), no. 3, 837–871, doi: 10.4171/JNCG/172. MR3261603

    work page doi:10.4171/jncg/172 2014

  5. [5]

    1, 1–77, doi: 10.4310/ACTA.2024.v232.n1.a1

    James Gabe and Gábor Szabó,The dynamical Kirchberg–Phillips theorem, Acta Math.232 (2024), no. 1, 1–77, doi: 10.4310/ACTA.2024.v232.n1.a1. MR4747811

    work page doi:10.4310/acta.2024.v232.n1.a1 2024

  6. [6]

    Thesis, Georg- August-Universität Göttingen, 2010

    Manuel Köhler,Universal coefficient theorems in equivariant KK-theory, Ph.D. Thesis, Georg- August-Universität Göttingen, 2010. doi: 10.53846/goediss-2561

    work page doi:10.53846/goediss-2561 2010

  7. [7]

    K-Theory6(2021), no

    Ralf Meyer,On the classification of group actions onC∗-algebras up to equivariant KK- equivalence, Ann. K-Theory6(2021), no. 2, 157–238, doi: 10.2140/akt.2021.6.157. MR4301904

    work page doi:10.2140/akt.2021.6.157 2021

  8. [8]

    Ralf Meyer and George Nadareishvili,A universal coefficient theorem for actions of finite groups on C*-algebras, J. Math. Sci. Univ. Tokyo33(2026), no. 1, 21–47, available at https://www.ms.u-tokyo.ac.jp/journal/number/jms3301.html

    2026

  9. [9]

    2, 209–259, doi: 10.1016/j.top.2005.07.001

    Ralf Meyer and Ryszard Nest,The Baum–Connes conjecture via localisation of categories, Topology45(2006), no. 2, 209–259, doi: 10.1016/j.top.2005.07.001. MR2193334

    work page doi:10.1016/j.top.2005.07.001 2006

  10. [10]

    I, Triangulated categories (Thorsten Holm, Peter Jørgensen, and Raphaël Rouqier, eds.), London Math

    ,Homological algebra in bivariant K-theory and other triangulated categories. I, Triangulated categories (Thorsten Holm, Peter Jørgensen, and Raphaël Rouqier, eds.), London Math. Soc. Lecture Note Ser., vol. 375, Cambridge Univ. Press, Cambridge, 2010, pp. 236–289, doi: 10.1017/CBO9781139107075.006. MR2681710

    work page doi:10.1017/cbo9781139107075.006 2010

  11. [11]

    , C∗-Algebras over topological spaces: filtratedK-theory, Canad. J. Math.64(2012), 368–408, doi: 10.4153/CJM-2011-061-x. MR2953205

    work page doi:10.4153/cjm-2011-061-x 2012

  12. [12]

    Jonathan Rosenberg and Claude Schochet,The Künneth theorem and the universal coefficient theorem for equivariantK-theory andKK-theory, Mem. Amer. Math. Soc.62(1986), no. 348, doi: 10.1090/memo/0348. MR0849938

    work page doi:10.1090/memo/0348 1986

  13. [13]

    6, 1865–1961, doi: 10.2307/2154915, available atinfoscience.epfl.ch/record/130448

    Jacques Thévenaz and Peter Webb,The structure of Mackey functors, Transactions of the American Mathematical Society347(1995), no. 6, 1865–1961, doi: 10.2307/2154915, available atinfoscience.epfl.ch/record/130448. zbMath0834.20011 Email address:rmeyer2@uni-goettingen.de Mathematisches Institut, Universität Göttingen, Bunsenstraße 3–5, 37073 Göttingen, Germ...

    work page doi:10.2307/2154915 1995