| C*-algebra | |
|---|---|
| Name | C*-algebra |
| Field | Functional analysis, Operator algebras |
| Introduced | 1940s |
| Notable examples | Compact operators, Matrix algebras, Commutative C*-algebras |
| Related | von Neumann algebra, K-theory, Gelfand–Naimark theorem |
C*-algebra
A C*-algebra is a Banach algebra A equipped with an involution * satisfying the C*-identity ||a* a|| = ||a||^2 for all a in A. C*-algebras provide an abstract framework for algebras of bounded operators on a Hilbert space and serve as a mathematical language for observables and symmetries in Quantum mechanics and Quantum field theory. Their structural and classification results connect functional analysis, K-theory, and mathematical models of quantum matter.
A C*-algebra is a complex associative algebra A with a norm ||·|| and an involution * such that A is complete in the norm, ||ab|| ≤ ||a|| ||b|| for all a,b, and the C*-identity holds. The prototypical examples are norm-closed *-subalgebras of B(H), the algebra of bounded operators on a Hilbert space H; this connection is formalized in the Gelfand–Naimark theorem, which states every C*-algebra is *-isomorphic to a norm-closed *-subalgebra of B(H) for some H. Important structural notions include the center Z(A), ideals, the spectrum σ(a) of an element, positive elements, and approximate identities. For commutative unital C*-algebras, the Gelfand representation identifies A with C(X), the continuous complex-valued functions on a compact Hausdorff space X.
Common concrete classes include: - Commutative C*-algebras: A ≅ C(X) for a compact Hausdorff space X via the Gelfand–Naimark theorem; links topology and functional analysis. - Matrix algebras: M_n(ℂ) are finite-dimensional C*-algebras; they model finite-level quantum systems in Quantum mechanics and appear as building blocks in classification. - AF (Approximately Finite-dimensional) algebras: inductive limits of finite-dimensional algebras; classified in many cases via ordered K0 groups and studied by George Elliott in the Elliott classification program. - von Neumann algebras: W*-algebras are C*-algebras that are closed in the weak operator topology on B(H); important subclasses include type I, II, III factors studied by John von Neumann and Murray and von Neumann. von Neumann algebras are central in algebraic quantum field theory and the theory of measurement.
Other notable examples arise from dynamical systems: group C*-algebras constructed from a locally compact group G, and crossed product C*-algebras encoding an action of G on a C*-algebra.
A state on a C*-algebra A is a positive linear functional φ with φ(1)=1. States play the role of expectation values of observables in Quantum mechanics and generalize density matrices. The GNS construction associates to each state φ a representation π_φ of A on a Hilbert space H_φ with a cyclic vector Ω_φ such that φ(a) = ⟨Ω_φ, π_φ(a) Ω_φ⟩. Pure states correspond to irreducible representations; mixed states decompose into convex combinations. The study of factorial states, KMS states, and folia of representations connects to statistical mechanics and thermodynamic equilibrium. Key figures include I. E. Segal, Gelfand, and Mark Naimark.
In algebraic formulations of quantum theory, a C*-algebra A models the algebra of bounded observables; self-adjoint elements correspond to measurable quantities. The spectral theorem for normal elements in B(H) provides measurement spectra, while projection lattices and commutative subalgebras represent classical contexts. Local algebras in algebraic quantum field theory are nets of C*- or von Neumann algebras indexed by spacetime regions (as in the Haag–Kastler axioms). Finite quantum systems are modeled by matrix algebras M_n(ℂ), whereas infinite systems and continuous fields require AF algebras, UHF algebras, and crossed products. Connections to experimental and theoretical physics appear via Heisenberg picture, symmetry groups represented by automorphisms, and superselection sectors analyzed using representation theory and Doplicher–Haag–Roberts theory.
Dynamics of quantum systems are described by one-parameter groups of *-automorphisms α_t of a C*-algebra, often implemented by strongly continuous unitary groups on a representation space via Stone's theorem. Equilibrium states at inverse temperature β satisfy the Kubo–Martin–Schwinger (KMS) condition; KMS states generalize Gibbs ensembles and are central in quantum statistical mechanics. Crossed product constructions A ⋊_α G encode time evolution or symmetry actions by a group G, linking to studies at Mathematical physics institutes and laboratories. Modular theory for von Neumann algebras, developed by Tomita–Takesaki theory, provides deep structural insight into dynamics and thermality, especially for type III factors relevant in quantum field theory.
C*-algebra K-theory (K0, K1) is an invariant capturing projection and unitary classes; it plays a key role in the Elliott classification program for nuclear C*-algebras and in index theory via the Atiyah–Singer index theorem. In condensed matter physics, K-theory and topological invariants classify topological insulators and superconductors; concrete models use tight-binding Hamiltonians represented in C*-algebras of observables, with edge states related to bulk invariants. Important mathematical contributors include Alain Connes (noncommutative geometry), Elliott, and Michael A. Rieffel (deformation quantization). Operator K-theory and cyclic cohomology link to experimental predictions and to programs at institutions like CERN and national research laboratories where topological phases are investigated. Category-theoretic and homological techniques continue to inform both the abstract classification of C*-algebras and their physical applications.