Topos quantum theory with short posets

Abstract

Topos quantum mechanics, developed by Isham et. al., creates a topos of presheaves over the poset V(N) of abelian von Neumann subalgebras of the von Neumann algebra N of bounded operators associated to a physical system, and established several results, including: (a) a connection between the Kochen-Specker theorem and the non-existence of a global section of the spectral presheaf; (b) a version of the spectral theorem for self-adjoint operators; (c) a connection between states of N and measures on the spectral presheaf; and (d) a model of dynamics in terms of V(N). We consider a modification to this approach using not the whole of the poset V(N), but only its elements of height at most two. This produces a different topos with different internal logic. However, the core results (a)--(d) established using the full poset V(N) are also established for the topos over the smaller poset, and some aspects simplify considerably. Additionally, this smaller poset has appealing aspects reminiscent of projective geometry.

arXiv comment14 pages

References in corpus (14)

• `What is a Thing?': Topos Theory in the Foundations of Physics
• A topos for algebraic quantum theory
• Abelian subalgebras and the Jordan structure of a von Neumann algebra
• Bohrification of operator algebras and quantum logic
• Classical and Quantum Probabilities as Truth Values
• On the Cohomology of Contextuality
• The many classical faces of quantum structures
• Flows on Generalised Gelfand Spectra of Nonabelian Unital C*-Algebras and Time Evolution of Quantum Systems
• Generalised Gelfand Spectra of Nonabelian Unital C*-Algebras
• Quantum States and Measures on the Spectral Presheaf
• Cohomology of Effect Algebras
• A Comparison of Two Topos-Theoretic Approaches to Quantum Theory
• Boolean subalgebras of orthoalgebras
• Reconstructing an atomic orthomodular lattice from the poset of its Boolean sublattices