Pith. sign in

REVIEW 3 major objections 3 minor 40 references

Uniform property $\Gamma$ for Crossed products by group actions with the Rokhlin-type properties

T0 review · 3 major / 3 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 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…

desk verdict 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. read the letter →

arxiv 2412.10486 v2 pith:QLZGEUIS submitted 2024-12-13 math.OA

Xiaochun Fang , Haotian Tian This is my paper · ORCID
classification math.OA MSC 46L5546L35
keywords C*-algebrasuniformpropertyGammacrossedproductsRokhlin-typepropertiesfixedpointalgebrastracialapproximationcompactgroupactionsfinite
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 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.

What carries the argument

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.

What would settle it

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$.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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).

Reading between the lines

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

  • 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.
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, and a circularity audit.

Referee Report

3 major / 3 minor

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.

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 (3)
  1. [Section 2, Lemma 2.11] 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.
  2. [Section 2, Theorem 2.10 and Section 3, Theorem 3.3] 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.
  3. [Section 3, Theorem 3.5] 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.
minor comments (3)
  1. [Section 3, around Eq. (3.5)] 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.
  2. [Throughout] 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.
  3. [Section 3, proof of Theorem 3.3] 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.

Circularity Check

1 steps flagged · score 4.0 of 10

Finite-group theorem rests at its critical approximation step on the authors' own unproved Lemma 2.11 and Theorem 2.10; no definitional circularity, but the finite-group claim is not fully self-contained.

  1. self citation load bearing [Section 2, Theorem 2.10 and Lemma 2.11; applied in Theorem 3.3.]
    "Theorem 2.10. [11, Theorem 3.4] ... there exist a positive contraction f ∈ A, a C*-subalgebra B of A ⋊_α G with B ∼= fAf ⊗ M_l (l=Card(G)) and a positive contraction d ∈ B such that ... Lemma 2.11. (cf. [12, Lemma 3.5]) ... Proof. The proof is the same as that of [12, Lemma 3.5], so we omit it."

    Theorem 3.3 uses Lemma 2.11 as the only mechanism that produces the subalgebra B ≅ fAf ⊗ M_l and the almost central element d with da ∈_δ B and 1−d Cuntz-small; every later trace estimate and the eventual appeal to Proposition 2.13 for A ⋊_α G pass through this d. Lemma 2.11 is not proved here and refers to [12, Lemma 3.5], while its underlying Theorem 2.10 is quoted verbatim from [11, Theorem 3.4]; both [11] and [12] share the first author of the present paper. Thus the finite-group claim is justified at its critical step by an unverified, overlapping-author citation rather than by an argument in this paper. The compact-group theorem is independent, so the circularity is partial.

full rationale

No equation-level circularity was found: uniform property Γ of A is not defined in terms of the crossed product, and the proof does not fit any parameter to the target conclusion. Lemma 3.1 and Lemma 3.2 transfer uniform property Γ to M_k(A) and to hereditary subalgebras using external results [6] and [29]; Proposition 2.13 is an external local reformulation. The compact-group proof (Theorem 3.5) is essentially self-contained given the external Theorem 2.7 from [31]. The finite-group proof, however, rests on the unproved Lemma 2.11, whose proof is delegated to [12, Lemma 3.5], and on Theorem 2.10 quoted from [11, Theorem 3.4], both by the same first author Fang. This is a load-bearing self-citation and an omitted proof, so the finite-group permanence claim is not independently established by the present manuscript. Yet the cited theorem is parameter-free and its assumptions do not include uniform property Γ, so this is a support gap rather than a definitional reduction; hence the score is 4 rather than 8.

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

The proofs rely on at least five external theorems. Two are self-cited preprints with omitted proofs ([11], [12]), which is the largest source of unverified input. No free parameters or invented entities are introduced.

assumptions (5)
  • domain assumption Theorem 2.10 from [11]: existence of approximate tracial decomposition d in B ≅ fAf⊗M_l for finite group actions with the weak tracial Rokhlin property.
    Quoted from the self-cited preprint [11, Theorem 3.4]; used as the main approximation tool in Theorem 3.3; proof not included in this paper.
  • domain assumption Lemma 2.11 (cf. [12, Lemma 3.5]): functional calculus version of Theorem 2.10 (e.g., f(d) approximately commutes).
    Proof omitted ('the same as [12, Lemma 3.5]'); used to get the small τ(1-d) estimate in Theorem 3.3.
  • domain assumption Theorem 2.7 ([31, Theorem 2.17]): tracial Rokhlin approximation from A to p A^α p.
    Key input in the compact group case, Theorem 3.5.
  • domain assumption Simplicity and non-type-I of A^α for tracial Rokhlin actions with comparison ([31, Theorem 3.2, Proposition 3.3]).
    Used to find x with d_τ(x) < δ via [35, Corollary 2.5].
  • domain assumption Lemma 3.2: uniform property Γ passes to full hereditary subalgebras of separable simple unital C*-algebras ([6, Proposition 2.6, Theorem 2.10]).
    Used to transfer uniform property Γ to B; proof in paper is a short argument citing [6].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Uniform property $\Gamma$ for Crossed products by group actions with the Rokhlin-type properties." pith.science (2026). https://pith.science/paper/QLZGEUIS

@misc{pith2026241210486,
  author       = {Pith},
  title        = {Pith review of: Uniform property $\Gamma$ for Crossed products by group actions with the Rokhlin-type properties},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QLZGEUIS}},
  note         = {Machine review of arXiv:2412.10486}
}
abstract

In this paper, let $A$ be a unital separable simple infinite dimensional C*-algebra which has uniform property $\Gamma$. Let $\alpha\colon G\to \mathrm{Aut}(A)$ be an action of a finite group which has the weak tracial Rokhlin property. Then we prove that the crossed product $A\rtimes_\alpha G$ and fixed point algebra $A^\alpha$ have uniform property $\Gamma$. Let $\alpha\colon G\to \mathrm{Aut}(A)$ be an action of a second-countable compact group which has the tracial Rokhlin property with comparison. Then we prove that the crossed product $A\rtimes_\alpha G$ and fixed point algebra $A^\alpha$ have uniform property $\Gamma$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

40 extracted references · 38 canonical work pages

  1. [31]

    J.Mohammadkarimi and N.C.Phillips, Compact Group Actions with the Tracial Rokhlin Property, arXiv:2110.12135v2 (2021)

    work page Pith review arXiv 2021

  2. [11]

    X.Fang and Z.Wang, Stable rank for crossed products by finite group actions with the weak tracial Rokhlin property, arXiv:2407.09867 (2024)

    work page Pith review arXiv 2024

  3. [12]

    X.Fang and Z.Wang, Inheritance of certain comparison and divisibility properties for generalized tracially approximated C*-algebras. Ann. Funct. Anal. 16, 12 (2025)

    work page 2025

  4. [1]

    R.Antoine, F.Perera and H.Thiel, Tensor products and regularity properties of Cuntz semigroups, Mem. Amer. Math. Soc. 251(2018), no. 1199; 199 pages

    work page 2018

  5. [2]

    Thesis, University of Oregon, Eugene, 2008

    D.Archey, Crossed product C*-algebras by finite group actions with a generalized tracial Rokhlin property, Ph.D. Thesis, University of Oregon, Eugene, 2008

    work page 2008

  6. [3]

    M.A.Asadi-Vasfi, N.Golestani and N.C.Phillips, The Cuntz semigroup and the radius of comparison of the crossed product by a finite group, Ergodic Theory Dynam. Systems. 41(2021), 1-52

    work page 2021

  7. [4]

    A.Connes, Outer conjugacy class of automorphisms of factors, Ann. Sci. ´Ecole Norm. Sup. 8(1975), 383–420

    work page 1975

  8. [5]

    J.Bosa, N.P.Brown, Y.Sato, A.Tikuisis, S.White and W.Winter, Covering dimension of C*-algebras and 2-coloured classification, Mem. Amer. Math. Soc. 257(2019), no.1233, vii+97 pp

    work page 2019

Show all 40 references
  1. [6]

    J.Castillejos and S.Evington, Stablizing uniform property Γ, Proc. Amer. Math. Soc. 149(2021), 4725–4737

    2021

  2. [7]

    J.Castillejos, S.Evington, A.Tikuisis, and S.White, Uniform property Γ, Int. Math. Res. Not. IMRN(13)(2022), 9864–9908

    2022

  3. [8]

    J.Castillejos, S.Evington, A.Tikuisis, S.White and W.Winter, Nuclear dimension of simple C*-algebras, In- vent. Math. 224(2021), 245–290

    2021

  4. [9]

    Preprint, arXiv:2310.12548v1 (2023)

    G.A.Elliott, Q.Fan and X.Fang, Non unital generalized tracially approximated C*-algebras. Preprint, arXiv:2310.12548v1 (2023)

    2023 arXiv

  5. [10]

    Bull.Amer

    G.A.Elliott and A.Toms, Regularity properties in the classification program for separable amenable C*- algebras. Bull.Amer. Math. Soc. 45(2008), 229–245

    2008

  6. [13]

    M.Forough and N.Golestani, The weak tracial Rokhlin property for finite group actions on simple C*-algebras, Doc. Math. 25 (2020), 2507-2552

    2020

  7. [14]

    X.Fu and H.Lin, Non-amenablesimple C*-algebras with tracial approximation, Forum Math. Sigma. 10(2022), 1-50

    2022

  8. [15]

    Noncommut

    E.Gardella, Crossed products by compact group actions with the Rokhlin property, J. Noncommut. Geom. 11(2017), no.4, 1593–1626

    2017

  9. [16]

    E.Gardella, Compact group actions with the Rokhlin property, Trans. Amer. Math. Soc. 371(2019), 2837–2874

    2019

  10. [17]

    E.Gardella, I.Hirshberg and L.Santiago, Rokhlin dimension: duality, tracial properties, and crossed products, Ergodic Theory Dynam. Systems. 41(2021), no.2, 408-460

    2021

  11. [18]

    E.Gardella and F.Perera, The modern theory of Cuntz semigroups of C*-algebras, EMS Surv. Math. Sci. Published online 27 September 2024, arXiv:2212.02290 (2022)

    2022 arXiv

  12. [19]

    E.Gardella and L.Santiago, Equivariant *-homomorphisms, Rokhlin constraints and equivariant UHF- absorption, J. Funct. Anal. 270 (2016), no. 7, 2543-2590

    2016

  13. [20]

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

    1982

  14. [21]

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

    1983

  15. [22]

    I.Hirshberg and J.Orovitz, TraciallyZ-absorbing C*-algebras, J. Funct. Anal. 265(2013), 765–785

    2013

  16. [23]

    I.Hirshberg and N.C.Phillips, Rokhlin dimension: obstructions and permanence properties, Doc. Math. 20(2015), 199–236

    2015

  17. [24]

    I.Hirshberg and W.Winter, Rokhlin actions and self-absorbing C*-algebras, Pacific J. Math. 233(2007), 125–143

    2007

  18. [25]

    J.Cuntz, Dimension functions on simple C*-algebras, Math. Ann. 233(1978), 145–153

    1978

  19. [26]

    D.Kerr and G.Szab´ o, Almost finiteness and the small boundary property. Comm. Math. Phys. 374(2020), 1–31. 14 XIAOCHUN F ANG AND HAOTIAN TIAN

    2020

  20. [27]

    E.Kirchberg and M.Rørdam, Central sequence C*-algebras and tensorial absorption of the Jiang–Su algebra. J. ReineAngew. Math. 695(2014), 175–214

    2014

  21. [28]

    H.Lin, An introduction to the classification of amenable C*-algebras,World Scientific, Hacken- sack–London–Singapore–Hong Kong, 2001

    2001

  22. [29]

    China Math

    H.Lin, Hereditary uniform property Γ, Sci. China Math. 66(2023), 1813–1830

    2023

  23. [30]

    H.Matui and Y.Sato,Z-stability of crossed products by strongly outer actions, Comm. Math. Phys. 314(2012), no.1, 193–228

    2012

  24. [32]

    H.Osaka and N.C.Phillips, Crossed products by finite group actions with the Rokhlin property, Math. Z. 270(2012), no. 1–2, 19–42

    2012

  25. [33]

    N.C.Phillips, The tracial Rokhlin property for actions of finite groups on C*-algebras, Amer. J. Math. 133(2011), 581–636

    2011

  26. [34]

    N.C.Phillips, The tracial Rokhlin property is generic, arXiv: 1209.3859 (2012)

    2012 arXiv

  27. [35]

    N.C.Phillips, Large subalgebras, arXiv: 1408.5546v1 (2015)

    2015 arXiv

  28. [36]

    L.Santiago, Crossed products by actions of finite groups with the Rokhlin property, Internat. J. Math. 26(2015), no.7, 1550042, 31 pp

    2015

  29. [37]

    H.Tian and X.Fang, Some Permanence properties for crossed products by compact group actions with the tracial Rokhlin property, to appear in Rocky Mountain J. Math. arXiv:2211.07397 (2022)

    2022 arXiv

  30. [38]

    A.Toms, W.White, and W.Winter,Z-stability and finite dimensional tracial boundaries. Int. Math. Res. Not. IMRN 10(2015), 2702–2727

    2015

  31. [39]

    Q.Wang, Tracial Rokhlin property and non-commutative dimensions, Thesis (Ph.D.)-Washington University in St. Louis. 2013

    2013

  32. [40]

    Q.Wang, The tracial Rokhlin property for actions of amenable groups on C*-algebras, Rocky Mountain J. Math. 48(2018), no.4, 1307–1344. School of Mathematical Sciences, Key Laboratory of Intelligent Computing and Applica- tions(Ministry of Education), Tongji University, Shangha...

    2018

Pith tools

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