analysis / Operator algebras; Jiang-Su stability and central sequences

The Kirchberg-Rordam character question: does absence of characters on the central sequence algebra characterize Jiang-Su stability?

Theorem 1.1: for every nonzero unital separable complex C*-algebra AA and every free ultrafilter ω\omega, Fω(A)F_\omega(A) has no characters iff A≅A⊗min⁡ZA\cong A\otimes_{\min}\mathcal Z; no nuclearity, simplicity, trace or comparison hypothesis. Theorem 1.2: every nonzero unital characterless DD admits a unital map I(2,3)→D⊗max⁡mI(2,3)\to D^{\otimes_{\max}m} for some mm. Corollary: the infinite minimal tensor power of a nonzero unital separable characterless algebra is Z\mathcal Z-stable (bearing on Kirchberg-Rordam Question 3.7, via Dadarlat-Toms). Not shown: any finite tensor power is Z\mathcal Z-stable, or nonseparable cases.

20Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

analysisSep 25, 2026Significance 20/100Registry: lean checked

The Kirchberg-Rordam character question: does absence of characters on the central sequence algebra characterize Jiang-Su stability?

Prior state unknown→proved

Theorem 1.1: for every nonzero unital separable complex C*-algebra AA and every free ultrafilter ω\omega, Fω(A)F_\omega(A) has no characters iff A≅A⊗min⁡ZA\cong A\otimes_{\min}\mathcal Z; no nuclearity, simplicity, trace or comparison hypothesis. Theorem 1.2: every nonzero unital characterless DD admits a unital map I(2,3)→D⊗max⁡mI(2,3)\to D^{\otimes_{\max}m} for some mm. Corollary: the infinite minimal tensor power of a nonzero unit…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: for every nonzero unital separable complex C*-algebra AA and every free ultrafilter ω\omega, Fω(A)F_\omega(A) has no characters iff A≅A⊗min⁡ZA\cong A\otimes_{\min}\mathcal Z; no nuclearity, simplicity, trace or comparison hypothesis. Theorem 1.2: every nonzero unital characterless DD admits a unital map I(2,3)→D⊗max⁡mI(2,3)\to D^{\otimes_{\max}m} for some mm. Corollary: the infinite minimal tensor power of a nonzero unital separable characterless algebra is Z\mathcal Z-stable (bearing on Kirchberg-Rordam Question 3.7, via Dadarlat-Toms). Not shown: any finite tensor power is Z\mathcal Z-stable, or nonseparable cases.

Theorem 1.1: for every nonzero unital separable complex C*-algebra AA and every free ultrafilter ω\omega, Fω(A)F_\omega(A) has no characters iff A≅A⊗min⁡ZA\cong A\otimes_{\min}\mathcal Z; no nuclearity, simplicity, trace or comparison hypothesis. Theorem 1.2: every nonzero unital characterless DD admits a unital map I(2,3)→D⊗max⁡mI(2,3)\to D^{\otimes_{\max}m} for some mm. Corollary: the infinite minimal tensor power of a nonzero unital separable characterless algebra is Z\mathcal Z-stable (bearing on Kirchberg-Rordam Question 3.7, via Dadarlat-Toms). Not shown: any finite tensor power is Z\mathcal Z-stable, or nonseparable cases.

Recorded attempts

Evidence graph

Connected research record