geometric quantization

geometric quantization is a rigorous mathematical framework within mathematical physics for constructing a quantum theory from a given classical mechanical system. The procedure aims to systematically associate a Hilbert space of quantum states and operators to a symplectic manifold representing the classical phase space. Developed through seminal contributions by Bertram Kostant and Jean-Marie Souriau, it provides deep insights into the interplay between geometry, topology, and quantum mechanics.

Mathematical foundations

The starting point is a classical phase space modeled as a symplectic manifold \((M, \omega)\), where \(\omega\) is a closed, non-degenerate 2-form. A fundamental requirement is that the symplectic form represents an integral cohomology class in \(H^2(M, \mathbb{Z})\), a condition known as the prequantization condition. This topological constraint ensures the existence of a complex line bundle \(L \to M\) with a connection whose curvature form is \(\omega\). Key foundational work in this area is deeply connected to the theory of characteristic classes and was influenced by the Weil conjecture.

Prequantization

The prequantization step constructs a Hilbert space from the space of square-integrable sections of the line bundle \(L\). The covariant derivative associated with the connection is used to lift classical observables, which are smooth functions on \(M\), to operators acting on these sections. This lift, defined via the Kostant–Souriau prequantization formula, satisfies a direct correspondence with the Poisson bracket algebra. However, the resulting Hilbert space is typically too large, failing to reproduce the correct quantum multiplicities, a problem historically noted in the work of Hermann Weyl and Paul Dirac.

Polarization

To reduce the size of the Hilbert space to the correct physical degrees of freedom, one introduces a polarization \(P\). This is a choice of a Lagrangian subbundle of the complexified tangent bundle \(T_{\mathbb{C}}M\), which selects which classical variables are to be treated as "positions" or "momenta." The quantum Hilbert space is then defined as the space of polarized sections, those sections annihilated by the covariant derivative in the direction of \(P\). Common choices include Kähler polarization, where \(M\) is a Kähler manifold and the Hilbert space consists of holomorphic sections, and real polarization, related to the Bohr–Sommerfeld quantization conditions.

Metaplectic correction

Also known as half-form correction, this step addresses the fact that the quantization of certain observables, like the kinetic energy, may be off by a factor depending on the Maslov index. The correction involves tensoring the prequantum line bundle with the square root of the canonical bundle of the polarization, a structure related to the metaplectic group. This ensures that the final quantization procedure is projectively invariant and yields the correct spectra for operators, aligning with predictions from the Schrödinger equation and WKB approximation.

Examples and applications

A canonical example is the quantization of the harmonic oscillator, where the phase space is \(\mathbb{R}^2\) and a Kähler polarization leads to the standard Fock space representation. In quantum field theory, geometric quantization is applied to gauge theories and the Chern–Simons theory, linking to topological quantum field theory. It has been instrumental in the representation theory of Lie groups, particularly for constructing unitary representations of groups like the Heisenberg group and SU(2), with implications for the orbit method and the study of coadjoint orbits.

Relation to other quantization schemes

Geometric quantization is one of several rigorous approaches to the quantization problem. It is closely related to deformation quantization, pioneered by François Bayen and Moshe Flato, which focuses on deforming the algebra of functions on the phase space. It also connects to Berezin quantization on Kähler manifolds and Toeplitz quantization. Unlike the operator-focused canonical quantization associated with Werner Heisenberg and Pascual Jordan, geometric quantization emphasizes the underlying geometric and topological structures, providing a complementary perspective to the path integral formulation of Richard Feynman. Category:Mathematical physics Category:Symplectic geometry Category:Quantum mechanics