On quantales that classify C*-algebras

Abstract

The functor Max of Mulvey assigns to each unital C*-algebra A the unital involutive quantale Max A of closed linear subspaces of A, and it has been remarked that it classifies unital C*-algebras up to *-isomorphism. In this paper we provide a proof of this and of the stronger fact that for every isomorphism u : Max A -> Max B of unital involutive quantales there is a *-isomorphism u' : A -> B such that Max u' coincides with u when restricted to the left-sided elements of Max A. But we also show that isomorphisms u : Max A -> Max B may exist for which no isomorphism v : A -> B is such that Max v = u.

References in corpus (1)

• A noncommutative theory of Penrose tilings

Cited by in corpus (12)

• Etale groupoids and their quantales
• Groupoid sheaves as quantale sheaves
• Quantales of open groupoids
• Functoriality of groupoid quantales. I
• Open quotients of trivial vector bundles
• Quantales and Fell bundles
• The many groupoids of a stably Gelfand quantale
• Linear structures on locales
• Open maps of involutive quantales
• Functoriality of groupoid quantales. II
• On the geometry of physical measurements: topological and algebraic aspects
• Quantales as geometric objects: symmetry beyond groupoids?