In mathematical physics, geometric quantization is a mathematical approach to defining a quantum theory corresponding to a given classical theory. It attempts to carry out quantization, for which there is in general no exact recipe, in such a way that certain analogies between the classical theory and the quantum theory remain manifest. For example, the similarity between the Heisenberg equation in the Heisenberg picture of quantum mechanics and the Hamilton equation in classical physics should be built in.
One of the earliest attempts at a natural quantization was Weyl quantization, proposed by Hermann Weyl in 1927. Here, an attempt is made to associate a quantum-mechanical observable (a self-adjoint operator on a Hilbert space) with a real-valued function on classical phase space. The position and momentum in this phase space are mapped to the generators of the Heisenberg group, and the Hilbert space appears as a group representation of the Heisenberg group. In 1946, H. J. Groenewold (H.J. Groenewold, "On the Principles of elementary quantum mechanics", Physica,12 (1946) pp. 405–460) considered the product of a pair of such observables and asked what the corresponding function would be on the classical phase space. This led him to discover the phase-space star-product of a pair of functions.
More generally, this technique leads to deformation quantization, where the ★-product is taken to be a deformation of the algebra of functions on a symplectic manifold or Poisson manifold. However, as a natural quantization scheme (a functor), Weyl's map is not satisfactory. For example, the Weyl map of the classical angular-momentum-squared is not just the quantum angular momentum squared operator, but it further contains a constant term 3ħ2/2. (This extra term is actually physically significant, since it accounts for the nonvanishing angular momentum of the ground-state Bohr orbit in the hydrogen atom, cf. Dahl, J.; Schleich, W. (2002). "Concepts of radial and angular kinetic energies". Physical Review A 65 (2). arXiv:quant-ph/0110134. Bibcode:2002PhRvA..65b2109D. doi:10.1103/PhysRevA.65.022109.). As a mere representation change, however, Weyl's map underlies the alternate Phase space formulation of conventional quantum mechanics.
The geometric quantization procedure falls into the following three steps: prequantization, polarization, and metaplectic correction. Prequantization produces a natural Hilbert space together with a quantization procedure for observables that exactly transforms Poisson brackets on the classical side into commutators on the quantum side. Nevertheless, the prequantum Hilbert space is generally understood to be "too big". The idea is that one should then select a Poisson-commuting set of n variables on the 2n-dimensional phase space and consider functions (or, more properly, sections) that depend only on these n variables. The n variables can be either real-valued, resulting in a position-style Hilbert space, or complex-valued, producing something like the Segal–Bargmann space. A polarization is a coordinate-independent description of such a choice of n Poisson-commuting functions. The metaplectic correction (also known as the half-form correction) is a technical modification of the above procedure that is necessary in the case of real polarizations and often convenient for complex polarizations.
- Prequantization of a symplectic manifold provides a representation of elements of the Poisson algebra of smooth real functions on by first order differential operators on sections of a complex line bundle . In accordance with the Kostant - Souriau prequantization formula, these operators are expressed via a connection on whose curvature form obeys the prequantization condition .
- By polarization is meant an integrable maximal distribution on such that for all . Integrable means for (sections of T). The quantum algebra of a symplectic manifold consists of the operators of functions whose Hamiltonian vector fields satisfy the condition .
- In accordance with the metaplectic correction, elements of the quantum algebra act in the pre-Hilbert space of half-forms with values in the prequantization Line bundle on a symplectic manifold . The quantization is simply
- where is the Lie derivative of a half-form with respect to a vector field X. See Section 23.6 of Hall (2013) for further discussion.
Geometric quantization of Poisson manifolds and symplectic foliations also is developed. For instance, this is the case of partially integrable and superintegrable Hamiltonian systems and non-autonomous mechanics.
- B.C. Hall (2013). Quantum Theory for Mathematicians. Springer.
- I. Vaisman (1991). Lectures on the Geometry of Poisson Manifolds. Birkhauser. ISBN 978-3-7643-5016-1.
- G. Giachetta, L. Mangiarotti, G. Sardanashvily (2005). Geometric and Algebraic Topological Methods in Quantum Mechanics. World Scientific. ISBN 981-256-129-3.
- K.Kong Wan (2006). From Micro to Macro Quantum Systems, (A Unified Formalism with Superselection Rules and Its Applications). World Scientific. ISBN 978-1-86094-625-7.
- William Ritter's review of Geometric Quantization presents a general framework for all problems in physics and fits geometric quantization into this framework
- John Baez's review of Geometric Quantization, by John Baez is short and pedagogical
- Matthias Blau's primer on Geometric Quantization, one of the very few good primers (ps format only)
- A. Echeverria-Enriquez, M. Munoz-Lecanda, N. Roman-Roy, Mathematical foundations of geometric quantization, arXiv: math-ph/9904008.
- G. Sardanashvily, Geometric quantization of symplectic foliations, arXiv: math-ph/0110196.