Physics – Quantum Physics
Scientific paper
2007-09-27
Communications in Mathematical Physics 291(1):63-110, 2009
Physics
Quantum Physics
52 pages, final version, to appear in Communications in Mathematical Physics
Scientific paper
10.1007/s00220-009-0865-6
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).
Heunen Chris
Landsman Nicolaas P.
Spitters Bas
No associations
LandOfFree
A topos for algebraic quantum theory does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A topos for algebraic quantum theory, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A topos for algebraic quantum theory will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-481579