A topos for algebraic quantum theory

Abstract

The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr's idea that the empirical content of quantum physics is accessible only through classical physics, we show how a C*-algebra of observables A induces a topos T(A) in which the amalgamation of all of its commutative subalgebras comprises a single commutative C*-algebra. According to the constructive Gelfand duality theorem of Banaschewski and Mulvey, the latter has an internal spectrum S(A) in T(A), which in our approach plays the role of a quantum phase space of the system. Thus we associate a locale (which is the topos-theoretical notion of a space and which intrinsically carries the intuitionistic logical structure of a Heyting algebra) to a C*-algebra (which is the noncommutative notion of a space). In this setting, states on A become probability measures (more precisely, valuations) on S(A), and self-adjoint elements of A define continuous functions (more precisely, locale maps) from S(A) to Scott's interval domain. Noting that open subsets of S(A) correspond to propositions about the system, the pairing map that assigns a (generalized) truth value to a state and a proposition assumes an extremely simple categorical form. Formulated in this way, the quantum theory defined by A is essentially turned into a classical theory, internal to the topos T(A).

52 pages, final version, to appear in Communications in Mathematical Physics

References in corpus (7)

• The generally covariant locality principle -- A new paradigm for local quantum physics
• A Topos Foundation for Theories of Physics: I. Formal Languages for Physics
• A Topos Foundation for Theories of Physics: II. Daseinisation and the Liberation of Quantum Theory
• A Topos Foundation for Theories of Physics: IV. Categories of Systems
• A Topos Foundation for Theories of Physics: III. The Representation of Physical Quantities With Arrows
• Kochen-Specker theorem for von Neumann algebras
• Intuitionistic quantum logic of an n-level system

Cited by in corpus (30)

• The Sheaf-Theoretic Structure Of Non-Locality and Contextuality
• Intuitionistic quantum logic of an n-level system
• The Gelfand spectrum of a noncommutative C*-algebra: a topos-theoretic approach
• Completeness of dagger-categories and the complex numbers
• Bohrification of operator algebras and quantum logic
• Classical and Quantum Probabilities as Truth Values
• Obstructing extensions of the functor Spec to noncommutative rings
• The many classical faces of quantum structures
• Classifying finite-dimensional C*-algebras by posets of their commutative C*-subalgebras
• The Born rule as structure of spectral bundles (extended abstract)
• Contextuality and noncommutative geometry in quantum mechanics
• Topos Models for Physics and Topos Theory
• Characterizations of categories of commutative C*-subalgebras
• Piecewise Boolean algebras and their domains
• Contextuality and the fundamental theorems of quantum mechanics
• A natural deduction system for orthomodular logic
• Bohrification of local nets
• Gelfand spectra in Grothendieck toposes using geometric mathematics
• A diagrammatic categorification of the fermion algebra
• An abstract theory of physical measurements
• Topos logic in measurement-based quantum computation
• The Quantum Monadology
• Topos quantum theory with short posets
• Physical properties as modal operators in the topos approach to quantum mechanics
• A groupoidification of the fermion algebra
• Topos Quantum Theory on Quantization-Induced Sheaves
• Negations and Meets in Topos Quantum Theory
• Topos Quantum Theory Reduced by Context-Selection Functors
• A Topos Theory Foundation for Quantum Mechanics
• Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory