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.

26 pages

References in corpus (2)

• The Gelfand spectrum of a noncommutative C*-algebra: a topos-theoretic approach
• Diagonalizing matrices over AW*-algebras

Cited by in corpus (13)

• The many classical faces of quantum structures
• Classifying finite-dimensional C*-algebras by posets of their commutative C*-subalgebras
• Contextuality and noncommutative geometry in quantum mechanics
• Boolean subalgebras of orthoalgebras
• (Almost) C*-algebras as sheaves with self-action
• Domains of commutative C*-subalgebras
• Discretization of C*-algebras
• Categories of hypermagmas, hypergroups, and related hyperstructures
• On Defining AW*-algebras and Rickart C*-algebras
• The finite dual coalgebra as a quantization of the maximal spectrum
• Tarski monoids: Matui's spatial realization theorem
• Relating the wave-function collapse with Euler's formula, with applications to Classical Statistical Field Theory
• Orthogeometries and AW*-algebras