11 · quantum physics as one geometric-algebraic construction
synthesis of the program: from symplectic mechanics to noncommutative geometry
The preceding chapters have developed quantum physics as a sequence of successive enlargements of structure. Each stage answers a precise question left open by the stage before it, and the whole sequence forms a single closed argument rather than a collection of adjacent subjects. The present chapter simply retraces that argument from beginning to end.
classical starting point
Classical mechanics is formulated on a symplectic manifold $(M,\omega)$ equipped with a Hamiltonian function $H$. The observables are the smooth functions $C^\infty(M)$, and their algebraic structure is the Poisson bracket $$ \{f,g\}=\omega(X_f,X_g). $$ Symmetries appear as symplectic actions of Lie groups, or equivalently as Poisson-commuting moment maps. This is the geometric setting inherited from the mechanics program.
remark. the cotangent bundle $T^*Q$ with its canonical symplectic form is the prototype phase space; curved symplectic manifolds enter as soon as one leaves the elementary Newtonian setting.
operator mechanics
Quantization replaces the commutative Poisson algebra by a noncommutative algebra of operators. A Hilbert space $\mathcal{H}$ is introduced, pure states become rays in $\mathbb{P}(\mathcal{H})$, and observables become self-adjoint operators. The Poisson bracket is replaced by the commutator according to $$ \{f,g\}\rightsquigarrow\frac{1}{i\hbar}[\hat f,\hat g]. $$ Time evolution is implemented by the unitary group generated by the Hamiltonian. The empirical content of non-relativistic quantum mechanics (spectra, uncertainty, angular momentum, spin, identical particles, scattering) follows at once from this operator formalism.
example. the Schrodinger representation on $L^2(\mathbb{R}^n)$ realises the Heisenberg relations of Chapter 1 and supplies the concrete kinematics assumed throughout the early chapters.
representation theory and quantum numbers
The classical symmetry group $G$ is required to act on $\mathcal{H}$ by unitary or projective unitary operators: $$ G\to PU(\mathcal{H}) $$ (or a suitable lift to $U(\mathcal{H})$). Irreducible representations of the relevant Lie algebras and Lie groups then supply the quantum numbers that label states. The Heisenberg algebra, $\mathfrak{su}(2)$, the metaplectic representation of $\operatorname{Sp}(2n,\mathbb{R})$, and the Clifford algebras of fermionic systems are the elementary illustrations. Quantum numbers are representation-theoretic data.
spectral analysis and generalized states
Continuous spectra force the enlargement of the Hilbert-space picture to a rigged Hilbert space $$ \Phi\subset\mathcal{H}\subset\Phi'. $$ Generalized eigenvectors, distributional kernels, and the nuclear spectral theorem give rigorous meaning to the formal resolutions of the identity that appear throughout quantum mechanics and prepare the ground for operator-valued distributions.
example. position and momentum eigenstates $|x\rangle$ and $|p\rangle$ live in $\mathcal{S}'$, not in $L^2$; the same dual-pairing language later defines $\phi(f)$ for a quantum field.
geometric quantization
The passage from classical phase space to Hilbert space is reconstructed geometrically. A prequantum Hermitian line bundle $(L,\nabla)$ with curvature $F_\nabla=-i\omega/\hbar$ realises the Poisson algebra on its sections. A polarization selects a commutative subalgebra and reduces the sections to the quantum Hilbert space $\mathcal{H}$. Half-forms supply the metaplectic correction. The Groenewold-van Hove obstruction confirms that the construction cannot be an isomorphism on the whole Poisson algebra; the geometric choices themselves determine the quantizable observables.
In formulas, prequantization produces a Hermitian line bundle $(L,\nabla)$ with $F_\nabla=-i\omega/\hbar$; a polarization $P$ selects $\Gamma_P(L)$; and half-forms yield the quantum Hilbert space $\mathcal{H}=L^2(\Gamma_P(L\otimes\delta_P^{1/2}))$.
spacetime symmetry and particles
The same representation-theoretic principle is applied to the Poincare group $$ \mathcal{P}=\mathbb{R}^{1,3}\rtimes SO^+(1,3). $$ Irreducible unitary representations are classified by Mackey induction from the little groups of the momentum orbits. The orbit invariant is the mass; the little-group representation is the spin or helicity. An elementary particle is identified with one such irreducible representation $\pi$ of $\mathcal{P}$: the state space is $\mathcal{H}_\pi$, the mass shell is the momentum orbit supporting the spectral measure of the translation generators, and the little-group representation supplies the spin or helicity labels.
from particles to local fields
Interactions that change particle number force the transition from a single-particle Hilbert space to Fock space. Locality, causality, and Poincare covariance then require that the creation and annihilation operators be assembled into operator-valued distributions (quantum fields) transforming covariantly under the Poincare group and satisfying microcausality. The spin-statistics connection and the CPT theorem are consequences of these requirements. The $S$-matrix elements computed from local interactions reproduce the phenomenological successes of relativistic quantum mechanics and quantum electrodynamics.
In the free theory the asymptotic fields create the Mackey particles; in the interacting theory the same local densities $\mathcal{H}_{\mathrm{int}}(x)$ generate the Dyson series for $S$, so that Poincare covariance and microcausality are built into every order of perturbation theory.
gauge geometry quantized
Classical gauge theory supplies principal bundles, connections, and curvatures. Quantization converts the infinite-dimensional gauge redundancy into BRST cohomology. Gauge fixing, ghosts, and the nilpotent BRST charge isolate the physical states. Spontaneous symmetry breaking generates masses for vector bosons while preserving renormalizability; anomaly cancellation constrains the fermion content. The resulting structure is the Standard Model: the classical connections of bundle geometry become the gluons, $W$, $Z$, and photon of experiment.
Equivalently, the classical curvature $F=dA+A\wedge A$ is quantized by passing to a BRST complex with nilpotent charge $Q$, and physical observables are the classes in $H^*(Q)$.
scale and effective theory
Ultraviolet divergences and the existence of a continuum limit are rephrased as questions about scale dependence. A family of effective interactions $I[L]$ related by renormalization-group flow replaces any single fundamental action. The Batalin-Vilkovisky formalism extends the construction to gauge theories, replacing the classical master equation by its quantum, scale-dependent counterpart. Renormalization becomes structural information about the space of physical theories: the bare action $S$ is replaced by the family $\{I[L]\}$ of local effective interactions related by $\frac{d}{dL}I[L]=\tfrac12(\delta I/\delta\phi,\dot P_L\,\delta I/\delta\phi)$ plus local counterterms.
geometry reconstructed from operators
The algebra of quantum observables is finally taken as the primary geometric datum. A noncommutative algebra $\mathcal{A}$ replaces the commutative algebra of functions on a classical space. A spectral triple $(\mathcal{A},\mathcal{H},D)$ recovers metric, differential, and topological information. $K$-theory, cyclic cohomology, and the local index formula generalize the characteristic classes and the Atiyah-Singer theorem. Ordinary manifolds, foliations, and the local operator algebras of quantum field theory all appear as special cases.
Geometry itself is reconstructed from operators: starting from an algebra $\mathcal{A}$ of observables acting on $\mathcal{H}$, a Dirac operator $D$ with compact resolvent and bounded commutators $[D,a]$ produces a spectral triple $(\mathcal{A},\mathcal{H},D)$ from which the Connes distance and the local index pairing are computed.
the complete architecture
The logical trajectory may be stated without schematic diagrams. Symplectic mechanics on $(M,\omega)$ supplies the Poisson algebra $(C^\infty(M),\{\cdot,\cdot\})$. Operator mechanics replaces it by a representation of a Lie algebra of observables on a Hilbert space $\mathcal{H}$. Representation theory extracts quantum numbers from Casimirs and highest weights. Spectral analysis enlarges $\mathcal{H}$ to a Gelfand triple $\Phi\subset\mathcal{H}\subset\Phi'$. Geometric quantization reconstructs $\mathcal{H}$ from $(L,\nabla)$ and a polarization. Mackey theory identifies particles with irreducible unitary representations of $\mathcal{P}$. Locality assembles creation operators into fields $\psi_\ell(x)$. Gauge geometry is quantized by BRST cohomology $H^*(Q)$. Scale dependence replaces a bare action $S$ by effective interactions $I[L]$. Finally noncommutative geometry recovers metric and topological data from a spectral triple $(\mathcal{A},\mathcal{H},D)$.
Each stage answers a question left open by the preceding one: how classical observables become operators, how symmetries produce quantum numbers, how continuous spectra are represented, how phase space produces a Hilbert space, how spacetime symmetry produces particles, how locality produces fields, how gauge geometry survives quantization, how scale organises theories, and finally how geometry itself can be recovered from an algebra of operators.
The three-program curriculum therefore closes into a single geometric-algebraic construction: mechanics organises motion and symplectic structure on $(M,\omega)$; field theory organises locality and geometric fields on bundles $E\to M$; quantum physics organises operators, representations, and the reconstruction of geometry from algebras of observables.