Result 301, Operator algebras

Trace cones and Razak–Jacelon stabilization

Classifies separable nuclear complex C∗-algebras after tensoring with the Razak–Jacelon algebra and the compact operators, using their full topological cones of extended lower-semicontinuous tracial weights. This answers Robert’s trace-cone question, including algebras with arbitrary ideal structure and both finite and infinite subquotients.

Classification or exact value

The bigger picture

Why it matters

Traces assign numerical sizes to positive elements of operator algebras. The unreviewed manuscript reports that the full geometric space of these measurements completely identifies certain algebras after a specific tensor-product enlargement.

What changes?

The claim concerns separable nuclear complex C*-algebras: operator algebras with a countable dense subset and approximation through finite matrix algebras. Each is tensored with the Razak-Jacelon algebra and the compact operators. The resulting algebras are classified up to isomorphism by their full topological trace cones. These cones collect extended lower-semicontinuous tracial weights: trace-like size functions that allow infinity and satisfy a limit-compatibility condition. The invariant retains addition, nonnegative scaling and topology, not just a list of traces.

What does that help mathematicians do?

The reported classification permits arbitrary ideal structure, the pattern of internal pieces preserved by multiplication from the surrounding algebra. It covers both finite and infinite subquotients, without requiring the domains where weights are finite to be dense. Furthermore, the algebra isomorphism realizes the prescribed trace-cone isomorphism. Researchers can therefore deduce equivalence of the stabilized algebras from matching cone data while controlling how their tracial measurements correspond.

Are there practical applications?

Its immediate value is foundational: it supplies a complete invariant for this stabilization-based classification problem, answering Robert's trace-cone question. It directs attention to the full topological cone, including weights that take infinite values. This is a structural classification of the enlarged algebras, not a classification of the original algebras or a demonstrated practical procedure for computing their invariants.

This section was generated by GPT-6 Astra Medium. This explanation is based on the result summary and manuscript abstracts below. This context is separate from OpenAI's source text.

Manuscript

The trace cone classifies Razak–Jacelon stabilizations

September 25, 2026 62 pages

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.

PDF LaTeX source
Cite (BibTeX) 
@misc{OAI:The-trace-cone-classifies-Razak-Jacelon-stabilizations-September-25-2026,
  author = {{OpenAI}},
  title = {{The trace cone classifies Razak--Jacelon stabilizations}},
  howpublished = {OpenAI Math Release preprint
                  \href{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}{OAI:The-trace-cone-classifies-Razak-Jacelon-stabilizations-September-25-2026}},
  year = {2026}
}

Data from github.com/openai/math at commit adc7f12, committed October 6, 2026 at 21:58 UTC, last checked for changes about 9 hours ago. Titles, subjects, summaries, abstracts and Lean notes are OpenAI's; page counts are read from the PDFs. The map, related results, search, kinds of results and the named-problem index are Emergent Mind's, built with text embeddings and an LLM, and may contain errors.

An Emergent Mind Labs project. Emergent Mind is not affiliated with OpenAI. None of these results has been peer reviewed. Cite the manuscripts themselves, using the BibTeX on each result's page.