{"id":"57d2a9c4-6f5b-418a-8750-ab3b05dbdb82","arxiv_id":"2608.09517","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Rokhlin G-kernels on Kirchberg algebras are classified by their lifting obstruction in H^3(G,T) and the induced G-module structure on K-theory.","lead":"This paper classifies certain symmetries of operator algebras, called anomalous group actions, when they have the Rokhlin property, a strong form of freeness. The main result says two such symmetries on Kirchberg algebras are equivalent exactly when their cohomological invariant and K-theoretic data agree.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No internal inconsistency found in the proof of Theorem A; the argument is conditional on the UCT and the total K-theory classification of morphisms (Theorem 1.17), as the authors disclose.","rationale":"The paper is carefully written, with detailed proofs of the new G-coherent machinery. The classification of Rokhlin G-kernels on UCT Kirchberg algebras reduces to well-established classification theorems for morphisms. The main risk is the UCT dependence, which is clearly stated. The proof of Theorem 5.5 and Lemma 5.6 follows Izumi and appears valid; the technical epsilonic arguments, while not machine-checked, contain no evident error. The reader's verdict of ACCEPT is reasonable.","tokens_in":39804,"tokens_out":47975,"duration_ms":394138,"concrete_test":"Trace the proof of Corollary 5.8 and verify that for unital Kirchberg algebras in the UCT class the K_0 conjugacy condition includes order preservation (as stated in Corollary 5.8), and that Corollary 4.4(ii) can be derived using Theorem 1.17(2) without invoking Theorem 1.21. If the order condition is dropped from the statement of Theorem A, the theorem would be false; confirming it is included resolves the only remaining ambiguity in the central claim.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central classification Theorem A is proved through Corollary 5.8, Theorem 5.7, and Corollary 4.4, all of which ultimately invoke Theorem 1.17, the classification of ∗-homomorphisms between Kirchberg algebras by total K-theory. This theorem is known only under the UCT, and the paper explicitly assumes UCT in Theorem A. If the UCT fails for the Kirchberg algebras in question, there is no available classification of morphisms to lift a K-theoretic conjugacy to a cocycle conjugacy, so the proof collapses. This is a genuine external dependence, but it is disclosed and is not a circularity or internal contradiction. I found no concrete internal error in the G-coherent machinery, the equivariant splitting lemma (Lemma 5.6), or the range theorem. The reader's additional concern that Theorem 4.2 depends on the unpublished preprint [7, Theorem 1.21] is not load-bearing for Theorem A, since Corollary 4.4 explicitly replaces Theorem 1.21 with Theorem 1.17 for the Kirchberg and TAF cases.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":39891,"tokens_out":24172,"duration_ms":197294,"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.","major_comments":[],"minor_comments":[{"comment":"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":"Theorem 6.2(i), proof"},{"comment":"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.","section":"Section 4, Theorem 4.2"},{"comment":"The reference 'By Theorem 1.8(i)' should read 'By Definition 1.8(i)', since Definition 1.8 is not a theorem.","section":"Proposition 1.12, proof"},{"comment":"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.","section":"Throughout"},{"comment":"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).","section":"Remark 2.2"},{"comment":"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.","section":"Lemma 5.6"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nThe 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.\n\nSoft 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.\n\nWho 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.\n\nMy 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.","headline":"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.","tokens_in":40524,"tokens_out":1406,"would_cite":true,"duration_ms":15159,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L55","46L35","46L80"],"pacs":[],"model":"deepseek-v4-flash","headline":"Rokhlin G-kernels on UCT Kirchberg algebras are classified by their lifting obstruction and the induced K-theory module structure.","keywords":["Rokhlin property","G-kernels","anomalous actions","Kirchberg algebras","K-theory","lifting obstruction","total K-theory","cohomologically trivial modules"],"falsifier":"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.","tokens_in":39499,"feed_emoji":"🧩","tokens_out":7419,"duration_ms":66715,"temperature":0.7,"pith_summary":"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.","feed_headline":"Two invariants classify all Rokhlin group kernel actions","feed_subtitle":"Matching lifting obstructions and K-theory modules force conjugacy of anomalous group actions on UCT Kirchberg algebras.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the complete-cohomological-triviality theorem and the model-action construction for genuine Rokhlin actions, which the paper extends to G-kernels.","marker":"[37]"},{"why":"Supplies the original Rokhlin classification for finite group actions that the anomalous version generalizes.","marker":"[36]"},{"why":"Supplies the existence and uniqueness strategy for equivariant *-homomorphisms that Section 3 adapts to G-coherent morphisms.","marker":"[26]"},{"why":"States the classification of unital simple nuclear Z-stable UCT C*-algebras and their morphisms, used in Theorem 4.2.","marker":"[7]"},{"why":"Provides the total K-theory and multicoefficient classification of morphisms between Kirchberg algebras, used in Theorem 1.17 and Lemma 1.20.","marker":"[15]"},{"why":"Provides the Elliott intertwining theorem and categorical machinery for actions of unitary tensor categories, which underpin G-coherent morphisms.","marker":"[31]"},{"why":"Introduces approximate Murray–von Neumann equivalence, whose equivariant analogue is proven to coincide with proper approximate unitary equivalence.","marker":"[20]"},{"why":"Gives the earlier classification of anomalous actions under UHF-absorption, which Theorem A significantly generalizes.","marker":"[28]"},{"why":"Introduces the categorical framework for classifying C*-dynamics up to cocycle conjugacy that is adapted here.","marker":"[60]"}],"fun_headline_variants":["Two invariants settle Rokhlin kernel classification","Rokhlin G-kernels classified by anomaly and K-theory","Anomaly and K-modules decide Rokhlin conjugacy","Complete Rokhlin classification via lifting and K-groups"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Two invariants settle Rokhlin kernel classification","Rokhlin G-kernels classified by anomaly and K-theory","Anomaly and K-modules decide Rokhlin conjugacy","Complete Rokhlin classification via lifting and K-groups"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000241,"raw_usage":{"total_tokens":1501,"prompt_tokens":905,"completion_tokens":596,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":521,"completion_tokens_details":{"reasoning_tokens":525}},"tokens_in":521,"tokens_out":596,"duration_ms":5721,"temperature":1.0,"reasoning_tokens":525,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T15:46:25.979713+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the complete-cohomological-triviality theorem and the model-action construction for genuine Rokhlin actions, which the paper extends to G-kernels."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the original Rokhlin classification for finite group actions that the anomalous version generalizes."},{"cited_title":"Gardella and L","cited_arxiv_id":null,"evidence_quote":"Supplies the existence and uniqueness strategy for equivariant *-homomorphisms that Section 3 adapts to G-coherent morphisms."},{"cited_title":"Dadarlat and T","cited_arxiv_id":null,"evidence_quote":"Provides the total K-theory and multicoefficient classification of morphisms between Kirchberg algebras, used in Theorem 1.17 and Lemma 1.20."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces approximate Murray–von Neumann equivalence, whose equivariant analogue is proven to coincide with proper approximate unitary equivalence."},{"cited_title":"Gir´ on Pacheco","cited_arxiv_id":null,"evidence_quote":"Gives the earlier classification of anomalous actions under UHF-absorption, which Theorem A significantly generalizes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the categorical framework for classifying C*-dynamics up to cocycle conjugacy that is adapted here."}],"review_version":1}