{ "id": "epkvcek5ka", "slug": "geometric-quantization", "title": "Geometric quantization", "updated": "2026-10-21", "topic_path": [ { "id": "physical", "label": "Physical world and mathematics", "api_url": "https://www.edgepedia.org/api/v1/topics/physical" }, { "id": "physical.math", "label": "Mathematics and statistics", "api_url": "https://www.edgepedia.org/api/v1/topics/physical.math" }, { "id": "physical.math.analysis", "label": "Analysis and mathematical models", "api_url": "https://www.edgepedia.org/api/v1/topics/physical.math.analysis" }, { "id": "physical.math.analysis.calculus_variants_and_generalizations", "label": "Alternative calculi and generalizations", "api_url": "https://www.edgepedia.org/api/v1/topics/physical.math.analysis.calculus_variants_and_generalizations" } ], "geo": [ { "id": "geo.nongeo.t1946.physical.math.analysis", "label": "Non-geographic · 1946 to 2000: Analysis and mathematical models", "api_url": "https://www.edgepedia.org/api/v1/geo/geo.nongeo.t1946.physical.math.analysis", "path": [ { "id": "geo.nongeo", "label": "Non-geographic", "api_url": "https://www.edgepedia.org/api/v1/geo/geo.nongeo" }, { "id": "geo.nongeo.t1946", "label": "Non-geographic · 1946 to 2000", "api_url": "https://www.edgepedia.org/api/v1/geo/geo.nongeo.t1946" }, { "id": "geo.nongeo.t1946.physical", "label": "Physical world and mathematics", "api_url": "https://www.edgepedia.org/api/v1/geo/geo.nongeo.t1946.physical" }, { "id": "geo.nongeo.t1946.physical.math", "label": "Mathematics and statistics", "api_url": "https://www.edgepedia.org/api/v1/geo/geo.nongeo.t1946.physical.math" }, { "id": "geo.nongeo.t1946.physical.math.analysis", "label": "Analysis and mathematical models", "api_url": "https://www.edgepedia.org/api/v1/geo/geo.nongeo.t1946.physical.math.analysis" } ] } ], "excerpt": "Geometric quantization is a mathematical procedure that builds a quantum Hilbert space of states from a classical system whose phase space is a symplectic manifold, first reported by Souriau in 1966.", "snippet": "Geometric quantization is a mathematical procedure that builds a quantum Hilbert space of states from a classical system whose phase space is a symplectic manifold, first reported by Souriau in 1966.", "node": "physical.math.analysis.calculus_variants_and_generalizations", "markdown": "# Geometric quantization\n\nGeometric quantization is a mathematical procedure that constructs a quantum [Hilbert space](https://www.edgepedia.org/hilbert-space) of states, together with operators for a suitable subalgebra of classical observables, from a classical system whose phase space is a symplectic manifold \\( (M, \\omega) \\). Souriau reported the construction in 1966 as a bundle-theoretic realization of quantization over the manifold of classical motions.[1](http://jmsouriau.klacto.net/Souriau.1966.pdf) The procedure is built on prequantization, in which every function on phase space can be represented once Weil's integrality criterion is satisfied, with the Groenewold–van Hove obstruction evaded because that representation is highly reducible, an obstruction already present for \\( M = \\mathbb{R}^{2n} \\) and traced back to Groenewold's 1946 analysis of the principles of quantum mechanics.[2](https://doi.org/10.1016/s0031-8914%2846%2980059-4) • [3](https://ar5iv.labs.arxiv.org/html/math-ph/9904008) • [22](https://www.cambridge.org/core/books/abs/modern-canonical-quantum-general-relativity/geometric-quantisation/5BBE3F2E5BD6464E0E8AA1F39AA570DB) Beyond mathematical physics, the construction is a working tool in representation theory, where it descends from Kirillov's orbit method for Lie groups.[4](https://doi.org/10.1070/rm1962v017n04abeh004118)\n\n| Key fact | Detail |\n|---|---|\n| Input and output | A symplectic manifold \\( (M, \\omega) \\) with prequantum line bundle \\( (L, \\nabla) \\) and a polarization; the output is the vector space of polarized sections of \\( L \\), a Hilbert space of quantum states.[5](https://arxiv.org/pdf/2011.05730) |\n| Integrality condition | The symplectic form \\( \\omega \\) is integral if and only if there exists a complex line bundle \\( L \\) with connection whose curvature is \\( \\omega \\).[6](http://go.owu.edu/~chjackso/Papers/topic.pdf) |\n| Prequantum operator | \\( Q_{\\mathrm{pre}}(f) := -i\\hbar\\nabla_{X_f} + f \\), satisfying all Dirac axioms except irreducibility.[7](https://arxiv.org/pdf/1902.10813) |\n| Kähler case | For a compact Kähler manifold with prequantum bundle \\( L \\), the quantization for \\( p \\geq 1 \\) is \\( \\mathrm{Ker}(D_{L^{p+}}) = H^{0}(X, L^{p}) \\), the holomorphic sections.[8](https://webusers.imj-prg.fr/~xiaonan.ma/mypubli/ICM-Ma2010.pdf) |\n| Half-form correction | Without it, the harmonic oscillator comes out with \\( E_n = n\\hbar\\omega \\); the metaplectic correction restores \\( E_n = (n + 1/2)\\hbar\\omega \\).[9](https://www.math.hkust.edu.hk/~mameng/AI%20Assisted%20Writing/A%20Guide%20to%20Geometric%20Quantization.pdf) |\n| Reduction theorem | Guillemin and Sternberg showed (1982) that quantize-then-reduce and reduce-then-quantize spaces have the same dimension for each \\( k \\).[10](https://doi.org/10.1007/bf01398934) |\n\n## How it works\n\nPrequantization starts from a Hermitian complex line bundle \\( L \\) with connection \\( \\nabla \\) on \\( M \\) whose curvature equals the symplectic form: \\( \\mathrm{Curv}(L, \\nabla) = \\omega \\).[11](https://www.mathematik.uni-muenchen.de/~schotten/GEQ/GEQ.pdf) Whether such a bundle exists is a purely topological condition on \\( M \\) and \\( \\omega \\), expressed in cohomology; when it holds, the manifold is called quantizable.[11](https://www.mathematik.uni-muenchen.de/~schotten/GEQ/GEQ.pdf) Kostant's prequantization theorem states the equivalence with integrality of \\( \\omega \\), and classifies such bundles by the character group of \\( \\pi_1(W) \\).[6](http://go.owu.edu/~chjackso/Papers/topic.pdf)\n\nOn the sections of \\( L \\), observables act by the prequantum operator \\( Q_{\\mathrm{pre}}(f) := -i\\hbar\\nabla_{X_f} + f \\), where \\( X_f \\) is the Hamiltonian vector field of \\( f \\), determined by \\( \\iota_{X_f}\\omega = -df \\).[21](https://arxiv.org/pdf/1408.1527) This operator satisfies the Dirac conditions \\( q(1) = \\mathrm{id}_H \\) and \\( [q(F), q(G)] = -i\\hbar\\, q(\\{F, G\\}) \\) for all classical observables, but fails only irreducibility.[7](https://arxiv.org/pdf/1902.10813) • [11](https://www.mathematik.uni-muenchen.de/~schotten/GEQ/GEQ.pdf) That failure is why prequantization alone is insufficient: for \\( M = \\mathbb{R}^{2n} \\) with trivial bundle it produces the too-large Hilbert space \\( L^{2}(\\mathbb{R}^{2n}, \\mathbb{C}) \\) and a reducible representation, in which position and momentum both act independently. Restricting to functions of \\( q \\) alone via a polarization recovers the usual quantum model on \\( L^{2}(\\mathbb{R}^{n}, \\mathbb{C}) \\).[11](https://www.mathematik.uni-muenchen.de/~schotten/GEQ/GEQ.pdf)\n\n## How it is done\n\nThe practitioner's steps run: check integrability of \\( \\omega \\), build the prequantum bundle \\( (L, \\nabla) \\), choose a polarization, and take the polarized sections as the quantum Hilbert space.[7](https://arxiv.org/pdf/1902.10813) A polarization is a Lagrangian subbundle \\( P \\subset TM \\) (complexified), closed under the Lie bracket; the quantum states are the sections flat along \\( P \\), \\( \\Gamma_P(M, L) = \\{ s: \\nabla_X s = 0,\\ X \\in \\Gamma(M, P) \\} \\).[5](https://arxiv.org/pdf/2011.05730) • [7](https://arxiv.org/pdf/1902.10813)\n\nEvery [Kähler manifold](https://www.edgepedia.org/kahler-manifold) \\( (M, \\omega, J) \\) carries the holomorphic polarization \\( P := T^{(0,1)}(M) \\); in the flat case the polarized sections are exactly the holomorphic functions.[7](https://arxiv.org/pdf/1902.10813) On a compact Kähler manifold, taking \\( H_k = H^{0}(X, L^{\\otimes k}) \\) with \\( \\hbar = 1/k \\) for large integer \\( k \\) is the standard recipe.[12](https://www.sciencedirect.com/science/article/abs/pii/S0393044021000280)\n\nIn many cases, constructions then need the half-form (metaplectic) correction.[3](https://ar5iv.labs.arxiv.org/html/math-ph/9904008) Half-forms are needed to define the inner product between polarized states, which is otherwise ill-defined, and to obtain correct energy levels.[3](https://ar5iv.labs.arxiv.org/html/math-ph/9904008) Equivalently, one tensors \\( \\ell^{\\otimes k} \\) with a square root of the canonical bundle \\( K \\) of \\( M \\), which exists when the second Stiefel–Whitney class vanishes.[13](https://ar5iv.labs.arxiv.org/html/math/0610005) The correction fixes the harmonic oscillator spectrum,[9](https://www.math.hkust.edu.hk/~mameng/AI%20Assisted%20Writing/A%20Guide%20to%20Geometric%20Quantization.pdf) but not universally: on \\( S^2 \\) it overcorrects, giving representations of degree \\( 2j - 1 \\) of dimension \\( 2j \\) where the uncorrected construction reproduces the \\( (2j+1) \\)-dimensional irreducible representations of \\( SU(2) \\) exactly.[9](https://www.math.hkust.edu.hk/~mameng/AI%20Assisted%20Writing/A%20Guide%20to%20Geometric%20Quantization.pdf)\n\n## Origin\n\nSouriau's 1966 paper *Quantification géométrique*, published through Project Euclid (Cornell University), constructed a \"quantizing bundle space\" \\( W \\) over the set \\( V \\) of classical motions, so that invariance groups act on states projectively without supplementary postulates; the construction works when the constant \\( b \\) in it equals Planck's constant, making \\( V \\) a \"quantifiable manifold\" with its quantizing fiber bundle.[1](http://jmsouriau.klacto.net/Souriau.1966.pdf) He returned to the geometric interpretation of quantum states in his 1977 Lecture Notes in [Mathematics](https://www.edgepedia.org/mathematics) contribution.[14](https://doi.org/10.1007/bfb0087784) The orbit method, the main precursor, was applied to nilpotent Lie groups by Kirillov in 1962.[4](https://doi.org/10.1070/rm1962v017n04abeh004118) The lecture notes \"Quantization and Unitary Representations I: Prequantization\" (Springer, Lecture Notes in Mathematics vol. 170, 1970, pp. 87–208) contain the prequantization theorem used throughout the subject.[6](http://go.owu.edu/~chjackso/Papers/topic.pdf)\n\nSurveys credit the earliest works differently: one credits J.-M. Souriau, B. Kostant, and I. E. Segal, building on Kirillov's earlier ideas,[3](https://ar5iv.labs.arxiv.org/html/math-ph/9904008) while a more recent paper credits only Souriau and Kostant.[5](https://arxiv.org/pdf/2011.05730) Guillemin and Sternberg's 1982 paper on multiplicities of group representations is a prototype for the modern reduction theory.[10](https://doi.org/10.1007/bf01398934) • [15](https://people.math.ethz.ch/~acannas/Papers/quantization.pdf)\n\n## Variants\n\n**Kähler and holomorphic quantization.** Complex polarizations on \\( (X, \\omega) \\) are equivalent to Kähler structures, and by the Kodaira embedding theorem the integrality condition on \\( [\\omega] \\) is the same as \\( X \\) being a complex projective manifold.[12](https://www.sciencedirect.com/science/article/abs/pii/S0393044021000280) When the symmetry group is compact and the symplectic manifolds are coadjoint orbits, geometric quantization coincides with Borel–Weil theory.[6](http://go.owu.edu/~chjackso/Papers/topic.pdf)\n\n**Orbifold quantization** defines the quantization of a compact symplectic orbifold as the K-theoretic index of the Dolbeault–Dirac operator, \\( Q(M, \\omega) := \\ker \\bar{\\partial} - \\mathrm{coker}\\ \\bar{\\partial} \\), with weight multiplicities computed as \\( \\mathrm{mult}(\\mu) = \\sum_F (-1)^{n_F} N_F(\\mu) \\) from Kawasaki–Riemann–Roch numbers of the fixed components \\( F \\).[15](https://people.math.ethz.ch/~acannas/Papers/quantization.pdf)\n\n**Links to deformation quantization** run through Toeplitz operators: on a Kähler manifold, \\( T_{f,k} := \\Pi_k \\circ m_f \\) (multiplication by \\( f \\) followed by projection onto holomorphic sections) defines the Berezin–Toeplitz star product, connecting geometric, Berezin–Toeplitz, and deformation quantization.[12](https://www.sciencedirect.com/science/article/abs/pii/S0393044021000280) [Deformation quantization](https://www.edgepedia.org/deformation-quantization) itself was constructed geometrically.[16](https://doi.org/10.1023/b:math.0000027508.00421.bf) In the shifted setting, geometric quantizations of \\( n \\)-shifted symplectic stacks, in the sense of Pantev, Toën, Vaquié, and Vezzosi's 2013 theory of shifted symplectic structures,[17](https://doi.org/10.1007/s10240-013-0054-1) give rise to \\( (\\infty, n) \\)-categories, and \\( (-1) \\)-shifted prequantization relates to Batalin–Vilkovisky quantization; Pridham quantized derived Poisson structures in 2017.[5](https://arxiv.org/pdf/2011.05730) • [18](https://doi.org/10.48550/arxiv.1708.00496)\n\n## Applications\n\n**Representation theory.** The orbit method constructs irreducible unitary representations of a [Lie group](https://www.edgepedia.org/lie-group) from mechanical, symplectic considerations on coadjoint orbits.[19](https://link.springer.com/article/10.1007/BF01085503) Kirillov's program holds that when \\( (X, \\omega) \\) has a Hamiltonian symmetry group \\( G \\) with an invariant polarization, \\( G \\) acts on the quantization, and most important representations of \\( G \\) should arise this way.[12](https://www.sciencedirect.com/science/article/abs/pii/S0393044021000280)\n\n**Moduli spaces and Chern–Simons theory.** In Witten's setup, the [symplectic reduction](https://www.edgepedia.org/symplectic-reduction) of the space of connections on a [Riemann surface](https://www.edgepedia.org/riemann-surface) \\( \\Sigma \\) by the gauge group yields the moduli space \\( M_\\Sigma \\) of flat connections, a compact finite-dimensional symplectic orbifold, which is then quantized; the vector space \\( Z_\\Sigma \\) assigned to the surface becomes the space of holomorphic sections of a complex line bundle.[7](https://arxiv.org/pdf/1902.10813)\n\n**Quantization commutes with reduction.** Guillemin and Sternberg established a natural invertible linear map between the \\( G \\)-invariant subspace of the quantization of \\( M \\) and the quantization of the reduced space \\( M/\\!/G \\), so the two have equal dimension for each \\( k \\).[10](https://doi.org/10.1007/bf01398934) • [13](https://ar5iv.labs.arxiv.org/html/math/0610005) The conjecture was proved by Meinrenken and Vergne for abelian \\( G \\), by Meinrenken and Meinrenken–Sjamaar for non-abelian \\( G \\) using Lerman's symplectic cut, and analytically by Tian and Zhang via deformation of the Dirac operator.[8](https://webusers.imj-prg.fr/~xiaonan.ma/mypubli/ICM-Ma2010.pdf)\n\n## Limitations and alternatives\n\n**Dependence on polarization.** Different polarizations give different, a priori unrelated Hilbert spaces; relations between them are built from Blattner–Kostant–Sternberg (BKS) kernels.[3](https://ar5iv.labs.arxiv.org/html/math-ph/9904008) For \\( T^{*}\\mathbb{R} \\), the vertical-to-horizontal pairing is the [Fourier transform](https://www.edgepedia.org/fourier-transform) and the vertical-to-Kähler pairing is the Segal–[Bargmann transform](https://www.edgepedia.org/bargmann-transform), but in some complex topological systems changing the polarization yields entirely inequivalent quantum theories.[9](https://www.math.hkust.edu.hk/~mameng/AI%20Assisted%20Writing/A%20Guide%20to%20Geometric%20Quantization.pdf)\n\n**Empty state spaces.** When leaves of \\( M/P \\) are not simply connected, there may be no nontrivial polarized sections at all; holonomy then enters through the Bohr–Sommerfeld condition, and distributional sections are one remedy.[11](https://www.mathematik.uni-muenchen.de/~schotten/GEQ/GEQ.pdf)\n\n**Partial quantization.** A full quantization of every classical system is impossible even for \\( M = \\mathbb{R}^{2n} \\); only a subset of observables, a Hilbert subalgebra, can be quantized.[3](https://ar5iv.labs.arxiv.org/html/math-ph/9904008) For constrained (presymplectic) systems, the procedures of constraining and quantizing do not commute, a limitation that led to [BRST quantization](https://www.edgepedia.org/brst-quantization).[3](https://ar5iv.labs.arxiv.org/html/math-ph/9904008)\n\n**Comparison with alternatives.** [Canonical quantization](https://www.edgepedia.org/canonical-quantization) proceeds coordinate by coordinate and its main shortcoming is its failure to be coordinate-free, which geometric quantization was designed to remedy.[20](http://math.uchicago.edu/~may/REU2019/REUPapers/Baykara.pdf) Deformation quantization (Fedosov's and Kontsevich's star products) keeps the classical algebra intact and deforms the product, while geometric quantization produces an honest Hilbert space; on compact Kähler manifolds the two meet only asymptotically, since the Toeplitz operators \\( T_{f,k} \\) satisfy \\( T_{f,k} \\circ T_{g,k} - T_{f \\star_{BT} g, k} \\to 0 \\) as \\( k \\to \\infty \\), an asymptotic action rather than a representation of the deformation algebra.[12](https://www.sciencedirect.com/science/article/abs/pii/S0393044021000280)\n\n## References\n\n1. [Quantification géométrique (Souriau, 1966)](http://jmsouriau.klacto.net/Souriau.1966.pdf)\n2. [On the principles of elementary quantum mechanics (Physica, 1946)](https://doi.org/10.1016/s0031-8914%2846%2980059-4)\n3. [Mathematical Foundations of Geometric Quantization (Echeverria-Enriquez, Munoz-Lecanda, Roman-Roy)](https://ar5iv.labs.arxiv.org/html/math-ph/9904008)\n4. [A A Kirillov (1962). UNITARY REPRESENTATIONS OF NILPOTENT LIE GROUPS. Russian Mathematical Surveys.](https://doi.org/10.1070/rm1962v017n04abeh004118)\n5. [Geometric quantization for shifted symplectic structures (Safronov et al.)](https://arxiv.org/pdf/2011.05730)\n6. [Geometric Quantization (lecture notes, Jackson, Ohio Wesleyan)](http://go.owu.edu/~chjackso/Papers/topic.pdf)\n7. [Geometric quantization, Chern–Simons theory and Witten's quantum invariants (expository notes)](https://arxiv.org/pdf/1902.10813)\n8. [Geometric Quantization on Kähler and Symplectic Manifolds (Ma, ICM 2010)](https://webusers.imj-prg.fr/~xiaonan.ma/mypubli/ICM-Ma2010.pdf)\n9. [The Quantum Dictionary: A Guide to Geometric Quantization](https://www.math.hkust.edu.hk/~mameng/AI%20Assisted%20Writing/A%20Guide%20to%20Geometric%20Quantization.pdf)\n10. [V. Guillemin, S. Sternberg (1982). Geometric quantization and multiplicities of group representations. Inventiones mathematicae.](https://doi.org/10.1007/bf01398934)\n11. [Lecture Notes on Geometric Quantization (LMU München, 2021/22)](https://www.mathematik.uni-muenchen.de/~schotten/GEQ/GEQ.pdf)\n12. [Review: Quantization of Kähler manifolds (Chan–Leung–Li; journal version, absorbing the arXiv copy 2009.03690)](https://www.sciencedirect.com/science/article/abs/pii/S0393044021000280)\n13. [Geometric Quantization and the Quantization Commutes with Reduction Problem (Hall & Kirwan)](https://ar5iv.labs.arxiv.org/html/math/0610005)\n14. [Jean-Marie Souriau (1977). Interpretation geometrique des etats quantiques. Lecture notes in mathematics.](https://doi.org/10.1007/bfb0087784)\n15. [Quantization of Symplectic Orbifolds (Cannas da Silva et al.)](https://people.math.ethz.ch/~acannas/Papers/quantization.pdf)\n16. [Maxim Kontsevich (2003). Deformation Quantization of Poisson Manifolds. Letters in Mathematical Physics.](https://doi.org/10.1023/b:math.0000027508.00421.bf)\n17. [Tony Pantev and colleagues (2013). Shifted symplectic structures. Publications mathématiques de l IHÉS.](https://doi.org/10.1007/s10240-013-0054-1)\n18. [Pridham, J. P. (2017). Quantisation of derived Poisson structures. arXiv (Cornell University).](https://doi.org/10.48550/arxiv.1708.00496)\n19. [Ginzburg, 'Quantization and the method of orbits', J. Math. Sci. 36 (1987)](https://link.springer.com/article/10.1007/BF01085503)\n20. [Geometric Quantization (REU expository paper, University of Chicago)](http://math.uchicago.edu/~may/REU2019/REUPapers/Baykara.pdf)\n21. [arxiv.org](https://arxiv.org/pdf/1408.1527)\n22. [Geometric quantisation (Chapter 23) - Modern Canonical Quantum General Relativity](https://www.cambridge.org/core/books/abs/modern-canonical-quantum-general-relativity/geometric-quantisation/5BBE3F2E5BD6464E0E8AA1F39AA570DB)\n\n---\n*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Analysis and mathematical models › Alternative calculi and generalizations*\n\n*Initially written Sep 29, 2026 · Reviewed: Sep 30, 2026 · Edited: Sep 30, 2026; Oct 21, 2026 · Last review: Sep 30, 2026*\n\n*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*\n\nLicense: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license\n", "same_as": [ "http://go.owu.edu/~chjackso/Papers/topic.pdf", "http://math.uchicago.edu/~may/REU2019/REUPapers/Baykara.pdf" ], "url": "https://www.edgepedia.org/geometric-quantization", "markdown_url": "https://www.edgepedia.org/geometric-quantization.md", "license": { "name": "Edgepedia Community License 1.0", "url": "https://www.edgepedia.org/edgepedia/license", "summary": "Free with credit, commercial use included. AI training is open to everyone. For other uses, organizations over USD 100M in revenue or 100M monthly users license separately.", "spdx": "LicenseRef-Edgepedia-Community-1.0" }, "credit": "\"Geometric quantization\", Edgepedia (EdgeChat), https://www.edgepedia.org/geometric-quantization. Edgepedia Community License 1.0.", "credit_md": "\"[Geometric quantization](https://www.edgepedia.org/geometric-quantization)\", Edgepedia (EdgeChat), [https://www.edgepedia.org/geometric-quantization](https://www.edgepedia.org/geometric-quantization). [Edgepedia Community License 1.0](https://www.edgepedia.org/edgepedia/license).", "credit_html": "\"Geometric quantization\", Edgepedia (EdgeChat), https://www.edgepedia.org/geometric-quantization. Edgepedia Community License 1.0.", "speakable": "Geometric quantization is a mathematical procedure that builds a quantum Hilbert space of states from a classical system whose phase space is a symplectic manifold, first reported by Souriau in 1966." }