1 · The essentials
This result asks how much information is needed to identify a mathematical algebra after a particular enlargement. The enlargement combines it with two fixed algebras: the Razak–Jacelon algebra and the compact operators. For the class considered, the answer is a collection of trace measurements, including measurements that can take infinite values. The way these measurements fit together, including their topology, is essential to the statement. If two such collections match in the required way, the enlarged algebras match as well, and that match realizes the chosen correspondence between measurements. The result applies under the technical assumptions called separability and nuclearity, while allowing arbitrary internal ideal structure. The main result has a Lean formalization.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine identifying objects only after attaching the same two standard components to each. A complete measurement record then identifies the combined object—but the record must preserve how its measurements relate, not merely list their values. Here the record is the full topological trace cone, and the image does not replace the mathematical hypotheses.
Why it matters
The manuscript answers Robert’s trace-cone classification question positively. Its scope includes arbitrary ideal structure and both finite and infinite subquotients, rather than restricting the classification to a simpler internal structure. It also specifies that the algebra isomorphism realizes the prescribed correspondence of trace cones.
2 · Going further
The precise problem concerns separable nuclear complex -algebras after tensoring with the Razak–Jacelon algebra and the compact operators. Writing these fixed algebras as and , the object to classify is . The invariant is the canonical topological cone of all extended lower-semicontinuous tracial weights. According to the main result, this cone determines the stabilized algebra, and the resulting isomorphism realizes the prescribed cone map.
The source presents this as a positive answer to Robert’s trace-cone classification question. Two explicit features are important: arbitrary ideal structure is allowed, and there is no density assumption on the finite domains of the weights. The repository summary also emphasizes coverage of both finite and infinite subquotients. The abstract states the classification principle but does not describe the steps of its argument, so no proof mechanism can be extracted from the supplied text. Only the main manuscript is supplied; no companion manuscripts or relationships between them are described. The main result is marked as Lean-formalized, but the supplied material gives no finer breakdown of that formalization’s scope.
Useful notions
- Complex -algebras
- Separability and nuclearity
- Tensor products and stabilization
- Tracial weights and lower semicontinuity
- Topological cones
- Ideals and subquotients
What was known before / what is new
Before
The source identifies Robert’s trace-cone classification question as the problem being answered. It does not provide earlier classification results, a chronology, or details of previously known special cases.
New
The main result identifies the full topological cone of extended lower-semicontinuous tracial weights as a complete invariant after tensoring with the Razak–Jacelon algebra and the compact operators. The algebra isomorphism realizes the prescribed cone map. The statement allows arbitrary ideal structure and does not require the finite domains of the weights to be dense.
Limits and assumptions
The classification assumes separable nuclear complex -algebras and concerns their Razak–Jacelon-and-compact-operator stabilizations, not the original algebras without that tensoring. It uses the full topological cone of all extended lower-semicontinuous tracial weights; the source does not claim that a smaller collection suffices. The main result has a Lean formalization, but the supplied text does not specify its detailed coverage. No remaining open questions are identified in the supplied material.
Mini glossary
- Razak–Jacelon stabilization —
- In this article, the passage from an algebra to , where is the Razak–Jacelon algebra and is the algebra of compact operators.
- Trace cone —
- The canonical topological cone consisting of all extended lower-semicontinuous tracial weights on the algebra.
- Extended tracial weight —
- A trace-type measurement that is allowed to take infinite values.
- Complete invariant —
- Information whose matching determines the classified objects up to isomorphism, here after the specified stabilization.
Keywords : Trace cones · Razak–Jacelon stabilization · Operator algebras
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
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.
Verified by Lean: the Lean software checked the part of the reasoning described below, sometimes only part of the manuscript. This does not mean independent mathematicians have validated the result.
Manuscripts in this family
The trace cone classifies Razak–Jacelon stabilizations
25/09/2026We 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.