[Paper Review] Uniform property Gamma

Jorge Castillejos, Samuel Evington+2 more|arXiv (Cornell University)|Dec 9, 2019

Advanced Operator Algebra Research68 references7 citations

TL;DR

This paper establishes uniform property Γ as a key structural invariant for separable nuclear C*-algebras, proving its equivalence to the existence of complemented partitions of unity and showing that, for algebras satisfying the Toms–Winter conjecture, the combination of strict comparison and uniform property Γ is equivalent to Jiang–Su stability. The results streamline Winter’s classification by embeddings technique using Matui–Sato methods and provide a uniform, trace-independent formulation of central divisibility in C*-algebras.

ABSTRACT

We further examine the concept of uniform property Gamma for C*-algebras introduced in our joint work with Winter. In addition to obtaining characterisations in the spirit of Dixmier's work on central sequence in II$_1$ factors, we establish the equivalence of uniform property Gamma, a suitable uniform version of McDuff's property for C*-algebras, and the existence of complemented partitions of unity for separable nuclear C*-algebras with no finite dimensional representations and a compact (non-empty) tracial state space. As a consequence, for C*-algebras as in the Toms-Winter conjecture, the combination of strict comparison and uniform property Gamma is equivalent to Jiang-Su stability. We also show how these ideas can be combined with those of Matui-Sato to streamline Winter's classification-by-embeddings technique.

Motivation & Objective

• To characterize uniform property Γ in separable nuclear C*-algebras with compact tracial state space and no finite-dimensional representations.
• To establish the equivalence between uniform property Γ, complemented partitions of unity, and a uniform version of McDuff’s property.
• To show that for C*-algebras in the Toms–Winter conjecture framework, strict comparison plus uniform property Γ implies Jiang–Su stability.
• To streamline Winter’s classification by embeddings technique using Matui–Sato methods and uniform property Γ.
• To provide a trace-based reformulation of uniform property Γ in the case of Bauer simplices, simplifying its verification.

Proposed method

• Use Dixmier-style characterizations of central sequences to reframe uniform property Γ in terms of uniform approximate divisibility in all traces.
• Apply Matui–Sato’s property (SI) for ∗-homomorphisms to construct embeddings into ultrapowers and establish nuclear dimension bounds.
• Leverage the local-to-global principle over the trace simplex to pass from local uniform divisibility to global structural properties.
• Utilize relative commutant analysis in ultrapowers to compare projections and positive elements under strict comparison and uniform trace conditions.
• Reduce the definition of uniform property Γ to unit divisibility in the unital case when the trace space is a Bauer simplex.
• Construct finite-dimensional approximations of embeddings into tensor products with UHF algebras to show that A⊗U is TA𝒮.

Experimental results

Research questions

• RQ1 What is the precise relationship between uniform property Γ and the existence of complemented partitions of unity in separable nuclear C*-algebras?
• RQ2 How does uniform property Γ relate to Jiang–Su stability in the context of the Toms–Winter conjecture?
• RQ3 Can uniform property Γ be characterized uniformly across all traces in a way that simplifies its verification for C*-algebras with Bauer simplex trace spaces?
• RQ4 To what extent can Matui–Sato’s methods be adapted to streamline classification by embeddings in the C*-algebra setting?
• RQ5 What is the role of relative commutants in ultrapowers in establishing nuclear dimension bounds via uniform property Γ?

Key findings

• For separable nuclear C*-algebras with no finite-dimensional representations and compact tracial state space, uniform property Γ is equivalent to the existence of complemented partitions of unity.
• In the setting of the Toms–Winter conjecture, the combination of strict comparison and uniform property Γ is equivalent to Jiang–Su stability.
• When the trace space is a Bauer simplex, uniform property Γ reduces to the uniform approximate divisibility of the unit in all traces.
• The proof of finite nuclear dimension from Z-stability in [12] is streamlined by replacing order-zero maps with ∗-homomorphisms, simplifying the comparison argument.
• The relative commutant analysis in ultrapowers shows that projections with strictly smaller trace values are Murray–von Neumann subequivalent under strict comparison.
• The argument demonstrates that A⊗𝒰 is TA𝒮, and under stronger comparison assumptions, would be A𝒮, though such a comparison result for projections is generally not available in C*-algebras.