LECTURE12:GEOMETRICPREQUANTIZATIONCONTENTS11.The idea of quantization32.Complex line bundles63.Geometric Prequantization1.THEIDEAOFQUANTIZATION Classical mechanics modelled on symplectic manifolds.Recall that in the Hamiltonian formulation of classical mechanics, the phasespace of a mechanical system is a symplectic manifold (M,w).The symplecticmanifold could be a cotangent space T*X, or more generally an arbitrary symplecticmanifold (e.g. a symplectic quotient).Any point in M represents a possible state ofthe system.A Hamiltonian function H is a (smooth)function on M which representsa conserved quantity of the system. The trajectory of the system is an integral curveof the Hamiltonian vector field EH. In local Darboux coordinates the integral curveisgiven bythesystemof Hamiltonian equationsaH()=_0Hi(t) =asarA classical observable of the system is just a smooth function a on M.We haveseen in lecture 6 that the evolution of a satisfies the equation(1)a=(a,H),where (., J is the Poisson bracket on Co(M) induced by the symplectic structure.↑ Quantum mechanics modeled on Hilbert space.In the Schrodinger formulation of quantum mechanics, the state space of a quan-tum mechanical system is a Hilbert space (H,(,). (Or more precisely,the pro-jectified Hilbert space PH.) A quantum state is a unit vector in H.A quantumHamiltonian is a self-adjoint operator H acting on H, whose eigenvalues representsthe quantum energy level of the system, and whose normalized eigenfunctions rep-resents the corresponding quantum states. We shall denote the eigenvalues and1
LECTURE 12: GEOMETRIC PREQUANTIZATION Contents 1. The idea of quantization 1 2. Complex line bundles 3 3. Geometric Prequantization 6 1. The idea of quantization ¶ Classical mechanics modelled on symplectic manifolds. Recall that in the Hamiltonian formulation of classical mechanics, the phase space of a mechanical system is a symplectic manifold (M, ω). The symplectic manifold could be a cotangent space T ∗X, or more generally an arbitrary symplectic manifold (e.g. a symplectic quotient). Any point in M represents a possible state of the system. A Hamiltonian function H is a (smooth) function on M which represents a conserved quantity of the system. The trajectory of the system is an integral curve of the Hamiltonian vector field ΞH. In local Darboux coordinates the integral curve is given by the system of Hamiltonian equations x˙(t) = ∂H ∂ξ , ˙ξ(t) = − ∂H ∂x . A classical observable of the system is just a smooth function a on M. We have seen in lecture 6 that the evolution of a satisfies the equation (1) ˙a = {a, H}, where {·, ·} is the Poisson bracket on C ∞(M) induced by the symplectic structure. ¶ Quantum mechanics modeled on Hilbert space. In the Schr¨odinger formulation of quantum mechanics, the state space of a quantum mechanical system is a Hilbert space (H,h·, ·i). (Or more precisely, the projectified Hilbert space PH.) A quantum state is a unit vector in H. A quantum Hamiltonian is a self-adjoint operator Hˆ acting on H, whose eigenvalues represents the quantum energy level of the system, and whose normalized eigenfunctions represents the corresponding quantum states. We shall denote the eigenvalues and 1
2LECTURE12:GEOMETRICPREQUANTIZATIONeigenfunctions of H by , and j- The equation describing the evolution of thesystem is the Schrodinger equationihdt)=Hb.dtA quantum observable is a self-adjoint operator A acting on H. The expectationvalue of a quantum observable A in state b is given by(A):=(Ab,)Proposition 1.l.The evolution of the quantum observable isd=([A, H1)0-(4)=元(Proof.Ah，0)+（Aw白0)一(Ab(t),b(t) =([A, H], ),K方口Comparing this with (1) we see that the quantum analogy of the Poisson bracketshould be the Lie bracket of operators. The idea of quantizationThe word “quantization" represents a procedure (a correspondence, a functor...) that convert a classical Hamiltonian system to its quantum analogue.Moreprecisely, we want a“dictionary"(M,w) w(H, (, ))HwHaA[,]~[,]At theverybeginning of thewhole story,Dirac proposeda set of axioms that aquantization procedure should satisfy.Dirac's axiom: A quantization procedure assigns self-adjoint operators Q(a) onsome Hilbert space H to classical observable a E Coo(M), so that(1) (Linearity) Q(Aa+μb) =入Q(a)+μQ(b)(2) (Normalization) Q(1) =Id.(Quantum condition) Q([a,b)) =[Q(a),Q(b)])(3)(4)(Minimality)A complete set of (Poisson commuting)functions is quantizedto a complete set of (Lie commuting) operators
2 LECTURE 12: GEOMETRIC PREQUANTIZATION eigenfunctions of Hˆ by λj and ψj . The equation describing the evolution of the system is the Schr¨odinger equation i~ dψ(t) dt = Hψ. ˆ A quantum observable is a self-adjoint operator A acting on H. The expectation value of a quantum observable A in state ψ is given by hAiψ := hAψ, ψi. Proposition 1.1. The evolution of the quantum observable is d dthAiψ = 1 i~ h[A, Hˆ ]iψ. Proof. d dthAψ(t), ψ(t)i = h 1 i~ AHψ, ψ ˆ i + hAψ, 1 i~ Hψˆ i = 1 i~ h[A, Hˆ ]ψ, ψi. Comparing this with (1) we see that the quantum analogy of the Poisson bracket should be the Lie bracket of operators. ¶ The idea of quantization. The word “quantization” represents a procedure (a correspondence, a functor .) that convert a classical Hamiltonian system to its quantum analogue. More precisely, we want a “dictionary” (M, ω) (H,h·, ·i) H Hˆ a A {·, ·} [·, ·] At the very beginning of the whole story, Dirac proposed a set of axioms that a quantization procedure should satisfy. Dirac’s axiom: A quantization procedure assigns self-adjoint operators Q(a) on some Hilbert space H to classical observable a ∈ C ∞(M), so that (1) (Linearity) Q(λa + µb) = λQ(a) + µQ(b). (2) (Normalization) Q(1) = Id. (3) (Quantum condition) Q({a, b}) = 1 i~ [Q(a), Q(b)]. (4) (Minimality) A complete set of (Poisson commuting) functions is quantized to a complete set of (Lie commuting) operators.
3LECTURE12:GEOMETRICPREQUANTIZATION[A procedure that only satisfies (1)-(3) is called a prequantization.]UnfortunatelyitweshownbyGroenewold and VanHovethatsuchaquanti-zation procedure never exist. As a result, mathematicians have developed manydifferent kinds of quantization procedure, each have a different emphasis. For ex-ample, the Weyl's quantization works for nice symbols on R2n, or more generallyT*X, with quantum condition replaced by an asymptotic expansion. The defor-mation quantization concerns more on the affection on the Poisson algebra withoutindicating a Hilbert space.In the last two lectures of this course, we will discuss the so-called geometricquantization. It was proposed by Kostant and has the advantage that it is coordinatefree and works for a very wideclassof symplectic manifolds.The Hilbert spacequantizing (M,w)will be a space of sections of a complex linebundle over M.2. COMPLEX LINE BUNDLES Complex line bundles via transition functions.Let M be a smooth manifold, L → M a smooth complex line bundle over M,and π :L→M the projection map.Recall that this means.At each mEM, Lm =-1(m)isa complexvector space of dimension 1.there exists an open covering [U] of M and diffeomorphismsi: 元-1(U)-U,× Cso that for m e Ui, the restrictionpilLm: Lm→(m) × Cis a linear isomorphism.Consider the transition maps gij : U; n U, → C* = GL(C) defined bygi(m）)=pillm(pillm）-1Obviously the transition functions (gi] satisfy the relationsgij9jkgki =1.gu=1,9i9j=1，Conversely, it is well known that given any open covering [U) of M and func-tions (gij : U;n Uj → C*) satisfying relations above, there exists a complex linebundle L over M so that (gi] are the transition functions of L.So linebundles are completely determined by their transition functions.Usingtransition functions one can characterize whethertwo line bundlesareisomorphictwo line bundles L and L are isomorphic if and only if on a common refinement[U:] of the defining coverings, there exists smooth functions A, → C* such that onU,nUj,Aigij1=gug
LECTURE 12: GEOMETRIC PREQUANTIZATION 3 [A procedure that only satisfies (1)-(3) is called a prequantization.] Unfortunately it we shown by Groenewold and Van Hove that such a quantization procedure never exist. As a result, mathematicians have developed many different kinds of quantization procedure, each have a different emphasis. For example, the Weyl’s quantization works for nice symbols on R 2n , or more generally T ∗X, with quantum condition replaced by an asymptotic expansion. The deformation quantization concerns more on the affection on the Poisson algebra without indicating a Hilbert space. In the last two lectures of this course, we will discuss the so-called geometric quantization. It was proposed by Kostant and has the advantage that it is coordinate free and works for a very wide class of symplectic manifolds. The Hilbert space quantizing (M, ω) will be a space of sections of a complex line bundle over M. 2. Complex line bundles ¶ Complex line bundles via transition functions. Let M be a smooth manifold, L → M a smooth complex line bundle over M, and π : L → M the projection map. Recall that this means • At each m ∈ M, Lm = π −1 (m) is a complex vector space of dimension 1 • there exists an open covering {Ui} of M and diffeomorphisms ϕi : π −1 (Ui) → Ui × C so that for m ∈ Ui , the restriction ϕi |Lm : Lm → {m} × C is a linear isomorphism. Consider the transition maps gij : Ui ∩ Uj → C ∗ = GL(C) defined by gij (m) = ϕi |Lm ◦ (ϕj |Lm) −1 . Obviously the transition functions {gij} satisfy the relations gii = 1, gijgji = 1, gijgjkgki = 1. Conversely, it is well known that given any open covering {Ui} of M and functions {gij : Ui ∩ Uj → C ∗} satisfying relations above, there exists a complex line bundle L over M so that {gij} are the transition functions of L. So line bundles are completely determined by their transition functions. Using transition functions one can characterize whether two line bundles are isomorphic: two line bundles L and Le are isomorphic if and only if on a common refinement {Ui} of the defining coverings, there exists smooth functions λi → C ∗ such that on Ui ∩ Uj , λigijλ −1 j = ˜gij
4LECTURE 12:GEOMETRIC PREQUANTIZATIONNow suppose L is an Hermitian line bundle over M.That means, we have anHermitian inner product (,-)m on Lm, which varies smoothly on m and is preservedby pilLm: As a consequence, each transition map becomes gij : U;n U, → Si. Connections and curvature forms.Now suppose L is a complex line bundle over smooth manifold M. The spaceof smooth sections of L is denoted by (M,L). The space of smooth k-forms onM with coefficients in Lis2*(M,L) := F(M, ^T*M L).Note that 2'(M,L) = T(M,L). In the case L = M × C is a trivial bundle, onehas the identification *(M,L)~*(M)Definition 2.1.A connection on L is a linear mapV : F(M,L) -→2'(M,L)so that for any f e Co(M) and any s e Fo(M, L), one has the Leibniz ruleV(fs)=dfs+fVs.For any smooth vector field X e Vect(M), one can contract X with to getthe covariant derivative in the direction of X,Vx : T(M,L) →r(M,L), Vxs:=IxVs.Aconnectionon Lcan beextendeduniquelytoa linearmapV : 2*(M,L) →2*+1(M,L)so that for any Q E2*(M) and β e(M,L),V()=daβ+(-1)αUsing this generalized Leibniz rule, it is easy to see that for any f e Co(M) andany β E2(M,L), the map 2 : 2(M,L) → +2(M,L) satisfies2(fB)=(fVβ+f β)=fβ+f-f β=fβAs a consequence, the map V? is given by “multiplication by a 2-form", i.e. thereexists a 2-form 2 e ?(M) so that for any s E T(M,L),V2s=2s.Definition 2.2.The 2-form 2 is called the curvature of VErercise 1. As a map from T(M,L) to F(M,L),2(X,Y) = VxVy - VyVx - V(x,Y)-
4 LECTURE 12: GEOMETRIC PREQUANTIZATION Now suppose L is an Hermitian line bundle over M. That means, we have an Hermitian inner product h·, ·im on Lm, which varies smoothly on m and is preserved by ϕi |Lm. As a consequence, each transition map becomes gij : Ui ∩ Uj → S 1 . ¶ Connections and curvature forms. Now suppose L is a complex line bundle over smooth manifold M. The space of smooth sections of L is denoted by Γ∞(M, L). The space of smooth k-forms on M with coefficients in L is Ω k (M, L) := Γ∞(M, ∧ kT ∗M ⊗ L). Note that Ω0 (M, L) = Γ∞(M, L). In the case L = M × C is a trivial bundle, one has the identification Ωk (M, L) ' Ω k (M). Definition 2.1. A connection ∇ on L is a linear map ∇ : Γ∞(M, L) → Ω 1 (M, L) so that for any f ∈ C ∞(M) and any s ∈ Γ ∞(M, L), one has the Leibniz rule ∇(fs) = df ⊗ s + f∇s. For any smooth vector field X ∈ Vect(M), one can contract X with ∇ to get the covariant derivative in the direction of X, ∇X : Γ∞(M, L) → Γ ∞(M, L), ∇Xs := ιX∇s. A connection ∇ on L can be extended uniquely to a linear map ∇ : Ωk (M, L) → Ω k+1(M, L) so that for any α ∈ Ω k (M) and β ∈ Ω • (M, L), ∇(α ∧ β) = dα ∧ β + (−1)kα ∧ ∇β. Using this generalized Leibniz rule, it is easy to see that for any f ∈ C ∞(M) and any β ∈ Ω • (M, L), the map ∇2 : Ω• (M, L) → Ω •+2(M, L) satisfies ∇2 (fβ) = ∇(f∇β + df ∧ β) = f∇2β + df ∧ ∇β − df ∧ ∇β = f∇2β. As a consequence, the map ∇2 is given by “multiplication by a 2-form”, i.e. there exists a 2-form Ω ∈ Ω 2 (M) so that for any s ∈ Γ ∞(M, L), ∇2 s = Ωs. Definition 2.2. The 2-form Ω is called the curvature of ∇. Exercise 1. As a map from Γ∞(M, L) to Γ∞(M, L), Ω(X, Y ) = ∇X∇Y − ∇Y ∇X − ∇[X,Y ]
5LECTURE12:GEOMETRICPREQUANTIZATION Differential geometry of complex line bundles.Now suppose L be an Hermitian linebundle over M.Definition 2.3. We say a connection V on L is unitary, or is compatible with theHermitian structure, if for any s,t e r(M,L),d(s,t) = (Vs,t)+ (s, Vt)Now let fe,lbe a unitary frame of the Hermitian linebundle L.Then thereexistslocallydefined connection 1-formS;so thatVei=Qjei.Note that if é; is another local frame with é = g(r)ei, thenVe,-V(gei)=(dg+go,)ei=(dlogg+0)eiie.0, = dlog g + ;As a consequence, , -, is a closed 1-form.Moreover, sincee,isunitary,0 = d(ei,ei)= 0; +,i.e., is pure imaginaryErercise 2. Using connection 1-forms, one can write the curvature 2-form as= do- 0 = do(It is not exact since is not globally defined.)As a consequence, 2 is globally defined, closed, purely imaginary 2-formDefinition 2.4.The first Chern class of the line bundleLis] e HeRham(M, R).ci(L) := [Remark. According to the famous Chern-Weil theorem, ci(L) is independent of thechoice of the connection and the Hermitian metric on L, and thus is a topologicalinvariantofL Weil's theorem.Recall how the de Rham isomorphism sends an element [a] e HaeRham(M, R) toan element [cl E Hcech(M, R):. First take a good cover [U] so that all intersections are contractible.: For [a] e HaeRham(M), one can find a 1-form b; on U; so that a = db; on U..On the contractible set U,n Uj, db, =dbj.So one can find a function Cij onUinU,so thatbi-bj=dcij
LECTURE 12: GEOMETRIC PREQUANTIZATION 5 ¶ Differential geometry of complex line bundles. Now suppose L be an Hermitian line bundle over M. Definition 2.3. We say a connection ∇ on L is unitary, or is compatible with the Hermitian structure, if for any s, t ∈ Γ ∞(M, L), dhs, ti = h∇s, ti + hs, ∇ti. Now let {ei} be a unitary frame of the Hermitian line bundle L. Then there exists locally defined connection 1-form θi so that ∇ei = θiei . Note that if ˜ei is another local frame with ˜ei = g(x)ei , then ∇e˜i − ∇(gei) = (dg + gθi)ei = (d log g + θi)˜ei , i.e. ˜θi = d log g + θi . As a consequence, ˜θi − θi is a closed 1-form. Moreover, since ei is unitary, 0 = d(ei , ei) = θi + ¯θi , i.e. θi is pure imaginary. Exercise 2. Using connection 1-forms, one can write the curvature 2-form as Ω = dθ − θ ∧ θ = dθ. (It is not exact since θ is not globally defined.) As a consequence, Ω is globally defined, closed, purely imaginary 2-form. Definition 2.4. The first Chern class of the line bundle L is c1(L) := [ 1 2πi Ω] ∈ H 2 deRham(M, R). Remark. According to the famous Chern-Weil theorem, c1(L) is independent of the choice of the connection and the Hermitian metric on L, and thus is a topological invariant of L. ¶ Weil’s theorem. Recall how the de Rham isomorphism sends an element [a] ∈ H2 deRham(M, R) to an element [c] ∈ H2 Cech(M, R): • First take a good cover {Ui} so that all intersections are contractible. • For [a] ∈ H2 deRham(M), one can find a 1-form bi on Ui so that a = dbi on Ui . • On the contractible set Ui ∩ Uj , dbi = dbj . So one can find a function cij on Ui ∩ Uj so that bi − bj = dcij