Automatic equivariant Jiang–Su stability in the nonunital tracial setting

Let A be a separable simple nuclear C*-algebra that absorbs the Jiang–Su algebra Z and admits a nonzero densely defined lower semicontinuous trace. Using the Gaussian construction of the October 2026 OpenAI preprint, we prove that every action α of a countable discrete amenable group on A is cocycle conjugate to α ⊗ idZ. This answers the general tracial part of Szabó’s 2019 conjecture on automatic equivariant Jiang–Su stability, extending the October 2026 unital theorem to algebras with possibly unbounded traces and to trace-scaling actions. The extension applies that construction in a tracial quotient of Kirchberg’s central sequence algebra and uses the nonunital absorption results of Szabó and Wouters. The transfer is expressed as a local equivariant Gamma criterion for nonseparable unital algebras admitting relative copies of Z. Its uniform trace-splitting estimates allow the original action and its full cone of traces to be retained. Combined with the established purely infinite case, the result gives automatic equivariant Jiang–Su stability for all separable simple nuclear Z-stable algebras.

GitHub repository: https://github.com/eulogica/nonunital-equivariant-z-stability