10 · operator algebras and noncommutative geometry

$C^*$-algebras and von neumann algebras

A $C^*$-algebra is a Banach algebra $\mathcal{A}$ over $\mathbb{C}$ equipped with an involution $*$ satisfying $\|a^*a\|=\|a\|^2$. Commutative unital $C^*$-algebras are precisely the algebras $C(X)$ of continuous functions on compact Hausdorff spaces (Gelfand-Naimark). Noncommutative examples include the algebras of bounded operators $B(\mathcal{H})$, continuous-trace algebras, irrational rotation algebras, and group $C^*$-algebras $C^*(G)$.

Von Neumann algebras are unital $*$-subalgebras of $B(\mathcal{H})$ that are closed in the weak-operator topology, or equivalently are equal to their bicommutant. They arise naturally as algebras of observables in quantum mechanics and quantum field theory (local von Neumann algebras of the Haag-Kastler net). Factors (von Neumann algebras with trivial centre) are classified into types $\mathrm{I}$, $\mathrm{II}$, and $\mathrm{III}$; type $\mathrm{III}$ factors appear in the modular theory of equilibrium states and in the local algebras of relativistic quantum field theory.

example (gelfand). characters of a unital commutative $C^*$-algebra recover a compact Hausdorff space $X$, and the Gelfand transform identifies the algebra with $C(X)$. dropping commutativity removes any underlying classical point-set while retaining the analytic algebra.

$K$-theory

Topological $K$-theory classifies vector bundles over a compact space $X$ via the Grothendieck group of isomorphism classes. Passage to the commutative $C^*$-algebra $C(X)$ rephrases the construction purely algebraically: $K_0(\mathcal{A})$ is the Grothendieck group of finitely generated projective modules over $\mathcal{A}$, and $K_1(\mathcal{A})$ is the group of connected components of $\mathrm{GL}_\infty(\mathcal{A})$.

The functor $K_*$ extends to all $C^*$-algebras and is the primary topological invariant of noncommutative spaces. Bott periodicity, the six-term exact sequence, and the Chern character linking $K$-theory to cyclic homology remain valid in the noncommutative setting.

example (noncommutative torus). the irrational rotation algebra $A_\theta$ generated by unitaries $U,V$ with $UV=e^{2\pi i\theta}VU$ has $K_0\cong\mathbb{Z}^2$ and $K_1\cong\mathbb{Z}^2$, matching the $K$-theory of the ordinary torus while admitting no classical point-space model for irrational $\theta$.

cyclic cohomology and the chern character

Cyclic cohomology is the noncommutative analogue of de Rham cohomology. A cyclic $n$-cochain on an algebra $\mathcal{A}$ is a multilinear functional $\varphi(a_0,\dots,a_n)$ invariant under cyclic permutations and satisfying a cocycle condition that reduces to the ordinary de Rham differential when $\mathcal{A}=C^\infty(X)$. The periodic cyclic cohomology $\mathrm{HP}^*(\mathcal{A})$ receives a Chern character map from $K$-theory $$ \mathrm{ch}:K_*(\mathcal{A})\to\mathrm{HP}^*(\mathcal{A}). $$ Pairing a $K$-theory class with a cyclic cohomology class produces a numerical index that generalises the classical Chern-Weil numbers and the Atiyah-Singer index.

remark (field-theory link). the characteristic classes of Chapter 6 in the classical field-theory program reappear here as cyclic cohomology classes paired against $K$-theory, now without requiring an underlying commutative base manifold.

spectral triples

A spectral triple $(\mathcal{A},\mathcal{H},D)$ consists of a unital $*$-algebra $\mathcal{A}$ represented on a Hilbert space $\mathcal{H}$; an unbounded self-adjoint operator $D$ on $\mathcal{H}$ with compact resolvent; such that $[D,a]$ is bounded for every $a\in\mathcal{A}$.

The algebra $\mathcal{A}$ plays the role of smooth functions, $\mathcal{H}$ the role of $L^2$-spinors, and $D$ the role of the Dirac operator. From these data one recovers the metric dimension from the growth of the eigenvalues of $|D|$; a noncommutative Riemannian metric via the Connes distance formula $$ d(\varphi,\psi)=\sup\bigl\{|\varphi(a)-\psi(a)|:\|[D,a]\|\le 1\bigr\}; $$ a noncommutative differential calculus generated by the operators $da=[D,a]$; and an orientation form and volume measure given by the noncommutative integral (Wodzicki residue or Dixmier trace).

When $\mathcal{A}=C^\infty(M)$ and $D$ is the ordinary Dirac operator of a compact spin manifold, the spectral triple reproduces the classical Riemannian geometry of $M$.

example (circle). for $S^1$ with $D=-i\frac{d}{d\theta}$ on $L^2(S^1)$, the Connes distance between pure states (evaluation at points) recovers the geodesic distance on the circle.

noncommutative differential calculus and index theory

The commutators $[D,a]$ generate a differential algebra of forms. The Fredholm module defined by the phase of $D$ yields a $K$-homology class whose pairing with $K_0(\mathcal{A})$ is the analytic index. The local index formula of Connes-Moscovici expresses this pairing as a sum of residues of zeta functions built from $D$ and the algebra elements: precisely the noncommutative analogue of the Atiyah-Singer integrand. Characteristic classes of noncommutative bundles are thereby computed by spectral methods.

example (odd pairing). an odd $K$-theory class represented by a unitary $u$ pairs with a Fredholm module to give an integer index, recovering winding-number computations when $\mathcal{A}=C(S^1)$.

foliations and groupoids

The space of leaves of a foliation is typically pathological as a classical space, yet its holonomy groupoid defines a well-behaved $C^*$-algebra. The longitudinal Dirac operator along the leaves produces a spectral triple whose $K$-theory pairs with the leafwise cohomology, recovering the Connes-Thom isomorphism and the Godbillon-Vey class. Similar constructions apply to etale groupoids, quantum groups, and the noncommutative spaces that arise as quotients by ergodic group actions.

quantum field theory and local algebras

In algebraic quantum field theory the observables localised in a spacetime region $\mathcal{O}$ form a von Neumann algebra $\mathcal{A}(\mathcal{O})$. The net of algebras encodes locality, covariance, and the spectrum condition. Modular theory (Tomita-Takesaki) assigns to each local algebra and the vacuum state a modular automorphism group whose generator is interpreted as a local Hamiltonian; the Bisognano-Wichmann theorem identifies this generator with a Lorentz boost.

Noncommutative geometry supplies the tools ($K$-theory of the algebras, cyclic cohomology of the charge-carrying fields, spectral triples built from Dirac operators on the underlying manifold) to extract geometric and topological information from the net.

remark (haag-kastler). the net $\mathcal{O}\mapsto\mathcal{A}(\mathcal{O})$ is the operator-algebraic counterpart of the local quantum fields of Chapter 7: fields generate the local algebras, while the algebras themselves become the primary geometric objects.

closing the loop with earlier chapters

The spinors and Dirac operators of classical field theory reappear as the Hilbert space and operator $D$ of a spectral triple. Characteristic classes and the Atiyah-Singer index theorem are recovered as pairings between $K$-theory and cyclic cohomology. Gauge connections become noncommutative vector bundles (projective modules) whose curvature is measured by the commutator with $D$. The renormalization-group flow of Chapter 9 can be read as a flow on the space of spectral triples or on the $K$-theory of the algebra of observables.

Thus the entire trajectory (from symplectic mechanics through geometric quantization, Poincare representations, local quantum fields, and gauge theory) terminates in a framework in which geometry itself is reconstructed from an algebra of operators.

summary

Noncommutative geometry replaces the commutative algebra of functions on a space by an arbitrary associative algebra $\mathcal{A}$. Metric, differential, and topological data are encoded in a spectral triple $(\mathcal{A},\mathcal{H},D)$. $C^*$-algebras and von Neumann algebras supply the analytic setting; $K$-theory and cyclic cohomology supply the topological invariants; the local index formula and the Connes distance formula recover the classical geometric quantities.

The theory encompasses ordinary manifolds, foliations, quantum groups, and the local operator algebras $\mathcal{A}(\mathcal{O})$ of quantum field theory. In each case one begins with geometric or physical data, passes to an algebra of observables, allows that algebra to be noncommutative, and recovers metric and topological invariants from a spectral triple $(\mathcal{A},\mathcal{H},D)$ or from the pairing $\langle\mathrm{ch}([e]),[\varphi]\rangle\in\mathbb{C}$ between $K$-theory and cyclic cohomology.