---
title: Monotone Completeness in AW*-Algebras
url: https://www.emergentmind.com/topics/monotone-completeness-of-aw-algebras
type: topic
---

# Monotone Completeness in AW*-Algebras

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 [1501.02434].

## 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 [1501.02434, 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\}$ [1501.02434, 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 [1501.02434, 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 [1501.02434, 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 [1501.02434].

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 [1501.02434].

Source: https://www.emergentmind.com/topics/monotone-completeness-of-aw-algebras