Bohrification of local nets

MaRDI QIDQ4986193zbMATH OpenFDO

Authors Joost Nuiten

Publication date 27 April 2021

Full work available at URL https://arxiv.org/abs/1210.0619, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2011.15

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Phase-space methods including Wigner distributions, etc. applied to problems in quantum mechanics (81S30) Networked control (93B70)

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.

Recommendations

• A topos for algebraic quantum theory
• scientific article
• Topologies on quantum topoi induced by quantization
• Topos quantum theory on quantization-induced sheaves
• Quantum observables algebras and abstract differential geometry: the topos-theoretic dynamics of diagrams of commutative algebraic localizations

Cited in

(4)

• Algebraic K-theory, K-regularity, and T-duality of O_-stable C^-algebras
• scientific article; zbMATH DE number 5977109 (Why is no real title available?)
• LOCAL ACTIVITY OF THE VAN DER POL CNN
• The quantum monadology

This page was built for publication: Bohrification of local nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4986193)