For separable nuclear complex C∗-algebras A and B, any isomorphism between their topological cones of all extended lower-semicontinuous tracial weights is realized by an isomorphism A⊗W⊗K ≅ B⊗W⊗K, where W is the Razak–Jacelon algebra and K the compact operators.
For separable nuclear complex C∗-algebras A and B, any isomorphism between their topological cones of all extended lower-semicontinuous tracial weights is realized by an isomorphism A⊗W⊗K ≅ B⊗W⊗K, where W is the Razak–Jacelon algebra and K the compact operators.
For separable nuclear complex C∗-algebras A and B, any isomorphism between their topological cones of all extended lower-semicontinuous tracial weights is realized by an isomorphism A⊗W⊗K ≅ B⊗W⊗K, where W is the Razak–Jacelon algebra and K the compact operators.
If correct, answers Robert’s trace-cone classification question for arbitrary ideal structures.
Does the full trace cone classify separable nuclear C∗-algebras after W and compact-operator stabilization?
Publication dates and editorial changes.
OpenAI reports trace-cone classification after Razak–Jacelon stabilization
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.
