{"id":"openai-math/The-trace-cone-classifies-Razak-Jacelon-stabilizations","pdf":"https://github.com/openai/math/blob/main/preprints/The-trace-cone-classifies-Razak-Jacelon-stabilizations-September-25-2026/The-trace-cone-classifies-Razak-Jacelon-stabilizations-September-25-2026.pdf","url":"https://github.com/openai/math/tree/main/preprints/The-trace-cone-classifies-Razak-Jacelon-stabilizations-September-25-2026","tags":["operator-algebras","c-star-algebras","classification"],"score":0,"title":"The trace cone classifies Razak–Jacelon stabilizations","domain":"Operator algebras","family":"301","origin":"ai-generated","source":"openai-math","authors":["OpenAI"],"reviews":0,"subject":"math.OA","summary":"We prove that the canonical topological cone of all extended lower-semicontinuous tracial weights determines a separable nuclear C ∗ -algebra after tensoring with the Razak–Jacelon algebra and the compact operators, answering Robert's trace-cone classification question positively. The isomorphism realizes the prescribed cone map, with arbitrary ideal structure and without a density assumption on the finite domains of the weights.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-25","reactions":{},"formalized":true,"family_title":"Trace cones and Razak–Jacelon stabilization"}