Abstract
As explained in [26], the motivation for constructing topos quantum theory is to render quantum theory more “realist”. This is done by expressing quantum theory in terms of similar mathematical constructs used to formalise classical physics, in the hope that the ensuing interpretation would be more “realist” (as is the case for classical theory). This is achieved by describing quantum objects in terms of presheaves in the topos \(\mathbf { Sets}^{\mathcal {V}(\mathcal {H})}\), where \(\mathcal {V}(\mathcal {H})\) is the poset of abelian von Neumann subalgebras of the algebra of bounded operators \(\mathcal {B}(\mathcal {H})\). Each such abelian subalgebra \(V\in \mathcal {V}(\mathcal {H})\) represents a classical snapshot since it contain only simultaneously measurable observables. Hence a quantum object can be seen as a collection of classical approximation “glued” together by the categorical structure of the base category \(\mathcal {V}(\mathcal {H})\). The quantum information is then contained in the categorical structure of \(\mathcal {V}(\mathcal {H})\) which is also reflected at the level of presheaves. The question that then comes to mind is the following: given a general von Neumann algebra \(\mathcal {N}\) and its collection of abelian subalgebras \(\mathcal {V}(\mathcal {N})\), how much of \(\mathcal {N}\), if any, can be reconstructed from \(\mathcal {V}(\mathcal {N})\)? This question was asked in [37]. There it was shown that, if the initial von Neumann algebra \(\mathcal {N}\) is abelian, then it can be completely reconstructed from the poset of its abelian von Neumann subalgebras. However, if the algebra \(\mathcal {N}\) is not abelian, then it can only be reconstructed up to its Jordan structure. This is because both \(\mathcal {N}\) and its opposite \({\mathrm {op}}(\mathcal {N})\) have the same collection of subalgebras but they are not necessarily isomorphic to each other [9].
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
Given a partially ordered set L, then an element a ∈ L is compact if for any directed subset P ⊆ L, if P has a supremum and a ≤ Sup(P), then a ≤ d for some d ∈ Sup(P).
References
E. Alfsen, F. Shultz, State Spaces of Operator Algebras. Basic Theory, Orientations, and C-Products. Mathematics: Theory and Applications (Birkhauser, Boston, MA, 2001)
A. Connes, A factor not anti-isomorphic to itself. Ann. Math. (2) 101, 536–554 (1975)
H.A. Dye, On the geometry of projections in certain operator algebras. Ann. Math. 61(1), 73–89 (1955)
C. Flori, A First Course in Topos Quantum Theory. Lecture Notes in Physics, vol. 868 (Springer, Heidelberg, 2013)
J. Harding, A. Doering, Abelian subalgebras and the Jordan structure of a von Neumann algebra. arXiv:1009.4945 [math-ph]
J. Harding, M. Navara, Subalgebras of orthomodular lattices. Order 28, 549–563 (2011)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this chapter
Cite this chapter
Flori, C. (2018). What Information Can Be Recovered from the Abelian Subalgebras of a von Neumann Algebra. In: A Second Course in Topos Quantum Theory. Lecture Notes in Physics, vol 944. Springer, Cham. https://doi.org/10.1007/978-3-319-71108-9_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-71108-9_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-71107-2
Online ISBN: 978-3-319-71108-9
eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)