Boolean Subalgebras of Orthoalgebras

We develop a direct method to recover an orthoalgebra from its poset of Boolean subalgebras. For this a new notion of direction is introduced. Directions are also used to characterize in purely order-theoretic terms those posets that are isomorphic to the poset of Boolean subalgebras of an orthoalgebra. These posets are characterized by simple conditions defining orthodomains and the additional requirement of having enough directions. Excepting pathologies involving maximal Boolean subalgebras of four elements, it is shown that there is an equivalence between the category of orthoalgebras and the category of orthodomains with enough directions with morphisms suitably defined. Furthermore, we develop a representation of orthodomains with enough directions, and hence of orthoalgebras, as certain hypergraphs. This hypergraph approach extends the technique of Greechie diagrams and resembles projective geometry. Using such hypergraphs, every orthomodular poset can be represented by a set of points and lines where each line contains exactly three points.

[1]  John Harding,et al.  Abelian subalgebras and the Jordan structure of a von Neumann algebra , 2010, 1009.4945.

[2]  Claude-Alain Faure,et al.  Modern Projective Geometry , 2000 .

[3]  C. J. Isham,et al.  Topos Perspective on the Kochen-Specker Theorem: I. Quantum States as Generalized Valuations , 1998, quant-ph/9803055.

[4]  P. A. Firby.  Lattices and Compactifications, III , 1973 .

[5]  Chris Heunen.  Piecewise Boolean Algebras and Their Domains , 2014, ICALP.

[6]  Jan Hamhalter,et al.  Isomorphisms of ordered structures of abelian C⁎-subalgebras of C⁎-algebras , 2011 .

[7]  Mirko Navara,et al.  Subalgebras of Orthomodular Lattices , 2010, Order.

[8]  Mirko Navara.  Orthoalgebras as Pastings of Boolean Algebras , 2017 .

[9]  Adam Grabowski,et al.  Orthomodular Lattices , 2008, Formaliz. Math..

[10]  Z. Riecanová,et al.  Subalgebras, Intervals, and Central Elements of Generalized Effect Algebras , 1999 .

[11]  Chris Heunen,et al.  Active lattices determine AW*−algebras , 2012, 1212.5778.

[12]  Richard J. Greechie,et al.  On the structure of orthomodular lattices satisfying the chain condition , 1968 .

[13]  Sylvia Pulmannová,et al.  New trends in quantum structures , 2000 .

[14]  Simon Kochen,et al.  Logical Structures Arising in Quantum Theory , 1990 .

[15]  Stanley Burris,et al.  A course in universal algebra , 1981, Graduate texts in mathematics.

[16]  David J. Foulis,et al.  Filters and supports in orthoalgebras , 1992 .

[17]  Janusz Czelakowski.  Partial Boolean algebras in a broader sense , 1979 .

[18]  George Grätzer,et al.  On the lattice of subalgebras of a Boolean algebra , 1972 .

[19]  Mirko Navara.  Constructions of quantum structures , 2007 .

[20]  Jan Hamhalter,et al.  Dye's Theorem and Gleason's Theorem for AW*-algebras , 2014, 1408.4597.