Classification of anomalous actions of finite groups with the Rokhlin property

G\'abor Szab\'o; Sergio Gir\'on Pacheco

Classification of anomalous actions of finite groups with the Rokhlin property

T0 review · 0 major / 6 minor · reviewed 2026-08-11 · deepseek-v4-flash

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

Pith's one-line read Rokhlin G-kernels on UCT Kirchberg algebras are classified by their lifting obstruction and the induced K-theory module structure.

desk verdict A serious and well-built extension of Izumi's classification to anomalous actions, with a real new framework and honest disclosure of its UCT-dependence. read the letter →

arxiv 2608.09517 v1 pith:6RCBF5AI submitted 2026-08-10 math.OA

Sergio Girón Pacheco , Gábor Szabó This is my paper · ORCID

classification math.OA MSC 46L5546L3546L80

keywords RokhlinpropertyG-kernelsanomalousactionsKirchbergalgebrasK-theoryliftingobstructiontotalcohomologicallytrivialmodules

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

This paper aims to prove that anomalous finite-group symmetries with the Rokhlin property are classified, on the C*-algebras covered by the Elliott classification program, by two invariants: the anomaly, a class in $H^3(G,\mathbb T)$ obstructing the lifting of the action, and the induced $G$-module structure on K-theory. For UCT Kirchberg algebras this gives Theorem A: two Rokhlin $G$-kernels are conjugate exactly when these invariants agree. The paper also proves a range theorem: for any finite group $G$, any lifting obstruction, and any pair of countable completely cohomologically trivial $G$-modules, there exists a Rokhlin $G$-kernel on a UCT Kirchberg algebra realizing them. If correct, this gives a complete classification for such anomalous symmetries, parallel to the earlier classification of genuine Rokhlin group actions.

What carries the argument

The load-bearing device is the $G$-coherent morphism: a tuple of linear maps $(\phi_g:A\to B)_{g\in G}$ satisfying two identities, which serves as the equivariant morphism between anomalous actions and coincides with morphisms of actions of the twisted category $\mathrm{Hilb}(G,\omega)$. Around it the paper builds equivariant approximate Murray–von Neumann equivalence, proves that it agrees with proper approximate unitary equivalence for stable or almost-stable-rank-one targets, and uses an Elliott intertwining argument to upgrade approximate equivalences to genuine cocycle conjugacies. A second critical ingredient is the equivariant splitting of the Künneth exact sequence, which promotes a conjugacy of ordinary K-theory modules to a conjugacy of total K-theory modules.

What would settle it

Find two stable UCT Kirchberg algebras with Rokhlin $G$-kernels carrying the same lifting obstruction and conjugate K-theory module structures that are nevertheless not cocycle conjugate, or find a Rokhlin $G$-kernel on a separable C*-algebra whose K-groups are not completely cohomologically trivial for some subgroup of $G$. Either observation would directly refute the paper's central claims.

Watch

Extended reading notes

Core claim

On its own terms, the paper establishes that the conjugacy class of a Rokhlin $G$-kernel on a UCT Kirchberg algebra is completely encoded by its lifting obstruction $[\omega]\in H^3(G,\mathbb T)$ together with the conjugacy class of the induced $G$-action on the ordered K-theory groups, with the unit class preserved in the unital case. The proof develops a classification of anomalous actions with the Rokhlin property, using a new notion of $G$-coherent morphism between such actions, and shows that approximate Murray–von Neumann equivalence between these morphisms upgrades to proper approximate unitary equivalence when the target algebra is stable or has almost stable rank one. It further shows that Rokhlin $G$-kernels force the K-groups to be completely cohomologically trivial $G$-modules, and conversely that every countable completely cohomologically trivial pair of $G$-modules and every 3-cocycle obstruction is realized on a stable, or unital, UCT Kirchberg algebra.

Load-bearing premise

The proof assumes the universal coefficient theorem and relies on an existing classification of *-homomorphisms between simple nuclear C*-algebras by total K-theory; if those classification theorems fail or do not apply, the argument for Theorem A collapses.

Editorial extensions

If this is right

For stable UCT Kirchberg algebras, the conjugacy problem for Rokhlin $G$-kernels is reduced to a purely cohomological and K-theoretic comparison.
For unital UCT Kirchberg algebras and for unital simple nuclear $\mathcal Z$-stable real-rank-zero UCT algebras, the same invariant works once the $K_0$-conjugacy preserves order and unit.
The K-theoretic obstruction of a Rokhlin $G$-kernel is exactly complete cohomological triviality; no further K-theoretic obstructions appear.
Every pair of countable completely cohomologically trivial $G$-modules is realized with any prescribed lifting obstruction on a stable UCT Kirchberg algebra, and with a prescribed unit class in the unital corner.

Reading between the lines

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

Beyond the paper: the $G$-coherent morphism machinery is explicitly intended as a template for actions of unitary tensor categories; a direct test would be to run the same existence–uniqueness argument for a non-group category and see whether a comparable two-invariant classification emerges.
Beyond the paper: since the K-theoretic obstruction theorem removes unitality and simplicity from earlier Rokhlin module results, one can test it on non-simple separable C*-algebras; a non-simple example admitting a Rokhlin $G$-kernel with non-completely-cohomologically-trivial K-groups would falsify that obstruction theorem.
Beyond the paper: the range theorem suggests that for UCT Kirchberg algebras the only source of exotic Rokhlin kernels is the K-theoretic module lattice, so a failure of classification, if any, would likely come from the UCT or morphism-classification input rather than from the dynamics.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

You should know two things about this paper. First, it delivers what the title promises: a classification of Rokhlin G-kernels on UCT Kirchberg algebras by the lifting obstruction in H^3(G,T) and the K-theory module structure, plus a range theorem. Second, the classification is genuinely conditional on the UCT and on the external classification of morphisms by total K-theory (Theorem 1.17). That dependence is disclosed, not hidden, and it is not circular. If the UCT fails, the proof of Theorem A collapses. That is a real limitation, but it is the same limitation that the whole Elliott classification program lives under, and the authors say so plainly.

The genuinely new part is the G-coherent morphism framework. Definition C and the approximate Murray-von Neumann equivalence machinery in Section 2 are the real technical heart, and they look reusable. The authors use them to remove the UHF-stability assumption from the first author's earlier work and to get the range theorem for arbitrary lifting obstructions. The proofs are detailed and follow established techniques; I found no internal inconsistency in the equivariant splitting lemma or the range theorem. Credit is due for the K-theoretic obstruction result (Theorem 5.5), which extends Izumi's complete cohomological triviality from actions to G-kernels without unitality or simplicity assumptions.

Soft spots, in proportion. The biggest is the UCT/morphism-classification dependence. Anyone using Theorem A must remember it is not a classification of Rokhlin G-kernels on all Kirchberg algebras; it is a classification on the UCT class. The authors are explicit about this, so it is a limitation of the theorem, not a flaw in the proof. Second, Theorem 4.2 invokes Theorem 1.21 from a 2023 arXiv preprint [7] whose peer-reviewed status is unclear. The stress-test note correctly observes that this is not load-bearing for Theorem A, since Corollary 4.4 substitutes the stable and unital versions of Theorem 1.17 for the cases that matter. Still, if the paper is published in a journal, the referee should check that the needed version of [7] is available and valid. Third, the existence results cover stable or almost stable rank one targets, not all separable C*-algebras; the authors say this themselves in the introduction. The long epsilon-management arguments in Lemma 3.4 and Theorem 3.3 are the least fun part of a referee's job, but nothing I saw suggests they are wrong.

Who is this for: anyone working in C*-dynamics or the classification program. It is a serious paper that deserves a serious referee. I would accept it for peer review, and I would cite it. It is not a desk reject.

My recommendation: send it to an expert referee with attention to the G-coherent machinery and to the precise statement of [7, Theorem 1.21], but expect that the core result will stand.

Referee Report

0 major / 6 minor

Summary. The paper develops a classification theory for anomalous actions of finite groups with the Rokhlin property on C*-algebras. The central result, Theorem A, states that for unital UCT Kirchberg algebras, two Rokhlin G-kernels are conjugate if and only if their lifting obstructions in H^3(G,T) agree and the induced G-actions on K-theory are unitally conjugate. A companion range theorem, Theorem B, characterizes the K-theoretic G-modules that arise from Rokhlin G-kernels with a prescribed lifting obstruction. The proofs introduce a category of G-coherent morphisms between anomalous actions, establish existence and uniqueness theorems for such morphisms in the presence of the Rokhlin property, and derive K-theoretic cohomological triviality results that upgrade ordinary K-theory conjugacy to total K-theory conjugacy. The paper also proves a version for unital, simple, nuclear, Z-stable, real rank zero, UCT algebras.

Significance. If the results are correct, this is a substantial extension of Izumi's classification of Rokhlin actions to the anomalous (G-kernel) setting, with a clean invariant: the lifting obstruction plus the K-theory module structure. The introduction of G-coherent morphisms and the equivariant Murray-von Neumann equivalence machinery is a useful technical contribution. The paper is honest about its external dependencies: the main theorem is explicitly conditional on the UCT and on the classification of morphisms between Kirchberg algebras by total K-theory, and the range theorem builds on Izumi's structure theory of completely cohomologically trivial modules. The proofs are detailed, and the K-theoretic obstruction and range arguments are carried out in full rather than merely sketched.

minor comments (6)

[Theorem 6.2(i), proof] After passing to the inductive limit of the G-coherent morphisms ψ^(n), the paper asserts that the resulting λ-anomalous action on A has the Rokhlin property 'as in (i)', but does not justify this. Since the connecting maps are not equivariant, the stagewise Rokhlin projections do not obviously pass to the limit; an argument using the approximate equivariance of the φ^(n) and Lemma 1.5 would make this step transparent.
[Section 4, Theorem 4.2] The proof invokes Theorem 1.21, stated as 'cf. [7, Theorem B]' from a 2023 arXiv preprint. Since Corollary 4.4 explicitly avoids Theorem 1.21 for the cases used in Theorem A, this does not affect the main classification, but the paper should state the publication status of [7] or mark Theorem 4.2 as conditional on that preprint.
[Proposition 1.12, proof] The reference 'By Theorem 1.8(i)' should read 'By Definition 1.8(i)', since Definition 1.8 is not a theorem.
[Throughout] There are several typographical errors: 'idemopotent' in Notation 1.1, 'appproximate' in Definition 2.1, 'non-tivial' in Remark 2.2, 'coycle' in Theorem 1.15 and elsewhere, and 'endevour'/'aforentioned' in the Introduction.
[Remark 2.2] The final equivalence is written 'ϕ≈_u ψ' but should carry the superscript G (or it should be explicitly stated that the superscript is dropped in the unital case).
[Lemma 5.6] The opening sentence 'The argument is identical to that of [37, Lemma 4.1]' followed by a full detailed proof is slightly contradictory; consider removing the first clause or the detailed derivation.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the classification of Rokhlin G-kernels is derived from external morphism classification plus independently proven equivariant machinery, not from the target claim.

full rationale

The paper's central result Theorem A (Corollary 5.8) is obtained by reducing cocycle conjugacy of Rokhlin G-kernels to conjugacy of K-theory modules through the external classification of ∗-homomorphisms between Kirchberg algebras by total K-theory (Theorem 1.17), together with the paper's own equivariant splitting lemma (Lemma 5.6) and its G-coherent existence/uniqueness results (Theorems 3.3 and 4.1). Nothing in this chain assumes the claim being proved: Theorem 1.17 classifies morphisms, not G-kernels, and is an outside input from [15,57]. The G-kernel-specific structural input, Theorem 5.5, is proved directly in the paper rather than imported from Izumi's theorem for genuine actions, and Lemma 5.6 generalizes Izumi's splitting lemma using that proof. The range theorem (Theorem 6.2) builds model actions by tensoring the left-regular anomalous action on D_G (Lemma 6.1) with trivial actions on algebras carrying the prescribed modules; complete cohomological triviality enters as the hypothesis supplied by Izumi's structure theorem (Theorem 5.4), not as the conclusion being proved. The paper does cite prior work by its own authors ([31], [60]) for the G-coherent category and intertwining strategy, but these citations supply methodology and are not used to bypass the proof of the classification; the needed existence and uniqueness arguments are developed in Sections 3 and 4. The disclosed dependence on the UCT and on Theorem 1.17 is a genuine external condition but not a circular one.

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

No free parameters or invented entities. The proofs are pure mathematics; the only inputs are the group G, the cohomology class, and the G-modules, which are hypotheses of the theorems. The central results rely on established classification theorems and on Izumi's structure theorem for completely cohomologically trivial modules as background assumptions.

assumptions (5)

domain assumption The algebras are in the UCT class: the Universal Coefficient Theorem holds for them.
Theorem A and most classification results assume the UCT; the classification of morphisms by K-theory (Theorem 1.17) requires it. Invoked in Corollary 4.4, Theorem 5.7, Corollary 5.8.
domain assumption Classification of morphisms between Kirchberg algebras by total K-theory (Theorem 1.17).
Used to lift K-theoretic conjugacies to *-homomorphisms in Corollary 4.4(i), Theorem 5.7(i), Theorem 6.2. Cited from Rordam and Dadarlat-Loring.
domain assumption Classification of morphisms between unital simple nuclear Z-stable UCT algebras by KTu (Theorem 1.21).
Used for Theorem 4.2 and Corollary 4.4(ii); cited from [7] (Carrion-Gabe-Schafhauser-Tikuisis-White, arXiv 2023).
domain assumption Izumi's structure theorem: every countable completely cohomologically trivial G-module is an inductive limit of induced modules (Theorem 5.4 = [37, Thm 3.15]).
Used in the range theorem (Theorem 6.2) to build Kirchberg algebras realizing prescribed K-theory modules.
standard math Kunneth sequence splittings exist and can be chosen Bockstein-compatible (Bodigheimer [4,5]).
Used in Lemma 5.6 to construct equivariant splittings; standard fact in K-theory.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Classification of anomalous actions of finite groups with the Rokhlin property." pith.science (2026). https://pith.science/paper/6RCBF5AI

@misc{pith2026260809517,
  author       = {Pith},
  title        = {Pith review of: Classification of anomalous actions of finite groups with the Rokhlin property},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6RCBF5AI}},
  note         = {Machine review of arXiv:2608.09517}
}

read the original abstract

Given a finite group G, we develop a generalization of the fundamental classification of Rokhlin G-actions on C*-algebras to the setting of anomalous G-actions with the Rokhlin property. For Rokhlin G-kernels on C*-algebras covered by the classification program, this implies that the induced G-action on some known invariants determines the conjugacy class. Extending a result of Izumi, we show that G-kernels with the Rokhlin property on Kirchberg algebras are classified by their anomaly and the induced module structure on the K-theory groups. We explore K-theoretic obstructions for the existence of Rokhlin G-kernels on general separable C*-algebras and use these to characterise which G-module structures arise as K-groups of Kirchberg algebras admitting a Rokhlin G-kernel with a given lifting obstruction.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

64 extracted references · 61 canonical work pages

[7]

J. R. Carri´ on, J. Gabe, C. Schafhauser, A. Tikuisis, and S. White. Classifying ∗- homomorphisms I: Unital simple nuclear C ∗-algebras. 2023. URL https://arxiv. org/abs/2307.06480

arXiv 2023
[1]

Arano, K

Y. Arano, K. Kitamura, and Y. Kubota. Tensor category equivariant KK-theory.Adv. Math., 453:Paper No. 109848, 2024. 40 SERGIO GIR ´ON PACHECO AND G ´ABOR SZAB ´O

work page 2024
[2]

Arano and Y

Y. Arano and Y. Kubota. Compact Lie group actions with the continuous Rokhlin property.J. Funct. Anal., 272:522–545, 2017

work page 2017
[3]

Barlak, G

S. Barlak, G. Szab´ o, and C. Voigt. The spatial Rokhlin property for actions of compact quantum groups.J. Funct. Anal., 272:2308–2360, 2017

work page 2017
[4]

B¨ odigheimer

C.-F. B¨ odigheimer. Splitting the K¨ unneth sequence inK-theory.Math. Ann., 242:159– 171, 1979

work page 1979
[5]

B¨ odigheimer

C.-F. B¨ odigheimer. Splitting the K¨ unneth sequence inK-theory. II.Math. Ann., 251:249–252, 1980

work page 1980
[6]

K. S. Brown. Cohomology of groups, volume 87 ofGraduate Texts in Mathematics. Springer-Verlag, New York–Berlin, 1982

work page 1982
[8]

Castillejos, S

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

work page 2021

Show all 64 references

[9]

Q. Chen, R. Hern´ andez Palomares, and C. Jones.K-theoretic classification of inductive limit actions of fusion categories on AF-algebras.Comm. Math. Phys., 405:Paper No. 83, 2024

2024
[10]

A. Connes. Outer conjugacy classes of automorphisms of factors.Ann. Sci. ´Ec. Norm. Sup´ er. (4), 8:383–419, 1975

1975
[11]

A. Connes. Periodic automorphisms of the hyperfinite factor of type II 1.Acta Sci. Math. (Szeged), 39:39–66, 1977

1977
[12]

Cuntz.K-theory for certainC ∗-algebras.Ann

J. Cuntz.K-theory for certainC ∗-algebras.Ann. of Math. (2), 113:181–197, 1981

1981
[13]

Cuntz and N

J. Cuntz and N. Higson. Kuiper’s theorem for Hilbert modules. In Operator algebras and mathematical physics (Iowa City, Iowa, 1985), volume 62 ofContemp. Math., pages 429–435. Amer. Math. Soc., Providence, RI, 1987

1985
[14]

Dadarlat

M. Dadarlat. Morphisms of simple tracially AF algebras.Internat. J. Math., 15:919– 957, 2004

2004
[15]

Dadarlat and T

M. Dadarlat and T. A. Loring. A universal multicoefficient theorem for the Kasparov groups.Duke Math. J., 84:355–377, 1996

1996
[16]

G. A. Elliott. Towards a theory of classification.Adv. Math., 223:30–48, 2010

2010
[17]

D. E. Evans and C. Jones. Quantum symmetries of noncommutative tori.Comm. Math. Phys., 406(7):Paper No. 167, 2025

2025
[18]

Evington and S

S. Evington and S. Gir´ on Pacheco. Anomalous symmetries of classifiableC ∗-algebras. Studia Math., 270:73–101, 2023

2023
[19]

Evington, S

S. Evington, S. Gir´ on Pacheco, and C. Jones. EquivariantD-stability for actions of tensor categories.J. Operator Theory, 95:505–518, 2026

2026
[20]

J. Gabe. A new proof of Kirchberg’s O2-stable classification.J. Reine Angew. Math., 761:247–289, 2020

2020
[21]

J. Gabe. Classification of O∞-stable C ∗-algebras.Mem. Amer. Math. Soc., 293, 2024

2024
[22]

Gabe and G

J. Gabe and G. Szab´ o. The dynamical Kirchberg–Phillips theorem.Acta Math., 232:1–77, 2024

2024
[23]

Gabe and G

J. Gabe and G. Szab´ o. The stable uniqueness theorem for equivariant Kasparov theory. Amer. J. Math., 147:1527–1576, 2025

2025
[24]

Gardella

E. Gardella. Equivariant KK-theory and the continuous Rokhlin property.Int. Math. Res. Not., 2022:16779–16813, 2022

2022
[25]

Gardella

E. Gardella. KK-theory of circle actions with the Rokhlin property.Canad. J. Math.,
[26]

Gardella and L

E. Gardella and L. Santiago. Equivariant ∗-homomorphisms, Rokhlin constraints and equivariant UHF-absorption.J. Funct. Anal., 270:2543–2590, 2016

2016
[27]

Gir´ on Pacheco.Anomalous symmetries of classifiable C ∗-algebras

S. Gir´ on Pacheco.Anomalous symmetries of classifiable C ∗-algebras. DPhil thesis, University of Oxford, 2023. URL https://ora.ox.ac.uk/objects/uuid: 34239bc3-1111-46ff-940f-ffe327d0a7aa

2023
[28]

Gir´ on Pacheco

S. Gir´ on Pacheco. A classification of anomalous actions through model action absorp- tion.Canad. J. Math., 77:916–939, 2025

2025
[29]

Gir´ on Pacheco, M

S. Gir´ on Pacheco, M. Izumi, and U. Pennig. G-kernels and crossed modules. 2025. URLhttps://arxiv.org/abs/2509.04134. G-KERNELS WITH THE ROKHLIN PROPERTY 41

2025 arXiv
[30]

Gir´ on Pacheco, K

S. Gir´ on Pacheco, K. Kitamura, and R. Neagu. The stable uniqueness theorem for unitary tensor category equivariant KK-theory.Adv. Math., 493:Paper No. 110912, 2026

2026
[31]

Gir´ on Pacheco and R

S. Gir´ on Pacheco and R. Neagu. An Elliott intertwining approach to classifying actions of C ∗-tensor categories.J. Noncommut. Geom., to appear, 2023. URL https: //arxiv.org/abs/2310.18125

2023 arXiv
[32]

R. H. Herman and V. F. R. Jones. Period two automorphisms of UHF C ∗-algebras.J. Funct. Anal., 45:169–176, 1982

1982
[33]

R. H. Herman and V. F. R. Jones. Models of finite group actions.Math. Scand., 52:312–320, 1983

1983
[34]

Hern´ andez Palomares and M

R. Hern´ andez Palomares and M. Mukohara. Properly outer actions of tensor categories onC ∗-algebras.Comm. Math. Phys., 407:Paper No. 166, 2026

2026
[35]

M. Izumi. Subalgebras of infinite C ∗-algebras with finite Watatani indices. I. Cuntz algebras.Comm. Math. Phys., 155:157–182, 1993

1993
[36]

M. Izumi. Finite group actions on C ∗-algebras with the Rohlin property. I.Duke Math. J., 122:233–280, 2004

2004
[37]

M. Izumi. Finite group actions on C ∗-algebras with the Rohlin property. II.Adv. Math., 184:119–160, 2004

2004
[38]

M. Izumi. Group actions on operator algebras. In Proceedings of the International Congress of Mathematicians. Volume III, pages 1528–1548. Hindustan Book Agency, New Delhi, 2010

2010
[39]

M. Izumi. G-kernels of C ∗-algebras.M¨ unster J. Math., to appear, 2023. URL https: //arxiv.org/abs/2309.03441

2023 arXiv
[40]

Izumi and H

M. Izumi and H. Matui. Poly- Z group actions on Kirchberg algebras II.Invent. Math., 224:699–766, 2021

2021
[41]

C. Jones. Remarks on anomalous symmetries of C ∗-algebras.Comm. Math. Phys., 388:385–417, 2021

2021
[42]

V. F. R. Jones. An invariant for group actions. In Alg` ebres d’op´ erateurs (S´ em., Les Plans-sur-Bex, 1978), volume 725 ofLecture Notes in Math., pages 237–253. Springer, Berlin, 1979

1978
[43]

V. F. R. Jones. Actions of finite groups on the hyperfinite type II 1 factor.Mem. Amer. Math. Soc., 28(No. 237), 1980

1980
[44]

V. F. R. Jones. Index for subfactors.Invent. Math., 72:1–25, 1983

1983
[45]

Katayama, C

Y. Katayama, C. E. Sutherland, and M. Takesaki. The characteristic square of a factor and the cocycle conjugacy of discrete group actions on factors.Invent. Math., 132:331–380, 1998

1998
[46]

Katayama and M

Y. Katayama and M. Takesaki. Outer actions of a countable discrete amenable group on an AFD factor. In Advances in quantum dynamics (South Hadley, MA, 2002), volume 335 ofContemp. Math., pages 163–171. Amer. Math. Soc., Providence, RI, 2003

2002
[47]

Katayama and M

Y. Katayama and M. Takesaki. Outer actions of a discrete amenable group on approximately finite-dimensional factors. II. the type III λ-case,λ̸= 0.Math. Scand., 100:75–129, 2007

2007
[48]

Katayama and M

Y. Katayama and M. Takesaki. Outer actions of a discrete amenable group on approx- imately finite-dimensional factors. III. the type III λ case, 0 < λ <1, asymmetrization and examples.Pacific J. Math., 243:57–126, 2009

2009
[49]

Kitamura

K. Kitamura. Actions of tensor categories on Kirchberg algebras.Ann. Sci. ´Ec. Norm. Sup´ er. (4), 59:273–330, 2026

2026
[50]

H. Lin. Classification of simple tracially AF C ∗-algebras.Canad. J. Math., 53:161–194, 2001

2001
[51]

H. Lin. Classification of simple C ∗-algebras of tracial topological rank zero.Duke Math. J., 125:91–119, 2004

2004
[52]

N. Nawata. Equivariant Kirchberg–Phillips type absorption for the Razak–Jacelon algebra.J. Funct. Anal., 285:Paper No. 110088, 2023

2023
[53]

A. Ocneanu. Actions of discrete amenable groups on von Neumann algebras, volume 1138 ofLecture Notes in Mathematics. Springer-Verlag, Berlin, 1985. 42 SERGIO GIR ´ON PACHECO AND G ´ABOR SZAB ´O

1985
[54]

S. Popa. Classification of amenable subfactors of type II.Acta Math., 172:163–255, 1994

1994
[55]

S. Popa. An axiomatization of the lattice of higher relative commutants of a subfactor. Invent. Math., 120:427–445, 1995

1995
[56]

L. Robert. Remarks on Z-stable projectionless C ∗-algebras.Glasg. Math. J., 58:273– 277, 2016

2016
[57]

Rørdam.Classification of nuclear, simple C ∗-algebras, volume 126 ofEncyclopaedia Math

M. Rørdam.Classification of nuclear, simple C ∗-algebras, volume 126 ofEncyclopaedia Math. Sci.Springer, Berlin, 2002

2002
[58]

M. Rørdam. The stable and the real rank of Z-absorbing C ∗-algebras.Internat. J. Math., 15:1065–1084, 2004

2004
[59]

Rørdam, F

M. Rørdam, F. Larsen, and N. J. Laustsen. An introduction to K-theory for C ∗- algebras, volume 49 ofLondon Mathematical Society Student Texts. Cambridge Uni- versity Press, Cambridge, 2000

2000
[60]

G. Szab´ o. On a categorical framework for classifying C ∗-dynamics up to cocycle conjugacy.J. Funct. Anal., 280:Paper No. 108927, 2021

2021
[61]

Tikuisis, S

A. Tikuisis, S. White, and W. Winter. Quasidiagonality of nuclear C ∗-algebras.Ann. of Math. (2), 185:229–284, 2017

2017
[62]

W. Winter. Simple C ∗-algebras with locally finite decomposition rank.J. Funct. Anal., 243:394–425, 2007

2007
[63]

S. Zhang. Certain C ∗-algebras with real rank zero and their corona and multiplier algebras. I.Pacific J. Math., 155:169–197, 1992. Department of Mathematics, KU Leuven, Celestijnenlaan 200B, box 2400, B-3001 Leuven, Belgium. Email address:sergio.gironpacheco@kuleuven.be Email...

1992
[2025]

URLhttps://doi.org/10.4153/S0008414X25000112

doi

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.

[1] [7]

J. R. Carri´ on, J. Gabe, C. Schafhauser, A. Tikuisis, and S. White. Classifying ∗- homomorphisms I: Unital simple nuclear C ∗-algebras. 2023. URL https://arxiv. org/abs/2307.06480

arXiv 2023

[2] [1]

Arano, K

Y. Arano, K. Kitamura, and Y. Kubota. Tensor category equivariant KK-theory.Adv. Math., 453:Paper No. 109848, 2024. 40 SERGIO GIR ´ON PACHECO AND G ´ABOR SZAB ´O

work page 2024

[3] [2]

Arano and Y

Y. Arano and Y. Kubota. Compact Lie group actions with the continuous Rokhlin property.J. Funct. Anal., 272:522–545, 2017

work page 2017

[4] [3]

Barlak, G

S. Barlak, G. Szab´ o, and C. Voigt. The spatial Rokhlin property for actions of compact quantum groups.J. Funct. Anal., 272:2308–2360, 2017

work page 2017

[5] [4]

B¨ odigheimer

C.-F. B¨ odigheimer. Splitting the K¨ unneth sequence inK-theory.Math. Ann., 242:159– 171, 1979

work page 1979

[6] [5]

B¨ odigheimer

C.-F. B¨ odigheimer. Splitting the K¨ unneth sequence inK-theory. II.Math. Ann., 251:249–252, 1980

work page 1980

[7] [6]

K. S. Brown. Cohomology of groups, volume 87 ofGraduate Texts in Mathematics. Springer-Verlag, New York–Berlin, 1982

work page 1982

[8] [8]

Castillejos, S

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

work page 2021