Robert-Tikuisis Conjecture (C1): finite nuclear dimension implies Jiang-Su stability without elementary subquotients
Theorem 1.1: for separable nuclear with no nonzero elementary ideal subquotients, , and are equivalent. Theorem 1.3: for every separable nuclear . Theorem 1.4 answers Kirchberg-Rordam's Question 6.2 (full orthogonal positive elements in a finite maximal tensor power of a unital algebra without characters). It does not address the strict-comparison part of the nonsimple problem, which the Cuntz-comparison companion treats.
Exact FrontierDelta
Scope and record
Occurred: Sep 23, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: Robert-Tikuisis Conjecture (C1): finite nuclear dimension implies Jiang-Su stability without elementary subquotients · Robert-Tikuisis Conjecture (C1)
Confidence: Not scored
Registry verification: unreviewed · announcement · candidate
Attribution
VibeMathed
registry · event recorded by
Unreleased internal OpenAI model
model · ai model contributor · OpenAI
Lineage and corrections
Companion: Nuclear dimension and Jiang-Su stability without elementary subquotients evidence for this event
This event attributed to Unreleased internal OpenAI model
Robert-Tikuisis Conjecture (C1): finite nuclear dimension implies Jiang-Su stability without elementary subquotients parent of this event
VibeMathed record: Robert-Tikuisis Conjecture (C1): finite nuclear dimension implies Jiang-Su stability without elementary subquotients evidence for this event
The Toms-Winter conjecture: strict comparison implies Jiang-Su stability for simple nuclear C*-algebras evidence for this event
Robert and Tikuisis, Nuclear dimension and Z-stability of non-simple C*-algebras evidence for this event
Theorem 1.1: for separable nuclear with no nonzero elementary ideal subquotients, , and are equivalent. Theorem 1.3: for every separable nuclear . Theorem 1.4 answers Kirchberg-Rordam's Question 6.2 (full orthogonal positive elements in a finite maximal tensor power of a unital algebra without characters). It does not address the strict-comparison part of the nonsimple problem, which the Cuntz-comparison companion treats. parent of this event
Act on this frontier