Definition
A Cuntz algebra $ \mathcal{O}_n $ (with $ n\in\mathbb{N}\cup{\infty} $) is the universal C$^*$-algebra generated by $ n $ isometries $ S_1,\dots ,S_n $ satisfying the relations
$$ S_i^{}S_j = \delta_{ij}, \mathbf{1}\qquad\text{and}\qquad \sum_{i=1}^{n} S_i S_i^{} = \mathbf{1}, $$
where $ \mathbf{1} $ denotes the unit element. For $ n=\infty $ the second relation is replaced by
$\displaystyle \sum_{i=1}^{k} S_i S_i^{*} \le \mathbf{1}$ for every finite $ k $ and the supremum of these projections equals $ \mathbf{1} $.
Overview
The Cuntz algebras were introduced by Joachim Cuntz in 1977 as examples of simple, purely infinite C$^$-algebras. They play a central role in the theory of operator algebras, particularly in the classification program for nuclear C$^$-algebras, the study of K‑theory, and the analysis of dynamical systems via crossed products. The algebras $ \mathcal{O}_n $ for finite $ n\ge 2 $ are mutually non‑isomorphic, while $ \mathcal{O}1 $ is isomorphic to the algebra of compact operators on a separable Hilbert space. The infinite‑generator version $ \mathcal{O}\infty $ contains copies of all $ \mathcal{O}_n $ and serves as a universal object for purely infinite simple nuclear C$^*$-algebras.
Etymology / Origin
The term “Cuntz algebra” is derived from the surname of the German mathematician Joachim Cuntz (b. 1949), who first defined these algebras in his seminal papers “Simple C$^*$-algebras generated by isometries” (1977) and subsequent work. The notation $ \mathcal{O}_n $ stems from “operator” and the integer $ n $ indicating the number of generating isometries.
Characteristics
| Property | Description |
|---|---|
| Simplicity | $ \mathcal{O}_n $ is simple; it has no non‑trivial closed two‑sided ideals. |
| Purely infinite | Every non‑zero hereditary sub‑C$^*$-algebra contains an infinite projection. |
| Nuclearity | The algebras are nuclear, meaning they admit a unique C$^$-norm on their algebraic tensor products with any other C$^$-algebra. |
| K‑theory | $ K_0(\mathcal{O}n) \cong \mathbb{Z}{n-1} $ (cyclic group of order $ n-1 $) and $ K_1(\mathcal{O}n) = 0 $ for finite $ n$; for $ \mathcal{O}\infty $, both $ K $-groups are isomorphic to $ \mathbb{Z} $. |
| Universal property | Any collection of $ n $ isometries in a C$^*$-algebra satisfying the Cuntz relations determines a unique *‑homomorphism from $ \mathcal{O}_n $ sending the universal generators to those isometries. |
| Relation to Toeplitz algebra | The Toeplitz algebra $ \mathcal{T}_n $ is a non‑simple extension of $ \mathcal{O}_n $ by the compact operators, fitting into the exact sequence $ 0\to \mathcal{K} \to \mathcal{T}_n \to \mathcal{O}_n \to 0 $. |
| Automorphisms | The gauge action of the circle group $ \mathbb{T} $ given by $ \gamma_z(S_i)=z S_i $ provides a one‑parameter group of *‑automorphisms; the fixed‑point algebra under this action is an AF‑algebra. |
Related Topics
- C$^*$-algebras: The broader class of norm‑closed *‑subalgebras of bounded operators on Hilbert spaces.
- Operator algebras: Includes von Neumann algebras, C$^*$-algebras, and their applications.
- K‑theory for C$^*$-algebras: A homological tool used to classify C$^*$-algebras; the K‑groups of $ \mathcal{O}_n $ are central examples.
- Purely infinite simple algebras: A class of C$^*$-algebras encompassing the Cuntz algebras, significant in Kirchberg–Phillips classification.
- Kirchberg–Phillips theorem: States that separable, nuclear, purely infinite simple C$^*$-algebras satisfying the Universal Coefficient Theorem are classified up to *‑isomorphism by their K‑theory; $ \mathcal{O}_n $ provide canonical models.
- Crossed product constructions: The Cuntz algebras can be realised as crossed products of certain dynamical systems (e.g., one‑sided shift spaces).
- Quantum field theory and statistical mechanics: Appear in the study of superselection sectors and Cuntz–Krieger algebras associated with subshifts of finite type.
These algebras continue to be a focal point of research in functional analysis, non‑commutative geometry, and mathematical physics.