# Trace cones and Razak–Jacelon stabilization > Claims the trace cone determines every separable nuclear C*-algebra once stabilized by the Razak–Jacelon algebra. Canonical: https://closedform.nishachay.tech/e/openai-math-2026-301/ Last updated: 2026-10-14 **Claims the trace cone determines every separable nuclear C*-algebra once stabilized by the Razak–Jacelon algebra.** **Trust:** Formal proof listed · **Papers:** 1 · **First paper:** September 25, 2026 · **Field:** Operator algebras · **Entry:** 301 *Explained by AI.* Drafted by one AI model and checked sentence by sentence against the paper by a different one. Spot a mistake? Report an error. A trace measures the size of positive elements in an operator algebra, and the traces together form a cone. Tensoring with the Razak–Jacelon algebra W erases some fine data and leaves the traces in charge. Leonel Robert asked whether the trace cone then determines the algebra completely. This paper claims yes, for every separable nuclear algebra, with any ideal structure. Lean checks only one supporting step, about how ideals are carried along. ## At a glance - **First step:** 2012 (Leonel Robert's trace-cone question, recorded in Santiago's 2012 conference abstract) - **Significance:** Major. It would answer Robert's trace-cone classification question, listed as Problem LXVIII in a recent survey, for all separable nuclear algebras. - **Trust:** Formal proof listed - **Field:** Operator algebras (1 paper) ## The explanation Take the simplest algebra with two pieces: pairs of complex numbers (a, b), multiplied entry by entry. A trace on its positive pairs has the form τ(a, b) = s·a + t·b. The weights s and t lie anywhere from 0 to ∞, with ∞ allowed. So the traces form a cone of pairs (s, t). Adding traces adds weights. For example, (1, 2) + (1, 2) = (2, 4). Some traces only take the values 0 and ∞. The trace (0, ∞) is 0 on pairs (a, 0) and ∞ when b > 0. It marks the ideal of pairs (a, 0). An ideal is a piece of the algebra that absorbs products from outside. The trace (∞, ∞) marks the zero ideal. These traces satisfy τ + τ = τ: (0, ∞) + (0, ∞) = (0, ∞). The paper notes that ideal inclusion I ⊆ J holds exactly when τ_I + τ_J = τ_I[1]. Here the zero ideal sits inside the ideal of pairs (a, 0). Indeed (∞, ∞) + (0, ∞) = (∞, ∞), as the rule predicts. So the trace cone records the ideals as well as the sizes. A C*-algebra is a family of operators closed under sums, products, adjoints and limits. Nuclear algebras are a large, well-behaved class. The Razak–Jacelon algebra W is simple, has one trace and no nonzero projections[2]. Tensoring with W removes the K-theory part of the classification problem, leaving the traces visible[3]. Leonel Robert asked whether the trace cone then determines the algebra. The question appears as Problem LXVIII in a recent survey[4]. Earlier results covered simple algebras and the traceless case. The obstacle is an arbitrary ideal structure, where traces can be finite on some ideals and infinite on others. Suppose A and B have isomorphic trace cones. The paper claims that A ⊗ W ⊗ K and B ⊗ W ⊗ K are then isomorphic[5]. Here K is the algebra of compact operators, which makes the result insensitive to matrix size. It assumes only separability and nuclearity, and allows any ideal structure[6]. The isomorphism can also be chosen to realize the given map between the trace cones[7]. How sure is this? Lean, a computer proof checker, checks one supporting step. A trace-cone equivalence carries the ideals across in order, and the ideal traces are exactly those with τ + τ = τ. So the paper proves that step, as far as the Lean statement matches. The main isomorphism theorem is outside the Lean check. It rests on the paper's long existence, uniqueness and intertwining argument. No specialist review is published. **What it doesn't show.** This does not classify the algebras themselves, only their stabilizations A ⊗ W ⊗ K, and Lean does not check the main isomorphism theorem. ## Where it came from This result comes from an unreleased OpenAI model, published in the openai/math release on 6 October 2026. ## Hype check Major if correct. Lean covers only the ideal-transport step; the classification itself rests on the paper's long argument, with no published specialist review. ## Words used - **C*-algebra:** A family of operators on a Hilbert space closed under sums, products, adjoints and limits. - **Nuclear:** A large, well-behaved class of C*-algebras that can be approximated by matrix algebras in a precise sense. - **Trace (extended):** An additive size function on positive elements with values in [0, ∞], with τ(x*x) = τ(xx*). - **Trace cone:** The set of all extended traces, which can be added and scaled by positive numbers, with its natural topology. - **Ideal:** A closed piece of the algebra that contains every product of its elements with elements of the algebra. - **Razak–Jacelon algebra W:** A simple, nuclear C*-algebra with exactly one trace and no nonzero projections. - **Compact operators K:** Limits of finite-rank operators; tensoring with K removes dependence on matrix size. - **K-theory:** An invariant built from projections and unitaries that often blocks classification by traces alone. ## The original paper - [The trace cone classifies Razak–Jacelon stabilizations](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) - September 25, 2026 · Formal proof listed - [Lean notes](https://github.com/openai/math/blob/main/lean/docs/301.md) ## Quoted lines from the paper (7) [1] From [The trace cone classifies Razak–Jacelon stabilizations](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): > For example, \[ I\subseteq J \quad\Longleftrightarrow\quad \tau_I+\tau_J=\tau_I. \] [2] From [The trace cone classifies Razak–Jacelon stabilizations](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): > The Razak--Jacelon algebra \(\W\) is a simple, monotracial, stably projectionless nuclear \(C^*\)-algebra. [3] From [The trace cone classifies Razak–Jacelon stabilizations](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): > Tensoring by \(\W\) removes the \(K\)-theoretic part of the classification problem and makes the order on the Cuntz semigroup visible through traces. [4] From [The trace cone classifies Razak–Jacelon stabilizations](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): > It was recorded in Santiago's 2012 conference abstract and appears as Problem LXVIII in the survey of Schafhauser, Tikuisis, and White. [5] From [The trace cone classifies Razak–Jacelon stabilizations](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): > If \(T(A)\) and \(T(B)\) are isomorphic as topological cones, then \[ A\otimes\W\otimes\K\ \cong\ B\otimes\W\otimes\K, \] where \(\K=\K(\ell^2(\N))\) and all tensor products are spatial. [6] From [The trace cone classifies Razak–Jacelon stabilizations](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): > Their only regularity assumptions are separability and nuclearity. [7] From [The trace cone classifies Razak–Jacelon stabilizations](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): > Moreover, the isomorphism can realize the prescribed cone map: after transporting the given map to \(F:T(B\otimes\W\otimes\K)\to T(A\otimes\W\otimes\K)\), we obtain an isomorphism \(\Phi\) with \(\tau\circ\Phi=F(\tau)\) for every extended trace \(\tau\). ## Other sources - [openai/math, Lean scope note for family 301](https://github.com/openai/math/blob/main/lean/docs/301.md): “Spatial classification, existence of the stabilization models, norm uniqueness, and final intertwining are outside this supporting comparison.” - [openai/math release notes (2026): model provenance and review status](https://github.com/openai/math/blob/main/README.md): “manuscripts and supporting proof artifacts produced by an internal OpenAI model” ## Related - [The Kirchberg–Rørdam character criterion and infinite tensor-power Jiang–Su stability](https://closedform.nishachay.tech/e/openai-math-2026-299/) - Operator algebras - [Approximation and quadratic strong-operator paving](https://closedform.nishachay.tech/e/openai-math-2026-300/) - Operator algebras - [Radius of comparison equals half the mean dimension](https://closedform.nishachay.tech/e/openai-math-2026-302/) - Operator algebras - [Weak pure infiniteness and Cuntz-algebra absorption](https://closedform.nishachay.tech/e/openai-math-2026-303/) - Operator algebras - [Two notions of free entropy differ even when both are finite](https://closedform.nishachay.tech/e/openai-math-2026-298/) - Operator algebras - [Operator algebras](https://closedform.nishachay.tech/science/mathematics/operator-algebras/) - Field · 19 results - [Open since the 2010s](https://closedform.nishachay.tech/open-since/2010s/) - Era · 31 results - [Lean-checked results](https://closedform.nishachay.tech/trust/lean-checked/) - Trust · 242 results - [Report an error](https://github.com/nishachay/closed-form/issues/new?template=report-error.yml&labels=entry-error&title=%5Bentry%20301%5D%20)