zbMATH — the first resource for mathematics

Examples
Geometry Search for the term Geometry in any field. Queries are case-independent.
Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact.
"Topological group" Phrases (multi-words) should be set in "straight quotation marks".
au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted.
Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff.
"Quasi* map*" py: 1989 The resulting documents have publication year 1989.
so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14.
"Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic.
dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles.
py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses).
la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

Operators
a & b logic and
a | b logic or
!ab logic not
abc* right wildcard
"ab c" phrase
(ab c) parentheses
Fields
any anywhere an internal document identifier
au author, editor ai internal author identifier
ti title la language
so source ab review, abstract
py publication year rv reviewer
cc MSC code ut uncontrolled term
dt document type (j: journal article; b: book; a: book article)
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 {\it C. J. Isham} and {\it 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 {\it J. P. Rawling} and {\it S. A. Selesnick} [“Orthologic and quantum logic: models and computational elements”, J. ACM 47, 721--751 (2000)] and {\it 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:
18F05Local categories and functors
18F20Categorical methods in sheaf theory
18D30Fibered categories
14F05Sheaves, derived categories of sheaves, etc.
53B50Applications of local differential geometry to physics
81P10Logical foundations of quantum mechanics; quantum logic
WorldCat.org
Full Text: DOI arXiv
References:
[1] 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. · Zbl 0705.18001
[3] 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. · Zbl 0649.18004
[5] 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) · Zbl 0015.14603
[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.
[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. · Zbl 0234.00007
[14] 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. · 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. · Zbl 0364.18002
[17] G. Takeuti, Two Applications of Logic to Mathematics, vol. 13, Kano Memorial Lectures 3, Mathematical Society of Japan, 1978. · Zbl 0393.03027
[18] Davis, M.: A relativity principle in quantum mechanics. Int. J. Theor. phys. 16, 867 (1977)
[19] 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.