{"id":"dae7d1b9-fcca-4c31-9249-99a29de64a2f","arxiv_id":"2412.10486","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Finite group actions with the weak tracial Rokhlin property and compact group actions with the tracial Rokhlin property with comparison preserve uniform property Gamma in crossed products and fixed-point algebras.","lead":"Finite or compact group actions with Rokhlin-type properties preserve a key structural regularity called uniform property Gamma when the base algebra has it. The result gives classification-oriented C*-algebraists new permanence tools for crossed products and fixed-point algebras.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Finite-group permanence rests on Lemma 2.11, whose proof is omitted and which relies on an unpublished self-cited preprint; without independent verification of that lemma, Theorem 3.3 and Corollary 3.4 remain conditionally supported.","rationale":"The paper's central claim is a permanence result: uniform property Γ passes from a unital separable simple infinite-dimensional C*-algebra to crossed products and fixed point algebras for finite-group actions with the weak tracial Rokhlin property and for compact-group actions with the tracial Rokhlin property with comparison. The broad architecture of the proofs is coherent. The compact-group case (Theorem 3.5 and Corollary 3.6) builds on Theorem 2.7 from [31] and the theory of stablized property Γ from [6]; those citations are specific and the argument is a plausible transfer of trace approximations through asymptotic homomorphisms. The finite-group case, however, is less secure. Theorem 3.3 relies at its first step on Lemma 2.11, which is not proved in this paper, and Lemma 2.11 in turn depends on Theorem 2.10 from the authors' own unpublished preprint [11]. The paper explicitly says 'the proof is the same as that of [12, Lemma 3.5], so we omit it.' Under the reviewing rule that omitted proofs and missing support count as in-scope evidence, this is the most load-bearing weakness: if Lemma 2.11 or Theorem 2.10 fails, the finite-group result has no foundation. The reader's verdict of CONDITIONAL is therefore appropriate. I do not see an internal inconsistency that would force a stronger verdict, and I credit the compact-group proof for giving a concrete approximation scheme that is checkable from the cited statements. The missing proof should be supplied or the preprint [11] should receive independent review before the finite-group theorem is treated as fully verified.","tokens_in":12704,"tokens_out":40449,"duration_ms":400312,"concrete_test":"Provide a full proof of Lemma 2.11 from Theorem 2.10, or an independent verification of [11, Theorem 3.4]. In particular, for the application in Theorem 3.3, trace the functional-calculus step with f(t) = t^{1/2} and g(t) = t: confirm that the element d from Theorem 2.10 can be chosen so that simultaneously ||d^{1/2}a − a d^{1/2}|| < δ, ||(1−d)^{1/2}a − a(1−d)^{1/2}|| < δ, da ∈_δ B, 1−d ≾ x, and ||d a d|| > ||a|| − δ. If the proof cannot be carried through without extra assumptions (for instance, g real-valued or f(d) in place of d in condition (3)), the statement of Lemma 2.11 must be corrected, and if the corrected lemma is not strong enough for Theorem 3.3, the theorem's proof needs revision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 3.3 begins by invoking Lemma 2.11, which asserts the existence of an almost central positive contraction d in a subalgebra B ≅ fAf ⊗ M_l with da ∈_δ B and 1−d Cuntz-small. This is the only route from uniform Γ of A (via Lemmas 3.1 and 3.2) to the trace approximation on A ⋊ G. Lemma 2.11 is not proved; the text says its proof is the same as [12, Lemma 3.5], and it depends on Theorem 2.10, quoted from [11, Theorem 3.4], an unpublished preprint by the authors. No formal verification or independent confirmation is supplied. Additionally, the statement of Lemma 2.11 overloads the symbol f (both a continuous function and an element of A), and its 'moreover' clause asks for a positive b approximating g(d) a g(d) for complex-valued g, an expression that need not be self-adjoint. This suggests the lemma may need extra hypotheses (e.g., g real-valued) or corrections. Because the whole finite-group argument proceeds through this d, failure of Lemma 2.11 or Theorem 2.10 would invalidate Theorems 3.3 and 3.4. The compact-group argument has its own external dependencies ([31, Theorem 2.17] and [6]), but those are cited with more detailed statements; the finite-group case is the least externally supported.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves two permanence results for uniform property Gamma. Theorem 1.1 states that if A is a unital separable simple infinite-dimensional C*-algebra with uniform property Gamma and alpha is an action of a finite group with the weak tracial Rokhlin property, then both the crossed product A rtimes_alpha G and the fixed point algebra A^alpha have uniform property Gamma. Theorem 1.2 states the analogous conclusion when alpha is an action of a second-countable compact group with the tracial Rokhlin property with comparison. The finite-group proof uses a tracial approximation subalgebra B isomorphic to fAf tensor M_l and estimates on restrictions of traces; the compact-group proof uses asymptotic homomorphisms from A to the fixed point algebra and the stable isomorphism between A^alpha and the crossed product. The paper is short and relies heavily on external approximation results, especially Theorem 2.10 from the authors' unpublished preprint [11] and Lemma 2.11, whose proof is omitted.","tokens_in":13018,"tokens_out":12580,"duration_ms":137493,"significance":"Uniform property Gamma is a central regularity property in the Elliott program and in recent work on the Toms-Winter conjecture, so establishing its permanence under Rokhlin-type crossed products is a natural and potentially useful contribution. The compact-group part is structured cleanly around existing machinery of Mohammadkarimi-Phillips and the stable-isomorphism reduction, and Corollary 3.6 gives an elegant transfer from A^alpha to A rtimes G. The finite-group part, however, is not self-contained: it depends on an approximation lemma whose statement is ambiguous and whose proof is omitted, and on an unpublished self-cited preprint. If that lemma is supplied or properly referenced, the main results are plausible and of moderate interest to specialists in tracial approximation and the structure of crossed products.","major_comments":[{"comment":"Lemma 2.11 is not stated correctly. The symbol f is used simultaneously for a continuous function on [0,1] and for a positive contraction in A, and the conclusion (1) '||f(d)a - a f(d)|| < epsilon' is therefore ambiguous: it is unclear whether f(d) means functional calculus with respect to the function f or the product of the element f and d. Additionally, the 'moreover' clause asserts that for complex-valued g the element g(d) a g(d) can be approximated by a positive element b in B; for a positive a this expression need not be self-adjoint unless g is real-valued or g(d) commutes with a, so extra hypotheses are needed. Since Lemma 2.11 is invoked directly in the proof of Theorem 3.3 to obtain the estimates at the top of page 7, this lemma must be restated precisely and proved or replaced by a detailed reference.","section":"Section 2, Lemma 2.11"},{"comment":"The finite-group theorem depends on Theorem 2.10, quoted from the authors' unpublished preprint [11, Theorem 3.4], and on Lemma 2.11 whose proof is dismissed with 'the proof is the same as [12, Lemma 3.5]'. These are load-bearing inputs: the entire path from uniform property Gamma of A to the trace approximation in A rtimes G passes through the element d supplied by these results. A main theorem should not rest on an unproved lemma and an unpublished self-cited theorem without either including full proofs or explicitly stating that the result is conditional on [11]. The authors should either provide a self-contained proof of the approximation statement or cite a published version with the exact statement.","section":"Section 2, Theorem 2.10 and Section 3, Theorem 3.3"},{"comment":"In applying Theorem 2.7, the proof does not clearly specify the parameter y required by condition (6) of that theorem. The listed condition (4) says '1-p_m <~ (x-1/2)_+' in A^alpha, but the preceding sentence only says 'Apply Theorem 2.7 for 1/m, x, S_m, F'. This can be repaired by explicitly choosing y=(x-1/2)_+ and by justifying that the pointwise Cuntz comparisons pass to the ultrapower comparison in (8); as written, the reader must fill in a nontrivial step about Cuntz comparison in sequence algebras.","section":"Section 3, Theorem 3.5"}],"minor_comments":[{"comment":"The equality ||tau-bar|| = d_tau(d) is asserted without proof and is not true for an arbitrary positive contraction d in a hereditary subalgebra; for example, a non-full d in a corner can have d_tau(d) smaller than the norm of the restricted trace. The argument only requires the inequality ||tau-bar|| <= 1, which follows immediately from tau being a state, so the proof can be fixed by replacing the equality with this inequality.","section":"Section 3, around Eq. (3.5)"},{"comment":"There are numerous typographical errors and misspellings that should be corrected, including 'acitions' in the introduction, 'studyed' for 'studied', 'proerty' for 'property', 'Corollarys' in the organizational sentence, and 'Porposition' in Corollary 3.6. A careful proofreading pass is needed.","section":"Throughout"},{"comment":"The deduction that B has uniform property Gamma is only stated implicitly: one needs Lemma 3.2 for the hereditary subalgebra fAf of A, then Lemma 3.1 to pass to fAf tensor M_l. This is correct, but it would improve readability if the chain fAf -> M_l(fAf) = B were explicitly spelled out.","section":"Section 3, proof of Theorem 3.3"}],"recommendation":"major_revision","confidential_remarks":"The finite-group theorem is the least externally supported part of the paper: it depends on the authors' own unpublished preprint [11] and on an omitted proof of Lemma 2.11. Before this paper can be accepted, the authors should either include a complete proof of the needed approximation lemma or ensure that [11] is published and the exact statement is available. The compact-group argument is more satisfactory and likely correct modulo standard results. I do not see evidence of circularity, but the self-citation pattern places a particular burden on the authors to make the finite-group proof verifiable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The results are new and worth having: uniform property Γ passes to crossed products and fixed point algebras for finite group actions with the weak tracial Rokhlin property, and for second-countable compact group actions with the tracial Rokhlin property with comparison. The compact group argument is the cleaner of the two. It uses the asymptotic homomorphism from [31] and the Castillejos–Evington stabilization results in a way I find credible.\n\nThe finite group part is the one to focus on. Theorem 3.3 goes through Lemma 2.11, whose proof is omitted with a pointer to [12, Lemma 3.5], and that lemma in turn invokes Theorem 2.10 from the authors' own unpublished preprint [11]. That is a load-bearing external dependency. If Lemma 2.11 fails, Theorem 3.3 has no foundation. The statement of Lemma 2.11 also has a small but genuine bug: the symbol f is used both for a continuous function and for an element of A, and the \"moreover\" clause claims a positive b approximating g(d)ag(d) for complex-valued g, which need not be self-adjoint. The main proof only needs g(t) = t and g(t) = sqrt(t), so this is a statement-level issue rather than a fatal one, but it reinforces that the lemma needs a careful proof.\n\nI checked the places where one might worry about non-positive elements in the finite sets. The inequality |τ(xb)| ≤ ||x|| τ(b) for a contraction x and positive b in a tracial state justifies the steps with (1−d) and (1−q). So I do not share the stress-test concern about those estimates.\n\nWhat is really missing is a clear accounting of the external references. The citation pattern is not circular—these are auxiliary approximation lemmas, not the main theorem—but the reader cannot independently verify the key input without access to [11] and [12]. The authors should either include a full proof of Lemma 2.11 (and of Lemma 3.1, which is also omitted) or state explicitly which of those papers have completed peer review and where the proofs live. This is a fixable situation, and the main theorems are plausible and independent of the cited tools in the sense of circularity.\n\nThe right call is to send this to a serious referee with a clear instruction to check Lemma 2.11 and the status of [11]. If those hold up, the paper is a solid contribution. My recommendation: major revision, conditional on the missing proofs.","headline":"New permanence results for uniform property Γ under two Rokhlin-type actions; the compact group case reads well, but the finite group case leans on an unproven lemma from the authors' own unpublished preprint.","tokens_in":13523,"tokens_out":9598,"would_cite":true,"duration_ms":91775,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L55","46L35"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that uniform property Γ passes from a unital separable simple infinite-dimensional C*-algebra to the crossed product and fixed point algebra under finite weak tracial Rokhlin actions and compact tracial Rokhlin actions…","keywords":["C*-algebras","uniform property Gamma","crossed products","Rokhlin-type properties","fixed point algebras","tracial approximation","compact group actions","finite group actions"],"falsifier":"A concrete test is to find a unital simple infinite-dimensional C*-algebra $A$ and a finite group action with the weak tracial Rokhlin property for which Theorem 2.10 fails: no positive contraction $d$ in a subalgebra $B \\cong fAf \\otimes M_l$ satisfies the four stated conditions. A direct refutation of the main theorem would be a crossed product $A \\rtimes_\\alpha G$ satisfying the hypotheses that fails the local trace-splitting criterion of Proposition 2.13 for some finite set, $\\varepsilon$, and $n$.","tokens_in":12500,"feed_emoji":"🧮","tokens_out":12829,"duration_ms":129706,"temperature":0.7,"pith_summary":"This paper proves a permanence result: if a unital separable simple infinite-dimensional C*-algebra has uniform property Γ, then forming the crossed product or taking the fixed point algebra preserves this property for two classes of group actions—finite group actions with the weak tracial Rokhlin property, and second-countable compact group actions with the tracial Rokhlin property with comparison. Uniform property Γ is a central-sequence trace-flatness condition tied to the regularity conjecture for simple separable amenable C*-algebras; it is implied by Z-stability and feeds into finite nuclear dimension arguments. The finite-group half is handled by a tracial approximation inside a subalgebra isomorphic to $fAf \\otimes M_l$, while the compact-group half uses asymptotic homomorphisms from the original algebra into a corner of the fixed point algebra and stable isomorphism between the fixed point algebra and the crossed product.","feed_headline":"Uniform property Gamma survives Rokhlin-type crossed products","feed_subtitle":"For finite and compact Rokhlin-type actions, the property passes to the crossed product and fixed point algebra.","key_machinery":"The working criterion is the local refinement of uniform property Γ (Proposition 2.13): a separable C*-algebra with nonempty compact trace space has uniform property Γ exactly when every finite set, $\\varepsilon$, and $n$ admit $n$ pairwise orthogonal positive contractions $e_i$ that almost commute with the set and split every trace evenly, $|\\tau(a e_i) - (1/n)\\tau(a)| < \\varepsilon$. For finite groups, the transfer is carried by the approximation theorem: a positive contraction $d$ in a subalgebra $B \\cong fAf \\otimes M_l$ that is almost central in $A \\rtimes_\\alpha G$, has $1-d$ Cuntz-small, and is norm-large on the finite set; the omitted functional-calculus lemma refines $d$. For compact groups, the transfer is carried by maps $A \\to pA^\\alpha p$ that are approximately multiplicative, approximately central, and Cuntz-small on the complement $p$, which assemble into a homomorphism into the sequence algebra; Morita equivalence between $A^\\alpha$ and $A \\rtimes_\\alpha G$ then moves the property to the crossed product.","core_discovery":"The central claim is that uniform property Γ passes from $A$ to both $A \\rtimes_\\alpha G$ and $A^\\alpha$ when $A$ is unital, separable, simple, infinite-dimensional and already has uniform property Γ, with $\\alpha$ either a finite group action with the weak tracial Rokhlin property or a second-countable compact group action with the tracial Rokhlin property with comparison. In the finite case the proof produces, for any finite subset and any $\\varepsilon$, a positive contraction $d$ in a subalgebra $B \\cong fAf \\otimes M_l$ ($l = |G|$) whose complement is Cuntz-small and which is almost central, then imports the local trace-splitting contractions of uniform property Γ from $B$ into the crossed product. In the compact case the proof uses approximately multiplicative equivariant maps to build a homomorphism from $A$ into a corner of the sequence algebra of $A^\\alpha$, transfers the contractions there, and then carries the property back to $A^\\alpha$ and, by stable isomorphism, to the crossed product.","pith_inferences":["Editorial: Because Z-stability implies uniform property Γ, the permanence proved here makes it natural to test whether the same Rokhlin-type hypotheses preserve Z-stability itself; the paper does not address that question.","Editorial: The compact-case argument only needs a homomorphism into the sequence algebra of the fixed point algebra and a Cuntz-small complement, so a similar permanence may hold for any property with a local trace-splitting criterion, such as complemented tracial orthogonal partitions of unity.","Editorial: A direct, self-contained verification of the finite-group theorem would compute the trace-splitting contractions for the crossed product of a UHF algebra by a finite group with the weak tracial Rokhlin property, bypassing the quoted approximation theorem."],"forward_implications":["If $A$ has uniform property Γ and $\\alpha$ is a finite group action with the weak tracial Rokhlin property, then $A \\rtimes_\\alpha G$ has uniform property Γ (Theorem 3.3).","Under the same finite-group hypothesis, the fixed point algebra $A^\\alpha$ has uniform property Γ (Corollary 3.4).","If $\\alpha$ is a second-countable compact group action with the tracial Rokhlin property with comparison, then $A^\\alpha$ has uniform property Γ (Theorem 3.5).","In the compact case, the crossed product $A \\rtimes_\\alpha G$ also has uniform property Γ, since $A^\\alpha$ and $A \\rtimes_\\alpha G$ are stably isomorphic and uniform property Γ is preserved under stable isomorphism (Corollary 3.6).","The compact case even allows the base algebra to have only stabilised property Γ rather than uniform property Γ (Corollary 3.6)."],"supporting_citations":[{"why":"Introduces uniform property Γ and establishes it as a consequence of Z-stability, defining the property the paper aims to preserve.","marker":"[8]"},{"why":"Supplies Proposition 2.13, the local refinement of uniform property Γ used as the working criterion throughout both proofs.","marker":"[7]"},{"why":"Provides Theorem 2.10, the approximation of the crossed product by a positive contraction $d$ in $B \\cong fAf \\otimes M_l$ on which the finite-group theorem depends.","marker":"[11]"},{"why":"Supplies the model for Lemma 2.11, the functional-calculus refinement of $d$; the paper quotes its proof.","marker":"[12]"},{"why":"Defines the tracial Rokhlin property with comparison and supplies Theorem 2.7 and the stable isomorphism/Morita equivalence for the compact case.","marker":"[31]"},{"why":"Shows finite weak tracial Rokhlin actions are pointwise outer, giving simplicity and a nonempty compact trace space for the crossed product.","marker":"[13]"},{"why":"Gives the nonzero positive element $x$ with arbitrarily small trace, used to make $1-d$ Cuntz-small and therefore trace-small.","marker":"[35]"},{"why":"Establishes the equivalence between uniform property Γ and stabilised property Γ, used for hereditary subalgebras and for the compact crossed-product corollary.","marker":"[6]"}],"fun_headline_variants":["Uniform Gamma survives Rokhlin crossed products","Rokhlin-type actions preserve uniform property Gamma","Gamma passes to crossed products under Rokhlin actions","Uniform Gamma stable under Rokhlin-type actions","Finite and compact Rokhlin actions retain Gamma"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The finite-group half rests on a quoted approximation theorem from a related preprint and on a functional-calculus lemma whose proof is omitted; if those results fail, the finite-group permanence proof has no foundation.","fun_headline_variants_meta":{"raw":{"variants":["Uniform Gamma survives Rokhlin crossed products","Rokhlin-type actions preserve uniform property Gamma","Gamma passes to crossed products under Rokhlin actions","Uniform Gamma stable under Rokhlin-type actions","Finite and compact Rokhlin actions retain Gamma"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000721,"raw_usage":{"total_tokens":3213,"prompt_tokens":901,"completion_tokens":2312,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":517,"completion_tokens_details":{"reasoning_tokens":2239}},"tokens_in":517,"tokens_out":2312,"duration_ms":19760,"temperature":1.0,"reasoning_tokens":2239,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T16:17:40.344310+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete test is to find a unital simple infinite-dimensional C*-algebra $A$ and a finite group action with the weak tracial Rokhlin property for which Theorem 2.10 fails: no positive contraction $d$ in a subalgebra $B \\cong fAf \\otimes M_l$ satisfies the four stated conditions. A direct refutation of the main theorem would be a crossed product $A \\rtimes_\\alpha G$ satisfying the hypotheses that fails the local trace-splitting criterion of Proposition 2.13 for some finite set, $\\varepsilon$, and $n$.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces uniform property Γ and establishes it as a consequence of Z-stability, defining the property the paper aims to preserve."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies Proposition 2.13, the local refinement of uniform property Γ used as the working criterion throughout both proofs."},{"cited_title":"Stable rank for crossed products by finite group actions with the weak tracial Rokhlin property","cited_arxiv_id":"2407.09867","evidence_quote":"Provides Theorem 2.10, the approximation of the crossed product by a positive contraction $d$ in $B \\cong fAf \\otimes M_l$ on which the finite-group theorem depends."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the model for Lemma 2.11, the functional-calculus refinement of $d$; the paper quotes its proof."},{"cited_title":"Compact Group Actions with the Tracial Rokhlin Property","cited_arxiv_id":"2110.12135","evidence_quote":"Defines the tracial Rokhlin property with comparison and supplies Theorem 2.7 and the stable isomorphism/Morita equivalence for the compact case."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Shows finite weak tracial Rokhlin actions are pointwise outer, giving simplicity and a nonempty compact trace space for the crossed product."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the equivalence between uniform property Γ and stabilised property Γ, used for hereditary subalgebras and for the compact crossed-product corollary."}],"review_version":1}