×

Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism. (English) Zbl 1068.18013

The main guiding idea of the author is based on the employment of objects belonging to the Boolean species of observable structure, as covers, for the understanding of the objects belonging to the quantum species of observable structure. The language of category theory proves to be suitable for implementation of this idea in a universal way. The conceptual essence of this scheme is the development of a sheaf theoretical perspective on quantum observable structures. The physical interpretation of the categorical framework make use of the analogy with geometric manifold theory. Namely, it is associated with the development of a Boolean manifold picture that takes place trough the identification of Boolean charts in systems of localization for quantum event algebras with reference frames, relative to which the results of measurements can be coordinatized. In this sense, any Boolean chart in a localization system covering a quantum algebra of events, corresponds to a set of Boolean events which become realizable in the experimental context of a measurement situation. This identification amounts to the introduction of a relativity principle in quantum theory, suggesting a contextual interpretation of its descriptive apparatus.
In quantum logical approaches the notion of event, associated with the measurement of an observable is taken to be equivalent to a proposition describing the behavior of a physical system. This formulation of quantum theory is based on the identification of propositions with projection opertors on a complex Hilbert space. In this sense, the Hilbert space formalism of quantum theory associates events with closed subspaces of a separable, complex Hilbert space corresponding to a quantum system. Then, the quantum event algebra is identified with the lattice of closed subspaces of the Hilbert space, ordered by inclusion and carrying an orthocomplementation opertion which is given by the orthogonal complements of the closed subspaces. Equivalently, it is isomorphic to the partial Boolean algebra of closed subspaces of the Hilbert space of the system, or alternatively the partial Boolean algebra of projection operators of the system. The author argues that the set theoretical axiomatizations of quantum observable structures hides the intrinsic significance of Boolean localizing systems in the formation of these structures. The main thesis of the paper is that the objectification of a quantum observable structure takes place through Boolean reference frames that can be pasted together using category theoretical means.
Contextual topos theoretical approaches to quantum structures have been considered, from a different viewpoint by C. J. Isham and J. Butterfield [“Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations”, Int. J. Theor. Phys. 37, 2669–2733 (1998; Zbl 0979.81018); “Some possible roles for topos theory in quantum theory and quantum gravity”, Found. Phys. 30, 1707–1835 (2000)], and discussed by J. P. Rawling and S. A. Selesnick [“Orthologic and quantum logic: models and computational elements”, J. ACM 47, 721–751 (2000)] and I. Raptis [“Presheaves, sheaves and their topoi in quantum gravity and quantum logic”, arXiv.org/abs/gr-qc/0110064].
The author defines event and observable structures in a category theoretical language, introduces the functorial concepts of Boolean coordinatizations and Boolean presheaves, develops the idea of fibrations over Boolean observables. He proves the existence of an adjunction between the topos of presheaves of Boolean observables and the category of quantum observables. Then (section 5) the author defines systems of localization for measurement of observables over a quantum event algebra and talks about isomorphic representations of quantum algebras in terms of Boolean localization systems using the adjunction established. In section 7 he examines the consequences of the scheme related to the interpretation of the logic of quantum propositions and in section 8 he discusses the implications of covering systems in relation to the possibility of development of a differential geometric machinery suitable for the quantum regime. Finally, there exists a section with conclusions.
Reviewer: Ioan Pop (Iaşi)

MSC:

18F05 Local categories and functors
18F20 Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
18D30 Fibered categories
14F05 Sheaves, derived categories of sheaves, etc. (MSC2010)
53B50 Applications of local differential geometry to the sciences
81P10 Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)

Citations:

Zbl 0979.81018
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] F.W. Lawvere, S.H. Schanuel, Conceptual Mathematics, Cambridge University Press, Cambridge, 1997.; F.W. Lawvere, S.H. Schanuel, Conceptual Mathematics, Cambridge University Press, Cambridge, 1997. · Zbl 0889.18001
[2] S. MacLane, Categories for the Working Mathematician, Springer-Verlag, New York, 1971.; S. MacLane, Categories for the Working Mathematician, Springer-Verlag, New York, 1971. · Zbl 0705.18001
[3] S. MacLane, I. Moerdijk, Sheaves in Geometry and Logic, Springer-Verlag, New York, 1992.; S. MacLane, I. Moerdijk, Sheaves in Geometry and Logic, Springer-Verlag, New York, 1992.
[4] J.L. Bell, Toposes and Local Set Theories, Oxford University Press, Oxford, 1988.; J.L. Bell, Toposes and Local Set Theories, Oxford University Press, Oxford, 1988. · Zbl 0649.18004
[5] V.S. Varadarajan, Geometry of Quantum Mechanics, vol. 1, Van Nostrand, Princeton, NJ, 1968.; V.S. Varadarajan, Geometry of Quantum Mechanics, vol. 1, Van Nostrand, Princeton, NJ, 1968. · Zbl 0155.56802
[6] Birkhoff, G.; von Neumann, J., The logic of quantum mechanics, Ann. Math., 37, 823 (1936) · JFM 62.1061.04
[7] Kochen, S.; Specker, E., The problem of hidden variables in quantum mechanics, J. Math. Mech., 17, 59 (1967) · Zbl 0156.23302
[8] Butterfield, J.; Isham, C. J., A topos perspective on the Kochen-Specker theorem. I. Quantum states as generalized valuations, Int. J. Theor. Phys., 37, 2669 (1998) · Zbl 0979.81018
[9] Butterfield, J.; Isham, C. J., A topos perspective on the Kochen-Specker theorem. II. Conceptual aspects and classical analogues, Int. J. Theor. Phys., 38, 827 (1999) · Zbl 1007.81009
[10] Rawling, J. P.; Selesnick, S. A., Orthologic and quantum logic. Models and computational elements, J. Assoc. Comput. Mach., 47, 721 (2000) · Zbl 1327.68103
[11] I. Raptis, Presheaves, sheaves, and their topoi in quantum gravity and quantum logic. gr-qc/0110064; I. Raptis, Presheaves, sheaves, and their topoi in quantum gravity and quantum logic. gr-qc/0110064
[12] Butterfield, J.; Isham, C. J., Some possible roles for topos theory in quantum theory and quantum gravity, Found. Phys., 30, 1707 (2000)
[13] M. Artin, A. Grothendieck, J.L. Verdier, Theorie de topos et cohomologie etale des schemas, Springer LNM 269 and 270, Springer-Verlag, Berlin, 1972.; M. Artin, A. Grothendieck, J.L. Verdier, Theorie de topos et cohomologie etale des schemas, Springer LNM 269 and 270, Springer-Verlag, Berlin, 1972. · Zbl 0234.00007
[14] E. Zafiris, Topos theoretical reference frames on the category of quantum observables. quant-ph/0202057; E. Zafiris, Topos theoretical reference frames on the category of quantum observables. quant-ph/0202057 · Zbl 1113.81011
[15] J.L. Bell, Boolean-valued Models and Independence Proofs in Set Theory, Oxford University Press, Oxford, 1985.; J.L. Bell, Boolean-valued Models and Independence Proofs in Set Theory, Oxford University Press, Oxford, 1985. · Zbl 0585.03021
[16] F.W. Lawvere, Continuously variable sets: algebraic Geometry=Geometric logic, in: Proceedings of the Logic Colloquium in Bristol, North-Holland, Amsterdam, 1975.; F.W. Lawvere, Continuously variable sets: algebraic Geometry=Geometric logic, in: Proceedings of the Logic Colloquium in Bristol, North-Holland, Amsterdam, 1975. · Zbl 0364.18002
[17] G. Takeuti, Two Applications of Logic to Mathematics, vol. 13, Kano Memorial Lectures 3, Mathematical Society of Japan, 1978.; G. Takeuti, Two Applications of Logic to Mathematics, vol. 13, Kano Memorial Lectures 3, Mathematical Society of Japan, 1978.
[18] Davis, M., A relativity principle in quantum mechanics, Int. J. Theor. Phys., 16, 867 (1977) · Zbl 0392.03040
[19] A. Mallios, Geometry of Vector Sheaves: An Axiomatic Approach to Differential Geometry, vols. 1-2, Kluwer Academic Publishers, Dordrecht, 1998.; A. Mallios, Geometry of Vector Sheaves: An Axiomatic Approach to Differential Geometry, vols. 1-2, Kluwer Academic Publishers, Dordrecht, 1998. · Zbl 0904.18001
[20] A. Mallios, Remarks on Singularities, gr-qc/0202028; A. Mallios, Remarks on Singularities, gr-qc/0202028
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.