| C*-algebra | |
|---|---|
| Name | C*-algebra |
| Field | Functional analysis |
| Introduced | 1940s |
| Notable | John von Neumann; Israel Gelfand; Richard Kadison |
C*-algebra
A C*-algebra is a Banach *-algebra of bounded linear operators closed under an involution satisfying the C*-identity. In mathematical physics it provides an abstract, coordinate-free framework for the algebra of observables and for describing states, symmetries, and dynamics in quantum systems. C*-algebras connect functional analysis, operator algebras, and Quantum mechanics to support rigorous treatment of infinite systems, locality, and thermodynamic limits.
A C*-algebra is a complex associative algebra A equipped with a norm ||·|| and an involution * such that A is complete (a Banach space), (ab)* = b*a* and ||a*a|| = ||a||^2 for all a in A. Fundamental properties include the spectral radius formula, positivity, and the existence of approximate units in nonunital algebras. The theory was systematized in work by Israel Gelfand, Mark Naimark, and others; the commutative Gelfand–Naimark theorem identifies commutative unital C*-algebras with C0(X) for a locally compact Hausdorff space X. Noncommutative examples generalize classical function algebras and model quantum observables where the noncommutativity encodes uncertainty relations formalized by Heisenberg uncertainty principle.
Basic examples include the algebra B(H) of bounded operators on a Hilbert space H and the compact operators K(H). Commutative examples are algebras of continuous functions such as C(X) and C0(X). Group C*-algebras arise from a locally compact group G: the reduced and full group C*-algebras C*r(G) and C*(G) encode representation theory and harmonic analysis; prominent groups include Z, R and nonabelian groups like SU(2). Crossed product C*-algebras A ⋊α G model actions of a group G on a C*-algebra A, important for encoding time evolution or symmetry. Other constructions include tensor products, direct limits, and graph C*-algebras; specific concrete works include results by George Elliott on AF algebras and classification programs.
In the algebraic approach to quantum theory, observables are represented by self-adjoint elements of a C*-algebra A and physical states by positive normalized linear functionals on A. This perspective, developed in part by Haag and Araki, emphasizes locality and covariance in Algebraic quantum field theory (AQFT). C*-dynamical systems (A, G, α) model time evolution or symmetry via one-parameter groups of *-automorphisms; KMS states characterize thermal equilibrium relevant to Quantum statistical mechanics. The formalism accommodates infinite degrees of freedom, phase transitions, and spontaneous symmetry breaking central to condensed matter and high-energy physics.
Every state ω on a C*-algebra A gives rise to a cyclic *-representation πω on a Hilbert space Hω via the Gelfand–Naimark–Segal (GNS) construction, producing a concrete realization of abstract observables as operators on Hω. Irreducible representations correspond to pure states and connect to superselection sectors in AQFT studied by Doplicher, Haag, and Roberts. The universal representation leads to the enveloping von Neumann algebra, linking C*-algebras with von Neumann algebra theory, modular theory of Tomita–Takesaki, and the analysis of entanglement and locality.
Classification of amenable C*-algebras via invariants such as K-theory, traces, and the Elliott invariant has deep implications for phases of quantum matter and topological order. K-theory for C*-algebras and KK-theory (Kasparov) provide tools to detect topological invariants like those appearing in the integer quantum Hall effect and topological insulators; seminal contributors include Alain Connes in noncommutative geometry and Jean Bellissard in condensed matter applications. Index theorems, cyclic cohomology, and classification results inform the taxonomy of operator algebras that model quantum systems with symmetry-protected or intrinsic topological features.
C*-algebraic methods underpin rigorous quantum statistical mechanics: equilibrium via KMS states, thermodynamic limits via inductive limits of local algebras, and description of lattices and spin systems (e.g., Ising model, Heisenberg model). In AQFT, nets of local C*-algebras indexed by spacetime regions implement causality and locality axioms; foundational contributions include the Haag–Kastler axioms. Renormalization, scaling limits, and constructive approaches to interacting fields often exploit operator-algebraic techniques and representations on Fock spaces associated to free fields.
Operator algebras provide formal tools for quantum information theory: bipartite entanglement, entropy measures (von Neumann entropy via density operators in B(H)), and quantum channels are naturally expressed through completely positive maps between C*-algebras. Recent work links C*-algebraic frameworks to fault-tolerant quantum codes and resource theories in systems with infinite degrees of freedom. From a justice-oriented perspective, equitable deployment of quantum technologies raises concerns of access, surveillance, and labor impacts; operator-algebraic models of open systems and decoherence inform fair design of sensors, communications, and cryptographic protocols. Institutions like IBM, Google Quantum AI, and academic centers (e.g., Perimeter Institute, Institute for Quantum Information and Matter) collaborate with mathematicians to ensure ethical stewardship and equitable technology transfer in quantum innovation.
Category:Operator algebras Category:Mathematical physics