Fact-checked by Grok 2 weeks ago

Geometric quantization

Geometric quantization is a mathematical framework in physics and geometry that associates a Hilbert space of quantum states and a representation of the algebra of classical observables as self-adjoint operators to a classical phase space modeled as a symplectic manifold, employing tools from differential geometry such as line bundles and polarizations to ensure compatibility with Dirac's canonical quantization conditions.^[1] The theory emerged in the mid-20th century as an effort to geometrize the transition from classical to quantum mechanics, building on symplectic geometry and representation theory; it was independently formulated by Jean-Marie Souriau in his 1966 paper "Quantification géométrique," which introduced prequantization via circle bundles over phase spaces, and by Bertram Kostant in his 1970 work "Quantization and Unitary Representations," which connected quantization to unitary representations of Lie groups on coadjoint orbits.^[2]^[3] At its core, geometric quantization proceeds in stages: first, prequantization constructs a Hermitian line bundle over the symplectic manifold (M, ω) equipped with a connection whose curvature form equals ω/iℏ, yielding a prequantum Hilbert space of global sections and operator representations that satisfy [Â_f, Â_g] = iℏ Â_{{f,g}} for Poisson bracket {f,g}; this step, however, produces an infinite-dimensional space unsuitable for physical wave functions.^[1]^[4] To refine this, a polarization is selected—a maximal positive Lagrangian subbundle of the complexified tangent bundle, such as the holomorphic or real polarization—to restrict the quantum states to sections that are covariantly constant along the polarization directions, effectively reducing the dependence on half the phase space coordinates and yielding a finite-dimensional Hilbert space for compact manifolds.^[1]^[4] An important correction, half-form quantization, addresses issues with the inner product by incorporating half-density bundles, ensuring unitarity and the correct transformation properties under coordinate changes, particularly for Kähler polarizations where the quantum Hilbert space consists of holomorphic sections of the bundle.^[1] Beyond basic mechanics, geometric quantization has profound applications in linking irreducible unitary representations of Lie groups to quantizations of coadjoint orbits via the Kirillov-Kostant-Souriau (KKS) correspondence, influencing areas like integrable systems, geometric invariant theory, and modern approaches to quantum field theory on curved spacetimes.^[3]^[5]

Mathematical Background

Symplectic Manifolds

A symplectic manifold is a pair (M, \omega), where M is a smooth manifold of even dimension $2n and \omega is a closed, non-degenerate 2-form on M.^[6] The closedness condition means that the exterior derivative satisfies d\omega = 0, ensuring the form is locally exact in a manner compatible with the manifold's topology.^[6] Non-degeneracy implies that for every point p \in M and every nonzero tangent vector v \in T_p M, there exists a vector w \in T_p M such that \omega(v, w) \neq 0, which induces a non-singular pairing on the tangent space.^[6] This structure captures the phase space of classical mechanics, where positions and momenta are treated on equal footing.^[7] The Darboux theorem asserts that around any point in a symplectic manifold, there exist local coordinates (q^1, \dots, q^n, p_1, \dots, p_n) in which the symplectic form takes the standard expression \omega = \sum_{i=1}^n dq^i \wedge dp_i.^[8] These coordinates, often called canonical or Darboux coordinates, highlight the intrinsic geometric uniformity of symplectic manifolds, as the local form is independent of the specific choice of point.^[8] This theorem underscores that symplectic geometry lacks local invariants beyond the dimension, unlike Riemannian geometry where curvature plays a role.^[8] The powers of the symplectic form yield a natural volume element on the manifold. Specifically, for a $2n-dimensional symplectic manifold, the symplectic volume form is given by \frac{\omega^n}{n!}, which provides a canonical orientation and measure.^[9] This volume form derives the Liouville measure on the phase space, which is invariant under the canonical transformations preserving \omega and plays a central role in statistical mechanics for computing phase space volumes.^[9] A prototypical example of a symplectic manifold is the cotangent bundle T^*Q of a smooth configuration manifold Q, equipped with its canonical symplectic form.^[7] Here, points in T^*Q represent positions in Q paired with momenta in the cotangent spaces, and the symplectic structure arises naturally from the geometry of differentials on Q.^[7] For instance, when Q = \mathbb{R}^n, T^*Q = \mathbb{R}^{2n} with the standard symplectic form \sum dq^i \wedge dp_i, serving as the phase space for n free particles.^[7]

Hamiltonian Mechanics

In Hamiltonian mechanics, the phase space of a classical system is modeled as a symplectic manifold (M, \omega), where the Hamiltonian function H: M \to \mathbb{R} serves as the observable representing the total energy of the system.^[10] This function encodes the dynamics, with observables corresponding to smooth functions on M. The dynamics are governed by the Hamiltonian vector field X_H, defined through the relation \iota_{X_H} \omega = -dH, where \iota denotes the interior product with the symplectic form \omega.^[11] In local canonical coordinates (q^i, p_i) on M, the components of X_H take the explicit form

X_H = \sum_i \left( \frac{\partial H}{\partial p_i} \frac{\partial}{\partial q^i} - \frac{\partial H}{\partial q^i} \frac{\partial}{\partial p_i} \right).

^[10] The integral curves of X_H generate the time evolution of the system, yielding Hamilton's equations of motion:

\frac{dq^i}{dt} = \frac{\partial H}{\partial p_i}, \quad \frac{dp_i}{dt} = -\frac{\partial H}{\partial q^i}.

^[10] These equations describe how position and momentum coordinates evolve along the flow. A key algebraic structure arises from the Poisson bracket, defined for smooth functions f, g \in C^\infty(M) as \{f, g\} = \omega(X_f, X_g) = X_f g = -X_g f.^[11] This bilinear operation satisfies bilinearity, antisymmetry, the Leibniz rule, and the Jacobi identity \{f, \{g, h\}\} + \{g, \{h, f\}\} + \{h, \{f, g\}\} = 0, endowing C^\infty(M) with the structure of a Lie algebra.^[10] The Poisson bracket quantifies the time evolution of observables, with \frac{d f}{dt} = \{f, H\} for any f \in C^\infty(M). The flow \phi_t generated by X_H is a symplectomorphism, preserving the symplectic form \omega via \phi_t^* \omega = \omega for all t.^[11] This preservation implies conservation laws, such as the invariance of phase space volumes under the flow, as captured by Liouville's theorem, which follows from the fact that Hamiltonian vector fields are divergence-free with respect to the Liouville measure induced by \omega^n / n!.^[10]

Historical Development

Early Motivations

Canonical quantization, the standard procedure for transitioning from classical Hamiltonian mechanics to quantum mechanics by promoting coordinates and momenta to operators satisfying commutation relations, encountered significant challenges that motivated a more geometric approach. A primary issue was the operator ordering ambiguity, where classical products of non-commuting phase space variables, such as qp, could be mapped to multiple quantum operators like \hat{q}\hat{p} or \hat{p}\hat{q}, leading to non-unique Hermitian Hamiltonians and inconsistent results for observables. This ambiguity became particularly acute in systems with nonlinear terms or constraints, as highlighted by the Groenewold-van Hove no-go theorem, which demonstrated that no linear map from classical Poisson algebras to quantum operator algebras could preserve both products and brackets for all functions on phase space.^[12]^[13]^[14] Another limitation arose in curved phase spaces, where canonical quantization failed to uphold the Ehrenfest theorem in its classical form, preventing expectation values from evolving according to classical Hamilton's equations due to the lack of a covariant operator framework. In such spaces, the theorem's derivation assumes flat geometry, and deviations lead to discrepancies between quantum dynamics and classical trajectories, underscoring the need for a quantization method intrinsic to the symplectic structure. Paul Dirac addressed related algebraic foundations by proposing quantization as the passage from the classical Poisson algebra—where \{f, g\} denotes the Poisson bracket—to irreducible representations of the corresponding Lie algebra of operators, with commutators [\hat{f}, \hat{g}] = i\hbar \{\hat{f}, \hat{g}\}, aiming to preserve the structure of classical observables. However, this approach struggled with global consistency on non-trivial manifolds.^[12]^[13]^[14] Hermann Weyl's 1927 quantization scheme attempted to resolve ordering issues through symmetric (Weyl) ordering, mapping classical functions via Fourier transforms to operators on L^2(\mathbb{R}^n), but it exhibited limitations for systems with non-linear symmetries, failing to produce self-adjoint operators for certain observables like the square of angular momentum and not fully accommodating curved geometries or symmetry groups. In the 1950s, these problems spurred geometric efforts to quantize general relativity, with researchers like Peter Bergmann, Paul Dirac, John Wheeler, and Bryce DeWitt developing geometrodynamics, treating spatial metrics as dynamical variables on curved phase spaces to avoid flat-space assumptions, though constraints from diffeomorphism invariance complicated operator definitions. Similar geometric insights were applied to rigid body motion, where phase space on coadjoint orbits of rotation groups required symplectic structures to capture rotational symmetries, prefiguring later quantization techniques.^[12]^[13]^[14] Representation theory played a crucial role in these early motivations, providing tools to classify irreducible representations of symmetry groups like SU(2) for angular momentum, ensuring that quantum states transformed correctly under group actions and revealing how classical Poisson structures on orbits correspond to unitary representations. This perspective, rooted in works linking Lie group representations to phase space geometry, highlighted the inadequacy of coordinate-based canonical methods for capturing irreducible sectors of symmetry-reduced systems, paving the way for a fully geometric framework.^[12]^[13]^[14]

Formalization by Kostant and Souriau

The formalization of geometric quantization as a rigorous mathematical framework for associating quantum Hilbert spaces to classical symplectic manifolds emerged independently in the late 1960s through the contributions of Jean-Marie Souriau and Bertram Kostant.^[15]^[16] Souriau first introduced the core concepts in his 1966 paper "Quantification géométrique," which formulated prequantization via circle bundles over phase spaces.^[2] These ideas were detailed and expanded in his 1970 book Structure des Systèmes Dynamiques (published in French by Dunod and later translated into English as Structure of Dynamical Systems: A Symplectic View of Physics), which presented prequantum bundles as a geometric tool to encode the phase space structure of dynamical systems into a line bundle over the symplectic manifold, equipped with a connection whose curvature matches the symplectic form up to a factor related to Planck's constant.^[16] This approach emphasized the symplectic geometry underlying classical mechanics and provided a pathway to quantization by associating observables to vector fields and sections of the bundle.^[16] Concurrently, Kostant developed a parallel geometric perspective in his 1970 paper "Quantization and Unitary Representations," published in the Lecture Notes in Mathematics series by Springer, where he formalized prequantization and extended it to construct unitary representations of Lie groups.^[15] Kostant's method integrated Kirillov's orbit method, which classifies unitary representations via coadjoint orbits in the dual of a Lie algebra, by applying geometric quantization directly to these orbits as symplectic manifolds.^[15] This framework highlighted the role of symplectic reduction and coadjoint actions in bridging classical Poisson structures to quantum operators, particularly for semisimple Lie groups.^[15] By the early 1970s, parallel developments by Kostant and Souriau converged on the crucial notion of polarization, a choice of complex subbundle of the tangent space that reduces the dimensionality of the prequantum Hilbert space to yield a true quantum Hilbert space of half the phase space dimension.^[5] This step addressed limitations in prequantization by selecting Lagrangian submanifolds compatible with the symplectic structure, enabling the construction of square-integrable sections as wave functions.^[5] Initial applications focused on quantizing coadjoint orbits of compact Lie groups, where the resulting Hilbert spaces realized irreducible unitary representations, thus linking geometric quantization to representation theory and verifying its consistency with known quantum mechanical examples like the hydrogen atom.^[15]

Prequantization

Line Bundles and Connections

In geometric quantization, the prequantum structure begins with the construction of a Hermitian line bundle L \to M over the symplectic manifold (M, \omega), equipped with a connection \nabla whose curvature satisfies F_\nabla = -i \omega (with \hbar = 1).^[3] This condition ensures that the connection encodes the symplectic geometry, as the curvature 2-form F_\nabla is a global section of \Lambda^2 T^*M \otimes \operatorname{End}(L) representing the infinitesimal holonomy, directly tying the bundle's geometry to \omega.^[3] Such a prequantum line bundle exists if and only if the cohomology class [\omega]/2\pi lies in the integral second cohomology group H^2(M, \mathbb{Z}), known as the integrality or prequantizability condition.^[3] This topological obstruction guarantees that \omega can be represented by the curvature of a connection on a line bundle, allowing the classical phase space to be "quantized" at the prequantum level.^[3] Locally, over an open cover \{U_\alpha\} of M, the bundle L admits trivializations with transition functions g_{\alpha\beta}: U_\alpha \cap U_\beta \to S^1 given by e^{i \theta_{\alpha\beta}}, where the \theta_{\alpha\beta} are real-valued smooth functions satisfying the cocycle condition \theta_{\alpha\beta} + \theta_{\beta\gamma} - \theta_{\alpha\gamma} = 2\pi n_{\alpha\beta\gamma} for some integer-valued function n_{\alpha\beta\gamma} on triple intersections.^[3] These transition functions ensure the bundle is well-defined globally, with the Hermitian metric preserving unitarity (|g_{\alpha\beta}| = 1), and the connection \nabla is specified locally by 1-forms \theta_\alpha on each U_\alpha such that the curvature matches d\theta_\alpha = -i \omega on U_\alpha. The connection arises from a canonical 1-form \theta on the frame bundle L^+ (the principal U(1)-bundle associated to L), which is pulled back to define the covariant derivative; specifically, for a vector field X and section s, \nabla_X s = X s + i (s^* \theta)(X) s, where s^* \theta is the pullback.^[3] This \theta is the tautological form on L^+ satisfying \theta(\xi) = 1 for fundamental vector fields \xi generating the U(1)-action. A concrete example occurs on the phase space \mathbb{R}^{2n} with coordinates (q^i, p_i) and standard symplectic form \omega = \sum dp_i \wedge dq^i; here, L is trivialized globally, and the connection is given by the Liouville 1-form \theta = \sum p_i dq^i, whose exterior derivative yields d\theta = \omega, satisfying the curvature condition up to the factor -i.^[3]

Prequantum Operators

In geometric quantization, the prequantum operators act on the space of sections of the prequantum line bundle L \to M introduced in the preceding section on line bundles and connections. The prequantum Hilbert space is the space L^2(M, L) of square-integrable sections of L, formed by completing the pre-Hilbert space of compactly supported smooth sections \Gamma_c(M, L) with respect to the inner product \langle \psi_1, \psi_2 \rangle = \int_M \langle \psi_1, \psi_2 \rangle_L \, \frac{\omega^n}{n!}, where \langle \cdot, \cdot \rangle_L is the Hermitian metric on L and \omega is the symplectic form on the manifold M. ^[17]^[18] The prequantum quantization map Q: C^\infty(M) \to \mathrm{End}(L^2(M, L)) associates to each smooth classical observable f \in C^\infty(M) a self-adjoint operator Q(f) defined by

Q(f) \psi = -i \nabla_{X_f} \psi + f \psi

for \psi \in \Gamma(M, L), where X_f is the Hamiltonian vector field of f satisfying df = -\iota_{X_f} \omega, and \nabla is the connection on L with curvature form \mathrm{curv}(\nabla) = -i \omega (in units where \hbar = 1). ^[17]^[18] The covariant derivative \nabla_X along a vector field X acts on sections as \nabla_X \psi = X \psi + (X \lrcorner A) \psi, where A is the local connection 1-form representing \nabla, ensuring that Q(f) is well-defined globally and independent of local trivializations of L. ^[17]^[18] These operators preserve the classical Poisson algebra in the quantum setting: for smooth functions f, g \in C^\infty(M),

[Q(f), Q(g)] = i \{f, g\},

where \{f, g\} is the Poisson bracket on M, reproducing the Dirac quantization condition [Q(f), Q(g)] = i \{f, g\} Q(1) with Q(1) the identity operator. ^[17]^[18] Additionally, the prequantum structure provides a unitary representation of the Hamiltonian flows on L^2(M, L). The flow \phi_t^f generated by X_f acts unitarily via parallel transport with respect to \nabla: if U_t^f \psi = (\phi_t^f)^* \psi denotes the pullback of sections, then U_t^f is unitary and satisfies \frac{d}{dt} U_t^f = -i Q(f) U_t^f, intertwining the classical dynamics with quantum evolution. ^[17]^[18]

Polarization and Quantization

Choice of Polarization

In geometric quantization, the choice of polarization reduces the prequantum Hilbert space by selecting a subspace of sections that correspond to quantum wave functions, resolving the overcompleteness inherent in prequantization. A polarization P is defined as an integrable Lagrangian subbundle of the complexified tangent bundle TM \otimes \mathbb{C}, which is maximally isotropic with respect to the complexified symplectic form \omega_\mathbb{C}. This integrability ensures that P is locally spanned by complete vector fields, allowing for a consistent foliation of the phase space, while the maximal isotropy condition implies that P has half the rank of TM \otimes \mathbb{C} and that \omega_\mathbb{C} vanishes on P. The concept originates in the foundational works of Kostant and Souriau.^[16] Two prominent types of polarizations are Kähler and real polarizations, each suited to different geometric settings. A Kähler polarization arises from a compatible almost complex structure J on the symplectic manifold, such that \omega(\cdot, J\cdot) defines a Hermitian metric; here, P is the (0,1)-bundle T^{0,1}M, and polarized sections are holomorphic sections of the prequantum line bundle.^[19] This choice is particularly natural on Kähler manifolds, like the complex projective space, where it aligns with standard holomorphic quantization. In contrast, a real polarization consists of a real Lagrangian subbundle P \cap \overline{P} that foliates the manifold into Lagrangian leaves, with polarized sections required to be constant along these leaves; examples include the vertical polarization on cotangent bundles, where leaves are the fibers themselves.^[19] For the resulting Hilbert space to be well-defined and physically meaningful, polarizations must satisfy specific criteria, including positivity and ellipticity. A positive polarization admits a positive definite Hermitian metric compatible with the symplectic structure and almost complex structure, ensuring the inner product on sections is non-degenerate. Ellipticity requires that the symbol of the associated \bar{\partial}-operator (or its real analog) is non-degenerate, guaranteeing that the polarized sections form a space of solutions to an elliptic partial differential equation complex, which facilitates global analysis and square-integrability. These properties, emphasized in refinements to the original Kostant-Souriau framework, ensure the polarization yields a finite-dimensional representation in compact cases or a suitable rigged Hilbert space otherwise.^[20] With a chosen polarization P, the geometric quantization map Q_P acts on the space of polarized sections of the prequantum bundle, refining the prequantum operators to produce self-adjoint operators on this reduced space and ensuring the quantization functor respects the Poisson bracket to Lie bracket correspondence up to the polarization. This map typically takes the form of a Kostant-Souriau operator restricted to sections covariantly constant along P, preserving the algebraic structure of observables.^[19]^[16]

Hilbert Space Construction

In geometric quantization, the choice of polarization P on the prequantum line bundle L \to M defines the space of polarized sections, which consist of smooth sections \psi \in \Gamma(M, L) that are covariantly constant along the distribution P, meaning \nabla_X \psi = 0 for all vector fields X \in \Gamma(M, P). For complex polarizations, such as Kähler polarizations, these reduce to holomorphic sections of L. This selection ensures that the sections encode the "physical states" by restricting to a half-dimensional subspace transverse to the classical phase space directions associated with P.^[21] The physical Hilbert space H_P is then the completion of the space of square-integrable polarized sections, denoted L^2(M, L, P), equipped with an inner product given by \langle \psi, \phi \rangle = \int_M H(\psi, \overline{\phi}) \, \frac{\omega^n}{n!}, where H is the Hermitian metric on L and \frac{\omega^n}{n!} is the Liouville volume form induced by the symplectic structure. For real polarizations, the integral may be taken over the quotient M/D by the leaves of the distribution D = P \cap \overline{P}, using a compatible measure to account for the foliation. This construction yields a Hilbert space whose dimension reflects the reduced phase space, with the inner product ensuring unitarity of the representation.^[21] The quantization map Q_P: C^\infty(M) \to \mathrm{End}(H_P) assigns to each classical observable f \in C^\infty(M) a self-adjoint operator on H_P via Q_P(f) \psi = \mathrm{proj}_P(-i \nabla_{X_f} \psi) + f \psi, where X_f is the Hamiltonian vector field of f, \nabla is the connection on L, and \mathrm{proj}_P denotes orthogonal projection onto the polarized sections. Here, the term -i \nabla_{X_f} arises from the prequantum operator, adjusted to preserve the polarization. This operator satisfies the Dirac quantization condition [Q_P(f), Q_P(g)] = i \{f, g\} + O(\hbar) up to lower-order terms, with exactness holding for basic functions—those constant along the leaves of P—while non-basic functions lead to anomalies requiring corrective structures like half-densities.^[21] A canonical example occurs with the vertical (position) polarization on the cotangent bundle M = T^*Q, where P is spanned by \partial/\partial p_j. The polarized sections are independent of the momenta p_j, yielding H_P \cong L^2(Q, dq) with the standard Lebesgue measure, and the quantization recovers the Schrödinger representation: position operators act by multiplication Q(q_j) \psi = q_j \psi, while momentum operators act as Q(p_j) \psi = -i \partial_{q_j} \psi (in units where \hbar = 1). This aligns with standard quantum mechanics on configuration space, illustrating how geometric quantization generalizes familiar representations.^[21]

Half-Form Bundles

In geometric quantization, when constructing the Hilbert space H_\Pi associated to a general polarization \Pi, the prequantum operators Q_\Pi(f) for classical observables f fail to yield a unitary representation of the algebra of observables. Instead, they produce a projective representation, where the operators differ by phase factors that depend on the choice of polarization.^[21] To address this issue, half-form bundles are introduced as a correction mechanism. For complex polarizations, the half-density bundle, denoted K^{1/2}, is defined as the square root of the bundle of (n,0)-densities on the symplectic manifold M, specifically K^{1/2} = |\Lambda^{n,0} T^* M|^{1/2}. The transition functions for K^{1/2} are the square roots of the transition functions for the full density bundle \Lambda^{n,0} T^* M, requiring the existence of such a square root, which holds under suitable topological conditions like the vanishing of the first Stiefel-Whitney class of the bundle. For real polarizations, the half-form bundle is constructed using half-densities on the quotient space M / \Pi.^[21]^[22] The corrected quantum line bundle is then the tensor product of the prequantum line bundle L with K^{1/2}, yielding L \otimes K^{1/2}. Sections of this bundle are of the form \psi \otimes \kappa^{1/2}, where \psi is a polarized section of L and \kappa is a section of the density bundle with |\kappa| = 1. The inner product on these sections is defined by integrating the Hermitian metric on L over the quotient space M / \Pi, using the half-densities to induce a finite volume measure on the leaves of the polarization.^[21]^[22] The quantization operators are adjusted to act covariantly on these sections. For a smooth function f on M, with Hamiltonian vector field X_f, the operator is given by

Q(f) (\psi \otimes \kappa^{1/2}) = \left[ -i \nabla_{X_f} \psi + \frac{1}{2} X_f (\log h) \psi \right] \otimes \kappa^{1/2} + f \psi \otimes \kappa^{1/2},

where \nabla is the connection on L and h is the Hermitian metric on the bundle. This modification includes a term accounting for the action of X_f on the half-density part, ensuring compatibility with the polarization.^[21]^[22] With the half-form correction, the quantized operators satisfy the commutation relation [Q(f), Q(g)] = i Q(\{f, g\}) up to a phase factor, yielding a projective representation of the Poisson algebra of classical observables.^[21]^[22]

Metaplectic Correction

The metaplectic group, denoted \mathrm{Mp}(2n, \mathbb{R}), is a central extension of the symplectic group \mathrm{Sp}(2n, \mathbb{R}) by \mathbb{Z}_2 \cong \{\pm 1\}, specifically a double cover given by the short exact sequence $1 \to \mathbb{Z}_2 \to \mathrm{Mp}(2n, \mathbb{R}) \to \mathrm{Sp}(2n, \mathbb{R}) \to 1.^[23] This structure arises naturally in the context of quantization, where symplectic transformations on the phase space must lift to unitary operators on the quantum Hilbert space, but generically yield projective representations due to phase ambiguities.^[21] The Lie algebra of \mathrm{Mp}(2n, \mathbb{R}) is the same as that of \mathrm{Sp}(2n, \mathbb{R}), but the group incorporates additional topological features, such as its non-simply connected nature, which resolves inconsistencies in representing certain loops in the symplectic group.^[24] In geometric quantization, the process yields a projective unitary representation of \mathrm{Mp}(2n, \mathbb{R}) on the Hilbert space H_\Pi associated to a polarization \Pi, rather than a true representation of \mathrm{Sp}(2n, \mathbb{R}).^[23] This projective nature accounts for the cocycle character of the representation, where the central \mathbb{Z}_2 factor introduces phases that ensure the quantization map commutes with symplectic diffeomorphisms up to unitarity.^[21] For instance, the metaplectic representation on spaces like the Fock space or L^2(\mathbb{R}^n) provides explicit unitary operators for quadratic Hamiltonians, linking classical symplectic flows to quantum evolution.^[19] The half-form correction, building on the density adjustments from half-form bundles, integrates the metaplectic structure by incorporating the square root of the determinant bundle \delta_\Pi = \det(T^*M / \Pi)^{1/2}, which is a line bundle of half-forms.^[23] Sections of the corrected prequantum bundle are then pairs s \otimes \alpha, where s is a section of the prequantum line bundle and \alpha is a half-form, ensuring the inner product \langle s \otimes \alpha, s' \otimes \alpha' \rangle = \int_M (s \otimes \alpha) \overline{(s' \otimes \alpha')} is well-defined and finite even for non-square-integrable polarized sections.^[21] This metaplectic half-form bundle requires a choice of metalinear structure, equivalent to a metaplectic structure on the manifold, and corrects the prequantum connection to \nabla_{\mathrm{corr}} = \nabla + \frac{1}{2} \nabla^{\delta_\Pi}, preserving polarization while achieving unitarity.^[24] The Blattner-Kostant-Sternberg (BKS) pairing provides a mechanism to compare quantizations across different polarizations \Pi and \Pi', defined as a sesquilinear map \langle \langle \cdot, \cdot \rangle \rangle : H_\Pi \times H_{\Pi'} \to \mathbb{C} via an integral kernel that projects sections from one polarization to the other. For strongly admissible pairs of polarizations, this pairing identifies H_\Pi and H_{\Pi'} up to unitary isomorphism, with the kernel constructed from the half-form corrected operators to handle non-polarization-preserving functions.^[21] In examples like the transition from vertical to horizontal polarization on cotangent bundles, the BKS map coincides with the Bargmann transform, ensuring equivalence.^[19] For nice symplectic manifolds—those admitting a metaplectic structure and compatible polarizations—the metaplectic correction via the BKS pairing guarantees that the resulting quantizations are independent of the choice of polarization up to isomorphism.^[23] This independence holds when the second Stiefel-Whitney class of the anti-canonical bundle vanishes, allowing global square roots and consistent lifts to the metaplectic group, thus providing a canonical quantum theory from the classical data.^[21]

Examples

Quantization of the 2-Sphere

The 2-sphere S^2 serves as a prototypical compact symplectic manifold in geometric quantization, realizable as the coadjoint orbit of the Lie group SU(2) at level j \in \mathbb{R}_{\geq 0}. In this setting, the symplectic form is given by \omega = \frac{j}{r^2} \sin \theta \, d\theta \wedge d\phi, where r denotes the radius of the sphere and coordinates (\theta, \phi) are the standard spherical ones; this form satisfies the integrality condition [\omega]/2\pi = 2j \in \mathbb{Z} when j is a non-negative half-integer, ensuring prequantizability. The total symplectic volume is then $4\pi j, reflecting the scaling by the orbit parameter j. The prequantum line bundle over S^2 \cong \mathbb{CP}^1 is the Hopf line bundle \mathcal{O}(j) (more precisely, \mathcal{O}(2j) to match the Chern class), a complex line bundle with first Chern class c_1(\mathcal{O}(2j)) = 2j. Equipped with a compatible connection whose curvature is \omega, this bundle realizes the prequantization, where the Kostant-Souriau operators act as covariant derivatives on sections, preserving the classical Poisson algebra up to central extension. Choosing the Kähler polarization associated to the Fubini-Study metric on \mathbb{CP}^1, the Hilbert space of quantum states consists of the space of holomorphic sections of \mathcal{O}(2j). These sections form an orthonormal basis given by the spherical harmonics Y_m^l(\theta, \phi) with fixed angular momentum l = j and magnetic quantum numbers m = -j, -j+1, \dots, j, providing a complete L^2-orthonormal set under the inner product induced by the Liouville measure. The dimension of this Hilbert space is $2j + 1, precisely matching the dimension of the irreducible spin-j representation of SU(2). A concrete illustration arises in quantizing the height function h(\theta) = r \cos \theta, the moment map for the U(1) action generating rotations about the z-axis. The corresponding quantum operator J_z acts diagonally on the basis \{Y_m^j\} with eigenvalues m (in units \hbar = 1), reproducing the spectrum -j, -j+1, \dots, j and thereby realizing the spin-j representation of SU(2) on the Hilbert space. This example demonstrates how geometric quantization recovers the representation theory of compact Lie groups from coadjoint orbit data.

Cotangent Bundle Quantization

The cotangent bundle T^*\mathbb{R}^n serves as the phase space for a free particle in n-dimensional Euclidean space, equipped with the canonical symplectic structure \omega = \sum_{i=1}^n dq_i \wedge dp_i, where q = (q_1, \dots, q_n) are position coordinates and p = (p_1, \dots, p_n) are momentum coordinates.^[25] This symplectic form arises as the exterior derivative of the tautological one-form \theta = \sum_{i=1}^n p_i \, dq_i, ensuring the integrality condition for prequantization when scaled by Planck's constant \hbar.^[26] In geometric quantization, the vertical polarization is selected, consisting of the distribution spanned by the vector fields \{\partial/\partial p_i\}_{i=1}^n, whose integral manifolds are the fibers T^*_q \mathbb{R}^n \cong \mathbb{R}^n over each point q \in \mathbb{R}^n.^[25] The prequantum line bundle over T^*\mathbb{R}^n is trivial, L = T^*\mathbb{R}^n \times \mathbb{C}, with a Hermitian connection whose curvature is \omega / \hbar and whose connection one-form is -(i/\hbar) \theta.^[26] Polarized sections of this bundle, covariant constant along the vertical polarization, are functions s(q,p) = \psi(q) independent of p, yielding wave functions \psi(q) on the configuration space \mathbb{R}^n.^[25] The resulting Hilbert space is the standard L^2(\mathbb{R}^n, dq), where dq = dq_1 \cdots dq_n is the Lebesgue measure, recovering the position representation of quantum mechanics.^[26] The quantization map applied to the classical kinetic energy Hamiltonian H = \frac{1}{2m} \sum_{i=1}^n p_i^2 yields the Schrödinger operator -\frac{\hbar^2}{2m} \Delta_q, where \Delta_q = \sum_{i=1}^n \partial^2 / \partial q_i^2 is the Laplacian on \mathbb{R}^n, via the prequantum operators \hat{p}_i = -i\hbar \partial / \partial q_i acting on \psi(q).^[25] In this case, the half-form correction, which typically adjusts for the lack of a natural density on the leaves of the polarization, is trivial due to the flat Euclidean structure of the base, preserving the standard L^2 inner product without modification.^[26]

Generalizations

Poisson Manifold Quantization

A Poisson manifold is a smooth manifold M equipped with a Poisson bivector field \pi \in \Gamma(\wedge^2 TM) that satisfies the integrability condition [\pi, \pi]_{\mathrm{Sch}} = 0, where [\cdot, \cdot]_{\mathrm{Sch}} denotes the Schouten-Nijenhuis bracket. This structure induces a Poisson bracket on the algebra of smooth functions \{f, g\} = \pi(df, dg) for f, g \in C^\infty(M), which extends the Hamiltonian mechanics framework to more general phase spaces beyond symplectic manifolds. The sharp map \pi^\#: T^*M \to TM defined by \pi^\#( \alpha ) ( \beta ) = \pi( \alpha, \beta ) plays a central role, associating covectors to vectors and highlighting the non-degeneracy loci of the Poisson structure. The Poisson bivector \pi defines a Dirac structure on the generalized tangent bundle TM \oplus T^*M, the graph of the bundle map \pi^\#: T^*M \to TM, i.e., the subbundle \{(\pi^\#(α), α) \mid α \in T^*M\} of TM \oplus T^*M, which is maximally isotropic and integrable under the Courant bracket. This leads to a foliation of M into symplectic leaves: the maximal integral submanifolds L where \pi|_L is invertible, inducing a symplectic form \omega_L via \omega_L(\pi^\#(df), \pi^\#(dg)) = \{f, g\}. On these leaves, the Poisson structure restricts to a genuine symplectic geometry, while transversally, the structure may degenerate, capturing the full complexity of the Poisson manifold. Prequantization proceeds by requiring the periods of \omega_L over closed surfaces in each leaf to be integer multiples of $2\pi \hbar, allowing the construction of line bundles over the leaves or, more globally, via the integration of the associated Poisson Lie algebroid to a symplectic groupoid \Sigma \rightrightarrows M. Leafwise prequantum line bundles L \to M with connections whose curvatures match \omega_L / i\hbar on leaves, or multiplicative line bundles over \Sigma, provide the prequantum data.^[27] Quantization of the Poisson manifold restricts to the quantization of each symplectic leaf, yielding a pre-Hilbert space of polarized sections of the prequantum bundle over L, typically using Kähler or real polarizations adapted to the leaf geometry. To account for the transverse directions and ensure a consistent global quantization, transverse corrections are incorporated, often via half-form bundles \Omega^{1/2}_P over the polarized groupoid and convolution algebras of sections. This construction, polarized and twisted by the prequantum line bundle, completes to a C^*-algebra representing the quantum observables, with transverse measures derived from symplectic potentials or KK-theory pushforwards along the foliation. The resulting quantization functor maps the Poisson algebra C^\infty(M) to operators on the leafwise Hilbert spaces, preserving the Poisson bracket in the semiclassical limit.^[27] A prototypical example is the dual \mathfrak{g}^* of a Lie algebra \mathfrak{g}, endowed with the Kirillov-Kostant-Souriau (KKS) Poisson structure, where the Poisson bivector is defined such that \{f, g\}(\mu) = \langle \mu, [\mathrm{d}f(\mu), \mathrm{d}g(\mu)]_{\mathfrak{g}} \rangle for f, g \in C^\infty(\mathfrak{g}^*), with the sharp map \pi^\#(\mathrm{d}f)_\mu corresponding to the infinitesimal coadjoint action generated by \mathrm{d}f(\mu) \in \mathfrak{g}, making \mathfrak{g}^* a linear Poisson manifold. The symplectic leaves are the coadjoint orbits, each quantized via geometric quantization to irreducible representations of the corresponding Lie group, realizing the orbit method. For finite-dimensional \mathfrak{g}, this yields the Moyal *-product on the algebra of polynomial functions when considering the constant bivector case, unifying representation theory with Poisson geometry.

Relation to Deformation Quantization

Deformation quantization provides an algebraic approach to quantization by deforming the commutative algebra of smooth functions C^\infty(M) on a Poisson manifold M into a non-commutative associative algebra. Specifically, it constructs a star product \star on C^\infty(M)[[\hbar]], where \hbar is a formal parameter, such that the commutator satisfies \frac{[f,g]_\star}{i\hbar} \to \{f,g\} as \hbar \to 0, with \{f,g\} denoting the Poisson bracket.^[28] On symplectic manifolds, Fedosov's construction yields an explicit deformation quantization by selecting a symplectic connection and defining the star product through the Weyl curvature of that connection, ensuring the result is independent of the choice up to equivalence.^[29] For polarizable symplectic manifolds, geometric quantization yields a Hilbert space that carries a representation of the algebra of observables defined by the star product from deformation quantization, as exemplified by the Berezin-Toeplitz operators on Kähler manifolds, where the quantization map identifies the deformed algebra up to equivalence.^[30] While both methods achieve compatible quantizations on such manifolds, they differ fundamentally in their perspectives: geometric quantization is inherently geometric and fiberwise, relying on a choice of polarization to construct sections of associated line bundles, whereas deformation quantization is algebraic and global, deforming the function algebra without reference to a specific Hilbert space or polarization.^[31] Kontsevich's formality theorem extends deformation quantization to general Poisson manifolds by establishing an L_\infty-quasi-isomorphism from the Gerstenhaber algebra of multivector fields to Hochschild cochains, yielding a canonical star product that parallels the leafwise geometric quantization approach on the symplectic leaves of the Poisson structure.^[32]

References

[1]
[PDF] Geometric Quantization - arXiv
Jan 8, 2018 · Geometric quantization (GQ) is the attempt to use the classical phase space of a physical system and the language of differential geometry in ...
[2]
Quantification géométrique - Project Euclid
Quantification géométrique. J.-M. Souriau. DOWNLOAD PDF + SAVE TO MY LIBRARY. Comm. Math. Phys. 1(5): 374-398 (1966). There is no online version at this time.
[3]
Quantization and unitary representations - SpringerLink
Sep 20, 2006 · Kostant, B. (1970). Quantization and unitary representations. In: Taam, CT (eds) Lectures in Modern Analysis and Applications III. Lecture Notes in Mathematics ...
[4]
Geometric Quantization
Geometric quantization sets as its goal the construction of quantum objects using the geometry of the corresponding classical objects as a point of departure.
[5]
[PDF] mathematical foundations of geometric quantization - arXiv
In this review the foundations of Geometric Quantization are explained and discussed. In particular, we want to clarify the mathematical aspects related to ...
[6]
[PDF] Symplectic Geometry - University of Oregon
A symplectic form on a manifold X is a closed, nondegenerate 2-form. A nondegenerate 2-form is a smoothly varying perfect pairing on the tangent spaces of X ...
[7]
[PDF] symplectic manifolds - UChicago Math
Aug 31, 2019 · The cotangent bundle on a manifold is a convenient way of generating an even dimensional manifold with a natural symplectic structure. To define ...
[8]
[PDF] lecture 2: symplectic manifolds
ω is non-degenerate since it is a volume form;. • ω is closed since it is ... Since R2n is contractible, any closed 2-form is exact. It follows that ...
[9]
[PDF] Introduction to symplectic mechanics - HAL
Mar 17, 2022 · Any symplectic manifold is canonically oriented and receives a canonical mea- sure ω∧n/n! called Liouville measure. • In the remark (4), we have ...<|control11|><|separator|>
[10]
Mathematical Methods of Classical Mechanics | SpringerLink
$$54.99 In stockIn this text, the author constructs the mathematical apparatus of classical mechanics from the beginning, examining all the basic problems in dynamics.
[11]
[PDF] Hamiltonian Mechanics and Symplectic Geometry
The two main classes of examples of symplectic manifolds are. • Cotangent bundles: M = T∗N. In this case there is a canonical one-form θ defined at a point (n, ...
[12]
Quantum Gravity (Stanford Encyclopedia of Philosophy)
Summary of each segment:
[13]
[PDF] Some Comments on the History, Theory, and Applications of ...
The rigid body, whose equations were discovered by Euler around 1740, was a ... [1992], Geometric Quantization, Clarendon Press, Oxford. Jerrold E ...
[14]
[PDF] Quantum Theory, Groups and Representations: An Introduction ...
This book began as course notes prepared for a class taught at Columbia Uni- versity during the 2012-13 academic year. The intent was to cover the basics of.
[15]
Quantization and Unitary Representations by Bertram Kostant Part I
Quantization and Unitary Representations by Bertram Kostant. Part I: Prequantization o. Introduction. 1. This paper is the first part of a two part paper ...
[16]
[PDF] Structure of Dynamical Systems: a symplectic view of physics
Jean-Marie Souriau. UFR de Mathématiques. Université de Provence. Marseille ... (Jean-Marie),. [Structure des systèmes dynamiques. English]. Structure of ...
[17]
https://doi.org/10.1007/BFb0079068
[18]
https://arxiv.org/abs/2109.10877
[19]
https://arxiv.org/pdf/2306.00178.pdf
[20]
[PDF] Lectures on the Geometry of Quantization - Berkeley Math
These lectures introduce microlocal analysis and symplectic geometry, focusing on the transition between classical and quantum mechanics, starting with the ...
[21]
[PDF] Lecture Notes on Geometric Quantization
Aug 27, 2025 · The main goal is to add central achievements of Geomet- ric Quantization such as half-density quantization, half-form quantization, metaplectic.
[22]
Geometric Quantization - Nicholas Michael John Woodhouse
Title, Geometric Quantization Oxford mathematical monographs, ISSN 0964-9174. Author, Nicholas Michael John Woodhouse. Edition, 2, illustrated.Missing: springer | Show results with:springer
[23]
https://arxiv.org/pdf/1801.02307.pdf
[24]
https://global.oup.com/academic/product/geometric-quantization-9780198502708
[25]
[PDF] Six lectures on Geometric Quantization - arXiv
May 31, 2023 · This is the main reason that these lecture notes contain a “quick and dirty” introduction to differential and symplectic geometry.
[26]
[PDF] Symplectic Geometry and Geometric Quantization1
And, roughly speaking, quantization consists in replacing the classical algebra of ob- servables (functions on phase space) by an algebra of operators acting on ...Missing: 1950s | Show results with:1950s
[27]
[math/0612363] A Groupoid Approach to Quantization - arXiv
Dec 13, 2006 · The paper proposes quantizing Poisson manifolds using a twisted polarized convolution C*-algebra of a symplectic groupoid, unifying previous ...
[28]
Deformation theory and quantization. I. Deformations of symplectic ...
Deformations of the algebra of C∞ functions, defined by ordinary multiplication, give rise to noncommutative, associative algebras, isomorphic to the operator ...
[29]
A simple geometrical construction of deformation quantization
A simple geometrical construction of deformation quantization. Boris V. Fedosov. DOWNLOAD PDF + SAVE TO MY LIBRARY. J. Differential Geom. 40(2): 213-238 (1994).
[30]
Identification of Berezin-Toeplitz deformation quantization - arXiv
Jun 8, 2000 · We give a complete identification of the deformation quantization which was obtained from the Berezin-Toeplitz quantization on an arbitrary compact Kaehler ...
[31]
[0903.5336] Geometric and deformation quantization - arXiv
Mar 30, 2009 · This paper presents a geometric construction linking geometric to deformation quantization, using parameters like polarization and symplectic ...Missing: equivalent | Show results with:equivalent<|control11|><|separator|>
[32]
[q-alg/9709040] Deformation quantization of Poisson manifolds, I
Sep 29, 1997 · Abstract: I prove that every finite-dimensional Poisson manifold X admits a canonical deformation quantization. Informally, it means that ...