The Toms–Winter regularity equivalence

For simple separable unital infinite-dimensional nuclear C*-algebras, do strict comparison, Jiang–Su absorption and finite nuclear dimension coincide? The remaining direction studied here is comparison implying absorption.

Why it matters and what counts as progress

Why it matters: Equivalence would unify three central regularity properties without restricted trace-boundary assumptions.

What counts as progress: The comparison-to-absorption implication throughout this unital class, or a counterexample; nonunital extensions require their own hypotheses.

How the problem developed

  1. 2010 · Conjecture [1]

    Andrew S. Toms and Wilhelm Winter A contemporary account stated their conjecture that finite nuclear dimension, Jiang–Su stability, and strict comparison coincide for simple unital nuclear C*-algebras.

  2. 27 Feb 2015 · Partial resolution [2]

    Yasuhiko Sato, Stuart White, and Wilhelm Winter Completed the equivalence of finite nuclear dimension and Jiang–Su stability in the monotracial case.

  3. 23 Sept 2026 · Proof claim [3][4]

    OpenAI Claimed the unital Toms–Winter equivalence in the simple separable unital infinite-dimensional nuclear setting, combining comparison, nuclear-dimension, and Jiang–Su absorption manuscripts.

AI contribution

Cuntz comparison and Jiang–Su absorption

OpenAI

For simple separable unital infinite-dimensional nuclear C*-algebras, the companion manuscripts claim strict comparison implies Jiang–Su absorption, completing the unital Toms–Winter equivalence with finite nuclear dimension. A separate extended-functional theorem also treats nonunital algebras under its own assumptions.

AI involvementAI-led
ImportanceMajor
Technical verificationReported
Human understandingFew
Reported

Sources

  1. Winter, Report on the classification of simple C*-algebras
  2. Sato, White, and Winter, Nuclear dimension and Z-stability
  3. OpenAI, Cuntz comparison and Jiang–Su absorption
  4. OpenAI, Nuclear dimension and Jiang–Su stability without elementary subquotients
  5. OpenAI, Tracial projection methods and uniform property Gamma
  6. Cuntz comparison and Jiang–Su absorption
  7. OpenAI mathematics release
  8. Tracial projection methods and uniform property Gamma
  9. Cuntz comparison and Jiang–Su absorption
  10. Uniform Gamma formalization scope
Website timeline

Publication dates and editorial changes.