Search

Cuntz comparison, nuclear dimension, and equivariant Jiang–Su stability

Claims amenable actions on Jiang–Su-stable algebras absorb the Jiang–Su algebra, plus three regularity theorems.

4 papers September 23, 2026 Explained by AI

The Jiang–Su algebra is a small, infinite-dimensional operator algebra that behaves like a neutral element under tensoring. Algebras that absorb it are the well-behaved ones in the classification of nuclear C*-algebras. Four companion papers claim several regularity results, including the strict-comparison half of the Toms–Winter conjecture. The headline paper claims every amenable group action on a unital, stably finite, Jiang–Su-stable algebra also absorbs it. Lean checks the unital strict-comparison result and a uniform property Γ theorem.

First step
1999
Xinhui Jiang and Hongbing Su, construction of the Jiang–Su algebra
Significance
Major
It claims to settle Szabó's Conjecture A in the unital stably finite case and parts of the Toms–Winter regularity problem.
Trust
Formal proof listed
Field
Operator algebras
4 papers

The explanation

Start with 2-by-2 matrices. Put a 2-by-2 matrix inside a 4-by-4 one as a block repeated twice. Repeat to reach 8-by-8, 16-by-16, and so on. The limit of this chain is an infinite-dimensional algebra. Tensoring it with one more 2-by-2 factor just shifts the chain by one step, giving the same algebra back. That is absorption: A ⊗ D looks exactly like A.

The Jiang–Su algebra, written Z, is the gentlest algebra with this property. Jiang and Su built it as a simple, infinite-dimensional, unital algebra with the same invariant as the complex numbers. It has no projections other than 0 and 1. A C*-algebra is Z-stable if A ⊗ Z is isomorphic to A. Finite matrices fail this: a matrix algebra has nuclear dimension zero but does not absorb Z. Nuclear dimension measures how many simple pieces finite approximations need.

Z-stability links to comparison. In 3-by-3 matrices, a projection of rank one has normalized trace 1/3 and one of rank two has 2/3. Smaller trace means the first fits under the second. Strict comparison asks that trace sizes decide this order in general. Rørdam showed that Z-absorption forces a weak form of comparison. The Toms–Winter conjecture asks for the reverse. The obstacle is to build Z inside an algebra knowing only how its pieces compare.

The second paper claims strict comparison implies Z-absorption for separable simple nuclear algebras that are not just compact operators. This includes algebras with no unit. The fourth paper treats the unital case separately and completes the unital Toms–Winter equivalence. It also answers Problem XXI of Schafhauser, Tikuisis and White. The third paper claims to prove Robert and Tikuisis's Conjecture C1: finite nuclear dimension implies absorption, with no elementary pieces.

The headline paper adds a group action. Szabó conjectured that amenable actions on Z-stable algebras should also absorb Z. Amenable groups are those with nearly invariant finite sets, like the integers. The paper claims the unital, stably finite case. It assumes no outerness, Rokhlin or UCT condition. Nonunital algebras lie beyond its scope.

How sure is this? A computer proof checker called Lean has formal proofs for parts of the fourth paper. It covers uniform property Γ from tracial real rank zero, and Z-absorption from strict comparison for unital algebras. It also covers one stably projectionless case. The equivariant theorem, the nonunital comparison theorem and the nuclear-dimension theorem are outside Lean. No specialist review of the papers has been published.

What it doesn't show. This does not cover nonunital algebras in the equivariant theorem, and Lean does not check the equivariant result or the nuclear-dimension theorem.

Where it came from

This result comes from an unreleased OpenAI model, published in the openai/math release on 6 October 2026.

Hype check

Major if it holds. Lean checks the unital strict-comparison and uniform Γ results, but not the equivariant headline theorem; no specialist review is published.

Words used

C*-algebra
An algebra of operators on a Hilbert space, closed under adjoints and norm limits.
Jiang–Su algebra Z
A simple, infinite-dimensional algebra with no projections except 0 and 1 that acts like a neutral element under tensoring.
Z-stable
An algebra A with A ⊗ Z isomorphic to A; it absorbs the Jiang–Su algebra.
Nuclear
Well approximated by finite matrix algebras, in a precise sense.
Nuclear dimension
How many simple pieces the finite matrix approximations of a nuclear algebra need.
Strict comparison
When trace sizes decide which positive element fits under another.
Amenable group
A group with finite sets that are almost unchanged by translation, like intervals of integers.
Uniform property Γ
A way to split the identity into central pieces that cut every trace evenly.

The original papers (4)

Lean notes

All quoted lines (11)
  1. Jiang and Su constructed Z\Z as a simple infinite-dimensional unital algebra with the Elliott invariant of the complex numbers.
    Cuntz comparison and Jiang–Su absorption Back to text
  2. The obstruction to passing from finite dimension to absorption is already visible in a matrix algebra: it has nuclear dimension zero but does not absorb Z\Z.
    Nuclear dimension and Jiang–Su stability without elementary subquotients Back to text
  3. R\o rdam proved that Z\Z-absorption forces almost unperforation of the finite-matrix Cuntz semigroup and, in the simple exact unital setting, the corresponding trace comparison theorem.
    Cuntz comparison and Jiang–Su absorption Back to text
  4. We prove that strict comparison in the extended-functional sense implies Jiang–Su absorption for separable simple nuclear non-elementary C∗C^*-algebras.
    Cuntz comparison and Jiang–Su absorption Back to text
  5. The second derives Jiang–Su absorption from strict comparison in the unital setting, completing the unital Toms–Winter equivalence.
    Tracial projection methods and uniform property Gamma Back to text
  6. This gives a positive resolution of Problem XXI of Schafhauser, Tikuisis and White.
    Tracial projection methods and uniform property Gamma Back to text
  7. The implication from finite nuclear dimension to absorption proves Conjecture (C1) of Robert and Tikuisis.
    Nuclear dimension and Jiang–Su stability without elementary subquotients Back to text
  8. Szab\'o formulated automatic equivariant Jiang–Su stability for amenable actions on separable simple nuclear Jiang–Su-stable algebras as Conjecture A of.
    Equivariant Jiang–Su Stability for Amenable Actions in the Unital Stably Finite Case Back to text
  9. Theorem … resolves its unital, stably finite case.
    Equivariant Jiang–Su Stability for Amenable Actions in the Unital Stably Finite Case Back to text
  10. Theorem … imposes no outerness, Rokhlin, or UCT assumption, and no condition on the extreme tracial boundary or on trace orbits.
    Equivariant Jiang–Su Stability for Amenable Actions in the Unital Stably Finite Case Back to text
  11. The original formulation also includes nonunital algebras, which lie beyond the scope of the present theorem.
    Equivariant Jiang–Su Stability for Amenable Actions in the Unital Stably Finite Case Back to text

Other sources

  1. openai/math, Lean scope note for family 291 The linked comparison results also prove Jiang–Su absorption and uniform property Γ\Gamma for simple separable unital infinite-dimensional nuclear algebras with strict comparison
  2. openai/math release notes (2026): model provenance and review status manuscripts and supporting proof artifacts produced by an internal OpenAI model

Browse Operator algebras Open since the 1990sLean-checked results