Bohrification of local nets

Abstract

Recent results by Spitters et. al. suggest that quantum phase space can usefully be regarded as a ringed topos via a process called Bohrification. They show that quantum kinematics can then be interpreted as classical kinematics, internal to this ringed topos. We extend these ideas from quantum mechanics to algebraic quantum field theory: from a net of observables we construct a presheaf of quantum phase spaces. We can then naturally express the causal locality of the net as a descent condition on the corresponding presheaf of ringed toposes: we show that the net of observables is local, precisely when the presheaf of ringed toposes satisfies descent by a local geometric morphism.

In Proceedings QPL 2011, arXiv:1210.0298

References in corpus (7)

• 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 for algebraic quantum theory
• A Topos Foundation for Theories of Physics: III. The Representation of Physical Quantities With Arrows
• Derived Algebraic Geometry V: Structured Spaces
• The Gelfand spectrum of a noncommutative C*-algebra: a topos-theoretic approach