The Gelfand spectrum of a noncommutative C*-algebra: a topos-theoretic approach

Abstract

We compare two influential ways of defining a generalized notion of space. The first, inspired by Gelfand duality, states that the category of 'noncommutative spaces' is the opposite of the category of C*-algebras. The second, loosely generalizing Stone duality, maintains that the category of 'pointfree spaces' is the opposite of the category of frames (i.e., complete lattices in which the meet distributes over arbitrary joins). One possible relationship between these two notions of space was unearthed by Banaschewski and Mulvey, who proved a constructive version of Gelfand duality in which the Gelfand spectrum of a commutative C*-algebra comes out as a pointfree space. Being constructive, this result applies in arbitrary toposes (with natural numbers objects, so that internal C*-algebras can be defined). Earlier work by the first three authors, shows how a noncommutative C*-algebra gives rise to a commutative one internal to a certain sheaf topos. The latter, then, has a constructive Gelfand spectrum, also internal to the topos in question. After a brief review of this work, we compute the so-called external description of this internal spectrum, which in principle is a fibered pointfree space in the familiar topos Sets of sets and functions. However, we obtain the external spectrum as a fibered topological space in the usual sense. This leads to an explicit Gelfand transform, as well as to a topological reinterpretation of the Kochen-Specker Theorem of quantum mechanics, which supplements the remarkable topos-theoretic version of this theorem due to Butterfield and Isham.

arXiv comment12 pages

References in corpus (6)

• A topos for algebraic quantum theory
• Between classical and quantum
• Intuitionistic quantum logic of an n-level system
• Noncommutativity as a colimit
• Poisson spaces with a transition probability
• The space of measurement outcomes as a spectrum for non-commutative algebras

Cited by in corpus (18)

• Active lattices determine AW*-algebras
• Classical and Quantum Probabilities as Truth Values
• The many classical faces of quantum structures
• Contextuality and noncommutative geometry in quantum mechanics
• Bohrification of local nets of observables
• Bohrification: From classical concepts to commutative algebras
• Topos Analogues of the KMS State
• Group Action in Topos Quantum Physics
• Bohrification of local nets
• Lectures on Topos Quantum Theory
• A state-space approach to quantum permutations
• A Topos Model for Loop Quantum Gravity
• $L^p$-Wasserstein distances on state and quasi-state spaces of $C^{\ast }$-algebras
• Physical properties as modal operators in the topos approach to quantum mechanics
• Topos-Theoretic Approaches to Quantum Theory
• Topos Quantum Theory on Quantization-Induced Sheaves
• Non-signalling boxes and Bohrification
• Topos Quantum Theory Reduced by Context-Selection Functors