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.)
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:
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 .
where on are the canonical polar coordinates.
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 .
where the are global action coordinates? on the base space .
J. Śniatycki, Wave functions relative to a real polarization, Internat. J. Theoret. Phys., 14(4):277–288 (1975)
J. Śniatycki, Geometric Quantization and Quantum Mechanics, volume 30 of Applied Mathematical Sciences. Springer-Verlag, New York (1980)
Mark Hamilton, Locally toric manifolds and singular Bohr-Sommerfeld leaves
Eva Miranda, From action-angle coordinates to geometric quantization and back (2011) (pdf)