nLab
Bohr-Sommerfeld leaf

Context

Geometric quantization

Symplectic geometry

Contents

Idea

In the context of geometric quantization of a symplectic manifold (X,ω)(X, \omega), a Bohr-Sommerfeld leaf is a Lagrangian submanifold of XX on which not only the symplectic form ω\omega vanishes, but on which also a given prequantization \nabla of ω\omega is trivializable.

Therefore given a real polarization of (X,ω)(X,\omega), 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.)

Definition

Let (X,ω)(X,\omega) be a (pre-)symplectic manifold and \nabla a prequatization, hence a U(1)U(1)-principal connection on XX with curvature 2-form F =ωF_\nabla = \omega.

Definition

A Lagrangian submanifold LXL \hookrightarrow X is a Bohr-Sommerfeld leaf if the restriction L\nabla|_L of the prequantum connection to LL is trivializable there, hence if its cohomology class vanishes in ordinary differential cohomology

[ L]=0H conn 2(X). [\nabla_L] = 0 \in H^2_{conn}(X) \,.
Remark

For every isotropic submanifold, hence in particular every Lagrangian submanifold, LXL \hookrightarrow X the restriction L\nabla|_L 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 LL such that L\nabla|_L has trivial holonomy. In this form the Bohr-Sommerfeld condition is usually stated in the literature.

Remark

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

ω:XΩ cl 2 \omega \;\colon\; X \to \Omega^2_{cl}

and a prequantization \nabla is equivalently a lift \nabla in the diagram

BU(1) conn F () X ω Ω cl 2(X). \array{ && \mathbf{B}U(1)_{conn} \\ & {}^{\mathllap{\nabla}}\nearrow & \downarrow^{\mathrlap{F_{(-)}}} \\ X &\stackrel{\omega}{\to}& \Omega^2_{cl}(X) } \,.

The condition on an isotropic submanifold LXL \hookrightarrow X is that the composite map

ω L:L X ω Ω cl 2 \omega|_L \;\colon\; \array{ L &\hookrightarrow & X &\stackrel{\omega}{\to}& \Omega^2_{cl} }

is trivial in H(L,Ω cl 2)=Ω cl 2(L)H(L,\Omega^2_{cl}) = \Omega^2_{cl}(L) (and LL being Lagrangian means that it is maximal with this property). Then LL is Bohr-Sommerfeld if moreover the restriction of the prequantum lift

L:L X BU(1) conn \nabla|_L \;\colon\; \array{ L &\hookrightarrow & X &\stackrel{\nabla}{\to}& \mathbf{B}U(1)_{conn} }

is trivial in H(L,BU(1) conn)=H conn 2(X)H(L, \mathbf{B}U(1)_{conn}) = H^2_{conn}(X).

Examples

Harmonic oscillator

For the single 1-dimensional Harmonic oscillator, phase space is the symplectic manifold 2\mathbb{R}^2 equipped with the symplectic form

ω=d dRtdθ, \omega = d_{dR} t \wedge d\theta \,,

where on 2 +\mathbb{R}^2- \mathbb{R}_+ (t,θ)(t, \theta) are the canonical polar coordinates.

We may choose the trivial prequantum line bundle with connection given by the globally defined differential 1-form

Θ:=tdθ. \Theta := t \wedge d\theta \,.

Then a polarization is given by the foliation whose leaves are the submanifolds of constant tt.

The covariant derivative along any leaf acts as

( Θσ)(t,θ)=(θσ)(t,θ)itσ(t,θ). (\nabla_\Theta \sigma)(t, \theta) = (\frac{\partial}{\partial \theta} \sigma)(t, \theta) - i t \sigma(t, \theta) \,.

The covariantly sections covariantly constat on a leaf hence must be of the form

σ(t,θ)=a(t)exp(itθ). \sigma(t, \theta) = a(t) \exp( i t \theta) \,.

For this to be well-defined as a globally defined section on the whole leaf the condition

t=2πkk t = 2 \pi k \; \; k \in \mathbb{Z}

has to hold. Hence the Bohr-Sommerfeld leaves here are the circles of radius 2πk2 \pi k in 2\mathbb{R}^2.

Properties

Theorem

(Guillemin-Sternberg)

If a polarization of XX is a regular fibration? with compact leaves over a simply connected base BB, then the Bohr-Sommerfeld leaves form a discrete subset given by

{F BS}={pX(f 1(p),,f n(p)) n} \{F_BS\} = \{ p \in X | (f_1(p), \cdots, f_n(p)) \in \mathbb{Z}^n \}

where the {f i}\{f_i\} are global action coordinates? on the base space BB.

Theorem

(Sniatycki)

If the leaf space BB is Hausdorff and the projection XBX \to B has compact fibers, then the dimension of the space of quantum states is given by the number of Bohr-Sommerfeld leaves.

References

  • 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)

Revised on March 21, 2013 23:10:48 by Urs Schreiber (89.204.135.184)