Next Article in Journal
Nonlinear Approximations to Critical and Relaxation Processes
Next Article in Special Issue
An Algebraic Inequality with Applications to Certain Chen Inequalities
Previous Article in Journal
Distributed-Order Non-Local Optimal Control
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Shifting Operators in Geometric Quantization

by
Richard Cushman
and
Jędrzej Śniatycki
*
Department of Mathematics and Statistics, University of Calgary, Calgary, AB T2N 1N4, Canada
*
Author to whom correspondence should be addressed.
Axioms 2020, 9(4), 125; https://doi.org/10.3390/axioms9040125
Submission received: 21 September 2020 / Revised: 20 October 2020 / Accepted: 20 October 2020 / Published: 28 October 2020
(This article belongs to the Special Issue Applications of Differential Geometry II)

Abstract

:
The original Bohr-Sommerfeld theory of quantization did not give operators of transitions between quantum quantum states. This paper derives these operators, using the first principles of geometric quantization.

1. Introduction

Even though the Bohr–Sommerfeld theory was very successful in predicting some physical results, it was never accepted by physicists as a valid quantum theory in the same class as the Schrödinger theory or the Bargmann–Fock theory. The reason for this was that the original Bohr–Sommerfeld theory did not provide operators of transition between quantum states. The need for such operators in the Bohr–Sommerfeld quantization was already pointed out by Heisenberg [1]. The aim of this paper is to derive operators of transition between quantum states in the Bohr–Sommerfeld theory, which we call shifting operators, from the first principles of geometric quantization.
The first step of geometric quantization of a symplectic manifold ( P , ω ) is called prequantization. It consists of the construction of a complex line bundle π : L P with connection whose curvature form satisfies a prequantization condition relating it to the symplectic form ω . A comprehensive study of prequantization, from the point of view of representation theory, was given by Kostant in [2]. The work of Souriau [3] was aimed at quantization of physical systems, and studied a circle bundle over phase space. In Souriau’s work, the prequantization condition explicitly involved Planck’s constant h . In [4], Blattner combined the approaches of Kostant and Souriau by using the complex line bundle with the prequantization condition involving Planck’s constant. Since then, geometric quantization has been an effective tool in quantum theory.
We find it convenient to deal with connection and curvature of complex line bundles using the theory of principal and associated bundles [5]. In this framework, the prequantization condition reads
d β = ( π × ) * ( 1 h ω ) ,
where β is the connection 1-form on the principal C × -bundle π × : L × P associated to the complex line bundle π : L P , and C × is the multiplicative group of nonzero complex numbers.
The aim of prequantization is to construct a representation of the Poisson algebra ( C ( P ) , { , } , · ) of ( P , ω ) on the space of sections of the line bundle L. Each Hamiltonian vector field X f on P lifts to a unique C × -invariant vector field Z f on L × that preserves the principal connection β on L × . If the vector field X f is complete, then it generates a 1-parameter group e t X f of symplectomorphisms of ( P , ω ) . Then, the vector field Z f is complete and it generates a 1-parameter group e t Z f of connection preserving diffeomorphisms of the bundle ( L × , β ) , called quantomorphisms, which cover the 1-parameter group e t X f . The term quantomorphism was introduced by Souriau [3] in the context of SU ( n ) -principal bundles and discussed in detail in his book [6]. The construction discussed here follows [7], where the term quantomorphism was not used. In this case, e t X f and e t Z f are 1-parameter groups of diffeomorphisms of P and L × , respectively. We refer to e t X f and e t Z f as flows of X f and Z f . Since L is an associated bundle of L × , the action e t Z f : L × L × , induces an action e ^ t Z f : L L , which gives rise to an action on smooth sections σ of L by push forwards, σ e ^ * t Z f σ = e ^ t Z f σ e t X f . . Although e ^ * t Z f σ may not be defined for all sections σ and all t, its derivative at t = 0 is defined for all smooth sections. The prequantization operator
P f σ = i ћ d d t | t = 0 e ^ * t Z f σ ,
where ћ is Planck’s constant h divided by 2 π , is a symmetric operator on the Hilbert space 𝕳 of square integrable sections of L. The operator P f is self adjoint if X f is complete.
The whole analysis of prequantization is concerned with global Hamiltonian vector fields. Since every vector field on ( P , ω ) that preserves the symplectic form is locally Hamiltonian, it is of interest to understand how much of prequantization can be extended to this case. In particular, we are interested in the case where the locally Hamiltonian vector field is the vector field X ϑ of the integer angle variable ϑ that is defined up to an additive term n , where n Z . For a globally Hamiltonian vector field X f ,
e ^ * t Z f σ = e 2 π i t f / h e ^ * t lift X f σ ,
where e ^ * t lift X f σ is the horizontal transport of section σ by parameter t along integral curves of X f . Replacing f by a multivalued function ϑ , defined up to an additive n, yields the multivalued expression
e ^ * t Z ϑ σ = e i t ϑ / h e ^ * t lift X ϑ σ .
We observe that, for t = h , Equation (3) gives a single valued expression
e ^ * h Z ϑ σ = e i ϑ e ^ * h lift X ϑ σ .
The shifting operator
a X ϑ = e ^ * h Z ϑ = e i ϑ e ^ * h lift X ϑ
is an operator on H , which shifts the support of σ H by h along the integral curve of X ϑ . If the vector field X ϑ is complete, then a X ϑ n = e ^ * n h Z ϑ for every n Z .
Our results provide an answer to Heisenberg’s criticism that in Bohr–Sommerfeld theory there are not enough operators to describe transitions between quantum states [1].
Superficially, the shifting operator a X θ = e i θ e ^ ћ lift X θ * , see Equation (5), appears to be a quantization of an angle θ = 2 π ϑ . It depends on θ and has the factor e i θ considered by Dirac [8]. However, the factor e ^ * ћ lift X θ , describing the parallel translation by ћ along integral curves of X θ , makes it nonlocal in the phase space. Therefore, a X θ cannot satisfy local commutation relations with any local quantum variable that is described by a differential operator. Hence, it cannot be the canonical conjugate of the corresponding action operator, or any other operator, which is local in the phase space.
In our earlier papers [9,10,11,12], we followed an algebraic analysis, similar to that used by Dirac [8], supplemented by heuristic guesses about the behaviour of the shifting operators at the points of singularity of the polarization. In particular, we assumed that a X ϑ vanishes on the states concentrated on a set of limit points of e t X ϑ ( p ) as t . In the present paper, we derive shifting operators in the framework of geometric quantization, and extend our result to cases with a variable rank polarization.
The second stage in geometric quantization consists of the choice of a polarization, which is an involutive complex Lagrangian distribution F on the phase space. Suppose that P is the cotangent bundle space of the configuration space. In this case, the choice of F containing the vertical directions, leads the quantum mechanics of Schrödinger. If F leads to complex analytic structure on P, we have the Bargmann–Fock theory. If F is spanned by the Hamiltonian vector fields of a completely integrable system, we have Bohr–Sommerfeld theory. Each of these theories have specific structure, which is helpful in formulation and solving problems. In the following, we restrict our investigation to the Bohr–Sommerfeld theory in order to emphasize its membership in the class of quantum theories corresponding to different polarization.
A common problem in arising in quantum theories is occurrence of singularities. Usually, one studies the geometric structure of the theory in the language of differential geometry of smooth manifolds, and then investigates the structure of singularities separately. The theory of differential spaces, introduced by Sikorski [13,14], is a powerful tool in the study of the geometry of spaces with singularities [15]. The main singularity encountered here corresponds to the fact that the polarization F spanned by the Hamiltonian vector fields of a completely integrable system does not have constant rank. This singularity is so well known that we do not have to use the language of differential spaces to get results. It should be noted that the results in [9,11] rely on the theory of differential spaces.
In conclusion, it should be mentioned that the scientists, who used visual presentation of the Bohr–Sommerfeld spectra in terms of dots on the space of the action variables, are familiar with handling shifting operators. The line segments joining two dots corresponding to quantum states represent the shifting operators between these states.
To make the paper more accessible to the reader, we have provided an introductory section with a comprehensive review of geometric quantization. Experts may omit this section and proceed directly to the next section on Bohr–Sommerfeld theory.

2. Elements of Geometric Quantization

Let ( P , ω ) be a symplectic manifold. Geometric quantization can be divided into three steps: prequantization, polarization, and unitarization.

2.1. Principal Line Bundles with a Connection

We begin with a brief review of connections on complex line bundles.
Let C × denote the multiplicative group of nonzero complex numbers. Its Lie algebra c × is isomorphic to the abelian Lie algebra C of complex numbers. Different choices of the isomorphism ι : C c × lead to different factors in various expressions. Here, to each c C we associate the 1-parameter subgroup t e 2 π i t c of C × . In other words, we take
ι : C c × : c ι ( c ) = 2 π i c .
The prequantization structure for ( P , ω ) consists of a principal C × bundle π × : L × P and a c × -valued C × -invariant connection 1-form β satisfying
d β = ( π × ) * ( 1 h ω ) ,
where h is Planck’s constant. The prequantization condition requires that the cohomology class [ 1 h ω ] is integral, that is, it lies in H 2 ( P , Z ) , otherwise the C × principal bundle π × : L × P would not exist.
Let Y c be the vector field on L × generating the action of e 2 π i t c on L × . In other words, the 1-parameter group e t Y c of diffeomorphisms of L × generated by Y c is
e t Y c : L × L × : × × e 2 π i t c .
The connection 1-form β is normalized by the requirement
β | Y c = c .
For each c 0 , the vector field, Y c spans the vertical distribution ver T L × tangent to the fibers of π × : L × P . The horizontal distribution hor T L × on L × is the kernel of the connection 1-form β , that is,
hor T L × = ker β .
The vertical and horizontal distributions of L × give rise to the direct sum T L × = ver T L × hor T L × , which is used to decompose any vector field Z on L × into its vertical and horizontal components, Z = ver Z + hor Z . Here, the vertical component ver Z has range in ver T L × and the horizontal component has range in hor T L × .
If X is a vector field on P, the unique horizontal vector field on L × , which is π × -related to X, is called the horizontal lift of X and is denoted by lift X . In other words, lift X has range in the horizontal distribution hor T L × and satisfies
T π × lift X = X π × .
Claim 1.
A vector field Z on L × is invariant under the action of C × on L × if and only if the horizontal component of Z is the horizontal lift of its projection X to P, that is, hor Z = lift X and there is a smooth function κ : P C such that ver Z = Y κ ( p ) on L p × = ( π × ) 1 ( p ) .
Proof. 
Since the direct sum T L × = ver T L × hor T L × is invariant under the C × action on L × , it follows that the vector field Z is invariant under the action of C × if and only if hor Z and ver Z are C × -invariant. However, hor Z is C × invariant if T π × hor Z = X π × for some vector field X on P, that is, hor Z = lift X . However, this holds by definition. On the other hand, the vertical distribution ver T L × is spanned by the vector fields Y c for c C . Hence, ver Z is C × -invariant if and only if for every fiber L p × the restriction of ver Z to L p × coincides with the restriction of Y c to L p × for some c C , that is, there is a smooth complex valued function κ on P such that c = κ ( p ) . □
Let U be an open subset of P. A local smooth section τ : U P L × of the bundle π × : L × P gives rise to a diffeomorphism
η τ : L | U × = p U ( π × ) 1 ( p ) U × C × : × ( π × ( × ) , b ) = ( p , b ) ,
where b C × is the unique complex number such that × = τ ( p ) b . In the general theory of principal bundles the structure group of the principal bundle acts on the right. In the theory of C × principal bundles, elements of L × are considered to be one-dimensional frames, which are usually written on the right, see [2]. The diffeomorphism η τ is called a trivialization of L U × . It intertwines the action of C × on the principal bundle L × with the right action of C × on U × C × , given by multiplication in C × . If a local section σ : U L of π : L P is nowhere zero, then it determines a trivialization η τ : L U × U × C × . Conversely, a local smooth section τ such that η τ is a trivialization of L × may be considered as a local nowhere zero section of L.
In particular, for every c C , which is identified with the Lie algebra c × of C × , Equation (7) gives e t Y c τ = e 2 π i t c τ . Differentiating with respect to t and then setting t = 0 gives
Y c τ = 2 π i c τ .
For every smooth complex valued function κ : P C , consider the vertical vector field Y κ such that Y κ ( × ) = Y κ ( π × ( × ) ) for every × L × . The vector field Y κ is complete and the 1-parameter group of diffeomorphisms it generates is
e t Y κ : L × L × : × × e 2 π i t κ ( π × ( × ) ) .
For every smooth section τ of the bundle π × , we have e t Y κ τ = e 2 π i t κ τ so that
Y κ τ = 2 π i κ τ .
Let X be a vector field on P and let lift X be its horizontal lift to L × . The local 1-parameter group e t lift X of local diffeomorphisms of L × generated by lift X commutes with the action of C × on L × . For every × , e t lift X ( × ) is called parallel transport of × along the integral curve of X starting at p = π × ( × ) . For every p P the map e t lift X sends the fiber L p × to the fiber L e t X ( p ) .
There are several equivalent definitions of covariant derivative of a smooth section of the bundle π × in the direction of a vector field X on P. We use the following one. The covariant derivative of the smooth section τ of the bundle π × : L × P in the direction X is
X τ = d d t | t = 0 ( e t lift X ) * τ .
Claim 2.
The covariant derivative of a smooth local section of the bundle π × : L × P in the direction X is given by
X τ = 2 π i τ * β | X τ .
Proof. 
For every p P , we have
X τ ( p ) = d d t | t = 0 ( e t lift X ) * τ ( p ) = d d t | t = 0 ( e t lift X τ e t X ) ( p ) = lift X ( τ ( p ) ) + T τ ( X ( p ) ) = lift X ( τ ( p ) ) + hor ( T τ ) X ( p ) + ver ( T τ ) X ( p ) = ver ( T τ ) X ( p ) .
The definition of the connection 1-form β and Equation (13) yield
ver ( T τ ( X ( p ) ) = Y β | T τ X ( τ ( p ) ) = 2 π i β | T τ X τ ( p ) .
Hence,
X τ = 2 π i β | T τ X τ ,
which is equivalent to Equation (15). □

2.2. Associated Line Bundles

The complex line bundle π : L P associated to the C × principal bundle π × : L × P is defined in terms of the action of C × on ( L × × C ) given by
Φ : C × × ( L × × C ) L × × C : b , ( × , c ) ( × b , b 1 c ) .
Since the action Φ is free and proper, its orbit space L = ( L × × C ) / C × is a smooth manifold. A point L is the C × orbit [ ( × , c ) ] through ( × , c ) ( L × × C ) , namely,
= [ ( × , c ) ] = { ( × b , b 1 c ) L × × C | b C × } .
The left action of C × on C gives rise to the left action
Φ ^ : C × × L L : a , [ ( × , c ) ] [ ( × , a c ) ] ,
which is well defined because [ ( × , a c ) ] = [ ( × b , b 1 ( a c ) ) ] = [ ( × b , a ( b 1 c ) ) ] for every × L × , every a, b C × and every c C . The projection map π × : L × P induces the projection map
π : L L / C × = P : = [ ( × , c ) ] π ( ) = π ( [ ( × , c ) ] ) = π × ( × ) .
Claim 3.
A local smooth section σ : U L of the complex line bundle π : L P corresponds to a unique mapping σ : L U × C such that for every p U and every × L p ×
σ ( p ) = [ ( × , σ ( × ) ) ] ,
which is C × -equivariant, that is, σ ( × b ) = b 1 σ ( × ) .
Proof. 
Given p U there exists ( × , c ) L × × C such that σ ( p ) = [ ( × , c ) ] . Since the action of C × on L p × is free and transitive, it follows that the C × orbit { ( × b , b 1 c ) L p × × C | b C × } is the graph of a smooth function from L p × to C , which we denote by σ p . In particular, c = σ p ( × ) so that σ ( p ) = [ ( × , c ) ] = [ ( × , σ p ( × ) ) ] . As p varies over U we get a map
σ : L U × C : × σ ( × ) = σ π × ( × ) ( × ) ,
which satisfies Equation (20). For every b C × , Equations (18) and (20) imply that
σ ( p ) = [ ( × , σ ( × ) ) ] = [ ( × b , b 1 σ ( × ) ) ] = [ ( × b , σ ( × b ) ) ] .
Hence, σ ( × b ) = b 1 σ ( × ) . Thus, the function σ is C × -equivariant. □
If τ : U L × is a local smooth section of the bundle π × : L × P , then for every p P we have σ ( p ) = [ ( τ ( p ) , σ ( τ ( p ) ) ) ] or σ = [ ( τ , σ τ ) ] suppressing the argument p. The function ψ = σ τ : U C is the coordinate representation of the section τ in terms of the trivialization η τ : L U × U × C .
Let Z be a C × -invariant vector field on L × . Then, Z is π × -related to a vector field X on P, that is, T π × Z = X π × . We denote by e t X and e t Z the local 1-parameter groups of local diffeomorphisms of P and L × generated by X and Z, respectively. Because the vector fields X and Z are π × -related, we obtain π × e t Z = e t X π × . In other words, the flow e t Z of Z covers the flow e t X of X. The local group e t Z of automorphisms of the principal bundle L × act on the associated line bundle L by
e ^ t Z : L L : = [ ( × , c ) ] [ ( e t Z ( × ) , c ) ] ,
which holds for all = [ ( × , c ) ] for which e t Z ( × ) is defined.
Lemma 1.
The map e ^ t Z is a local 1-parameter group of local automorphisms of the line bundle L, which covers the local 1-parameter group e t X of the vector field X on P.
Proof. 
We compute. For = [ ( × , c ) ] L we have
e ^ ( t + s ) Z ( ) = e ^ ( t + s ) Z ( [ ( × , c ) ] ) = [ ( e ( t + s ) Z ( × ) , c ) ] = [ ( e t Z ( e s Z ( × ) ) , c ) ] = e ^ t Z ( [ ( e s Z ( × , c ) ] = e ^ t Z e ^ s Z ( [ ( × , c ) ] ) = e ^ t Z e ^ s Z ( ) .
Hence, e ^ t Z is a local 1-parameter group of local diffeomorphisms. Moreover,
π e ^ t Z ( ) = π ( [ ( e t Z ( × ) , c ) ] ) = π × ( e t Z ( × ) ) = e t X ( π × ( × ) ) ;
while
e t X π ( ) = e t X ( π ( [ ( × , c ) ] ) ) = e t X ( π × ( × ) ) .
This shows that e t Z covers e t X . Finally, for every = [ ( × , c ) ] L and every b C ×
Φ ^ b ( e ^ t Z ( ) ) = Φ ^ b ( [ ( e t Z ( × ) , c ) ] ) = [ ( Φ b ( e t Z ( × ) ) , c ) ] = [ ( e t Z ( Φ b ( × ) ) , c ) ] ,
since Z is a C × -invariant vector field on L × . Therefore,
Φ ^ b ( e ^ t Z ( ) ) = e ^ t Z ( [ ( Φ b ( × ) , c ) ] ) = e ^ t Z Φ ^ b ( [ ( × , c ) ] ) = e ^ t Z Φ ^ b ( ) .
This shows that e ^ t Z is a local group of automorphisms of the line bundle π : L P . □
If Z = hor X , then e t lift X ( × ) is parallel transport of × along the integral curve e t X ( p ) of X starting at p = π × ( × ) . Similarly, if = [ ( × , c ) ] L , then
e ^ t lift X ( ) = [ ( e t lift X ( × ) , c ) ]
is parallel transport of L along the integral curve e t X ( p ) of X starting at p. The covariant derivative of a section σ of the bundle π : L P in the direction of the vector field X on P is
X σ = d d t | t = 0 ( e ^ t lift X ) * σ = d d t | t = 0 ( e ^ t lift X σ e t X ) .
Since e ^ t lift X maps π 1 ( e t X ) onto π 1 ( p ) , Equations (22) and (23) are consistent with the definitions in [5].
Theorem 1.
Let σ be a smooth section of the complex line bundle π : L P and let X be a vector field on P. For every × L ×
X σ ( π × ( × ) ) = [ ( × , L lift X σ ( × ) ) ] .
Here, L X is the Lie derivative with respect to the vector field X.
Proof. 
Let p = π × ( × ) . Equation (23) yields
X σ ( p ) = d d t | t = 0 e ^ t lift X σ e t X ( σ ( p ) ) .
Recall that σ ( p ) = [ ( × , σ ( × ) ) ] . Hence,
σ ( e t X ( p ) ) = [ ( e t lift X ( × ) , σ e t lift X ( × ) ) ] .
By Equation (22),
e ^ t lift X σ ( e t X ( p ) ) = e ^ t lift X [ ( e t lift X ( × ) , σ e t lift X ( × ) ) ] = [ ( e t lift X e t lift X ( × ) , σ e t lift X ( × ) ) ] = [ ( × , σ e t lift X ( × ) ) ]
Therefore,
X σ ( p ) = d d t | t = 0 e ^ t lift X σ ( e t X ( p ) ) = d d t | t = 0 [ ( × , σ e t lift X ( × ) ) ] = [ ( × , d d t | t = 0 σ ( e t lift X ( × ) ) ) ] = [ ( × , L lift X σ ( × ) ) ] .

2.3. Prequantization

Let π : L P be the complex line bundle associated to the C × principal bundle π × : L × P . The space S ( L ) of smooth sections of π : L P is the representation space of prequantization. Since C × C , we may identify L × with the complement of the zero section in L. With this identification, if σ : U L is a local smooth section of π : L P , which is nowhere vanishing, then it is a section of the bundle π L U × × : L U × U .
Theorem 2.
A C × -invariant vector field Z on L × preserves the connection 1-form β, on L × if and only if there is a function f C ( P ) such that
Z = lift X f Y f / h ,
where h is Planck’s constant.
Proof. 
The vector field Z on L × preserves the connection 1-form, that is, L Z β = 0 , which is equivalent to
Z d β = d ( Z β ) .
Since hor Z β = 0 , it follows that Z β = ver Z β . The C × -invariance of Z and β imply the C × -invariance of ver Z β . Hence, ver Z β pushes forward to a function π * ( ver Z β ) C ( P ) . Thus, the right hand side of Equation (27) reads
d ( Z β ) = ( π × ) * d ( π * × ( ver Z β ) ) .
By definition Y c β = c , for every c c . This implies
Y c d β = L Y c β d ( Y c β ) = 0 .
Thus, the left hand side of Equation (27) reads
Z d β = hor Z d β .
The quantization condition (7) together with (28) and (29) allow us to rewrite Equation (27) in the form
lift X ( π × ) * ( 1 h ω ) = ( π × ) * d ( π * ( ver Z β ) ) .
Equation (30) shows that X is the Hamiltonian vector field of the smooth function
f = h π * ( ver Z β ) )
on P. We write X = X f . This implies that
hor Z = lift X f .
We still have to determine the vertical component ver Z of the vector field Z. For each × L × there is a c c such that ver Z = Y c . Since Y c is tangent to the fibers of the C × principal bundle π × : L × P , the element c of c depends only on π × ( × ) = p P . Therefore,
( π * × ( ver Z β ) ) ( × ) = ( π * × ( Y c ( p ) β ) ) ( × ) = c ( p ) = f ( p ) / h
by Equation (31). In other words, for every point × L × we have ver Z ( × ) = Y f ( p ) / h ( × ) , where p = π × ( × ) . Thus, we have shown that
Z f = Z = lift X f Y f / h .
Reversing the steps in the above argument proves the converse. □
To each f C ( P ) , we associate a prequantization operator
P f : S ( L ) S ( L ) : σ P f σ = i ћ d d t | t = 0 ( e ^ t Z f ) * σ ,
where e ^ t Z f is the action of e t Z f : L × L × on L, see (22). Note that the definition of covariant derivative in Equation (23) is defined in terms of the pull back ( e ^ t Z f ) * σ of the section σ by e ^ t Z f , while the prequantization operator in (34) is defined using the push forward ( e ^ t Z f ) * σ of σ by e ^ t Z f .
Theorem 3.
For every f C ( P ) and each σ S ( L )
P f σ = ( i ћ X f + f ) σ .
Proof. 
Since the horizontal distribution on L × is C × -invariant and the vector field Y c generates multiplication on each fiber of π × by e 2 π i c , it follows that e t lift X f e t Y f / h = e t Y f / h e t lift X f . Since f is constant along integral curves of X f ,
e t Z f = e t ( lift X f Y f / h ) = e t lift X f e t Y f / h = e t lift X f e 2 π i t f / h = e 2 π i t f / h e t lift X f ,
and
P f σ = i ћ d d t | t = 0 ( e ^ t Z f ) * σ = i ћ d d t | t = 0 ( e t lift X f e t Y f / h ) * σ = i ћ d d t | t = 0 ( e ^ t lift X f ) * σ + i ћ d d t | t = 0 ( e ^ t Y f / h ) * σ .
Since ( e ^ t lift X f ) * σ = ( e ^ t lift X f ) * σ , Equation (23) gives
i ћ d d t | t = 0 ( e ^ t lift X f ) * σ = i ћ d d t | t = 0 ( e ^ t lift X f ) * σ = i ћ X f σ .
Since π e ^ t Y f / h = π id P , where id P is the identity map on P, it follows that
( e ^ t Y f / h ) * σ = e ^ t Y f / h σ id P = e ^ t Y f / h σ .
Let τ : U P L × be a smooth local section of π × : L × P , then σ = [ ( τ , σ τ ) ] . Thus, for every p P
e ^ t Y f / h σ ( p ) = e ^ t Y f / h [ ( τ ( p ) , σ ( τ ( p ) ) ) ] = [ ( e t Y f / h ( τ ( p ) ) , σ ( τ ( p ) ) ) ] = [ ( τ ( p ) e 2 π i t f ( p ) / h , σ ( τ ( p ) ) ) ] = [ ( τ ( p ) , e 2 π i t f ( p ) / h σ ( τ ( p ) ) ) ] ,
since [ ( × b , c ) ] = [ ( × b , b 1 ( b c ) ) ] = [ ( × , b c ) ] for every × L × , b C × and c C . It follows that
e ^ t Y f / h σ ( p ) = [ ( τ ( p ) , e 2 π i t f ( p ) / h σ ( τ ( p ) ) ) ] = e 2 π i t f ( p ) / h σ ( p ) .
Therefore,
( e ^ t Z f ) * σ = ( e ^ t ( lift X f Y f / h ) ) * σ = ( e ^ t lift X f e ^ t Y f / h ) * σ = e 2 π i t f ( p ) / h e ^ t lift X f * σ .
Since
i ћ d d t | t = 0 e ^ * t Y f / h σ = i ћ d d t | t = 0 ( e 2 π i t f / h σ ) = i ћ ( 2 π i f / h ) σ = f σ
Equations (37), (38) and (41) imply Equation (35). □
A Hermitian scalar product | on the fibers of L that is invariant under parallel transport gives rise to a Hermitian scalar product on the space S ( L ) of smooth sections of L. Since the dimension of ( P , ω ) is 2 k , the scalar product of the smooth sections σ 1 and σ 2 of L is
( σ 1 | σ 2 ) = P σ 1 | σ 2 ω k .
The completion of the space S c ( L ) of smooth sections of L with compact support with respect to the norm σ = ( σ | σ ) is the Hilbert space H of the prequantization representation.
Claim 4.
The prequantization operator P f is a symmetric operator on the Hilbert space H of square integrable sections of the line bundle π : L P and satisfies Dirac’s quantization commutation relations
[ P f , P g ] = i ћ P { f , g } .
for every f, g C ( P ) . Moreover, the operator P f is self adjoint if the vector field X f on ( P , ω ) is complete.
Proof. 
We only verify that the commutation relations (43) hold. Let f, g C ( P ) and let σ S ( L ) . We compute.
[ X f i ћ f , X g i ћ g ] σ = [ X f , X g ] σ + i ћ X f ( g σ ) g X f σ i ћ X g ( f σ ) f X g σ = [ X f , X g ] + i ћ ( L X f g L X g f ) σ
The quantization condition
[ X f , X g ] [ X f , X g ] = i ћ ω ( X f , X g )
yields
[ X f i ћ f , X g i ћ g ] = [ X f , X g ] i ћ ω ( X f , X g ) + i ћ ( L X f g L X g f )
However, { f , g } = L X g f = ω ( X f , X g ) . Thus, L X f g L X g f = { g , f } { f , g } = 2 { f , g } . Since X g ω = d g , it follows that
[ X f , X g ] ω = L X f X g ω = L X f d g = d L X f g = d { f , g } .
Consequently, [ X f , X g ] = X { f , g } . Thus,
[ X f i ћ f , X g i ћ g ] = X { f , g } i ћ { f , g } .

2.4. Polarization

Prequantization is only the first step of geometric quantization. The prequantization operators do not satisfy Heisenberg’s uncertainty relations. In the case of Lie groups, the prequantization representation fails to be irreducible. These apparently unrelated shortcomings lead to the next step of geometric quantization: the introduction of a polarization.
A complex distribution F T C P = C T P on a symplectic manifold ( P , ω ) is Lagrangian if for every p P , the restriction of the symplectic form ω p to the subspace F p T p C P vanishes identically, and rank C F = 1 2 dim P . If F is a complex distribution on P, let F ¯ be its complex conjugate. Let
D = F F ¯ T C P and E = ( F + F ¯ ) T C P .
A polarization of ( P , ω ) is an involutive complex Lagrangian distribution F on P such that D and E are involutive distributions on P. Let C ( P ) F be the space of smooth complex valued functions of P that are constant along F, that is,
C ( P ) F = { f C ( P ) P | d f | u = 0 for   every   u F } .
The polarization F is strongly admissible if the spaces P / D and P / E of integral manifolds of D and E, respectively, are smooth manifolds and the natural projection P / D P / E is a submersion. A strongly admissible polarization F is locally spanned by Hamiltonian vector fields of functions in C ( P ) F . A polarization F is positive if i ω ( u , u ¯ ) 0 for every u F . A positive polarization F is semi-definite if ω ( u , u ¯ ) = 0 for u F implies that u D C .
Let F be a strongly admissible polarization on ( P , ω ) . The space S F ( L ) of smooth sections of L that are covariantly constant along F is the quantum space of states corresponding to the polarization F.
The space C F ( P ) of smooth functions on P, whose Hamiltonian vector field preserves the polarization F, is a Poisson subalgebra of C ( P ) . Quantization in terms of the polarization F leads to quantization map Q , which is the restriction of the prequantization map
P : C ( P ) × S ( L ) S ( L ) : ( f , σ ) P f σ = ( i ћ X f + f ) σ
to the domain C F ( P ) × S F ( L ) C ( P ) × S ( L ) and the codomain S F ( L ) S ( L ) . In other words,
Q : C F ( P ) × S ( L ) S F ( L ) : ( f , σ ) Q f σ = ( i ћ X f + f ) σ .
Quantization in terms of positive strongly admissible polarizations such that E E ¯ = { 0 } lead to unitary representations. For other types of polarizations, unitarity may require additional structure.

3. Bohr–Sommerfeld Theory

3.1. Historical Background

Consider the cotangent bundle T * Q of a manifold Q. Let π Q : T * Q Q be the cotangent bundle projection map. The Liouville 1-form α Q on T * Q is defined as follows. For each q Q , p T q * Q and u p T p ( T * Q ) ,
α Q | u p = p | T π Q ( u p ) .
The exterior derivative of α Q is the canonical symplectic form d α Q on T * Q .
Let dim Q = k . A Hamiltonian system on ( T * Q , d α Q ) with Hamiltonian H 0 is completely integrable if there exists a collection of k 1 functions H 1 , , H k 1 C ( T * Q ) , which are integrals of X H 0 , that is, { H 0 , H i } = 0 for i = 1 , , k 1 , such that { H i , H j } = 0 for i, j = 1 , , k 1 . Assume that the functions H 0 , , H k 1 are independent on a dense open subset of T * Q . For each p T * Q , let M p be the orbit of the family of Hamiltonian vector fields { X H 0 , , X H k 1 } passing through p. This orbit is the largest connected immersed submanifold in T * Q with tangent space T p ( M p ) equal to span R { X H 0 ( p ) , , X H k 1 ( p ) } . The integral curve t e t X H 0 ( p ) of X H 0 starting at p is contained in M p . Hence, knowledge of the family { M p | p T * Q } of orbits provides information on the evolution of the Hamiltonian system with Hamiltonian H 0 .
Bohr–Sommerfeld theory, see [16,17], asserts that the quantum states of the completely integrable system ( H 0 , , H k 1 , T * Q , d α Q ) are concentrated on the orbits M { M p | p T * Q } , which satisfy the
Bohr–Sommerfeld Condition:For every closed loop γ : S 1 M T * Q , there exists an integer n such that
γ * ( α Q ) = n h ,
where h is Planck’s constant.
This theory applied to the bounded states of the relativistic hydrogen atom yields results that agree exactly with the experimental data [17]. Attempts to apply Bohr–Sommerfeld theory to the helium atom, which is not completely integrable, failed to provide useful results. In his 1925 paper [1], Heisenberg criticized Bohr–Sommerfeld theory for not providing transition operators between different states. At present, the Bohr–Sommerfeld theory is remembered by physicists only for its agreement with the quasi-classical limit of Schrödinger theory. Quantum chemists have never stopped using it to describe the spectra of molecules.

3.2. Geometric Quantization in a Toric Polarization

To interpret Bohr–Sommerfeld theory in terms of geometric quantization, we consider a set P T * Q consisting of points p T * Q where X H 0 ( p ) , , X H k 1 ( p ) are linearly independent and the orbit M p of the family { X H 0 , , X H k 1 } of Hamiltonian vector fields on ( T * Q , d α T * Q ) is diffeomorphic to the k torus T k = R k / Z k . We assume that P is a 2 k -dimensional smooth manifold and that the set B = { M p | p P } is a quotient manifold of P with smooth projection map ρ : P B . This implies that the symplectic form d α Q on T * Q restricts to a symplectic form on P, which we denote by ω . Let D be the distribution on P spanned by the Hamiltonian vector fields X H 0 , , X H k 1 . Since { H i , H j } = 0 for i, j = 0 , 1 , , k 1 , it follows that D is an involutive Lagrangian distribution on ( P , ω ) . Moreover, F = D C is a strongly admissible polarization of ( P , ω ) .
Since the symplectic form d α Q on T * Q is exact, we may choose a trivial prequantization line bundle
π × : L T * Q × = C × × T * Q T * Q : b , ( q , p ) ( q , p )
with connection 1-form β Q = 1 2 π i d b b + 1 h α Q . Let L × be the restriction of L T * Q × to P and let α be the 1-form on P, which is the restriction of α Q to P, that is, α = α Q P . Then, L × = C × × P is a principal C × bundle over P with projection map
π × : L × = C × × P P : ( b , p ) p
and connection 1-form β = 1 2 π i d b b + 1 h α . The complex line bundle
π : L = C × P P : ( c , p ) p
associated to the principal bundle π × is also trivial. Prequantization of this system is obtained by adapting the results of Section 2.
Since integral manifolds of the polarization D are k-tori, we have to determine which of them admit nonzero covariantly constant sections of L.
Theorem 4.
An integral manifold M of the distribution D admits a section σ of the complex line bundle L, which is nowhere zero when restricted to M, if and only if it satisfies the Bohr–Sommerfeld condition (47).
Proof. 
Suppose that an integral manifold M of D admits a nowhere zero section of L M . Since σ is nowhere zero, it is a section of L M × . Let γ : S 1 M be a loop in M. For each t S 1 , let γ ˙ ( t ) T γ ( t ) M be the tangent vector to γ at t. Since σ is covariantly constant along M, Claim 2 applied to the section
σ : M L | M × = C × M : p ( b ( p ) , p )
gives
X ( p ) σ ( p ) = 2 π i σ * ( β ) ( p ) | X ( p ) σ ( p ) = 0
for every p P and every X ( p ) T p M . Taking p = γ ( t ) and X ( p ) = γ ˙ ( t ) gives
2 π i σ * β ( γ ( t ) ) | γ ˙ ( t ) σ ( γ ( t ) ) = 0 .
Since β = 1 2 π i d b b + 1 h α and ( σ γ ) ( t ) = ( b ( γ ( t ) , γ ( t ) ) ) , we get
2 π i σ * β ( γ ( t ) ) | γ ˙ ( t ) = 2 π i β ( σ ( γ ( t ) ) ) | γ ˙ ( t ) = 1 b ( γ ( t ) ) d b ( γ ( t ) ) d t + 2 π i h α | γ ˙ ( t ) = d d t ln b ( γ ( t ) ) + 2 π i h α ( γ ( t ) ) | γ ˙ ( t ) .
Hence, Equation (48) is equivalent to
d d t ln b ( γ ( t ) ) + 2 π i h α ( γ ( t ) ) | γ ˙ ( t ) = 0 ,
which integrated from 0 to 2 π gives
ln b ( γ ( 2 π ) ) ln b ( γ ( 0 ) ) = 2 π i h 0 2 π α ( γ ( t ) ) | γ ˙ ( t ) d t = 2 π i h γ * α .
If γ bounds a surface Σ M , then Stokes’ theorem together with Equation (47) and the quantization condition (7) yield
2 π i h γ * α = 2 π i h Σ d α = 2 π i h Σ ω = 0 ,
because M is a Lagrangian submanifold of ( P , ω ) . Thus, ln b ( γ ( 2 π ) ) = ln b ( γ ( 0 ) ) , which implies that the nowhere zero section σ is parallel along γ . If γ does not bound a surface in M, but does satisfy the Bohr–Sommerfeld condition γ * α Q = n h (47) with α Q replaced by its pull back α to P, then
ln b ( γ ( 2 π ) ) b ( γ ( 0 ) ) = 2 π i h γ * α = 2 π i h n h = 2 π i n ,
so that
b ( γ ( 2 π ) ) b ( γ ( 0 ) ) = e 2 π i n = 1 .
Hence, b ( γ ( 2 π ) ) = b ( γ ( 0 ) ) and the nowhere zero section σ is parallel along γ . □
Note that the manifolds M that satisfy Bohr–Sommerfeld conditions (47) are k-dimensional toric submanifolds of P . We call them Bohr–Sommerfeld tori. Since Bohr–Sommerfeld tori have dimension k = 1 2 dim P , there is no non-zero smooth section σ 0 : P L that is covariantly constant along D. However, for each Bohr–Sommerfeld torus M, Theorem 4 guarantees the existence of a non-zero, covariantly constant along D M , smooth section σ M : M L M , where L M denotes the restriction of L to M.
Let S = { M } be the set of Bohr–Sommerfeld tori in P. For each M S , there exists a non-zero, covariantly constant along D M , smooth section σ M of L restricted to M determined up to a factor in C × . The direct sum
S = M S { C σ M }
is the the space of quantum states of the Bohr–Sommerfeld theory. Thus, each Bohr–Sommerfeld torus M represents a 1-dimensional subspace { C σ M } of quantum states. Moreover, { C σ M } { C σ M } = { 0 } if M M because Bohr–Sommerfeld tori are mutually disjoint. Hence, the collection { σ M } is a basis of S .
For our toral polarization F = D C , the space of smooth functions on P that are constant along F, see Equation (44), is C F ( P ) = ρ * ( C ( B ) ) , see Lemma A3. For each f C F ( P ) , the Hamiltonian vector field X f is in D, that is, X f σ M = 0 for every basic state σ M S . Hence, the prequantization and quantization operators act on the basic states σ M S by multiplication by f, that is,
Q f σ M = P f σ M = f σ M = f M σ M .
Note that f M is a constant because f C F ( P ) . For a general quantum state σ = M S c M σ M S ,
Q f σ = Q f M S c M σ M = M S c M Q f σ M = M S c M f M σ M .
We see that, for every function f C ( P ) , each basic quantum state σ M is an eigenstate of Q f corresponding to the eigenvalue f M . Since eigenstates corresponding to different eigenvalues of the same symmetric operator are mutually orthogonal, it follows that the basis { σ M } of S is orthogonal. This is the only information we have about scalar product in S . Our results do not depend on other details about the scalar product in S .

3.3. Shifting Operators

3.3.1. The Simplest Case P = T * T k

We begin by assuming that P = T * T k with canonical coordinates ( p , θ ) = ( p 1 , , p k , θ 1 , , θ k ) where, for each i = 1 , , k , θ i is the canonical angular coordinate on the i th torus and p i is the conjugate momentum. The symplectic form is
ω = d i = 1 k p i d θ i = i = 1 k d p i d θ i .
In this case, action–angle coordinates ( j , ϑ ) = ( j 1 , , j k , ϑ 1 , , ϑ k ) are obtained by rescaling the canonical coordinates so that, for every i = 1 , , k , we have j i = 2 π p i and ϑ i = θ i / 2 π . Moreover, the rescaled angle coordinate ϑ i : T * T k T = R / Z is interpreted as a multi-valued real function, the symplectic form
ω = i = 1 k d j i d ϑ i ,
and the toric polarization of ( P , ω ) is given by D = span ϑ 1 , , ϑ 1 .
In terms of action–angle coordinates, the Bohr–Sommerfeld tori in T * T k are given by equation
j = ( j 1 , , j k ) = ( n 1 h , , n k h ) = n h ,
where n = ( n 1 , , n k ) Z k . For each n Z k , we denote by T n k the corresponding Bohr–Sommerfeld torus in B . If β = 1 2 π i d b b + 1 h i = 1 k j i d ϑ i is the connection form in the principal line bundle L × = C × × T n k T n k , then sections
σ n : T n k L × : ( ϑ 1 , , ϑ k ) e 2 π i ( n 1 ϑ 1 + + n k ϑ k ) ,
form a basis in the space S of quantum states.
For each i = 1 , , k , the vector field j i is transverse to D and j i ω = d ϑ i , so that j i is the Hamiltonian vector field of ϑ i . In the following, we write
X i = j i = X ϑ i
to describe the actual vector field X i without referring to its relation to the action angle coordinates ( j , ϑ ) . Equation (36) in Section 2.1, for f = ϑ i , is multi-valued because the phase factor is multi-valued, and
e t Z ϑ i = e 2 π i t ϑ i / h e t lift X i .
Claim 5.
If t = h , then
e h Z X i = e 2 π i ϑ i e h lift X i .
is well defined.
Proof. 
For every i = 1 , , k , consider an open interval ( a i , b i ) in R such that 0 < b i a i < 1 . Let
W = ϑ 1 1 ( a 1 , b 1 ) ϑ 2 1 ( a 2 , b 2 ) ϑ k 1 ( a k , b k ) .
Since the action–angle coordinates ( j 1 , , j k , ϑ 1 , , ϑ k ) are continuous, W is an open subset of P. Let η i be a unique representative of ϑ i W with values in ( a i , b i ) . With this notation,
ω W = i = 1 k d j i W d ϑ i .
The restriction to W of the vector field X ϑ i is the genuinely Hamiltonian vector field of η i , namely,
X ϑ i W = X η i .
The vector field
Z η i = lift X η i Y η i / h
is well defined. Equation (36) yields e t Z η i = e 2 π i η i / h e t lift X η i . Hence,
e h Z η i = e 2 π i η i e h lift X η i .
If we make another choice of intervals ( a i , b i ) in R such that 0 < b i a i < 1 and let W = i = 1 k ϑ i 1 ( a i , b i ) . Then, η i with values in ( a i , b i ) differs from η i by an integer, so that η i = η i + n i , and, in W W , we have
e 2 π i η i = e 2 π i ( η i + n i ) = e 2 π i η i .
Moreover, X θ i W W = X η i W W = X i W W , so that
( e h Z X i ) L W W × = ( e h Z η i ) L W W × = ( e h Z η i ) L W W × .
Since we can cover P by open contractible sets defined in Equation (57), we conclude that e h Z X i is well defined by Equation (56) and depends only on the vector field X i .
Consequently, there exists a connection preserving automorphism A X i : L × L × such that, if × L W × , where W P is given by Equation (57), then
A X i ( × ) = e h Z X i ( × ) .
Claim 6.
The connection preserving automorphism A X i : L × L × , defined by Equation (62) depends only on the vector field X i and not the original choice of the action–angle coordinates.
Proof. 
If ( j 1 , , j k , ϑ 1 , , ϑ k ) is another set of action–angle coordinates then
j i = l = 1 k a i l j l and ϑ i = l = 1 k b i l ϑ l ,
where the matrices A = ( a i l ) and B = ( b i l ) lie in Sl ( k , Z ) and B = ( A 1 ) T . In the new coordinates,
X ϑ i = j i = l = 1 k a i l j l = l = 1 k b i l X ϑ l = X ( b i 1 ϑ 1 + + b i k ϑ k ) .
Clearly,
e t lift X ϑ i = e t lift X ( b i 1 ϑ 1 + + b i k ϑ k ) .
To compare the phase factor entering Equation (55), we consider an open contractible set W P . As before, for each i = 1 , , k , choose a single-valued representative η i of ( ϑ i ) W . Then,
η i = j = 1 k b i j ( η j + l j ) = j = 1 k b i j η j + j = 1 k b i j l j = j = 1 k b i j η j + l ,
where each l j is an integer and thus l = j = 1 k b i j l j is also an integer. Hence,
e 2 π i η i = e 2 π i ( b i 1 η 1 + + b i k η k + l ) = e 2 π i ( b i 1 η 1 + + b i k η k ) ,
where b i 1 , , b i k are integers. Since l is constant,
X ϑ i W = X η i = X ( b i 1 η 1 + + b i k η k + l ) = X ( b i 1 η 1 + + b i k η k ) = X ( b i 1 ϑ 1 + + b i k ϑ k ) W .
Therefore,
e h Z η i = e 2 π i η i e h lift X η i = e 2 π i ( b i 1 η 1 + + b i k η k ) e h lift X ( b i 1 ϑ 1 + + b i k ϑ k ) ,
which shows that the automorphism A X ϑ i : L × L × depends on the vector field X i and not on the action angle coordinates in which it is computed. □
Claim 7.
For each i = 1 , , k , the symplectomorphism e h X i : P P , where h is Planck’s constant, preserves the set B of Bohr–Sommerfeld tori in P.
Proof. 
Since X i is complete, e t X i : P P is a 1-parameter group of symplectomorphisms of ( P , ω ) . Hence, e h X i : P P is well defined. By Equation (52), j i T n k = n i h for every Bohr–Sommerfeld torus T n k , where n = ( n 1 , , n k ) .
Since X i = j i ,
L X i ( j i d ϑ i ) = X i d j i d ϑ i + d ( X i j i d ϑ i ) = d ϑ i , L X i ( j l d ϑ l ) = X i d j l d ϑ l + d ( X i j l d ϑ l ) = 0 f o r   l i .
This implies that, for every l i , ( e t X i ) * ( j l d ϑ l ) = j l d ϑ l and ( e t X i ) * ( j i d ϑ i ) = ( j i t ) d ϑ i . Therefore, if j = n h , then ( e h X i ) * j l = j l = n l , if l i , and ( e t X i ) * j i = ( j i h ) = ( n i 1 ) h if = i . This implies that e h X ϑ i ( T n k ) is a Bohr–Sommerfeld torus. □
We denote by A ^ X i : L L the action of A X i : L × L × on L. The automorphism A ^ X i acts on sections of L by pull back and push forward, namely,
( A ^ X i ) * σ = ( e ^ h Z i ) * σ = e ^ h Z i σ e h X i , ( A ^ X i ) * σ = ( e ^ h Z i ) * σ = e ^ h Z i σ e h X i .
Since A X i : L × L × is a connection preserving automorphism, it follows that, if σ satisfies the Bohr–Sommerfeld conditions, then ( A ^ X i ) * σ and ( A ^ X i ) * σ also satisfy the Bohr–Sommerfeld conditions. In other words, ( A ^ X i ) * and ( A ^ X i ) * preserve the space S of quantum states. The shifting operators a X i and b X i , corresponding to X i , are the restrictions to S of ( A ^ X i ) * and ( A ^ X i ) * , respectively. For every n = ( n 1 , , n k ) Z k , Equations (53) and (56) yield
a X i σ n = e ^ h Z i σ n e ^ h X i = σ n i = e 2 π i ( j i n j ϑ j + ( n i 1 ) ϑ i ) σ n b X i σ n = e ^ h Z i σ n e ^ h X i = σ n i + = e 2 π i ( j i n j ϑ j + ( n i + 1 ) ϑ i ) σ n .
For each i = 1 , , k , a X i b X i = b X i a X i = id S . In addition, the operators a X i , b X j , for i , j = 1 , , k , generate an abelian group A of linear transformations of S into itself, which acts transitively on the space of one-dimensional subspaces of S .
Given a non-zero section σ S supported on a Bohr–Sommerfeld torus, the family of sections
{ ( a X k n k a X 1 n 1 σ ) S | n 1 , n k Z }
is a linear basis of S , invariant under the action of A . Since A is abelian, there exists a positive, definite Hermitian scalar product · · on S , which is invariant under the action of A , and such that the basis in (71) is orthonormal. It is defined up to a constant positive factor. The completion of S with respect to this scalar product yields a Hilbert space H of quantum states in the Bohr–Sommerfeld quantization of T * T k . Elements of A extend to unitary operators on H .

3.3.2. General Case of Toral Polarization

Hilbert Space and Operators

Let ( P , ω ) be a symplectic manifold with toroidal polarization D and a covering by domains of action–angle coordinates. If U and U are the domain of the angle-action coordinates ( j , ϑ ) = ( j 1 , , j k , ϑ 1 , , ϑ k ) and ( j , ϑ ) = ( j 1 , , j k , ϑ 1 , , ϑ k ) , respectively, and U U , then in U U we have
j i = l = 1 k a i l j l and ϑ i = l = 1 k b i l ϑ l ,
where the matrices A = ( a i l ) and B = ( b i l ) lie in Sl ( k , Z ) and B = ( A 1 ) T .
Consider a complete locally Hamiltonian vector field X on ( P , ω ) such that, for each angle-action coordinates ( j , ϑ ) with domain U,
( X ω ) U = d ( c · ϑ ) = d ( c 1 ϑ 1 + + c k ϑ k ) ,
for some c = ( c 1 , , c k ) Z k . Equation (72) shows that in U U , we have
c 1 ϑ 1 + + c k ϑ k = c 1 ϑ 1 + + c k ϑ k ,
where c i = j = 1 k c j b j i Z , for i = 1 , , k . As in the preceding section, Equation (36) with f = c · ϑ = c 1 ϑ 1 + + c k ϑ k , which is multi-valued, gives
e t Z c · ϑ = e 2 π i t c · ϑ / h e t lift X ,
which is multivalued, because the phase factor is multi-valued. As before, if we set t = h , we would get a single-valued expression e h Z c · ϑ = e 2 π i c · ϑ e h lift X because c 1 , , c k Z . This would work along all integral curves t e t X ( x ) for t [ 0 , 1 ] , which are contained in U.
Now, consider the case when, for x 0 U , e h X ( x ) U and there exists t 1 ( 0 , h ) such that x 1 = e t 1 X ( x 0 ) U U , where U and U are domains of action–angle variables ( j , ϑ ) and ( j , ϑ ) , respectively. Moreover, assume that e t X ( x 0 ) U for t [ 0 , t 1 ] and e t X ( x 1 ) U for t [ 0 , h t 1 ] . Using the multi-index notation, for l × L x 0 × , we write
A X ( × ) = e ( h t 1 ) Z c · ϑ ( e t 1 Z c · ϑ ( × ) ) = e 2 π i ( h t 1 ) c · ϑ / h e ( h t 1 ) lift X ( e 2 π i t 1 c · ϑ / h e t 1 lift X ( × ) ) = ( e 2 π i ( h t 1 ) c · ϑ / h e 2 π i t 1 c · ϑ / h ) e ( h t 1 ) lift X ( e t 1 lift X ( × ) ) = e 2 π i t 1 ( c · ϑ c · ϑ ) / h e 2 π i c · ϑ e h lift X ( × ) .
Let W be a neighborhood of x 1 in P such that U W and U W are contractible. For each i = 1 , , k , let θ i be a single-valued representative of ϑ i as in the proof of Claim 5. Similarly, we denote by η i a single-valued representative of ϑ i . Equation (73) shows that in U U W , the functions c 1 η 1 + + c k η k and c 1 η 1 + + c k η k are local Hamiltonians of the vector field X and are constant along the integral curve of X W . Hence, we have to make the choice of representatives η i and η i so that
c 1 η 1 ( x 1 ) + + c k η k ( x 1 ) = c 1 η 1 ( x 1 ) + + c k η k ( x 1 ) .
With this choice, e 2 π i t 1 ( c · ϑ c · ϑ ) / h = 1 , and
A X ( l × ) = e 2 π i c · ϑ e h lift X ( l × )
is well defined. It does not depend on the choice of the intermediate point x 1 in U U .
In the case when m + 1 , action–angle coordinate charts with domains U 0 , U 1 , , U m are needed to reach x m = e h X ( x 0 ) U m from x 0 U 0 ; we choose x 1 = e t 1 X ( x 0 ) U 0 U 1 , x 2 = e t 2 X ( x 1 ) U 1 U 2 , , x m 1 = e t m 1 X ( x m 2 ) U m 1 and end with x m = e ( h t 1 t m 1 ) X ( x m 1 ) U m . At each intermediate point x 1 , , x m 1 , we repeat the the argument of the preceding paragraph. We conclude that there is a connection preserving automorphism A X : L × L × well defined by the procedure given here, and it depends only on the complete locally Hamiltonian vector field X satisfying condition (73). The automorphism A X : L × L × of the principal bundle L × leads to an automorphism A ^ X of the associated line bundle L. As in Equation (69), the shifting operators corresponded to the complete locally Hamiltonian vector field X are
a X : S S : σ ( A ^ X ) * σ , b X : S S : σ ( A ^ X ) * σ .
In absence of monodromy, if we have k independent, complete, locally Hamiltonian vector fields X i on ( P , ω ) that satisfy the conditions leading to Equation (73), then the operators a X i , b X j for i , j = 1 , , k generate an abelian group A of linear transformations of S . If the local lattice S of Bohr–Sommerfeld tori is regular, then A acts transitively on the space of one-dimensional subspaces of S . This enables us to construct an A -invariant Hermitian scalar product on S , which is unique up to an arbitrary positive constant. The completion of S with respect to this scalar product yields a Hilbert space H of quantum states in the Bohr–Sommerfeld quantization of ( P , ω ) .

Local Lattice Structure

The above discussion does not address the question of labeling the basic sections σ b in H by the quantum numbers n = ( n 1 , , n k ) associated to the Bohr–Sommerfeld k-torus T = M b , the support of σ b .
These quantum numbers do depend on the choice of action angle coordinates. If ( j , ϑ ) V × T k is another choice of action angle coordinates in the trivializing chart ( U , ψ ) , where T U , then the quantum numbers n of T in ( j , ϑ ) coordinates are related to the quantum numbers n of T in ( j , ϑ ) coordinates by a matrix A Gl ( k , Z ) such that n = A n , because by Claim A2 in Appendix A on U U the action coordinates j is related to the action coordinate j by a constant matrix A Gl ( k , Z ) . Let L U = { n Z k T n U } . Then, L U is the local lattice structure of the Bohr–Sommerfeld tori T n , which lie in the action angle chart ( U , ψ ) . If ( U , ψ ) and ( U , ψ ) are action angle charts, then the set of Bohr–Sommerfeld tori in U U are compatible. More precisely, on U U the local lattices L U and L U are compatible if there is a matrix A Gl ( k , Z ) such that L U = A L U . Let U = { U i } i I be a good covering of P, that is, every finite intersection of elements of U is either contractible or empty, such that for each i I we have a trivializing chart ( U i , ψ i ) for action angle coordinates for the toral bundle ρ : P B . Then, { L U u } i I is a collection of pairwise compatible local lattice structures for the collection S of Bohr–Sommerfeld tori on P. We say that S has a local lattice structure.
The next result shows how the operator ( e ^ h Z ϑ i ) * of Section 3.3 affects the quantum numbers of the Bohr–Sommerfeld torus T = T n .
Claim 8.
Let ( U , ψ ) be a chart in ( P , ω ) for action angle coordinates ( j , ϑ ) . For every Bohr–Sommerfeld torus T = T n in U with quantum numbers n = ( n 1 , , n k ) , the torus e h X ϑ ( T ) is also a Bohr–Sommerfeld torus T n , where n = ( n 1 , , n 1 , n 1 , n + 1 , , n k ) .
Proof. 
For simplicity, we assume that = 1 . Suppose that the image of the curve γ : [ 0 , h ] B : t e X ϑ 1 ( ρ ( x 0 ) ) lies in V = ψ ( U ) , where x 0 T = T n . For x T and t [ 0 , h ] we have
X ϑ 1 j = X ϑ 1 j 1 = j 1 j 1 = 1 , i f   = 1 X ϑ 1 j = j 1 j = 0 , i f   = 2 , , k
and X ϑ 1 ϑ = p 1 ϑ = 0 . Since x T has action angle coordinates ( j 1 ( x ) , , j k ( x ) , ϑ 1 ( x ) , , ϑ k ( x ) ) in U, the point e t ϑ 1 ( x ) has action angle coordinates ( j 1 ( x ) t , , j k ( x ) , ϑ 1 ( x ) , , ϑ k ( x ) ) . In particular, the point e t X ϑ 1 ( x 0 ) has action angle coordinates ( j 1 ( x 0 ) t , , j k ( x 0 ) , ϑ 1 ( x 0 ) , , ϑ k ( x 0 ) ) . Thus,
( e h X ϑ 1 ) * j = j 1 h , i f   = 1 j , i f   = 2 , , k
and ( e h X ϑ 1 ) * ϑ = ϑ for = 1 , 2 , , k . Since T is the Bohr–Sommerfeld torus T n , we have j = 0 1 j d ϑ = n h . Then,
0 1 ( e h X ϑ 1 ) * j 1 d ( e h X ϑ 1 ) * ϑ 1 = 0 1 ( j 1 h ) d ϑ 1 = j 1 h = ( n 1 1 ) h .
Thus, the torus e h X ϑ 1 ( T ) is a Bohr–Sommerfeld torus T n with n = ( n 1 , , n 1 , n 1 , n + 1 , , n k ) .
Now, consider the case when the image of the curve γ : [ 0 , h ] B : t e t X ϑ 1 ( ρ ( x 0 ) ) is not contained in V. This means that e t X ϑ 1 ( U ) , where U = ρ 1 ( V ) , does not contain the torus T. Since e t X ϑ 1 is a 1-parameter group of symplectomorphisms of ( P , ω ) , for every t R , the functions ( ( e t X ϑ 1 ) * j , with = 1 , , k and ( e t X ϑ 1 ) * ϑ , = 1 , , k are action angle coordinates on ( e t X ϑ 1 ) * ( U ) . Choose τ > 0 so that e τ X ϑ 1 ( T ) U . Suppose that h = τ + η , where η [ 0 , τ ) . Observe that for t [ 0 , τ ) the action angle coordinates ( j 1 , , p k , ϑ 1 , , ϑ k ) in U satisfy
( e t X ϑ 1 ) * j = j 1 t i f   = 1 j i f   = 2 , 3 , , k and ( e t X ϑ 1 ) * ϑ = θ .
Hence, ( e τ X ϑ 1 ) * j 1 = j 1 τ and
( e h X ϑ 1 ) * j 1 = ( e ( τ + η ) X ϑ 1 ) * j 1 = ( e τ X ϑ 1 ) * ( e η X ϑ 1 ) * j 1 = ( e τ X ϑ 1 ) * ( j 1 η ) = ( e τ X ϑ 1 ) * ( j 1 ) η ,
because η is constant. Moreover,
0 1 ( e τ X ϑ 1 ) * j 1 d ( e τ X ϑ 1 ) * ϑ 1 = 0 1 ( j 1 τ ) d ϑ 1 = 0 1 j 1 d ϑ 1 τ = j 1 τ .
Similarly,
0 1 ( e h X ϑ 1 ) * j 1 d ( e h X ϑ 1 ) * ϑ 1 = 0 1 ( e τ X ϑ 1 ) * j 1 η d ( e τ X ϑ 1 ) * ϑ 1 = 0 1 ( e τ X ϑ 1 ) * j 1 d ( e τ X ϑ 1 ) * ϑ 1 η 0 1 d ( e τ X ϑ 1 ) * ϑ 1 = 0 1 p 1 d ϑ 1 τ η = 0 1 p 1 d ϑ 1 h = ( n 1 1 ) h ,
because T is a Bohr–Sommerfeld torus T n with quantum numbers ( n 1 , , n k ) . Thus, e h X ϑ 1 ( T ) is a Bohr–Sommerfeld torus corresponding to the quantum numbers ( n 1 1 , n 2 , , n k ) . This argument may be extended to cover the case where ћ = k τ + η for any positive integer k and η [ 0 , τ ) . □

3.4. Singularity of Toral Polarization in Completely Integrable Hamiltonian Systems

A completely integrable Hamiltonian system on a symplectic manifold ( P , ω ) of dimension 2 k is given by k functions H 1 , , H k C ( P ) , which Poisson commute with each other, and are independent on the open dense subset P 0 of P . We assume that, for every i = 1 , , k , and each x P 0 , the maximal integral curve of X H i through x is periodic with period T i ( x ) > 0 . The complement P P 0 of P 0 in P is the set of singular points of the real polarization D = span { X H 1 , , X H k } of ( P , ω ) .
Applying the arguments of Section 3.1 and the beginning of Section 3.2, we obtain the set S = { M } of Bohr–Sommerfeld tori M in P. Each M is an integral manifold of D, which admits a covariantly constant section σ M : M L M . The section σ M is determined up to a non-zero constant. The direct sum
S = M S { C σ M }
is the space of quantum states of the Bohr–Sommerfeld theory. Each Bohr–Sommerfeld torus M represents a one-dimensional subspace of quantum states. The collection { σ M } is a basis of S , and
Q H i σ M = H i M σ M .
Let S 0 = { M S M P 0 } be the set of the Bohr–Sommerfeld tori in P 0 . Then,
S 0 = M S 0 { C σ M }
is the space of quantum states of the system, which are described by the Bohr–Sommerfeld quantization of P 0 . The collection { σ M M P 0 } is a basis of S 0 , and
Q H i σ M = H i M σ M
for every M P 0 .
The restriction D P 0 of D to P 0 is a toral polarization of ( P 0 , ω P 0 ) discussed earlier. The functions H 0 , , H k 1 C ( P ) , which define the system, give rise to action–angle coordinates ( j , ϑ ) on P 0 , where for each i = 0 , , k 1 , j i = H i P 0 | T i P 0 and ϑ i is the multivalued angle coordinate corresponding to j i . Since we deal with the single set of action–angle coordinates, most of the analysis of Section 3.3.1 applies to this problem. As in Section 3.3.2, Equation (54), for i = 1 , , k we introduce the notation
X i = j i = X ϑ i .
Each X i is a locally Hamiltonian vector field on P 0 . However, since P 0 T * T k , we cannot assume that the vector field X i is complete.
In terms of action–angle coordinates ( j , ϑ ) on P 0 , the Bohr–Sommerfeld tori in P 0 are given by equation
j = ( j 1 , , j k ) = ( n 1 h , , n k h ) = n h ,
where n = ( n 1 , , n k ) Z k . For n Z k ,
M n = M ( n 1 , , n k ) = { x P 0 j ( x ) = n h }
denotes the Bohr–Sommerfeld torus in P 0 corresponding to the eigenvalue n of j . If n h is not in the spectrum of j , then M n = . In a trivialization L P 0 = C × P 0 of the complex line bundle L restricted to P 0 , for each M n , we can choose
σ n : M n L : ( ϑ 1 , , ϑ k ) ( ϑ 1 , , ϑ k ) , e 2 π i ( n 1 ϑ 1 + + n k ϑ k ) ,
form a basis in the space S 0 of quantum states in P 0 .
Claim 5 implies the following
Corollary 1.
If, for every x P 0 and each i = 1 , , k , Planck constant h is in the domain of the maximal integral curve e t X i ( x ) of X i starting at x, then e h Z X i = e 2 π i ϑ i e h lift X i is well defined.
Under the assumptions of Corollary 1, we may follow the arguments of Section 3.3.1 leading to Equation (70). Applied to the case under consideration, it may be rewritten as follows. For every n = ( n 1 , , n k ) Z k , such that M n P 0 , one has
a X i σ ( n 1 , , n k ) = σ ( n 1 , , n i 1 , n i 1 , n i + 1 , n k ) ,
if M ( n 1 , , n i 1 , n i 1 , n i + 1 , n k ) P 0 , and
b X i σ ( n 1 , , n k ) = σ ( n 1 , , n i 1 , n i + 1 , n i + 1 , n k ) ,
if M ( n 1 , , n i 1 , n i + 1 , n i + 1 , n k ) P 0 .
It remains to extend the action of a X i and b X i given above to all states in S . This involves a study of the integral curves of X i on P, which originate or end at points in the singular set P P 0 .
Suppose we manage to extend the action of the shifting operators to all states in S . Monodromy occurs when, there exist loops in the local lattice of Bohr–Sommerfeld tori such that for some α 1 , , α m { 1 , , k } the mapping
e h X α m e h X α 1 M n : M n M n
need not be the identity on M n . In this case shifting operators are multivalued, and there exists a phase factor e i φ such that
( a X α m a X α 1 ) σ n = e i φ σ n .
Given a non-zero section σ S supported on a Bohr–Sommerfeld torus M . Any maximal family
B = { ( a X k n k a X 1 n 1 σ ) S n 1 , n k Z }
of sections in S , such that no two sections in B are supported on the same Bohr–Sommerfeld torus, is a linear base of S . We can define a scalar product · · on S as follows. First, assume that basic sections supported on different Bohr–Sommerfeld tori are perpendicular to each other. Then, assume that for every a X k n k a X 1 n 1 σ B ,
a X k n k a X 1 n 1 σ a X k n k a X 1 n 1 σ = σ σ .
This definition works even in the presence of monodromy. The completion of S with respect to this scalar product yields a Hilbert space H of quantum states in the Bohr–Sommerfeld quantization of the completely integrable Hamiltonian system under consideration.

Example: The 2-d Harmonic Oscillator

We consider the harmonic oscillator with 2 degrees of freedom, see [9]. Its configuration space is R 2 with coordinates q = ( q 1 , q 2 ) . Its phase space P = T * R 2 = R 2 × R 2 has coordinates ( p , q ) = ( q 1 , q 2 , p 1 , p 2 ) with symplectic form ω = d p 1 d q 1 + d p 2 d q 2 . The 2-d harmonic oscillator is completely integrable with integrals the Hamiltonian H ˜ with H ˜ ( p , q ) = 1 2 ( p 1 2 + p 2 2 + q 1 2 + q 2 2 ) and the angular momentum J ˜ with J ˜ ( p , q ) = q 1 p 2 q 2 p 1 .
The change of variables
ψ : q 1 q 2 p 1 p 2 ξ 1 ξ 2 η 1 η 2 = 1 2 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 q 1 q 2 p 1 p 2
is symplectic, that is, ω = d η 1 d ξ 1 + d η 2 d ξ 2 , preserves the diagonal form of the Hamiltonian H = 1 2 ( ξ 1 2 + η 1 2 + ξ 2 2 + η 2 2 ) = ψ * H ˜ , and diagonalizes the angular momentum J = 1 2 ( ξ 1 2 + η 1 2 ξ 2 2 η 2 2 ) = ψ * J ˜ . The functions
A 1 = 1 2 ( ξ 1 2 + η 1 2 ) = H + J , A 2 = 1 2 ( ξ 2 2 + η 2 2 ) = H J
are action variables for the two-dimensional harmonic oscillator. The corresponding angle variables are θ 1 and θ 2 , respectively. In the variables ( A , θ ) = ( A 1 , A 2 , θ 1 , θ 2 ) , the symplectic form ω is d A 1 d θ 1 + d A 2 d θ 2 . The rescaled action angle coordinates ( j , ϑ ) = ( j 1 , j 2 , ϑ 1 , ϑ 2 ) , used previously, are given by
j i = 2 π A i and ϑ i = θ i / 2 π for i = 1 , 2 .
The Bohr–Sommerfeld tori M n , m = { x T * R 2 j 1 = n h , j 2 = m h } are parameterized by two integers n , m . The corresponding basic sections are
σ n , m : M n , m L : ( ϑ 1 , ϑ 2 ) e 2 π i ( n ϑ 1 + m ϑ 2 ) ,
see Equation (80). Equations (83) yield
H = 1 2 ( A 1 + A 2 ) = 1 2 ( j 1 / 2 π + j 2 / 2 π ) , J = 1 2 ( A 1 A 2 ) = 1 2 ( j 1 / 2 π j 2 / 2 π ) .
Hence, the quantum operators Q H and Q J act on σ n , m as follows.
Q H σ n , m = H M n , m σ n , m = 1 2 ( j 1 / 2 π + j 2 / 2 π ) M n , m σ n , m = 1 2 ( n h / 2 π + m / 2 π ) σ n , m = 1 2 ( n + m ) ħ σ n , m ,
where ħ = h / 2 π and
Q J σ n , m = J M n , m σ n , m = 1 2 ( n m ) ħ σ n , m .
The regular part of P = T * R 2 is
P 0 = { x T * R 2 j 1 ( x ) > 0 and j 2 ( x ) > 0 } .
The singular part of P = T * R 2 consists of three strata
S 1 = { x T * R 2 j 1 ( x ) > 0 and j 2 ( x ) = 0 } , S 2 = { x T * R 2 j 1 ( x ) = 0 and j 2 ( x ) > 0 } , S 0 = { x T * R 2 j 1 ( x ) = 0 and j 2 ( x ) = 0 } .
S 0 is the origin of T * R 2 , while S 1 and S 2 are cylinders parameterized by ( j 1 , ϑ 1 ) and ( j 2 , ϑ 2 ) , respectively.
As before, for i = 1 , 2 , we consider the locally Hamiltonian vector fields
X i = j i = X ϑ i .
The conditions of Corollary 1 are satisfied. Hence, in P 0 , we get shifting operators
a X 1 σ n , m = σ n 1 , m , provided n > 1 and m > 0 , b X 1 σ n , m = σ n + 1 , m , provided n > 0 and m > 0 , a X 2 σ n , m = σ n , m 1 , provided n > 0 and m > 1 , b X 2 σ n , m = σ n , m + 1 , provided n > 0 and m > 0 .
Next, we have to consider limits as integral curves of X 1 . Note that the integral curve e t X 1 ( x 0 ) of X 1 , originating at x M 1 , m , after time t = h reaches x 1 = e h X 1 ( x 0 ) M 0 , m . Moreover, the integral curve e t X 1 ( x 0 ) of X 1 originating at x M n , 0 , for n > 0 , after time t = h reaches M n 1 , 0 and after time t = n h reaches the origin M 0 , 0 . Similarly, the integral curve e t X 1 ( x ) of X 1 originating at x M n , 0 after time t = h reaches M n + 1 , 0 and after time t = k h it reaches M n + k for every k > 0 . This argument also applies to X 2 . It enlarges the above table of shifting operators as follows.
a X 1 σ 1 , m = σ 0 , m , provided m 0 , a X 2 σ n , 1 = σ n , 0 , provided n 0 .
Since X 1 ( x ) is unbounded as j 1 0 + , it is not possible to discuss integral curves of X 1 starting at points in M 0 , n . However, for n > 0 ,
b X 1 σ n , m = σ n + 1 , m and a X 1 σ n + 1 , m = σ n , m .
Thus, b X 1 shifts in the opposite direction to a X 1 . Similarly, b X 2 shifts in the opposite direction to a X 2 . It is natural to extend these relations to the boundary and assume that
b X 1 σ 0 , m = σ 1 , m , provided m 0 , b X 2 σ n , 0 = σ n , 1 , provided n 0 .
The actions of the lowering operators a X 1 on states σ 0 m and a X 2 on states σ m 0 not defined, but they never occur in the theory. Therefore, we may assume that
a X 1 σ 0 , m = 0 , and a X 2 σ n , 0 = 0 .

3.5. Monodromy

Suppose that U = { U i } i I is a good covering of P such that for every i I the chart ( U i , ψ i ) is the domain of a local trivialization of the toral bundle ρ : P B , associated to the fibrating toral polarization D of P, given by the local action angle coordinates
ρ U i : U i V i × T k : p ψ i ( p ) = ( j i , ϑ i ) = ( j 1 i , , j k i , ϑ 1 i , , ϑ k i )
with ( ρ U i ) * ( ω U i ) = = 1 k d j i d ϑ i . We suppose that the set S of Bohr–Sommerfeld tori on P has the local lattice structure { L U i } i I of Section 3.3.
Let p and p P and let γ : [ 0 , 1 ] P be a smooth curve joining p to p . We can choose a finite good subcovering { U k } k = 1 N of U such that γ ( [ 0 , 1 ] ) k = 1 N U k , where γ ( 0 ) U 1 and γ ( 1 ) U N . Using the fact that the local lattices { L U k } k = 1 N are compatible, we can extend the local action functions j 1 on V 1 = ψ 1 ( U 1 ) B to a local action function j N on V N B . Thus, using the connection E (see Corollary A1), we may parallel transport a Bohr–Sommerfeld torus T n U 1 along the curve γ to a Bohr–Sommerfeld torus T n U N (see Claim 7). The action function at p , in general depends on the path γ . If the holonomy group of the connection E on the bundle ρ : P B consists only of the identity element in Gl ( k , Z ) , then this extension process does not depend on the path γ . Thus, we have shown
Claim 9.
If D is a fibrating toral polarization of ( P , ω ) with fibration ρ : P B and B is simply connected, then there are global action angle coordinates on P and the Bohr–Sommerfeld tori T n S have a unique quantum number n . Thus, the local lattice structure of S is the lattice Z k .
If the holonomy of the connection E on P is not the identity element, then the set S of Bohr–Sommerfeld tori is not a lattice and it is not possible to assign a global labeling by quantum numbers to all the tori in S . This difficulty in assigning quantum numbers to Bohr–Sommerfeld tori has been known to chemists since the early 1920s. Modern papers illustrating it can be found in [18,19]. We give a concrete example where the connection E has nontrivial holonomy, namely, the spherical pendulum.

Example: Spherical Pendulum

The spherical pendulum is a completely integrable Hamiltonian system ( H , J , T * S 2 , d α T * S 2 ) , where T * S 2 = { ( q , p ) T * R 3 q , q = 1 & q , p = 0 } is the cotangent bundle of the 2-sphere S 2 with , the Euclidean inner product on R 3 , see [20]. The Hamiltonian is
H : T * S 2 R : ( q , p ) 1 2 p , p + q , e 3 ,
where e 3 T = ( 0 , 0 , 1 ) R 3 and the e 3 -component of angular momentum is
J : T * S 2 R : ( q , p ) q 1 p 2 q 2 p 1 .
The energy momentum map of the spherical pendulum is
EM : T * S 2 R ¯ R 2 : ( q , p ) H ( q , p ) , J ( q , p ) .
Here, R ¯ is the closure in R 2 of the set R of regular values of the integral map EM . The point ( 1 , 0 ) R ¯ is an isolated critical value of EM . Thus, the set R has the homotopy type of S 1 and is not simply connected. Every fiber of
EM EM 1 ( R ) : EM 1 ( R ) R R 2
over a point ( h , j ) R is a smooth 2-torus T h , j 2 , see chapter V of [21]. At every point of T * S 2 ( EM 1 ( 1 , 0 ) EM 1 R ¯ ) there are local action angle coordinates ( A 1 , A 2 , ϑ 1 , ϑ 2 ) . The actions are A 1 = A 1 EM and A 2 = A 2 EM . Here,
A 1 ( h , j ) = 1 π π 1 π 1 + 2 ( h π 1 ) ( 1 π 1 2 ) j 2 1 π 1 2 d π 1 ,
where π 1 ± [ 1 , 1 ] and 2 ( h π 1 ± ) ( 1 ( π 1 ± ) 2 ) j 2 = 0 , and
A 2 ( h , j ) = j ;
while the angles are ϑ 1 = ϑ ˜ 1 EM and ϑ 2 = ϑ ˜ 2 EM , where
ϑ ˜ 1 ( h , j ) = j π π 1 π 1 + 1 ( 1 π 1 2 ) 2 ( h π 1 ) ( 1 π 1 2 ) j 2 d π 1
and
ϑ ˜ 2 ( h , j ) = t 2 π ,
where t is the time parameter of the integral curves of the vector field X J on the 2-torus T h , j 2 , which are periodic of period 2 π , see Section 2.4 of [20]. The action map
A : R ¯ R 2 R 0 × R : ( h , j ) A 1 ( h , j ) , A 2 ( h , j )
is a homeomorphism of R ¯ { ( 1 , 0 ) } onto ( R 0 × R ) { ( 4 π , 0 ) } , which is a real analytic diffeomorphism of R ¯ { j = 0 } onto R > 0 × ( R { 0 } , see Fact 2.4 in [20].
For every ( n , m ) Z 0 × Z , the Bohr–Sommerfeld tori are
T m , n 2 = { ( q , p ) T * S 2 A 1 ( q , p ) = n h & A 2 ( q , p ) = m h } .
The fibers of EM corresponding to the dark points in Figure 1 are the Bohr–Sommerfeld tori.
The basic sections of the quantum line bundle π : L T * S 2 are
σ n , m : T n , m 2 T * S 2 L : ( ϑ 1 , ϑ 2 ) ϑ 1 , ϑ 2 , e 2 π i ( n ϑ 1 + m ϑ 2 ) .
The family of sections B = { σ n , m ( n , m ) Z 0 × Z } forms a basis of quantum states of the Bohr–Sommerfeld theory of the spherical pendulum. Let H be the Hilbert space of quantum states for which B is an orthogonal basis. The Bohr–Sommerfeld energy momentum spectrum S of the spherical pendulum is the range of the map
A Z 0 × Z 1 : Z 0 × Z R 0 × R R ¯ : ( n , m ) h ( n h , m h ) , j ( n h , m h ) = h m ( n ) ћ , m ћ .
( n , m ) Z 0 × Z are the quantum numbers of the spherical pendulum.
In terms of actions A 1 and A 2 , we may write H = H ( A 1 , A 2 ) . Hence, the quantum operators Q H and Q J act on the basic sections σ m . n as follows
Q H σ n , m = H T n , m 2 σ n , m = h m ( n ) ћ σ n , m
and
Q J σ n , m = J T n , m 2 σ n , m = m ћ σ n , m .
The regular part of T * S 2 is
S 0 = EM 1 ( R ) = EM 1 A 1 ( { A 1 > 0 & A 2 0 } ) .
The singular part of T * S 2 consists of six strata:
S 1 = EM 1 A 1 ( { ( 0 , 0 ) } , S 2 = A 1 ( { ( 4 / π , 0 ) } , S 3 = ( A 1 ( { ( A 1 , 0 ) 0 < A 1 < 4 / π } ) , S 4 = ( A 1 ( { ( A 1 , 0 ) 4 / π < A 1 } ) , S 5 = ( A 1 ( { ( 0 , A 2 ) A 2 > 0 } ) , S 6 = ( A 1 ( { ( 0 , A 2 ) A 2 < 0 } ) .
The stratum S 1 is the point ( 0 , 0 , 1 , 0 , 0 , 0 ) T * S 2 ; while the stratum S 2 is the point ( 0 , 0 , 1 , 0 , 0 , 0 ) . The stratum S 3 is the subset of T * S 2 , where A 1 ( 0 , 4 / π ) and A 2 = 0 , which is a cylinder parameterized by ( A 1 , ϑ 1 ) ; while S 4 is the subset where A 1 ( 4 / π , ) and A 2 = 0 , which is a cylinder parameterized by ( A 1 , ϑ 1 ) . The stratum S 5 is the subset of T * S 2 where A 1 = 0 and A 2 > 0 , which is a cylinder parameterized by ( A 2 , ϑ 2 ) ; while S 6 is the subset where A 1 = 0 and A 2 < 0 , which is a cylinder parameterized by ( A 2 , ϑ 2 ) .
The conditions of Corollary 1 are satisfied. For i = 1 , 2 let X i = X ϑ i . In the regular stratum S 0 we get the shifting operators
a X 1 σ n , m = σ n 1 , m , provided   n > 1   and   m 0 b X 1 σ n , m = σ n + 1 , m , provided   n > 0   and   m 0 a X 2 σ n , m = σ n , m 1 , provided   n > 0   and   m 1 b X 2 σ n , m = σ n , m + 1 , provided   n > 0   and   m 0
Arguing as in the example of the 2-d harmonic oscillator, we can extend the above relations to
b X 1 σ 0 , m = σ 1 , m , provided   m 0 b X 2 σ n , 0 = σ n , 1 , provided   m 0 .
In addition, we may assume that
a X 1 σ 0 , m = 0 and a X 2 σ n , 0 = 0 .
Since the are no global action angle coordinates, the action function A 1 on R is multi-valued. After encircling the point ( 1 , 0 ) , the quantum number of the Bohr–Sommerfeld torus represented by the upper right hand vertex of the rectangle on the h-axis, see Figure 2, becomes the quantum number of the upper right hand vertex of the parallelogram formed by applying M T = 1 1 0 1 to the original rectangle, which is the transpose of the monodromy matrix M of the spherical pendulum.
The holonomy of the connection E is called the monodromy of the fibrating toral polarization D on ( P , ω ) with fibration ρ : P B .
Corollary 2.
Let B ˜ be the universal covering space of B with covering map Π : B ˜ B . The monodromy map M, which is a nonidentity element holonomy group of the connection E on the bundle ρ sends one sheet of the universal covering space to another sheet.
Proof. 
Since the universal covering space B ˜ of B is simply connected and we can pull back the symplectic manifold ( P , ω ) and the fibrating toral distribution D by the universal covering map to a symplectic manifold ( P ˜ , ω ˜ ) and a fibrating toral distribution D ˜ with associated fibration ρ ˜ : P ˜ B ˜ . The connection E on the bundle ρ pulls back to a connection E ˜ on the bundle ρ ˜ . Let γ be a closed curve on B and let M be the holonomy of the connection E on B along γ . Then, γ lifts to a curve γ ˜ on B ˜ , which covers γ , that is, ρ ˜ γ ˜ = γ . Thus, parallel transport of a k-torus T = R k / Z k , which is an integral manifold of the distribution D ˜ , along the curve γ ˜ gives a linear map M of the lattice Z k defining the k-torus M ( T ˜ ) . The map M is the same as the linear map M of Z k into itself given by parallel transporting T, using the connection E , along the closed γ on B because the connection E ˜ is the pull back of the connection E by the covering map ρ . The closed curve γ in B represents an element of the fundamental group of B, which acts as a covering transformation on the universal covering space B ˜ that permutes the sheets (= fibers) of the universal covering map Π ˜ . □
In the spherical pendulum, the universal covering space R ˜ of R { ( 1 , 0 ) } is R 2 . If we cut R by the line segment = { ( h , 0 ) R h > 1 } , then R × = R is simply connected and hence represents one sheet of the universal covering map of R. For more details on the universal covering map, see [22]. The curve chosen in the example has holonomy M = 1 1 0 1 . It gives a map of R ˜ into itself, which sends R × to the adjacent sheet of the covering map. Thus, we have a rule how the labelling of the Bohr–Sommerfeld torus T ( n 1 , n 2 ) , corresponding to ( h , j ) R × , changes when we go to an adjacent sheet, which covers R × , namely, we apply the matrix M to the integer vector n 1 n 2 . Since our chosen curve generates the fundamental group of R { ( 1 , 0 ) } , we know what the quantum numbers of Bohr–Sommerfeld are for any closed curve in R { ( 1 , 0 ) } , which encircles the origin.

Author Contributions

The author R.C. conceptualized and wrote Section 2, the appendix, and the spherical pendulum example. The author J.Ś. conceptualized and wrote the rest. All authors have read and agreed to the published version of the manuscript.

Funding

This reasearch received no extenal funding.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A

We return to study the symplectic geometry of a fibrating toral polarization D of the symplectic manifold ( P , ω ) in order to explain what we mean by its local integral affine structure, see [23].
We assume that the integral manifolds { M p } p P of the Lagrangian distribution D on P form a smooth manifold B such that the map
ρ : P B : p M p
is a proper surjective submersion. If the distribution D has these properties we refer to it as a fibrating polarization of ( P , ω ) with associated fibration ρ : P B .
Lemma A1.
Suppose that D is a fibrating polarization of ( P , ω ) . Then, the associated fibration ρ : P B has an Ehresmann connection E with parallel translation. Thus, the fibration ρ : P B is locally trivial bundle.
Proof. 
We construct the Ehresmann connection as follows. For each p P let ( U , ψ ) be a Darboux chart for ( P , ω ) . In other words, ( ψ 1 ) * ( ω U ) is the standard symplectic form ω 2 k on T V , where V = ψ ( U ) R 2 k with ψ ( p ) = 0 . In more detail, for every u U there is a frame ε ( u ) of P at u, whose image under T u ψ is the frame ε ( v ) = x 1 v , , x k v , y 1 v , , y k v of T v V = R 2 k , where v = ψ ( u ) , such that
ω 2 k ( v ) x i v , x j v = ω 2 k ( v ) y i v , y j v = 0
and
ω 2 k ( v ) x i v , y j v = δ i j .
For u M p U , we see that λ v = T u ψ ( T u M p ) is a Lagrangian subspace of the symplectic vector space T v V , ω 2 k ( v ) . Let { z j v } j = 1 k be a basis of λ v with { d z j ( v ) } j = 1 k the corresponding dual basis of λ v * . Extend each covector d z j ( v ) by zero to a covector d Z j ( v ) in T v * V , that is, extend the basis { d z j ( v ) } j = 1 k of λ v * to a basis { d Z j ( v ) } j = 1 k of T v * V , where d Z j ( v ) λ v = d z j ( v ) , for   j = 1 , , k d Z j ( v ) λ v = 0 , for   j = k + 1 , , 2 k . Since ω 2 k # ( v ) : T v V T v * V is a linear isomorphism with inverse ω 2 k ( v ) for every v V , we see that the collection
{ w j v = ω 2 k ( v ) ( d Z j ( v ) ) } j = 1 k
of vectors in T v V spans an k-dimensional subspace μ v . We now show that μ v is a Lagrangian subspace of T v V , ω 2 k ( v ) . By definition
ω 2 k ( v ) w i v , w j v = ω 2 k # ( v ) w i v w j v = d Z i ( v ) w j v = 0 .
The last equality above follows because w j v λ v . To see this we note that
ω 2 k ( v ) w j v , z j v = d Z j ( v ) z j v = d z j ( v ) z j v = 1 .
The Lagrangian subspace μ v is complementary to the Lagrangian subspace λ v , that is, T v V = λ v μ v for every v V .
Consequently, hor u = T v ψ 1 μ v is a Lagrangian subspace of T u U , ω ( u ) , which is complementary to the Lagrangian subspace T u M p . Since the mapping hor U : U T U : u hor u is smooth and has constant rank, it defines a Lagrangian distribution hor U on U. Hence, we have a Lagrangian distribution hor on ( P , ω ) . Since T u M p is the tangent space to the fiber ρ 1 ρ ( p ) = M p , the distribution ver U : U T U : u ver u = T u M p = λ v defines the vertical Lagrangian distribution ver on P. Because ver u = ker T u ρ , it follows that T u ρ ( hor u ) = T ρ ( u ) B . Hence, the linear mapping T u ρ hor u : hor u T ρ ( u ) B is an isomorphism. Since T p P = hor p ver p for every p P and the mapping T p ρ hor p : hor p T ρ ( p ) B is an isomorphism for every p P , the distributions hor and ver on P define an Ehresmann connection E for the Lagrangian fibration ρ : P B . □
Let X be a smooth complete vector field on B with flow e t X . Because the linear mapping T p ρ hor p : hor p T ρ ( p ) B is bijective, there is a unique smooth vector field lift X on P, called the horizontal lift of X, which is ρ -related to X, that is, T p ρ lift X ( p ) = X ρ ( p ) for every p P . Let e t lift X be the flow of lift X . Then, ρ ( e t lift X ) = e t X ( ρ ( p ) ) . Let σ : W B P be a smooth local section of the bundle ρ : P B . Define the covariant derivative X σ of σ with respect to the vector field X by
( X σ ) ( w ) = d d t t = 0 e t lift X σ ( e t X ( w ) )
for all w W . Because the bundle projection map ρ is proper, parallel transport of each fiber of the bundle ρ : P B by the flow of lift X is defined as long as the flow of X is defined. Because the Ehresmann connection E has parallel transport, the bundle presented by ρ is locally trivial, see pp. 378–379, [21].
Claim A1.
If D is a fibrating polarization of the symplectic manifold ( P , ω ) , then for every p P the integral manifold of D through p is a smooth Lagrangian submanifold of P, which is an k-torus T. In fact T is the fiber over ρ ( p ) of the associated fibration ρ : P B .
We say that D is a fibrating toral polarization of ( P , ω ) if it satisfies the hypotheses of Claim A1. The proof of Claim A1 requires several preparatory arguments.
Let f C ( B ) . Then, ρ * f C ( P ) . Let X ρ * f be the Hamiltonian vector field on ( P , ω ) with Hamiltonian ρ * f . We have
Lemma A2.
Every fiber of the locally trivial bundle ρ : P B is an invariant manifold of the Hamiltonian vector field X ρ * f .
Proof. 
We need only show that for every p P and every q M p , we have X ρ * f ( q ) T q M p . Let Y be a smooth vector field on the integral manifold M p with flow e t Y . Then,
ρ * f e t Y ( q ) = f ρ ( e t Y ( q ) ) = f ρ ( p ) ,
since e t Y maps M p into itself. So
0 = d d t t = 0 ρ * f e t Y ( q ) = L Y ( ρ * f ) ( q ) = d ρ * f ( q ) Y ( q ) = ω ( q ) X ρ * f ( q ) , Y ( q ) .
However, T q M p is a Lagrangian subspace of the symplectic vector space ( T q P , ω ( q ) ) . Consequently, X ρ * f ( q ) T q M p . □
Since the mapping ρ : P B is surjective and proper, for every b B the fiber ρ 1 ( b ) is a smooth compact submanifold of P. Hence, the flow e t X ρ * f of the vector field X ρ * f is defined for all t R .
Lemma A3.
Let f, g C ( B ) . Then, { ρ * f , ρ * g } = 0 .
Proof. 
For every p P and every q M p from Lemma A2 it follows that X ρ * f ( q ) and X ρ * g ( q ) lie in T q M p . Because M p is a Lagrangian submanifold of ( P , ω ) , we get
0 = ω ( q ) X ρ * g ( q ) , X ρ * f ( q ) = { ρ * f , ρ * g } ( q ) .
Since P = ⨿ p P M p , we see that (A1) holds for every p P . □
Proof of Claim A1.
From Lemma A3 it follows that ρ * ( C ( B ) ) , { , } , · is an abelian subalgebra t of the Poisson algebra ( C ( P ) , { , } , · ) . Since the bundle projection mapping ρ : P B is surjective and dim B = k , the algebra t has k generators, say, { ρ * f i } i = 1 k , whose differentials at q span T q ( ρ 1 ( b ) ) for every b B and every q ρ 1 ( b ) . Using the flow e t X ρ * f i of the Hamiltonian vector field X ρ * f i on ( P , ω ) define the R k -action
Φ : R k × P P ; t = ( t 1 , , t k ) , p e t 1 X ρ * f 1 ( p ) , , e t k X ρ * f k ( p )
Since span 1 i k { X ρ * f i ( q ) } = T q ( ρ 1 ( b ) ) and each fiber is connected, being an integral manifold of the distribution D, it follows that the R k -action Φ is transitive on each fiber ρ 1 ( b ) of the bundle ρ : P B . Thus, ρ 1 ( b ) is diffeomorphic to R k / P q , where P q = { t R k Φ t ( q ) = q } is the isotropy group at q. If P q = { 0 } for some q P , then the fiber ρ 1 ρ ( q ) would be diffeomorphic to R k / P q = R k . However, this contradicts the fact the every fiber of the bundle ρ : P B is compact. Hence, P q { 0 } for every q P . Since R k / P q is diffeomorphic to ρ 1 ( b ) , they have the same dimension, namely, k. Hence, P q is a zero dimensional Lie subgroup of R k . Thus, P q is a rank k lattice Z k . Thus, the fiber ρ 1 ( b ) is R k / Z k , which is an affinek-torus T k . □
We now apply the action angle theorem, see chapter IX of [21], to the fibrating toral Lagrangian polarization D of the symplectic manifold ( P , ω ) with associated toral bundle ρ : P B to obtain a more precise description of the Ehresmann connection E constructed in Claim A1. For every p P there is an open neighborhood U of the fiber ρ 1 ρ ( p ) in P and a symplectic diffeomorphism
ψ : U = ρ 1 ( V ) P V × T k R k × T k : u ( j , ϑ ) = ( j 1 , , j k , ϑ 1 , , ϑ k )
such that
ρ U : U P V R k : u ( π 1 ψ ) ( u ) = j ,
is the momentum mapping of the Hamiltonian T k -action on ( U , ω U ) . Here, π 1 : V × T k V : ( j , ϑ ) j . Thus, the bundle ρ : P B is locally a principal T k -bundle. Moreover, we have ( ψ 1 ) * ω U = i = 1 k d j i d ϑ i .
Corollary A1.
Using the chart ( U , ψ ) for action angle coordinates ( j , ϕ ) , the Ehresmann connection E U gives an Ehresmann connection E V × T n on the bundle π 1 : V × T k V defined by
ver v = span 1 i k { ϑ i v = ψ ( u ) } and hor v = span 1 i k { j i v = ψ ( u ) } .
Proof. 
This follows because
T u ψ ver u = span 1 i k { ϑ i v = ψ ( u ) } and T p ψ hor u = span 1 i k { j i v = ψ ( u ) } ,
for every u U . From the preceding equations for every u U we have ver u = span 1 i k { X ρ * ( j i ) ( u ) } and hor u = span 1 i k { X ( π 2 ψ ) * ( ϑ i ) ( u ) } . Here, π 2 : V × T k T k : ( j , φ ) φ . □
Corollary A2.
The Ehresmann connection E on the locally trivial toral Lagrangian bundle ρ : P B is flat, that is, X σ = 0 for every smooth vector field X on B and every local section σ of ρ : P B .
Proof. 
In action angle coordinates a local section section σ of the bundle ρ : P B is given by σ : V V × T k : j j , σ ( j ) . Let X = j for some 1 k with flow e t X . Let lift X be the horizontal lift of X with respect to the Ehresmann connection E V × T k on the bundle π 1 : V × T k V . Thus, for every j V we have
( X σ ) ( j ) = d d t t = 0 e t lift X σ ( e t X ( j ) ) = d d t t = 0 e t lift X σ ( j ( t ) ) , where   e t X ( j ) = j ( t ) = d d t t = 0 e t lift X j , σ ( j ) , since   j i   for   1 i n   are   integrals   of   X = d d t t = 0 j ( t ) , σ ( j ( t ) ) , since   π 1 e t lift X ( j , σ ( j ) ) = e t X ( j ) = 0 .
This proves the corollary, since every vector field X on W B may be written as i = 1 k c i ( j ) j i for some c i C ( W ) and the flow { φ t j i } i = 1 k of { j i } i = 1 k on V pairwise commute. □
Claim A2.
Let ρ : P B be a locally trivial toral Lagrangian bundle, where ( P , ω ) is a smooth symplectic manifold. Then, the smooth manifold B has an integral affine structure. In other words, there is a good open covering { W i } i I of B such that the overlap maps of the coordinate charts ( W i , φ i ) given by
φ i = φ φ i 1 : V i V R k V i V R k ,
where φ i ( W i ) = V i , have derivative D φ i ( v ) Gl ( k , Z ) , which does not depend on v V i V .
Proof. 
Cover P by U = { U i } i I , where ( U i , ψ i ) is an action angle coordinate chart. Since every open covering of P has a good refinement, we may assume that U is a good covering. Let W i = ρ ( U i ) . Then, W = { W i } i I is a good open covering of B and ( W i , φ i = π 1 ψ i ) is a coordinate chart for B. By construction of action angle coordinates, in V i V the overlap map φ i sends the action coordinates j i in V i V to the action coordinates j in V i V . The period lattices P ψ i 1 ( j i ) and P ψ 1 ( j ) are equal since for some p W i W we have ψ i ( p ) = j i and ψ ( p ) = j . Moreover, these lattices do not depend on the point p. Thus, the derivative D φ i ( j ) sends the lattice Z k spanned by { j i j } i = 1 k into itself. Hence, for every j W i W the matrix of D φ i ( j ) has integer entries, that is, it lies in Gl ( k , Z ) and the map j D φ i ( j ) is continuous. However, Gl ( k , Z ) is a discrete subgroup of the Lie group Gl ( k , R ) and W i W is connected, since W is a good covering. Thus, D φ i ( j ) does not depend on j W i W . □
Corollary A3.
Let γ : [ 0 , 1 ] B be a smooth closed curve in B. Let P γ : [ 0 , 1 ] P be parallel translation along γ using the Ehresmann connection E on the bundle ρ : P B . Then, the holonomy group of the k-toral fiber T γ ( 0 ) = T k is induced by the group Gl ( k , Z ) Z k of affine Z -linear maps of Z k into itself.

References

  1. Heisenberg, W. Über die quantentheoretische Umdeutung kinematischer und mechanischer Beziehungen. Z. Phys. 1925, 33, 879–893. [Google Scholar] [CrossRef]
  2. Kostant, B. Quantization and unitary representations. I. Prequantization. In Lectures in Modern Analysis and Applications III; Lecture Notes in Mathematics; Springer: Berlin, Germany, 1970; Volume 170, pp. 87–208. [Google Scholar]
  3. Souriau, J.-M. Quantification géométrique. In Physique Quantique et Géométrie; Hermann: Paris, France, 1988; pp. 141–193. [Google Scholar]
  4. Blattner, R.J. Quantization in representation theory, In Harmonic Analysis on Homogeneous Spaces; Taam, E.T., Ed.; American Mathematical Society: Providence, RI, USA, 1973; Volume 26, pp. 146–165. [Google Scholar]
  5. Kobayashi, S.; Nomizu, K. Foundations of Differential Geometry; Interscience Publishers: New York, NY, USA, 1963; Volume 1. [Google Scholar]
  6. Souriau, J.-M. Structure des Systèmes Dynamiques; Dunod: Paris, France, 1970. [Google Scholar]
  7. Śniatycki, J. Geometric Quantization and Quantum Mechanics; Springer: New York, NY, USA, 1980. [Google Scholar]
  8. Dirac, P.A.M. Elimination of the nodes in quantum mechanics. Proc. Roy. Soc. A 1926, 111, 281–305. [Google Scholar]
  9. Cushman, R.; Śniatycki, J. Bohr-Sommerfeld-Heisenberg quantization of the 2-dimensional harmonic oscillator. arXiv 2012, arXiv:1207.1477v2. [Google Scholar]
  10. Cushman, R.; Śniatycki, J. On Bohr-Sommerfeld-Heisenberg quantization. J. Geom. Symmetry Phys. 2014, 35, 11–19. [Google Scholar]
  11. Cushman, R.; Śniatycki, J. Bohr-Sommerfeld-Heisenberg quantization of the mathematical pendulum. J. Geom. Mech. 2018, 10, 419–443. [Google Scholar] [CrossRef] [Green Version]
  12. Śniatycki, J. Lectures on geometric quantization. In Proceedings of the Seventeenth International Conference on Geometry, Integrability and Quantization, Varna, Bulgaria, 5–10 June 2015; Mladenov, I., Meng, G., Yoshioka, A., Eds.; Institute of Biophysics and Biomedical Engineering, Bulgarian Academy of Sciences. Avangard Prima: Sofia, Bulgaria, 2016; pp. 95–129. [Google Scholar]
  13. Sikorski, R. Abstract covariant derivative. Coll. Math. 1967, 18, 252–272. [Google Scholar] [CrossRef] [Green Version]
  14. Sikorski, R. Wstęp Do Geometrii Różniczkowej; PWN: Warszawa, Poland, 1972. [Google Scholar]
  15. Śniatycki, J. Differential Geometry of Singular Spaces and Reduction of Symmetry; Cambridge University Press: Cambridge, UK, 2013. [Google Scholar]
  16. Bohr, N. On the constitution of atoms and molecules (Part I). Philos. Mag. 1913, 26, 1–25. [Google Scholar] [CrossRef] [Green Version]
  17. Sommerfeld, A. Zur Theorie der Balmerschen Serie. Sitzungberichte der Bayerischen Akademie der Wissenschaften (München). Mathe-Matisch-Physikalische Klasse 1915. pp. 425–458. Available online: https://www.zobodat.at/pdf/Sitz-Ber-Akad-Muenchen-math-Kl_1915_0425-0458.pdf (accessed on 21 September 2020).
  18. Winnewisser, M.; Winnewisser, B.P.; Medvedev, I.R.; De Lucia, F.C.; Ross, S.C.; Bates, L.M. The hidden kernel of molecular quasi-linearity: Quantum monodromy. J. Mol. Struct. 2006, 798, 1–26. [Google Scholar] [CrossRef]
  19. Cushman, R.H.; Dullin, H.R.; Giacobbe, A.; Holm, D.D.; Joyeux, M.; Lynch, P.; Sadovskií, D.A.; Zhilinskií, B.I. CO2 Molecule as a quantum realization of the 1:1:2 resonant swing-spring with monodromy. Phys. Rev. Lett. 2004, 93, 024302. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  20. Cushman, R.; Śniatycki, J. Classical and quantum spherical pendulum. arXiv 2016, arXiv:1603.00966v1. [Google Scholar]
  21. Cushman, R.H.; Bates, L.M. Global Aspects of Classical Integrable Systems, 2nd ed.; Birkhauser: Basel, Switzerland; Springer: Basel, Switzerland, 2015. [Google Scholar]
  22. Cushman, R.; Śniatycki, J. Globalization of a theorem of Horozov. Indag. Math. 2016, 26, 1030–1041. [Google Scholar] [CrossRef]
  23. Lukina, O.V.; Takens, F.; Broer, H.W. Global properties of integrable Hamiltonian systems. Reg. Chaotic Dyn. 2008, 13, 602–644. [Google Scholar] [CrossRef] [Green Version]
Figure 1. The Bohr–Sommerfeld quantum states of the spherical pendulum in R ¯ .
Figure 1. The Bohr–Sommerfeld quantum states of the spherical pendulum in R ¯ .
Axioms 09 00125 g001
Figure 2. Using the shifting operators to show that the quantized spherical pendulum has monodromy.
Figure 2. Using the shifting operators to show that the quantized spherical pendulum has monodromy.
Axioms 09 00125 g002
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Cushman, R.; Śniatycki, J. Shifting Operators in Geometric Quantization. Axioms 2020, 9, 125. https://doi.org/10.3390/axioms9040125

AMA Style

Cushman R, Śniatycki J. Shifting Operators in Geometric Quantization. Axioms. 2020; 9(4):125. https://doi.org/10.3390/axioms9040125

Chicago/Turabian Style

Cushman, Richard, and Jędrzej Śniatycki. 2020. "Shifting Operators in Geometric Quantization" Axioms 9, no. 4: 125. https://doi.org/10.3390/axioms9040125

APA Style

Cushman, R., & Śniatycki, J. (2020). Shifting Operators in Geometric Quantization. Axioms, 9(4), 125. https://doi.org/10.3390/axioms9040125

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop