arxiv: v2 [math.sg] 18 Jul 2016

Transcription

1 arxiv: v2 [math.sg] 18 Jul 2016 Bohr-Sommrfld-Hisnbrg Quantization of th 2-dimnsional Harmonic Oscillator Richard Cushman and Jędrzj Śniatycki Abstract W study gomtric quantization of th harmonic oscillator in trms of a singular ral polarization givn by fibrs of th nrgy momntum map. MSC: 81Q70, 81S10 Kywords: 2d-harmonic oscillator, Bohr-Sommrfld-Hisnbrg quantization, SU(2) rprsntation 1 Introduction In th framwork of gomtric quantization w hav formulatd a quantization thory basd on th Bohr-Sommrfld quantization ruls [1], [9]. Th aim of this thory is to provid an altrnativ approach to quantization of a compltly intgrabl systm that incorporats th Bohr-Sommrfld spctrum of th dfining st of commuting dynamical variabls of th systm. Th rsulting thory closly rsmbls Hisnbrg s matrix thory and w rfr to it as th Bohr-Sommrfld-Hisnbrg quantization [4]. In this papr w giv a dtaild tratmnt of Bohr-Sommrfld-Hisnbrg quantization of th 2-dimnsional harmonic oscillator. W also rduc th S 1 oscillator symmtry of th 2-dimnsional harmonic oscillator and a discrt Z 2 symmtry. W quantiz th S 1 -rducd systm and th Z 2 S 1 -rducd systm. W now giv an ovrviw of Bohr-Sommrfld-Hisnbrg quantization. Lt P b a smooth manifold with symplctic form ω. Considr a compltly intgrabl systm (f 1,..., f n, P, ω), whr n is qual to 1 2 dim P, and f 1,..., f n ar Poisson commuting functions that ar indpndnt on an opn dns subst U of P. If all intgral curvs of th Hamiltonian vctor filds of f 1,..., f n ar closd, thn th joint lvl sts of f 1,..., f n form a singular 1

2 foliation of (P, ω) by tori. Th rstriction of this singular foliation to th opn dns subst U of P is a rgular foliation of (U, ω U ) by Lagrangian tori. Each torus T of th rgular foliation has a nighbourhood W in P such that th rstriction of ω to W is xact, s [2, chaptr IX]. In othr words, ω W = dθ W. Th modrn vrsion of Bohr-Sommrfld quantization rul rquirs that for ach gnrator Γ i of th fundamntal group of th n-torus T, w hav Γ i θ W = m i h for i = 1,..., n, (1) whr m i is an intgr and h is Planck s constant. It is asy to vrify that th Bohr-Sommrfld conditions ar indpndnt of th choic of th form θ W satisfying dθ W = ω W. If T is in th complmnt of U, thn th Bohr- Sommrfld conditions hold for i = 1,..., dim T. Intrinsically, th Bohr- Sommrfld conditions ar quivalnt to th rquirmnt that th connction on th prquantization lin bundl L whn rstrictd to T has trivial holonomy group [7]. Lt S b th collction of all tori satisfying th Bohr-Sommrfld conditions. W rfr to S as th Bohr-Sommrfld st of th intgrabl systm (f 1,..., f n, P, ω). Sinc th curvatur form of L is symplctic, it follows that th complmnt of S is opn in P. Hnc, th rprsntation spac H of gomtric quantization of an intgrabl systm consists of distribution sctions of L supportd on th Bohr Sommrfld st S. Sinc ths distributional sctions ar covariantly constant along th lavs of th foliation by tori, it follows that ach torus T S corrsponds to a 1-dimnsional subspac H T of H. W choos an innr product ( ) on H so that th family {H T T S} consists of mutually orthogonal subspacs. In Bohr-Sommrfld quantization, on assigns to ach n-tupl of Poisson commuting constants of motion f = (f 1,..., f n ) on P an n-tupl (Q f1,..., Q fn ) of commuting quantum oprators Q fk for 1 k n such that for ach n- torus T S, th corrsponding 1-dimnsional spac H T of th rprsntation spac (H, ( )) is an ignspac for ach Q fk for 1 k n with ignvalu f k T. For any smooth function F C (R n ), th composition F (f 1,..., f n ) is quantizabl. Th oprator Q F (f1,...,f n) acts on ach H T by multiplication by F (f 1,..., f n ) T. W assum that thr xist global action-angl variabls (A i, ϕ i ) on U such that ω U = d( n i=1 A idϕ i ). Thrfor, w can rplac θ W by th 1-form 2

3 n i=1 A i dϕ i in quation (1) and rwrit th Bohr sommrfld conditions as Γ i A i dϕ i = m i h for ach i = 1,..., n. (2) Sinc th actions A i ar indpndnt of th angl variabls, w can prform th intgration and obtain A i = m i for ach i = 1,..., n. (3) whr = h/2π. For ach multi-indx m = (m 1,..., m n ), w dnot by T m th torus satisfying th Bohr-Sommrfld conditions with intgrs m 1,..., m n on th right hand sid of quation (3). Lt S U b th rstriction of th Bohr-Sommrfld st S to th opn nighbourhood U of P on which th functions f 1,..., f n ar indpndnt. Considr a subspac H U of H givn by th dirct sum of 1-dimnsional subspacs H Tm corrsponding to Bohr-Sommrfld tori T m S U. Lt m b a basis vctor of H Tm. Each m is a joint ignvctor of th commuting oprators (Q A1,..., Q An ) corrsponding to th ignvalu (m 1,..., m n ). Th vctors ( m ) form an orthogonal basis in H U. Thus, ( m m ) = 0 if m m. (4) For ach i = 1,..., n, introduc an oprator a i on H U such that a i (m1,..,,m i 1,m i,m i+1,...,m n) = (m1,...m i 1,m i 1,m i+1,...,m n). (5) In othr words, th oprator a i shifts th joint ignspac of (Q A1,..., Q An ) corrsponding to th ignvalu (m 1,..., m n ) to th joint ignspac of (Q A1,..., Q An ) corrsponding to th ignvalu (m 1,..., m i 1, (m i 1), m i+1,..., m n ). Lt a i b th adjoint of a i. Equations (4) and (5) yild a i (m 1,..,,m i 1,m i,m i+1,...,m n) = (m1,...m i 1,m i +1,m i+1,...,m n) (6) W rfr to th oprators a i and a i as shifting oprators. 1 For vry i = 1,..., n, w hav [a i, Q Aj ] = a i δ ij, (7) 1 In rprsntation thory, shifting oprators ar calld laddr oprators. Th corrsponding oprators in quantum fild thory ar calld th cration and annihilation oprators. 3

4 whr δ ij is Kronckr s symbol that is qual to 1 if i = j and vanishs if i j. Taking th adjoint, of th prcding quation, w gt [a i, Q A j ] = a i δ ij. Th oprators a i and a i ar wll dfind in th Hilbrt spac H. In [4], w hav intrprtd thm as th rsult of quantization of apropriat functions on P. W did this as follows. W look for smooth complx-valud functions h i on P satisfying th Poisson brackt rlations Th Dirac quantization condition {h j, A i } = i δ ij h j. (8) [Q f, Q h ] = i Q {f,h} (9) implis that w may intrprt th oprator a j as th quantum oprator corrsponding to h j. In othr words, w st a j = Q hj. This choic is consistnt with quation (8) bcaus (7) yilds [Q hj, Q Ai ] = i Q {hj,a i } = i Q iδij h j = δ ij Q hj. Sinc ω U = n i=1 da i dϕ i, it follows that th Poisson brackt of iϕ j and A i is { iϕ j, A i } = X Ai iϕ j = ϕ i iϕ j = i δ ij iϕ j. (10) Comparing quations (8) and (10) w s that w may mak th following idntification a i = Q iϕ i and a i = Q iϕ i for i = 1,..., n. Clarly, th functions h j = ±iϕ j ar not uniquly dfind by quation (8). W can multiply thm by arbitrary functions that commut with all actions A 1,..., A n. Hnc, thr is a choic involvd. W shall us this frdom of choic to satisfy consistncy rquirmnts on th boundary of U in P. 2 Th classical thory W dscrib th gomtry of th 2-dimnsional harmonic oscillator. Th configuration spac of th 2-dimnsional harmonic oscillator is R 2 with coordinats x = (x 1, x 2 ). Th phas spac is T R 2 = R 4 with coordinats (x, y) = (x 1, x 2, y 1, y 2 ). On T R 2 th canonical 1-form is Θ = 4

5 y 1 dx 1 + y 2 dx 2 = y, dx. Th symplctic form on T R 2 is th closd nondgnrat 2-form ω = dθ = dy 1 dx 1 + dy 2 dx 2 whos matrix rprsntation is ω = ( dx dy ) T ( 0 I2 I 2 0 ) ( dx dy ). (11) Givn a smooth function f C (T R 2 ), its Hamiltonian vctor fild is (ω ) 1 df = f y, x f y, x. Lt (x, y) T R 2. For vry f, g C (T R 2 ) thir Poisson brackt is {f, g}(x, y) = ω(x, y) ( X g (x, y), X f (x, y) ), which is a smooth function on T R 2. Th structur matrix ( ) {x i, x j } {x i, y j } of th Poisson brackt {, } on C (T R 2 ) is ( 0 I 2 I 2 0 ). {y i, x j } {y i, y j } Th Hamiltonian function of th 2-dimnsional harmonic oscillator is E : T R 2 R : (x, y) 1 2 (x2 1 + y 2 1) (x2 2 + y 2 2). (12) Th corrsponding Hamiltonian vctor fild X E = X 1, x + X 2, y can b computd using de = X E ω = X 2, dx X 1, dy. W gt X 1 = E y and X 2 = E x. (13) Thrfor th quations of motion of th harmonic oscillator ar ẋ = y and ẏ = x. (14) Th solution to th abov quations is th on paramtr family of transformations ( ) ( ) ( ) x (cos t) I2 (sin t) I φ E t (x, y) = A(t) = 2 x (15) y (sin t) I 2 (cos t) I 2 y This dfins an S 1 action, calld th oscillator symmtry, on T R 2, which is a map from R to Sp(4, R) that snds t to th 4 4 symplctic matrix A(t), which is priodic of priod 2π. Sinc E is constant along th intgral curvs of X E, th manifold (E ) 1 () = {(x, y) R 4 x 2 + y 2 = 2, > 0} = S 3 2, (16) which is a 3-sphr of radius 2, is invariant undr th flow of X E. Th configuration spac R 2 is invariant undr th S 1 action S 1 R 2 R 2 : (t, x) R t x, whr R t is th matrix ( ) cos t sin t sin t cos t. This map lifts 5

6 to a symplctic action Ψ t of S 1 on phas spac T R 2 that snds (x, y) to Ψ t (x, y) = (R t x, R t y). Th infinitsimal gnrator of this action is Y (x, y) = d dt t=0 Φ t (x, y) = ( x 2, x 1, y 2, y 1 ). (17) Th vctor fild Y is Hamiltonian corrsponding to th Hamiltonian function L (x, y) = (y 1, y 2 ), (x 2, x 1 ) = x 1 y 2 x 2 y 1, (18) that is, Y = X L. L is radily rcognizd as th angular momntum. Th intgral curv of th vctor fild X L on R 4 starting at (x, y) = (x 1, x 2, y 1, y 2 ) is s ϕ L s (x, y) = cos s sin s 0 0 sin s cos s cos s sin s 0 0 sin s cos s ( ) x, y which is priodic of priod 2π. Th Hamiltonian of th harmonic oscillator is an intgral of X L. Th S 1 symmtry Ψ of th harmonic oscillator is calld th angular momntum symmtry. Considr th compltly intgrabl systm (E, L, R 4, ω ) whr E (12) and L (18) ar th nrgy and angular momntum of th 2-dimnsional harmonic oscillator. Th Hamiltonian vctor filds X E = y 1 x 1 + y 2 x 2 x 1 y 1 x 2 y 2 and X L = x 2 x 1 + x 1 x 2 y 2 y 1 + y 1 corrsponding to th Hamiltonians E and L, rspctivly, dfin th gnralizd distribution D : R 4 T R 4 : (x, y) D (x,y) = span{x E (x, y), X L (x, y)}. (19) Bfor w can invstigat th gomtry of D (19) w will nd som vry dtaild gomtric information about th 2-torus action Φ : T 2 R 4 R 4 : ( (t 1, t 2 ), (x, y) ) ϕ E t 1 ϕ L t 2 (x, y) (20) gnratd by th 2π priodic flows ϕ E t 1 and ϕ L t 2 of th vctor filds X E and X L, rspctivly. Using invariant thory w find th spac V = R 4 /T 2 of orbits of th T 2 -action Φ (20) as follows. Th algbra of T 2 -invariant polynomials on R 4 is gnratd by σ 1 = 1 2 (y2 1 + x2 1 + y2 2 + x2 2 ) and σ 2 = x 1 y 2 x 2 y 1. Lt σ 3 = 1 2 (y2 1 + x2 1 y2 2 x2 2 ) and σ 4 = x 1 y 1 + x 2 y 2. Thn y 2 6

7 σ 2 1 = σ2 2 + σ2 3 + σ2 4 σ2 2. From th fact that σ 1 0, w gt σ 1 σ 2. So th T 2 orbit spac V is th smialgbraic varity {(σ 1, σ 2 ) R 2 σ 2 σ 1, σ 1 0}. Morovr V is a diffrntial spac with its diffrntial structur givn by th spac C (R 4 ) T 2 of smooth T 2 -invariant functions on R 4. That is th diffrntial structur of V is th spac of smooth functions in σ 1 and σ 2. Not that th T 2 -orbit map π : R 4 V R 2 : (x, y) ( σ 1 (x, y), σ 2 (x, y) ) is just th nrgy momntum mapping (EM) : R 4 R 2 : (x, y) ( E (x, y), L (x, y) ) of th 2-dimnsional harmonic oscillator. Abstractly, th Whitny stratification of V is 0 i 2 V i whr V 2 = V \ V sing, V 1 = V sing \ (V sing ) sing, and V 0 = (V sing ) sing. Hr W sing is th smialgbraic varity of singular points of th smialgbraic varity W. W hav V 2 = {(σ 1, σ 2 ) R 2 σ 2 < σ 1 }, V 1 = {(σ 1, σ 2 ) R 2 0 < σ 2 = σ 1 }, and V 0 = {(σ 1, σ 2 ) R 2 σ 1 = σ 2 = 0}. For j = 0, 1, 2 lt U j = EM 1 (V j ). It is straightforward to s that th isotropy group T 2 (x,y) at (x, y) of th T 2 -action Φ (20) is T(x,y) 2 = {}, if (x, y) U 2 S 1 if (x, y) U 1 T 2, if (x, y) U 0. Thus {U j, j = 0, 1, 2} is th stratification of R 4 by orbit typ, which is qual to T 2 -symmtry typ whr all th isotropy groups ar qual, sinc T 2 is ablian. Bcaus V j is th imag of U j undr th nrgy momntum map, w s that U j is th subst of R 4 whr th rank of DEM is j. Sinc ω (x, y) : T (x,y) R 4 T (x,y) R4 : v (x,y) {w (x,y) ω(x, y)(v (x,y), w (x,y) )} is bijctiv, it follows that dim D (x,y) = dim span{de(x, y), dl(x, y)} = rank DEM(x, y). (21) Thrfor U j is th union of j-tori for j = 0, 1, 2 ach of which is an nrgy momntum lvl st of (EM). 7

8 W turn to invstigating th gnralizd distribution D (19). Sinc ω(x E, X L ) = {L, E }, w s that for vry (x, y) R 4 w hav ω(x, y)d (x,y) = 0. Thus vry subspac D (x,y) in th distribution D is an ω-isotropic subspac of th symplctic vctor spac ( T (x,y) R 4, ω(x, y) ). If (x, y) U j thn dim D (x,y) = j. So if (x, y) U 2, thn D (x,y) is a Lagrangian subspac of ( T (x,y) R 4, ω(x, y) ). If u (x,y), v (x,y) D (x,y), thn thinking of u (x,y) and v (x,y) as vctor filds on T R 4 w obtain [u (x,y), v (x,y) ] = 0, bcaus thir flows commut. Thus D is an involutiv gnralizd distribution, which is calld th nrgy-momntum polarization of th symplctic manifold (R 4, ω). Th laf (= intgral manifold) L (x,y) of th distribution D through th point (x, y) R 4 is diffomorphic to T 2 /T(x,y) 2. In particular w hav T 2, if (x, y) U 2 L (x,y) = T 1 = S 1, if (x, y) U 1 T 0 = pt, if (x, y) U 0. Thus D is a gnralizd toric distribution. Not that th lavs of D, ach of which is an nrgy momntum lvl st of (EM), foliat th strata U j for j = 0, 1, 2. Thus th spac of lavs R 4 /D of D is th T 2 orbit spac V. 6` S 1 S 3 - pt T 2 Figur 1. Th bifurcation diagram of th nrgy momntum map. W collct all th gomtric information about th lavs of th gnralizd distribution D in th bifurcation diagram of th nrgy momntum map of th 2-dimnsional harmonic oscillator abov. Th rang of this map is indicatd by th shadd rgion. W now find action-angl coordinats for th 2-dimnsional harmonic oscillator. Considr th T 2 action on (T R 2, ω ) gnratd by th flows of 8

9 th Hamiltonian vctor filds X E of nrgy E (12) and X L of angular momntum L (18), spcifically, Φ : T 2 T R 2 T R 2 : ( (t, s), (x, y) ) ϕ E t Considr th chang coordinats by ( ψ : T R 2 T R 2 x : y) ( ) ξ = 1 η 2 ϕ L s (x, y) ( x y ). (22) Thn ψ is symplctic, that is ω = ψ ω = dη 1 dξ 1 +dη 2 dξ 2. Morovr, it diagonalizs th Hamiltonians for E and L, that is, in th nw coordinats E bcoms whil L bcoms Lt and lt E(ξ, η) = ψ E (ξ, η) = 1 2 (ξ2 1 + η ξ η 2 2); (23) L(ξ, η) = ψ L (ξ, η) = 1 2 (ξ2 1 + η 2 1 ξ 2 2 η 2 2). (24) A 1 = 1 2 (ξ2 1 + η 2 1) = 1 2( E(ξ, η) + L(ξ, η) ) 0 (25a) A 2 = 1 2 (ξ2 2 + η 2 2) = 1 2( E(ξ, η) L(ξ, η) ) 0 (25b) A : T R 2 (R 0 ) 2 R 2 : (ξ, η) ( A 1 (ξ, η), A 2 (ξ, η) ). (26) Thn th flow of X A1 and X A2 dfins a T 2 -action on A 1 ((R >0 ) 2 ) givn by T 2 A 1 ((R >0 ) 2 ) T R 2 A 1 ((R >0 ) 2 ) T R 2 : ( (t, s), (ξ, η) ) cos t 0 sin t ( ) ϕ E ϕ L (ξ, η) = cos s 0 sin s ξ sin t 0 cos t , η sin s 0 cos s which is priodic of priod 2π on vry 2-torus Ta 2 1,a 2 = A 1 1 (a 1) A 1 2 (a 2), whr (a 1, a 2 ) (R >0 ) 2. So th functions A 1 (25a) and A 2 (25b) ar actions and th map A (26) is th action map. Th angl corrsponding to th action A 1 is ϑ 1 = t = tan 1 η 1 ξ 1 ; whil th angl corrsponding to th action A 2 is ϑ 2 = s = tan 1 η 2 ξ 2. A calculation shows that ω = da 1 dϑ 1 + da 2 dϑ 2. Thus (A 1, A 2, ϑ 1, ϑ 2 ) ar action-angl coordinats on ( A 1 ((R >0 ) 2 ), ω A 1 ((R >0 ) )) 2. Whn A2 = 0 on A 1 ((R 0 ) 2 ) action-angl coordinats on A 1 (R >0 {0}) ar (A 1, 0, ϑ 1, 0); whil whn A 1 = 0 on A 1 ((R 0 ) 2 ) action-angl coordinats on A 1 ({0} R >0 ) ar (0, A 2, 0, ϑ 2 ). 9

10 3 Bohr-Sommrfld-Hisnbrg quantization In this sction w carry out th Bohr-Sommrfld-Hisnbrg quantization of th 2-dimnsional harmonic oscillator. First w look at its Bohr-Sommrfld quantization. quantizing th action functions, namly, stting This amounts to A 1 = m = a 1 and A 2 = n = a 2, (27) whr (m, n) (Z 0 ) 2. Nxt associat a vctor m,n to ach Bohr-Sommrfld torus A 1 (a 1, a 2 ) whr (a 1, a 2 ) li in (R 0 ) 2, which is th imag of th action mapping A. In othr words, (a 1, a 2 ) = ( 1 2 (+l), 1 2 ( l)), whr (, l) = (m + n, m n) lis in th imag V of th nrgy momntum mapping (EM) of th harmonic oscillator. Lt H = span { m,n (m, n (Z 0 ) 2 }. Bcaus th Bohr-Sommrfld tori ar disjoint, w may choos a hrmitian innr product, on H so that m,n, m,n = δ (m,n),(m,n ) = δ m,m δ n,n. Thn (H,, ) is a Hilbrt spac. On H w hav two slf adjoint oprators Q Aj, j = 1, 2, whr A 1 ( m,n ) = m m,n and A 2 ( m,n ) = n m,n. (28) Th quantum spctrum of th harmonic oscillator is th joint spctrum (Z 0 ) 2 of th oprators Q Aj, j = 1, 2. 6 a 2 - a1 Figur 2. Th quantum lattic for th joint spctrum of th quantum oprators {Q A1,Q A2 } of th 2-dimnsional harmonic oscillator. Th axs ar in units of h. To complt th Bohr-Sommrfld quantization to th Bohr-Sommrfld- Hisnbrg quantization w dfin lowring oprators a j on H as follows a 1 m,n = { m 1,n, if m Z 1 0, if m = 0 and a 2 m,n = 10 { m,n 1, if n Z 1 0, if n = 0. (29)

11 According to th thory of sction 1, ths lowring oprators a j, j = 1, 2, corrspond to th quantum oprators Q i ϑ j, j = 1, 2, rspctivly. Hr ϑ j is th angl coordinat corrsponding to th action A j. Howvr, th functions i ϑ j ar not smooth on phas spac. To rmdy this difficincy, w us th functions z j = ξ j + i η j = r j i ϑ j, j = 1, 2, instad. Thn Q zj, j = 1, 2, ar lowring oprators on H, whr Q z1 m,n = { b 1 m,n m 1,n, if m Z 1 0, if m = 0, (30a) that is, b 1 0,n = 0, and Q z2 m,n = { b 2 m,n m,n 1, if n Z 1 0, if n = 0,, (30b) that is, b 2 m,0 = 0. Th bj m,n C ar dtrmind blow. On H w hav th quantum oprator Q z j, j = 1, 2, which is th adjoint of Q zj. By dfinition Q z 1 m,n = b 1 m,n m+1,n and Q z 2 m,n = b 2 m,n m,n+1. For j = 1, 2 w idntify Q z j with Q zj. For 1 j, k 2 w hav {z j, z k } = {ξ j + i η j, ξ k i η k } = i {ξ j, η k } + i {η k, ξ j } = 2i δ j,k and {z j, z k } = 0 = {z j, z k }. So by th Dirac quantization prscription w gt [Q zj, Q Ak ] = [Q zj, Q 1 4 (z kz k +z k z k ) ] = i Q 1 4 {z j,z k z k +z k z k } = i Q 1 2 z k{z j,z k } = i Q i z k δ j,k = δ j,k Q zk ; (31a) and [Q zj, Q Ak ] = i Q 1 2 z k{z j,z k } = i Q i z k δ j,k = δ j,k Q zk ; (31b) [Q zj, Q zk ] = i Q {zj,z k } = i δ j,k Q 2i δj,k = 2 δ j,k. (31c) Thus {Q zj, Q zj, Q Aj }, j = 1, 2, span a finit dimnsional Li algbra with brackt rlations [Q zj, Q Aj ] = i Q zj, [Q zj, Q Aj ] = i Q zj, and [Q zj, Q zj ] = 2, 11

12 which commut with ach othr. Th quantum oprators Q zj and Q zj ar not slf adjoint. Howvr, w can dfin th quantum oprators Q ξj = 1 2 (Q z j + Q zj ) and Q ηj = 1 2i (Q z j Q zj ), which ar slf adjoint. A straightforward calculation shows that th skw hrmitian oprators { 1 i Q ξ j, 1 i Q η j, 1 i Q A j } satisfis th brackt rlations [ 1 i Q ξ j, 1 i Q A j ] = 1 i Q η j, [ 1 i Q η j, 1 i Q A j ] = 1 i Q ξ j, [ 1 i Q ξ j, 1 i Q η j ] = 1 i (32a) (32b) (32c) and thus span a finit dimnsional Li algbra L j, j = 1, 2, which is a subalgbra of u(h, C), and [L 1, L 2 ] = 0. Not that 2Q zj = Q ξj + i Q ηj and 2i Q zj = Q ξj i Q ηj. W now dtrmin b j m,n in (30a) and (30b). Suppos for vry (m, n) (Z 0 ) 2 that b j m,n R. Whn m Z 1 w hav Q z1 z 1 m,n = Q z1 Q z1 m,n = b 1 m+1,n Q z1 m+1,n = (b 1 m+1,n) 2 m,n Q z1 z 1 m,n = (b 1 m,n) 2 m,n Q z1 z 1 m,n = Q z2 Q z2 m,n = (b 2 m,n+1) 2 m,n Q z2 z 2 m,n = (b 2 m,n) 2 m,n. Thrfor w gt 4m m,n = Q 4A1 m,n = Q z1 z 1 m,n + Q z1 z 1 m,n = ( (b 1 m+1,n) 2 + (b 1 m,n) 2) m,n, which implis and 4m = (b 1 m+1,n) 2 + (b 1 m,n) 2, (33a) 2 m,n = [Q z1, Q z1 ] m,n = Q z1 z 1 m,n Q z1 z 1 m,n = ( (b 1 m+1,n) 2 (b 1 m,n) 2) m,n, which implis 2 = (b 1 m+1,n) 2 (b 1 m,n) 2. (33b) Subtracting (33b) from (33a) givs b 1 m,n = (2m 1), if m Z 1. Rcall that by dfinition b 1 0,n = 0. Arguing similarly w gt b2 m,n = (2n 1) if 12

13 n Z 1 and b 2 m,0 = 0 by dfinition. This complts th dfinition of th shifting oprators on H. W now look at th quantum rprsntation of th Li algbra L 2 on th Hilbrt spac (H,, ) dfind by th skw hrmitian linar maps { 1 Q i R z 2, 1 Q 1 i Im z 2, Q i A 2 } of H into itslf and thir brackts, which satisfy (32a) (32c). For ach m Z 0 lt H m = span { m,n n Z 0 }. Thn H m = span {Qz n 2 m,0 n Z 0 }, sinc Qz n 2 m,0 span { m,n }. Bcaus L 2 (H m ) H m, w hav a rprsntation of L 2 on H m, which is irrducibl sinc th vctors {Q n z 2 m,0 } n=0 span H m. This rprsntation is a faithful and infinit dimnsional with a uniqu lowst wight vctor m,0, but no top wight vctor. Sinc H = m Z 0 H m, th rprsntation of L 2 on H is a countably infinit numbr of copis of th irrducibl rprsntation of L 2 on H 0. A similar argumnt can b mad for th quantum rprsntation of L 1 on H. 4 Th rduction of th oscillator symmtry In this sction w rduc th S 1 symmtry of th harmonic oscillator gnratd by th flow of th harmonic oscillator vctor fild on phas spac. For j = 1, 2 lt z j = ξ j + i η j. Thn R 4 bcoms C 2 with coordinats (z 1, z 2 ). Th flow ϕ E t of th vctor fild X E bcoms th complx S 1 -action ϕ : S 1 C 2 C 2 : ( t, (z 1, z 2 ) ) ( it z 1, it z 2 ). Th algbra of S 1 -invariant polynomials on R 4 is gnratd by subjct to th rlation π 1 = R(z 1 z 2 ) = ξ 1 ξ 2 + η 1 η 2 π 2 = Im(z 1 z 2 ) = ξ 1 η 2 ξ 2 η 1 (34) π 3 = 1 2 (z 1z 1 z 2 z 2 ) = 1 2 (ξ2 1 + η 2 1 ξ 2 2 η 2 2) π 4 = 1 2 (z 1z 1 + z 2 z 1 ) = 1 2 (ξ2 1 + η ξ η 2 2) π π 2 2 = z 1 z 2 2 = (z 1 z 1 )(z 2 z 2 ) = (π 4 + π 3 )(π 4 π 3 ) = π 2 4 π 2 3, π 4 0, which dfins th orbit spac R/S 1. Not that th nrgy E (23) is π 4 and th angular momntum L (24) is π 3. Using th Poisson brackt on C (R 4 ) w find th structur matrix ({π i, π j }) of th Poisson brackt on R 4 with coordinats (π 1,..., π 4 ), namly, 13

14 {π i, π j } π 1 π 2 π 3 π 4 π 1 0 2π 3 2π 2 0 π 2 2π 3 0 2π 1 0 π 3 2π 2 2π π Tabl 1. Th Poisson brackt on C (R 4 ). Lt S 3 2 = {(ξ, η) R 4 ξ1 2 +η2 1 +ξ2 2 +η2 2 = 2} b th 3-sphr of radius 2 and lt S 2 = {π R 3 π1 2 + π2 2 + π2 3 = 2 } b th 2-sphr of radius. Th map ρ : S 3 2 R 4 S 2 R 3 : ζ = (ξ, η) π = (π 1 (ζ), π 2 (ζ), π 3 (ζ)) (35) is calld th Hopf fibration, s [2, chaptr I]. Each fibr of th Hopf fibration is an intgral curv of th harmonic oscillator vctor fild X E of nrgy. Thus th spac E 1 ()/S 1 of orbits of th harmonic oscillator of nrgy is S 2. In othr words, th Hopf fibration ρ (35) is th rduction map of th S 1 symmtry of th harmonic oscillator gnratd by th vctor fild X E. Considr a smooth function K : R 4 R, which is invariant undr th flow of X E. Thn K is an intgral of X E, that is, XE K = 0. Also, thr is a smooth function K : R 4 R such that K(ξ, η) = K(π 1 (ξ, η), π 2 (ξ, η), π 3 (ξ, η), π 4 (ξ, η)). Sinc {π j, π 4 } = 0 for j = 1,..., 4, w obtain π j = {π j, K} = 3 {π j, π k } K = 2 π k k=1 3 3 k=1 l=1 ε jkl K π k π l = 2( K π) j for j = 1, 2, 3 and π 4 = 0. Rstrict th function K to E 1 () and dfin K (π 1, π 2, π 3 ) = K(π 1, π 2, π 3, ). St π = (π 1, π 2, π 3 ) R 3 and lt, b th Euclidan innr product on R 3. Thn π = 2( K π) is satisfid by intgral curvs of a vctor fild X on R 3 dfind by X(π) = 2( K π). (36) Th 2-sphr S 2 is invariant undr th flow of th vctor fild X, bcaus X π, π = 2 π, π = 4 π, K (π) π = 0. 14

15 Th structur matrix of th Poisson brackt {, } on C (R 3 ) is 0 π 3 π 2 W (π) = ({π j, π k }) = 2 π 3 0 π 1 (37) π 2 π 1 0 Sinc kr W (π) = span{π} and T π S 2 = span{π}, th matrix W (π) TπS 2 is invrtibl. On S 2 dfin a symplctic form ω (π)(u, v) = (W (π) T ) 1 u, v, whr u, v T π S 2. Lt y T π S 2. Sinc W (π) T y = 2π y = z w gt π z = π (2π y) = 2π (π y) = 2(π π, y y π, π ) = 2y π, π = 2 2 y, which implis y = (W (π) T ) 1 z = π z. Thrfor ω (π)(u, v) = π u, v = π, u v. (38) Th vctor fild X (36) on (S 2, ω ) is Hamiltonian with Hamiltonian function K, bcaus ω (π)(x(π), u) = π, 2( K π) u = 1 2 π ( K π), u whr u, v T w S 2. = 1 2 K π, π π K, π, u = K, u = d K (π)u, Sinc L is a function which is invariant undr th flow ϕ E t of X E on E 1 (), it inducs th function L = π 3 = π 3 S 2 on th rducd phas spac S 2. W look at th compltly intgrabl rducd systm ( L, S 2, ω ). Th flow of th rducd vctor fild X L (π) = 2( 3 π) on S 2 R 3 is ϕ π 3 t (π) = cos 2t sin 2t 0 sin 2t cos 2t 0 π, whr π S 2. Not that ϕ L t is priodic of priod π. Thrfor an intgral curv of X π3 on S 2 is ithr a circl or a point. For l < w hav π3 1 (l) is th circl {(π 1, π 2, l) S 2 π1 2 + π2 2 = 2 l 2 }; whil whn l = ±, w s that π 1 (l) is th point (0, 0, ±). Introduc sphrical coordinats π 1 = sin θ cos 2ψ, π 2 = sin θ sin 2ψ, and π 3 = cos θ 15

16 with 0 θ π and 0 ψ π. Thrfor th rducd symplctic form on S 2 is ω = 1 2 (2 sin θ)dθ dψ, that is, ω = 1 2 vol S 2. Hr vol S 2 is th standard volum 2-form 1 2 π, u v on S 2, whr π S 2 and u, v T π S 2. Not S vol 2 S 2 = 4π2. Following our convntion, for i = 1, 2, 3, w dnot by π i th pushforward to S 2 of th invariant function π i on R 3. W now xplain why th functions π i satisfy commutation rlations for su(2). Considr th Poisson algbra A = (C (R 3 ), {, } R 3, ), whr R 3 has coordinats (π 1, π 2, π 3 ), th Poisson brackt {, } R 3 has structur matrix ({π j, π k }) = 0 2π 3 2π 2 2π 3 0 2π 1, 2π 2 2π 1 0 and is pointwis multiplication of functions. Sinc C = π1 2 + π2 2 + π2 3 2 is a Casimir of A, that is, {C, π i } R 3 = 0 for i = 1, 2, 3, it gnrats a Poisson idal I of A. Obsrv that I = {f C (R 3 ) f S 2 = 0}, whr S 2 = C 1 (0). Thrfor B = (C (S 2 ) = C (R 3 )/I, {, } S 2, ) is a Poisson algbra, whr {f, g} S 2 = {f, g} R 3 S 2 and f f is th natural projction map of C (R 3 ) onto C (S 2 ). Not that f = f S 2, bcaus vry smooth function on R 3, which vanishs on S 2, is a multipl of C by a smooth function on R 3. Consquntly, th structur matrix of th Poisson brackt {, } S 2 is 0 2 π 3 2 π 2 2 π π 1, whr π i = π i S 2 2 π 2 2 π 1 0. In othr words, { π i, π j } S 2 = 2 3 k=1 ε ijk π k, which ar th brackt rlations for su(2), as dsird. Th rducd phas spac S 2 is symplctomorphic to a coadjoint orbit of SU(2). Th Hamiltonian vctor fild X L is ψ, bcaus X L ω = sin θ dθ = d( cos θ) = d π 3. Not that th flow of X L on S 2 is priodic of priod π. On S 2 \ {(0, 0, ±)} w hav d L dψ = d π 3 dψ = d( cos θ) dψ = sin θ dθ dψ = ω. Thus ( L, ψ) ar ral analytic action-angl coordinats on S 2 \ {(0, 0, ±)} with th symplctic form ω S 2 \{(0,0,±)}. 5 Quantization of th rducd systm For fixd 0 w quantiz th classical systm ( L, S 2, ω ) obtaind by rducing th harmonic oscillator symmtry of th Hamiltonian systm (L, T R 2, 16

17 ω) on E 1 (), s 3. W find that its spac of quantum stats is th sum of two finit dimnsional irrducibl su(2) rprsntations: on of dimnsion q and th othr of dimnsion q + 1. Th rmoval of all infinit dimnsional rprsntations and most of thir multiplicitis is mainly du to rstricting th harmonic oscillator to a fixd nrgy lvl. Rcall that (S 2, ω ) is symplctomorphic to a coadjoint orbit of SU(2). Morovr, functions π 1, π 2, π 3 corrspond to valuation of lmnts of th orbit on a basis of su(2). Hnc, quantization of th systm ( L = π 3, S 2, ω ) should lad to a rprsntation of SU(2). W assum that th symplctic manifold (S 2, ω ) is prquantizabl. In othr words, for q Z w hav qh = ω = 1 2 vol S 2 = 1 2 (4π2 ) = 2π, S 2 S 2 that is, 0 = q, whr = h 2π. Thus q is a fixd nonngativ intgr. Th Bohr-Sommrfld conditions for th intgrabl rducd systm ( L, S 2, ω ) in action-angl coordinats ( L, ψ), s 3, ar for p Z π ph = L dψ = l 2 dψ = 2πl. a 1 (l) Th scond quality abov follows bcaus th curv [0, π] S 2 : ψ ( 2 l 2 cos 2ψ, 2 l 2 sin 2ψ, l ) paramtrizs a 1 (l). Thus l = p. Sinc l = π 3 cos θ p and cos θ p 1, it follows that l, which implis p q and cos θ p = p q. So th Bohr- Sommrfld st S q for th rducd intgrabl systm (π 3 Sq 2, S2 q, ω q ) with q Z 0 is 0 S q = { ( q sin θ p cos 2ψ, q sin θ p sin 2ψ, p ) Sq 2 p Z} (39) with p q. Th st S q is a disjoint union of 2q + 1 circls of radius ( q 2 p 2 ) whn p < q and two points (0, 0, ±q ) whn p = ±q. Lt ẽ p,q with p q b a vctor in H q which corrsponds to th 1-torus { ( q sin θ p cos 2ψ, q sin θ p sin 2ψ, p ) Sq 2 ψ [0, π]} 17

18 in th Bohr-Sommrfld st S q. Dfin an innr product, on H q so that ẽ p,q, ẽ p,q = δ (p,q),(p,q ). From now on w us th notation π j, j = 1, 2, 3 for π j Sq 2. For ach intgr p with p q w hav Q π3 ẽ p,q = q cos θ p ẽ p,q = p ẽ p,q. (40) So H q = span{ẽ p,q p q} consists of ignvctors of Q π3 corrsponding to th ignvalu p. W want to dfin shifting oprators ã q and ã q on H so that ã q ẽ p,q = ẽ p 1,q and ã q ẽp,q = ẽ p+1,q By gnral thory, w xpct to idntify th oprators ã q and ã q with th quantum oprators Q iψ and Q iψ, rspctivly. Howvr, th functions ±iψ ar not singl-valud on th complmnt of th pols in Sq 2. In ordr to gt singl-valud functions, w hav tak squars of ±i ψ, namly th functions ±2i ψ. Th functions ±2i ψ do not xtnd to smooth functions on Sq 2. Howvr, th functions π ± = ( (q ) 2 π 2 3) ±2i ψ = q sin θ cos 2ψ ± i q sin θ sin 2ψ = π 1 ± i π 2 do. Morovr, w hav { π ±, π 3 } = { π 1, π 3 } ± i { π 2, π 3 } = 2 π 2 ± 2i π 1 = ±2i( π 1 ± i π 2 ) = ±2i π ±. Undr rduction th quantum oprator 1 i Q E corrsponds to th rducd quantum oprator 1 i Q π 4 and th quantum oprator 1 i Q L corrsponds to th rducd quantum oprator 1 i Q π 3. As in th discussion of quantization of coadjoint in [4], w can dfin shifting oprators Q π± as follows. St Q π ẽ p,q = b p ẽ p 2,q and Q π ẽ p,q = b p+2 ẽ p+2,q and Q π+ ẽ p,q = b p+2 ẽ p+2,q and Q π + ẽ p,q = b p ẽ p,q, whr b p R and b q = 0 = b q+2. Thn Q π+ Q π ẽ p,q = b p Q π+ ẽ p+2,q = b 2 p ẽp,q and Q π Q π+ ẽ p,q = b 2 p+2 ẽp,q. So [Q π+, Q π ] ẽ p,q = Q π+ Q π ẽ p,q Q π Q π+ ẽ p,q = (b 2 p b 2 p+2)ẽ p,q. 18

19 From { π +, π } = { π 1 + i π 2, π 1 i π 2 } = 2i { π 1, π 2 } = 4i π 3 it follows that w should hav [Q π+, Q π ] = i Q { π+, π } = i Q 4i π3 = 4 Q π3. (41) Evaluating both sids of quation (41) on ẽ p,q givs b 2 p+2 b 2 p = 4 2 p, for vry p = q + 2k, whr 0 k q and k Z. In particular w hav 4 2 q = b 2 q+2 b2 q = b 2 q, sinc b q+2 = 0 and 4 2 ( q) = b 2 q+2 b2 q = b 2 q+2, sinc b q = 0. Now for vry p = q + 2k, whr k {0, 1, 2,..., q} w hav Thrfor b 2 p = (b 2 p b 2 p 2) + (b 2 p 2 b 2 p 4) + + (b 2 q+2 b 2 q) + b 2 q = 4 2 (p 2) 4 2 (p 4) ( q), sinc b q = 0 k = 4 2 (p 2l), sinc p = q + 2k l=1 = 4 2 (pk (k + 1)k) = 4 2 k(q + 1 k) = 2 (p + q)(q p + 2). (42) { bp = 2 k(q + 1 k) = (p + q)(q p + 2) b p+2 = 2 (k + 1)(q k) = (p + q)(q p). So whn p { q, q + 2, q + 4,..., q 2, q} and 2k = p + q w hav Q π ẽ p,q = 2 k(q + 1 k) ẽ p 2,q Q π+ ẽ p,q = 2 (k + 1)(q k) ẽ p+2,q W now show that quation (41) holds. W comput (Q π+ Q π Q π Q π+ )ẽ p,q = (b 2 p b 2 p+2)ẽ p,q = 4 2( (k + 1)(q k) k(q + 1 k) ) ẽ p,q = 4 2 ( q + 2k)ẽ p,q = 4 2 p ẽ p,q = 4 Q π3 ẽ p,q. Sinc π 1 = 1 2 ( π + + π ) and π 2 = 1 2i ( π + π ), w gt Q π1 ẽ p,q = 1 2 Q π + ẽ p,q Q π ẽ p,q = 1 2 b p+2 ẽ p+2,q b p ẽ p 2,q 19

20 and similarly Q π2 ẽ p,q = 1 2i b p+2 ẽ p+2,q 1 2i b p ẽ p 2,q. Th following calculation shows that th linar oprator Q π1 on H q. is slf adjoint Q π 1 ẽ p,q = Q π + ẽ p,q + Q π ẽ p,q = b p+2 ẽ p+2,q + b p ẽ p 2,q = Q π1 ẽ p,q. Similarly, th oprators Q πk Th oprators Q π1, Q π2, and Q π3 bcaus for k = 2, 3, 4 ar slf adjoint. satisfy th commutation rlations [Q π1, Q π2 ] = i (2Q π3 ), [Q π2, Q π3 ] = i (2Q π1 ), [Q π3, Q π1 ] = i (2Q π2 ), [Q π1, Q π2 ]ẽ p,q = Q π1 Q π2 ẽ p,q Q π2 Q π1 ẽ p,q Similarly, = 1 2i b p+2 Q π1 ẽ p+2,q 1 2i b p Q π1 ẽ p 2,q 1 2i b p+2 Q π2 ẽ p+2,q 1 2i b p Q π2 ẽ p 2,q = 1 2i b p+2( 1 2 b p+4 ẽ p+4,q b p+2 ẽ p,q ) 1 2i b p( 1 2 b p ẽ p,q b p 2 ẽ p 4,q ) 1 2 b p+2( 1 2i b p+4 ẽ p+4,q 1 2i b p+2 ẽ p,q ) 1 2 b p( 1 2i b p ẽ p,q 1 2i b p 2 ẽ p 4,q ) = 1 4i (2b2 p 2b 2 p+2)ẽ p,q = i (2p )ẽ p,q = i (2Q π3 )ẽ p,q. [Q π2, Q π3 ]ẽ p,q = i (2Q π1 )ẽ p,q and [Q π1, Q π3 ]ẽ m,q = i ( 2Q π2 )ẽ p,q. Thrfor th skw hrmitian oprators 1 th brackt rlations i Q π 1, 1 i Q π 2, and 1 i Q π 3 satisfy [ 1 i Q π 1, 1 i Q π 2 ] = 1 i (2Q π 3 ), [ 1 i Q π 1, 1 i Q π 3 ] = 1 i ( 2Q π 2 ), [ 1 i Q π 2, 1 i Q π 3 ] = 1 i (2Q π 1 ), which dfins th Li algbra su(2). Compar with tabl 1. Nxt w construct a rprsntation of su(2) by skw hrmitian linar oprators. Th brackt rlations show that for j = 1, 2, 3 th mapping µ q+1 : su(2) u( H q, C) : 1 i Q π j µ q+1 ( 1 i Q π j ), whr µ q+1 ( 1 i Q π j ) : Hq H q : ẽ p,q 1 i Q π j ẽ p,q is a faithful complx 2q + 1-dimnsional rprsntation of su(2) on H q by skw hrmitian linar 20

21 oprators. This rprsntation can b dcomposd into a sum of two irrducibl rprsntations as follows. Lt and H 0 q = q 1 q span{(q π ) p ẽ q,q } = p=0 q span{ẽ q 2p,q } p=0 H 1 q = span{(q π ) p ẽ q 1,q } = span{ẽ q 1 2p,q }. p=0 Thn, H 0 q and H 1 q ar irrducibl rprsntations of su(2) of dimnsion q + 1 and q, rspctivly. Morovr, Hq = H 0 q H 1 q. Thus, Bohr-Sommrfld- Hisnbrg quantization of a coadjoint orbit of SU(2) lads to a rducibl su(2) rprsntation by skw hrmitian oprators. q 1 p=0 6` 4 r 3 r 2 r r 1 r r r @ r @@ Figur 3. Th quantum lattic for th 2-dimnsional harmonic oscillator aftr rducing th harmonic oscillator symmtry. Th axs ar in units of h. Using th Campbll Bakr Hausdorff formula and th fact that SU(2) is compact, w can xponntiat th rprsntation µ q+1 to a unitary rprsntation R q of SU(2) on H q. For mor dtails s [4]. 6 Th fully rducd harmonic oscillator This sction shows that th rason that, aftr rduction of th oscillator symmtry, th quantization of th Liouvill intgrabl systm on th 2-sphr 21

22 givs a rducibl rprsntation of SU(2), is that th orginal 2-dgr of frdom harmonic oscillator has a Z 2 symmtry. Whn this Z 2 symmtry is rducd, th quantizd fully rducd systm givs an irrducibl rprsntation of SU(2). 6.1 Th classical fully rducd systm In this subsction w rduc th full symmtry group Z 2 S 1 of th 2- dimnsional harmonic oscillator. Hr th S 1 is gnratd by th flow of th harmonic oscillator vctor fild X E (14) on T R 4 = R 4 and th Z 2 -symmtry is gnratd by ζ : R 4 R 4 : (x 1, x 2, y 1, y 2 ) (y 1, y 2, x 1, x 2 ). (43) This Z 2 -symmtry prsrvs th harmonic oscillator Hamiltonian E (12), but is anti-symplctic as ζ ω = dx 1 dy 1 + dx 2 dy 2 = ω. W now find th inducd Z 2 action on th gnrators π i, 1 i 4 (34) of th invariants of th oscillator symmtry. In trms of (x, y) th (ξ, η) coordinats (22) ar (ξ, η) = 1 2 ( (x1 + y 2 ), ( x 1 + y 2 ), ( x 2 + y 1 ), ( x 2 y 1 ) ). So th inducd Z 2 action on (ξ, η) is th mapping ζ : (ξ 1, ξ 2, η 1, η 2 ) ( η 2, η 1, ξ 2, ξ 1 ). Consquntly, th inducd action on th invariants π i, 1 i 4 is th mapping ζ : (π 1, π 2, π 3, π 4 ) (π 1, π 2, π 3, π 4 ). Hnc th algbra of Z 2 S 1 invariant polynomials is gnratd by τ 1 = π 1, τ 2 = π 2, τ 3 = π 2 3, and τ 4 = π 4 subjct to th rlation τ 3 = π 2 3 = π 2 4 π 2 1 π 2 2 = τ 2 4 τ 2 1 τ 2 2, τ 3 0 & τ 4 0, (44) which dfins th orbit spac R 4 /(Z 2 S 1 ) of th full symmtry group of th 2-dimnsional harmonic oscillator. On R 2 R 2 0 w us th nonstandard diffrntial structur gnratd by th continuous functions τ 1, τ 2, τ 3, and τ 4. In othr words, a function f C (R 2 R 2 0 ) if and only if thr is a function F C (R 4 ) such that f = F (τ 1, τ 2, τ 3, τ 4 ), s [2]. Using tabl 1 in sction 2, w s that th Poisson brackt {, } R 2 R 2 on C (R 2 R 2 0 ) has th structur matrix 0 22

23 {τ i, τ j } R 2 R 2 τ 1 τ 2 τ3 τ 4 0 τ τ 3 2τ 2 0 τ 2 2τ 2 0 2τ 1 0 τ3 2τ 2 4τ τ Tabl 2. Th structur matrix of th Poisson brackt {, } R 2 R 2 on C (R 2 R 2 0 ). 0 Th fully rducd phas spac H + = S 2 /Z 2 = (E 1 ()/S 1 )/Z 2 R 3 with coordinats (τ 1, τ 2, τ 3 ), which is also E 1 ()/ (Z 2 S 1 ), is dfind by (44) and τ 4 =, that is, τ 3 = 2 τ1 2 τ 2 2 with τ 3 0. Gomtrically, H + is th uppr hmisphr of th 2-sphr S 2. Bcaus τ 4 is a Casimir of th Poisson algbra (C (R 2 R 2 0 ), {, } R 2 R 2 ), th Poisson brackt {, } 0, H + on th spac C (H + ) of smooth functions on th fully rducd phas spac H + has structur matrix givn in tabl 3. Not that th structur matrix of th {τ i, τ j } H + τ 1 τ 2 τ3 τ τ 3 2τ 2 τ 2 2 τ 3 0 2τ 1 τ3 2τ 2 2τ 1 0 Tabl 3. Th structur matrix of th Poisson brackt {, } H + on C (H + ). Poisson brackt {, } H + in tabl 3 dfins a Li algbra, which is isomorphic to su(2). Th diffrntial structur C (H + ) is gnratd by th functions τ 1, τ 2, and τ 3. Th nxt argumnt shows that th diffrntial spac (H +, C (H + )) is locally diffomorphic to a closd subst of Euclidan spac. In othr words, th diffrntial spac (H +, C (H + )) is subcartsian, s [8]. Th imag undr th rstriction of th injctiv map φ : R 2 R 0 R 2 R 0 : (τ 1, τ 2, τ 3 ) (π 1, π 2, π 3 ) = ( τ 1, τ 2, ( τ 3 ) 2) to H + is S 2 {π 3 0}. So φ ( C (S 2 {π 3 0}) ) = C (H + ). Thus, th diffrntial spacs (H +, C (H + )) and (S 2 {π 3 0}, C (S 2 {π 3 0})) ar diffomorphic. Bcaus S 2 {π 3 0} is a smialgbraic varity in R 3, bing dfind by π1 2 + π2 2 + π2 3 = 2 and π 3 0, it is a closd subst of R 3. Hnc C (S 2 {π 3 0}) = C (R 3 ) (S 2 {π 3 0}). This implis 23

24 that (S 2 {π 3 0}, C (S 2 {π 3 0})) is a locally compact subcartsian diffrntial spac, s [2, Chaptr VII]. Th fully rducd Hamiltonian of th fully rducd systm is L : H + R 2 R 0 R : (τ 1, τ 2, τ 3 ) τ 3 (45) and th fully rducd quations of motion on R 3 ar τ 1 = {τ 1, L } H + = {τ 1, τ 3 } H + = 2τ 2 τ 2 = {τ 2, L } H + = {τ 2, τ 2 } H + = 2τ 1 (46) τ 3 = {τ 3, L } H + = 0. Sinc ( τ 3 ) 2 + τ τ 2 2 is a Casimir of th Poisson algbra (C (R 2 R 2 0 ), {, } R 2 R 2 0, ), th fully rducd phas spac H + is invariant undr th flow of (46). So (46) rstrictd to H + givs th intgral curvs of th fully rducd Hamiltonian vctor fild X L on th diffrntial spac ( H +, C (H + ) ). Th map ψ : D 2 = {(τ 1, τ 2 ) R 2 τ τ } H + R 3 : (τ 1, τ 2 ) (τ 1, τ 2, 2 τ 2 1 τ 2 2 ) is a diffomorphism of th diffrntial spac (D 2, C (D 2 )) onto th diffrntial spac (H +, C (H + )) providd w say that f C (D 2 ) if and only if thr is an F C (H + ) such that f = ψ F. In othr words, {τ i, τ j } D 2 τ 1 τ 2 τ τ 2 1 τ 2 2 τ τ 2 1 τ Tabl 4. Th structur matrix of th Poisson brackt {, } 2 D on C (D 2 ). C (D 2 ) = ψ (C (H + )). Not that topologically D 2 is a closd 2-disk, but its diffrntial structur C (D 2 ) is nonstandard. Th structur matrix of th Poisson brackt {, } 2 D on C (D 2 ) is givn in tabl 4. Th fully rducd Hamiltonian on D 2 is L = ψ L : D 2 R 2 R : (τ 1, τ 2 ) 24 2 τ 2 1 τ 2 2.

25 Th Hamiltonian vctor fild of L X L on th diffrntial spac (D 2, C (D 2 )) has intgral curvs govrnd by τ 1 = {τ 1, L } 2 D = ( ) 1 2τ2 {τ 2 2 τ1 2 τ 2 2 1, τ 2 } 2 D = 2τ2 τ 2 = {τ 2, L } 2 D = 2τ 1. Th function  = τ1 2 τ 2 2 is an action function on D = D 2 \ {(0, 0)}, bcaus its Hamiltonian vctor fild X is τ 2 τ 1 + τ 1 τ 2 has intgral curvs t ( ) ( cos t sin t τ1 0 ) with (τ 0 1, τ2 0) D, which ar priodic of sin t cos t τ 0 2 priod 2π. Th corrsponding angl is ϑ = tan 1 τ 2 τ 1. Using tabl 4 w s that th fully rducd symplctic form ω D on D 1 is dτ 2 2 τ1 2 τ dτ 1, which quals dâ d ϑ. 6.2 Th quantizd fully rducd harmonic oscillator In this subsction w giv th Bohr-Sommrfld-Hisnbrg quantization of th fully rducd harmonic oscillator ( L, D 2, {, } 2 D ), whr is fixd and is nonngativ. A straightforward calculation shows that th volum vol D of th puncturd 2-disk D using th fully rducd symplctic form ω D on D is 1 dτ 2 dτ 1 is 2π. Thus (D, ω D ) is quantizabl if thr is a 2 2 τ 2 1 τ 2 2 positiv intgr q such that 2π = h q, that is, = q. Not that q is a fixd positiv intgr. Th 1-torus  1 (l) on D is a Bohr-Sommrfld 1-torus if thr is an intgr m such that m h =  d ϑ = l(2π),  1 (l) that is, l = m. Th scond quality abov follows bcaus  1 (l) is paramtrizd by ϑ 2 l 2 (cos ϑ, sin ϑ) for ϑ [0, 2π]. On D w hav l 2 = 2 τ1 2 τ 2 2, which implis 2 l 2, that is, 0 < m < q. Thus thr ar q + 1 Bohr-Sommrfld tori on D 2, namly, q 1 rgular Bohr-Sommrfld 1-tori {(τ 1, τ 2 ) D τ1 2 + τ 2 2 = (q2 m 2 ) 2 } with 0 < m < q, on singular 1-torus D 2 = {(τ 1, τ 2 ) D τ1 2 + τ 2 2 = 2 }, and a singular point {(0, 0)}. Corrsponding to ach of th q + 1 Bohr-Sommrfld tori constructd in th prcding paragraph, w associat a vctor ê m, 0 m q, which ar 25

26 orthogonal undr th hrmitian innr product ê k, ê k = δ k,k. Thir span is th Hilbrt spac Ĥq, which is th ignspac of th slf adjoint quantum oprator QÂ corrsponding to th ignvalu q. Th spac of quantum stats of th fully rducd harmonic oscillator is th Hilbrt spac Ĥ = q Z 0 Ĥ q. Th shifting oprators on Ĥq in th Bohr-Sommrfld-Hisnbrg quantization of th fully rducd harmonic oscillator ar th lowring oprator a 1 (ê m ) = { êm 1, if 1 m q and th raising oprator a 0, if m = 0 2 (ê m ) = ê m+1, if 0 m q 1. Ths oprators corrspond to th quantum oprators Q i ϑ and Q ϑ, i rspctivly. Sinc ±i ϑ ar not smooth functions on D 2, w rplac thm with th smooth functions τ ± = 1 i (τ 1 ± i τ 2 ) = 1 r = τ1 2 + τ 2 2. Using tabl 4 w gt {τ +, τ } 2 D = i {τ 1, τ 2 } 2 D = 2i 2 τ1 2 τ 2 2 = 4i Â, i r±i ϑ, whr {τ +, Â} D 2 = i τ +, and {τ, Â} D 2 = i τ. Thus {τ 1, τ 2, Â} span a Li algbra undr {, } 2 D, which is isomorphic to su(2). Dfin quantum shifting oprators on Ĥq by Q τ ê m = c m ê m 1 if 1 m q and 0 if m = 0 and Q τ+ ê m = c m+1 ê m+1, if 0 m q 1 and thir adjoints Q τ ê m = c m+1 ê m+1 and Q τ + ê m = c m 1 ê m 1 if 1 m q and 0 if m = 0. Hr c m C for ach 0 m q. An argumnt analogous to th on usd in sction 5 dtrmins th q + 1 cofficints c m for 0 m q. W gt c m = { i 2m(m 1), if 1 m q Thus for ach q Z 0, if m = 0. 0 th oprators {Q τ1, Q τ2, QÂ} giv ris to a q + 1-dimnsional irrducibl rprsntation of su(2) on Ĥq. 7 Summary W summariz th contnts of this papr. In sctions 2 6 w giv th Bohr- Sommrfld-Hisnbrg quantization of th following Liouvill intgrabl systms: th two dgr of frdom harmonic oscillator (E, L, T R 2, ω); its rduction by th S 1 oscillator symmtry on a fixd nrgy lvl to th on dgr of frdom systm ( L, S 2, ω ); and th rduction of th lattr systm undr th Z 2 symmtry to a on dgr of frdom systm ( L, D 2, {, } 2 D ). In ach of th abov intgrabl systms w find th Hilbrt spac of quantum stats using Bohr-Sommrfld quantization. Using th lowring and raising oprators coming from th Hisnbrg quantization, w obtain skw symmtric quantum oprators on thr spacs of quantum stats. Each of 26

27 th thr collctions of quantum oprators givs ris to a rprsntation of a finit dimnsional Li algbras, namly, L 2, su(2), and su(2), rspctivly. Each of ths rprsntations dcompos thir rspctiv spac of quantum stats into: a countably infinit numbr of copis of an infinit dimnsional irrducibl rprsntation of L 2 ; two finit dimnsional irrducibl rprsntations of su(2) of dimnsion q and q + 1; and a singl finit dimnsional irrducibl rprsntation of su(2) of dimnsion q + 1. Rfrncs [1] N. Bohr, On th constitution of atoms and molculs (Part I), Philosophical Magazin 26 (1913) [2] R. Cushman and L. Bats, Global Aspcts of Classical Intgrabl Systms, scond dition, Birkhäusr, Basl, [3] R. Cushman and J. Duistrmaat, Th quantum mchanical sphrical pndulum, Bull. AMS 19 (1988) [4] R. Cushman and J. Śniatycki, Bohr-Sommrfld-Hisnbrg thory in gomtric quantization, J. Gom. Symmtry in Phys. 35 (2014) [5] R. Cushman and J. Śniatycki, Bohr-Sommrfld quantization of th sphrical pndulum, Arxiv:mathSG v1. [6] V. Guillmin and S. Strnbrg, Gomtric quantization and multiplicitis of group rprsntations, Invnt. Math. 67 (1982) [7] J. Śniatycki, Gomtric Quantization and Quantum Mchanics, Applid Mathmatics Sris 30, Springr Vrlag, Nw York, [8] J. Śniatycki, Diffrntial Gomtry of Singular Spacs and Rduction of Symmtris, Cambridg Univrsity Prss, Cambridg, [9] A. Sommrfld, Zur Thori dr Balmrschn Sri, Sitzungbricht dr Bayrischn Akadmi dr Wissnschaftn (Münchn), mathmatisch-physikalisch Klass (1915) [10] N. Woodhous, Gomtric Quantization, Scond Edition, Oxford Univrsity Prss, Oxford,