Active lattices determine AW*−algebras

Abstract We prove that operator algebras that have enough projections are completely determined by those projections, their symmetries, and the action of the latter on the former. This includes all von Neumann algebras and all AW*-algebras. We introduce active lattices , which are formed from these three ingredients. More generally, we prove that the category of AW*-algebras is equivalent to a full subcategory of active lattices. Crucial ingredients are an equivalence between the category of piecewise AW*-algebras and that of piecewise complete Boolean algebras, and a refinement of the piecewise algebra structure of an AW*-algebra that enables recovering its total structure.

[1]  J. Neumann,et al.  Continuous Geometry. , 1936, Proceedings of the National Academy of Sciences of the United States of America.

[2]  Chris Heunen,et al.  Noncommutativity as a Colimit , 2010, Appl. Categorical Struct..

[3]  Edwin Marsden,et al.  The commutator and solvability in a generalized orthomodular lattice. , 1970 .

[4]  N. K. Thakare,et al.  A unitary as a product of symmetries , 1995 .

[5]  Alain Connes,et al.  A Factor Not Anti-Isomorphic to Itself , 1975 .

[6]  Chris Heunen,et al.  Characterizations of Categories of Commutative C*-Subalgebras , 2011, 1106.5942.

[7]  C. Heunen,et al.  No-go theorems for functorial localic spectra of noncommutative rings , 2011, 1101.5924.

[8]  W. Marsden.  I and J , 2012 .

[9]  Irving Kaplansky,et al.  PROJECTIONS IN BANACH ALGEBRAS , 1951 .

[10]  Erling St Rmer.  ON THE JORDAN STRUCTURE OF C*-ALGEBRAS , 2010 .

[11]  E. Størmer.  On the Jordan structure of *-algebras , 1965 .

[12]  Chris Heunen,et al.  Diagonalizing matrices over AW*−algebras , 2013 .

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

[14]  H. Dye.  On the Geometry of Projections in Certain Operator Algebras , 1955 .

[15]  CHARACTERIZATIONS OF CATEGORIES OF COMMUTATIVE C , 2011 .

[16]  Guram Bezhanishvili,et al.  Stone duality and Gleason covers through de Vries duality , 2010 .

[17]  Manuel L. Reyes,et al.  Obstructing extensions of the functor spec to noncommutative rings , 2011, 1101.2239.

[18]  S. Holland.  An $m$-orthocomplete orthomodular lattice is $m$-complete , 1970 .

[19]  C. Pearcy,et al.  On matrices over the ring of continuous complex valued functions on a Stonian space , 1963 .

[20]  R. Kadison,et al.  Fundamentals of the Theory of Operator Algebras , 1983 .

[21]  Richard V. Kadison,et al.  Infinite unitary groups , 1952 .

[22]  M. Takesaki,et al.  Analyticity and the Unruh effect: a study of local modular flow , 2024, Journal of High Energy Physics.

[23]  F. Shultz,et al.  State spaces of operator algebras : basic theory, orientations, and C*-products , 2001 .

[24]  J. Wright,et al.  The Mackey-Gleason Problem , 1992, math/9204228.

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

[26]  Bas Spitters,et al.  THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH , 2011, Journal of the Australian Mathematical Society.

[27]  V. Varadarajan.  Geometry of quantum theory , 1968 .