Monotone Completeness in AW*-Algebras

• The paper establishes that a C*-algebra is an AW*-algebra if every MASA is monotone complete, directly linking local order properties to the global structure.
• Key lemmas illustrate how projection ordering and the existence of suprema among orthogonal families enforce the completeness of projection lattices.
• The work shows that monotone completeness in MASAs guarantees a global unit in the algebra, ensuring the integrity and operational consistency of the structure.

An AW$^*$-algebra is a $C^*$-algebra distinguished by strong order-theoretic and lattice-theoretic properties in its projection structure, with a defining equivalence to the monotone completeness of all its maximal abelian self-adjoint subalgebras (MASAs). Monotone completeness of a MASA means that any bounded above increasing net of self-adjoint elements admits a least upper bound within the subalgebra. The central result due to Saitô and Wright establishes that a $C^*$-algebra $A$ is an AW$^*$-algebra if and only if every MASA of $A$ is monotone complete in its self-adjoint part, providing a direct link between the global operator-algebraic structure and local order-theoretic completeness in abelian corners (Saitô et al., 2015).

1. Core Definitions and Notions

Let $A$ be a (complex) $C^*$-algebra equipped with a norm $\|\cdot\|$ and involution $*$. The self-adjoint part $A_{sa} = \{ x \in A : x^* = x \}$ is equipped with the canonical partial order: for $x, y \in A_{sa}$, $x \le y$ if and only if $y-x \in A^+$, where $A^+ = \{z^*z : z \in A\}$ denotes the positive cone.

A projection in $A$ is an element $p$ with $p=p^*=p^2$; the set of all projections will be $\mathrm{Proj}(A)$. An abelian *-subalgebra $M \subseteq A$ is maximal abelian (MASA) if it is not properly contained in a larger abelian *-subalgebra. Monotone completeness in $A_{sa}$ or $M_{sa}$ asserts that every bounded above increasing net admits a supremum.

Kaplansky’s lattice-theoretic characterization: $A$ is an AW$^*$-algebra if and only if

1. Each MASA is norm-generated by its projections.
2. Every family of mutually orthogonal projections in $A$ has a least upper bound in $\mathrm{Proj}(A)$ (i.e., $\mathrm{Proj}(A)$ forms a complete orthomodular lattice).

2. Theorem of Saitô–Wright: MASA Monotone Completeness Characterizes AW$^*$

The main theorem presented by Saitô and Wright states that a $C^*$-algebra $A$ is an AW$^*$-algebra if and only if every MASA in $A$ is monotone complete in its self-adjoint part [(Saitô et al., 2015), Theorem A]. The corresponding result for Rickart $C^*$-algebras: a unital $C^*$-algebra $A$ is Rickart if and only if every MASA is monotone $\sigma$-complete, i.e., admits suprema of bounded increasing sequences.

For clarity:

Algebra type	MASA property	Consequence in $A$
AW$^*$	monotone complete	AW$^*$-algebra
Rickart ($C^*$-unital)	monotone $\sigma$-complete	Rickart $C^*$-algebra

These results provide a local-to-global characterization: order-theoretic completeness on all maximal abelian corners fully determines the global algebraic structure.

3. Structural and Order-Theoretic Lemmas

Key structural results link the order in $\mathrm{Proj}(A)$ to the algebraic operations. Specifically, for projections $p, q \in \mathrm{Proj}(A)$, $p\le q$ in $A_{sa}$ if and only if $p = qp$. This further implies $pq=qp$, so order relations in the projection lattice coincide with commutativity.

For any commuting family $P \subseteq \mathrm{Proj}(A)$, the set of lower bounds is upward directed—any pair of lower bounds $r_1, r_2$ can be joined in a common MASA, and monotone completeness in the MASA leads to the existence of supremum and infimum in $\mathrm{Proj}(A)$. As a corollary, any family of orthogonal projections has a least upper bound: for an orthogonal family $\{ e_i \}$, the complement family $\{1-e_i\}$ is commuting, hence has infimum $f$; then $1-f$ is the supremum of $\{e_i\}$ [(Saitô et al., 2015), Lemma 3.2].

4. Consequences for Unit Existence and Projection Lattice

If every MASA is monotone complete, then $A$ must be unital. Any $x\in A_{sa}$ is contained in some MASA $M$, where monotone completeness supplies a unit $1_M$, and gluing over $A$ yields a central global unit $1\in A$.

Monotone completeness of all MASAs ensures that each MASA is norm-generated by its projections, as projections separate points in such abelian $C^*$-algebras. Furthermore, arbitrary collections of mutually orthogonal projections possess suprema in $\mathrm{Proj}(A)$, fulfilling Kaplansky’s criteria for being an AW$^*$-algebra. Thus, the local monotone completeness property is not just necessary but sufficient for the global AW$^*$ structure [(Saitô et al., 2015), Section 3.4].

5. Rickart $C^*$-Algebras and Monotone $\sigma$-Completeness

The Rickart case follows the AW$^*$ structure with a weakened completeness requirement: monotone $\sigma$-completeness (sequences). If every MASA is monotone $\sigma$-complete, then the right annihilator of each $x\in A$ is generated by a projection, which characterizes Rickart $C^*$-algebras [(Saitô et al., 2015), Theorem B]. The key order-theoretic lemmas adapt to sequences, preserving the structure in this weaker context.

6. Examples, Counterexamples, and Applications

Classical instances of AW$^*$-algebras include $B(H)$, the $C^*$-algebra of all bounded operators on a Hilbert space; all MASAs here (maximal abelian von Neumann subalgebras) are monotone complete. Similarly, $C(X)$ for compact $X$ is AW$^*$ if and only if $X$ is extremally disconnected. In contrast, general $C^*$-algebras that are not AW$^*$ have MASAs where not every bounded above increasing net admits a supremum, signifying a failure in the order-closure of the projection lattice.

This correspondence elucidates that the failure of MASA monotone completeness manifests in the lack of completeness in the projection lattice, or, equivalently, incompleteness of the order structure for self-adjoint elements.

7. Significance and Broader Directions

The result “$A$ is AW$^*$ if and only if every MASA is monotone complete” substantiates the intuition that the completeness of projections globally is reflected in order-theoretic completeness locally within MASAs, thus bringing MASAs to the center as order-theoretic indicators of operator algebra completeness (Saitô et al., 2015).

Further research directions include examining whether monotone completeness of all MASAs forces that of $A$ itself—work by Christensen and Pedersen on properly infinite AW$^*$-algebras provides leads—and extending these results to Jordan AW$^*$-algebras and other non-associative contexts. Additional applications arise in operator algebraic reconstructions in quantum logic, such as the Bohrification program, where the MASA-complete perspective plays a role.

Saitô and Wright’s identification of MASA monotone completeness as the precise criterion for AW$^*$-ness addresses a longstanding open question in the structure theory of operator algebras (Saitô et al., 2015).