geometric quantization higher geometric quantization
geometry of physics: Lagrangians and Action functionals + Geometric Quantization
prequantum circle n-bundle = extended Lagrangian
prequantum 1-bundle = prequantum circle bundle, regularcontact manifold,prequantum line bundle = lift of symplectic form to differential cohomology
In the context of geometric quantization of a symplectic manifold , a Bohr-Sommerfeld leaf is a Lagrangian submanifold of on which not only the symplectic form vanishes, but on which also a given prequantization of is trivializable.
Therefore given a real polarization of , hence a foliation by Lagrangian submanifolds, the Bohr-Sommerfeld leaves form a discrete subset of the leaf space. The discreteness of this subset is essentially the formal incarnation of “quantization” and this is what Bohr and Sommerfeld originally considered (in less abstract terms, the archetypical example was the harmonic oscillator as discussed below).
(There is a correction to this picture, given by the fact that a quantum states/semiclassical states, involve not just Lagrangian submanifolds/Bohr-Sommerfeld leaves, but moreover half-densities over these. These are to satisfy an additional condition, encoded by the metaplectic correction.)
Let be a (pre-)symplectic manifold and a prequatization, hence a -principal connection on with curvature 2-form .
A Lagrangian submanifold is a Bohr-Sommerfeld leaf if the restriction of the prequantum connection to is trivializable there, hence if its cohomology class vanishes in ordinary differential cohomology
For every isotropic submanifold, hence in particular every Lagrangian submanifold, the restriction is necessarily already a flat connection. As discussed there, flat connections are equivalently encoded in the holonomy of their parallel transport: a flat connection is trivializable as a connection precisely if its holonomy is trivial. Therefore a Bohr-Sommerfeld leaf is equivalently a Lagrangian submanifold such that has trivial holonomy. In this form the Bohr-Sommerfeld condition is usually stated in the literature.
The Bohr-Sommerfeld condition is the natural lift of the Lagrangian subspace-condition to prequantum geometry:
When expressed in terms of smooth moduli stacks (see at geometry of physics for background), the (pre-)symplectic structure is equivalently a map
and a prequantization is equivalently a lift in the diagram
The condition on an isotropic submanifold is that the composite map
is trivial in (and being Lagrangian means that it is maximal with this property). Then is Bohr-Sommerfeld if moreover the restriction of the prequantum lift
is trivial in .
For the single 1-dimensional Harmonic oscillator, phase space is the symplectic manifold equipped with the symplectic form
where on are the canonical polar coordinates.
We may choose the trivial prequantum line bundle with connection given by the globally defined differential 1-form
Then a polarization is given by the foliation whose leaves are the submanifolds of constant .
The covariant derivative along any leaf acts as
The covariantly sections covariantly constat on a leaf hence must be of the form
For this to be well-defined as a globally defined section on the whole leaf the condition
has to hold. Hence the Bohr-Sommerfeld leaves here are the circles of radius in .
(Guillemin-Sternberg)
If a polarization of is a regular fibration with compact leaves over a simply connected base , then the Bohr-Sommerfeld leaves form a discrete subset given by
where the are global action coordinates? on the base space .
(Sniatycki)
If the leaf space is Hausdorff and the projection has compact fibers, then the dimension of the space of quantum states is given by the number of Bohr-Sommerfeld leaves.
Named after Niels Bohr and Arnold Sommerfeld.
For historical background see also
Discussion in the modern formalism of geometric quantization:
Jędrzej Śniatycki, Wave functions relative to a real polarization, Internat. J. Theoret. Phys., 14 4 (1975) 277-288 [doi:10.1007/BF01807689)]
Jędrzej Śniatycki, Geometric Quantization and Quantum Mechanics, Applied Mathematical Sciences 30, Springer-Verlag (1980) [doi:10.1007/978-1-4612-6066-0]
Mark Hamilton, Locally toric manifolds and singular Bohr-Sommerfeld leaves
Eva Miranda, From action-angle coordinates to geometric quantization and back (2011) (pdf)
and with application to conformal blocks:
Last revised on October 25, 2023 at 13:22:11. See the history of this page for a list of all contributions to it.