Topologies on quantum topoi induced by quantization
- Faculty of Law, Ryukoku University, Fushimi-ku, Kyoto 612-8577 (Japan)
In the present paper, we consider effects of quantization in a topos approach of quantum theory. A quantum system is assumed to be coded in a quantum topos, by which we mean the topos of presheaves on the context category of commutative subalgebras of a von Neumann algebra of bounded operators on a Hilbert space. A classical system is modeled by a Lie algebra of classical observables. It is shown that a quantization map from the classical observables to self-adjoint operators on the Hilbert space naturally induces geometric morphisms from presheaf topoi related to the classical system to the quantum topos. By means of the geometric morphisms, we give Lawvere-Tierney topologies on the quantum topos (and their equivalent Grothendieck topologies on the context category). We show that, among them, there exists a canonical one which we call a quantization topology. We furthermore give an explicit expression of a sheafification functor associated with the quantization topology.
- OSTI ID:
- 22218263
- Journal Information:
- Journal of Mathematical Physics, Vol. 54, Issue 7; Other Information: (c) 2013 AIP Publishing LLC; Country of input: International Atomic Energy Agency (IAEA); ISSN 0022-2488
- Country of Publication:
- United States
- Language:
- English
Similar Records
Hilbert space structure in quantum gravity: an algebraic perspective
Spectrum generating algebra for the continuous spectrum of a free particle in Lobachevski space