LECTURE8:THEMOMENTMAPCONTENTS11.Propertiesofthemomentmap42.Existence and Uniqueness of the moment map73.Examples/Exercisesofmomentmaps94.Momentmapingaugetheory1.PROPERTIES OF THE MOMENT MAP Hamiltonian actions.Suppose a Lie group G acts smoothly on M.For simplicity we shall alwaysassume G is connected. Associated to each vector X e g = Lie(G) one has asmooth vector field on M defined bydXm(m) =exp(tX) -m.dt|t=0Now suppose M is symplectic with symplectic form w. The G-action is called.symplectic if each element g eG acts on M by symplectomorphismsEquivalently, for each X E g, Xm is symplectic, i.e. Lxmw = 0..weakly Hamiltonian if each Xm is Hamiltonian, with Hamiltonian functionsdepending nicely on X. More precisely, there exists functions μX on M,depending linearly on X e g, so thatdμX = txmw.There are two equivalent ways to group these functions μX's together:-Thecomomentmapisthelinearmapμ":g→C~(M),μ(X)=μX- The moment map is the smooth mapμ: M →g*,μ()= (μ(),X)Remark.One can regard the moment map μ as the dual map of the linearmap μ* restricted to M, where M is viewed as a subset of Co(M)* via(m,f) := f(m).1
LECTURE 8: THE MOMENT MAP Contents 1. Properties of the moment map 1 2. Existence and Uniqueness of the moment map 4 3. Examples/Exercises of moment maps 7 4. Moment map in gauge theory 9 1. Properties of the moment map ¶ Hamiltonian actions. Suppose a Lie group G acts smoothly on M. For simplicity we shall always assume G is connected. Associated to each vector X ∈ g = Lie(G) one has a smooth vector field on M defined by XM(m) = d dt t=0 exp(tX) · m. Now suppose M is symplectic with symplectic form ω. The G-action is called • symplectic if each element g ∈ G acts on M by symplectomorphisms. – Equivalently, for each X ∈ g, XM is symplectic, i.e. LXM ω = 0. • weakly Hamiltonian if each XM is Hamiltonian, with Hamiltonian functions depending nicely on X. More precisely, there exists functions µ X on M, depending linearly on X ∈ g, so that dµX = ιXM ω. There are two equivalent ways to group these functions µ X’s together: – The comoment map is the linear map µ ∗ : g → C ∞(M), µ∗ (X) = µ X. – The moment map is the smooth map µ : M → g ∗ , µX(·) = hµ(·), Xi. Remark. One can regard the moment map µ as the dual map of the linear map µ ∗ restricted to M, where M is viewed as a subset of C ∞(M) ∗ via hm, fi := f(m). 1
2LECTURE8:THEMOMENTMAP. Hamiltonian if it is weakly Hamiltonian, and the moment map is equivariantwith respect to the G-action on M and the coadjoint G-action on g*. Wecall (M,w,G,μ) a Hamiltonian G-space.-If G is abelian, then g*Rn,and the condition"μ is G-equivariant" isreduced to a simpler statement “μ is G-invariant" Noether principle.Recall that an integral of motion for a Hamiltonian system (M,w,f) is a s-mooth function that Poisson commutes with f.Now let (M,w,G,μ) be a weakly-Hamiltonian G-space and f E Co(M)G a G-invariant smooth function. The Noetherprinciple asserts that symmetries give rise to integral of motions.Theorem 1.1 (Noether). Suppose (M,w,G,μ) is a weakly-Hamiltonian G-space,and f ECoo(M)G a smooth G-invariant function.Then for any X Eg,the functionμ is an integral of motion of the Hamilton system (M,w, f).Proof.Let E, be theHamiltonian vector field associated to f,thend(f,μI(m) =w(三f,Xm)(m) =lxudf(m) = Cxuf(m) =f(exp(tX)·m)=0dt口because f is G-invariant.Moment map v.s. comoment map.A natural question is: How to describe Hamiltonian action via the comomentmap?Proposition 1.2. The moment map μ is G-equivariant if and only if the comomentmap μ*: (g,[,l)-→ (C(M), (,) is a Lie algebra homomorphism.Proof. First assume the G-action is Hamiltonian. Then for any X,Y E g,d(μX,μYI(m) = YM(μ)(m) =(μ(exp(tY) ·m),X)dtd(Adexp(ty)(m), X)dtd《μ(m), Adexp(-ty)X)dtd《μu(m),exp(-tadY)X)dt= 《μ(m),[X, Y]) = μ[x,Y(m),where for the second equality we used the fact exp(tY):m = exp(tYm)(m).Conversely, suppose μ* is a Lie algebra homomorphism. Since G is connectedand the exponential map exp is a local diffeomorphism, any element g of G can
2 LECTURE 8: THE MOMENT MAP • Hamiltonian if it is weakly Hamiltonian, and the moment map is equivariant with respect to the G-action on M and the coadjoint G-action on g ∗ . We call (M, ω, G, µ) a Hamiltonian G-space. – If G is abelian, then g ∗ ' R n , and the condition “µ is G-equivariant” is reduced to a simpler statement “µ is G-invariant”. ¶ Noether principle. Recall that an integral of motion for a Hamiltonian system (M, ω, f) is a smooth function that Poisson commutes with f. Now let (M, ω, G, µ) be a weaklyHamiltonian G-space and f ∈ C ∞(M) G a G-invariant smooth function. The Noether principle asserts that symmetries give rise to integral of motions. Theorem 1.1 (Noether). Suppose (M, ω, G, µ) is a weakly-Hamiltonian G-space, and f ∈ C ∞(M) G a smooth G-invariant function. Then for any X ∈ g, the function µ X is an integral of motion of the Hamilton system (M, ω, f). Proof. Let Ξf be the Hamiltonian vector field associated to f, then {f, µX}(m) = ω(Ξf , XM)(m) = ιXM df(m) = LXM f(m) = d dt t=0 f(exp(tX)·m) = 0 because f is G-invariant. ¶ Moment map v.s. comoment map. A natural question is: How to describe Hamiltonian action via the comoment map? Proposition 1.2. The moment map µ is G-equivariant if and only if the comoment map µ ∗ : (g, [·, ·]) → (C ∞(M), {·, ·}) is a Lie algebra homomorphism. Proof. First assume the G-action is Hamiltonian. Then for any X, Y ∈ g, {µ X, µY }(m) = YM(µ X)(m) = d dt t=0 hµ(exp(tY ) · m), Xi = d dt t=0 hAd∗ exp(tY )µ(m), Xi = d dt t=0 hµ(m), Adexp(−tY )Xi = d dt t=0 hµ(m), exp(−tadY )Xi = hµ(m), [X, Y ]i = µ [X,Y ] (m), where for the second equality we used the fact exp(tY ) · m = exp(tYM)(m). Conversely, suppose µ ∗ is a Lie algebra homomorphism. Since G is connected and the exponential map exp is a local diffeomorphism, any element g of G can
3LECTURE8:THEMOMENTMAPbewrittenas aproduct of elements of theform exp(X).As a result, to proveG-equivariance it is enough to proveμ(exp(tX) - m) = Adexp(tx)μ(m).We shall use the following two results from manifold theory:. Let f : Mi → M2 be a smooth map. For i = 1,2 let Y, be a smooth vectorfield on M, and let p be the flow of Y.Lemma 1.3. If df(Yi) =Y,o f, then f o pt = po fSketch of proof:Both sides define integral curves of the vectorfield Y2passing口the point f(m) at t = 0. Let Xg be the vector field on g* generating the flow Adexp(tx):Lemma 1.4.For anyEg*and anyY Eg,(Xg-(s), Y) = -(s,[X,Y]),Proof. Differentiate both sides of the following formula at t = O:(Adexp(tx)E,Y) = (E, Adexp(-tx)Y)口As a consequence, the theorem is proved if we can showdμ(XM) =Xg+oμ.To prove this we calculate for any Y E g = (g*)*,(dμ(XM(m)), Y) = Yodμ(XM(m)) = d(Yoμ)(XM(m)) = XM(Yoμ)(m) = XM((μ(m),Y)),where the second equality follows from the fact that Y is linear as a function on g*Now use the assumption that μ* is a Lie algebra homomorphism. SoXm(μ) = (μ,μ*) = μY,X) = -(μ,[X, Y)) = (Xg-(μ), Y),It follows(dμ(Xm(m)), Y) = (Xg*(μ(m), Y)口This is exactly what we wanted. Change of Lie groups.Proposition 1.5. Suppose (M,w,G,μ)is a Hamiltonian G-space. Let :K→Gbe a Lie group homomorphism. Then the induced K-action on M defined bykm :=p(k)·mis a Hamiltonian action with moment map v=(dp)Toμ
LECTURE 8: THE MOMENT MAP 3 be written as a product of elements of the form exp(X). As a result, to prove G-equivariance it is enough to prove µ(exp(tX) · m) = Ad∗ exp(tX)µ(m). We shall use the following two results from manifold theory: • Let f : M1 → M2 be a smooth map. For i = 1, 2 let Yi be a smooth vector field on Mi , and let ρ i t be the flow of Yi . Lemma 1.3. If df(Y1) = Y2 ◦ f, then f ◦ ρ 1 t = ρ 2 t ◦ f. Sketch of proof: Both sides define integral curves of the vector field Y2 passing the point f(m) at t = 0. • Let Xg∗ be the vector field on g ∗ generating the flow Ad∗ exp(tX) . Lemma 1.4. For any ξ ∈ g ∗ and any Y ∈ g, hXg ∗ (ξ), Y i = −hξ, [X, Y ]i. Proof. Differentiate both sides of the following formula at t = 0: hAd∗ exp(tX) ξ, Y i = hξ, Adexp(−tX)Y i As a consequence, the theorem is proved if we can show dµ(XM) = Xg ∗ ◦ µ. To prove this we calculate for any Y ∈ g = (g ∗ ) ∗ , hdµ(XM(m)), Y i = Y ◦dµ(XM(m)) = d(Y ◦µ)(XM(m)) = XM(Y ◦µ)(m) = XM(hµ(m), Y i), where the second equality follows from the fact that Y is linear as a function on g ∗ . Now use the assumption that µ ∗ is a Lie algebra homomorphism. So XM(µ Y ) = {µ Y , µX} = µ [Y,X] = −hµ, [X, Y ]i = hXg ∗ (µ), Y i. It follows hdµ(XM(m)), Y i = hXg ∗ (µ(m)), Y i. This is exactly what we wanted. ¶ Change of Lie groups. Proposition 1.5. Suppose (M, ω, G, µ) is a Hamiltonian G-space. Let ϕ : K → G be a Lie group homomorphism. Then the induced K-action on M defined by k · m := ϕ(k) · m is a Hamiltonian action with moment map ν = (dϕ) T ◦ µ.
4LECTURE8:THEMOMENTMAPProof. Let X E t. Use the fact (exp(tX) = exp(dp(tX)) we getdXm(m) =l=og(exp(tX) m = (d(X)s(m).It follows thatforv= (dp)Toμ.d(v, X) = d((dp)T oμ, X) = d(μ, dp(X)) = t(dp(x)xw= 1xmw.To prove v is equivariant,one only need to prove v* is a Lie algebra homomor-phism. But by definition,v*=μ"odp,so μ* is a Lie algebra homomorphism since both dp and μ are Lie algebra homo口morphisms.As a consequence we seeCorollary 1.6. If (M,w,G,μ) is a Hamiltonian G-space and t : H G a Liesubgroup. Then the induced H-action on M is Hamiltonian with moment mapV=diToμ.2.EXISTENCE AND UNIQUENESS OF THE MOMENT MAPI Uniqueness.Suppose Lie group G acts in a Hamiltonian way on (M,w), we would like toknow how unique is the moment map. In other words, suppose μi and μ2 are bothmoment maps for this action. What is the difference μi-μ2?Instead of working on the moment maps μi and μ2, we works on the comomentmaps μ and μ. By definition for each X g, μ and μ are both Hamiltonianfunctions for the same vector field Xm.It follows that the difference(X)-(X)=-=cXis locally constant, and thus a constant on M (we will always assume that M isconnected). Obviously cX depends linearly in X. So we get an element c E g* with(c, X) = cX.Note that in this case the two moment maps are related byμ= μ2 + c,in other words, they differed by a constant in g*.Since μi and μ are both Lie algebra homomorphisms, for any X, Y e g,ex= x=(,-(,)=+c,+c-,)= 0
4 LECTURE 8: THE MOMENT MAP Proof. Let X ∈ k. Use the fact ϕ(exp(tX)) = exp(dϕ(tX)) we get XM(m) = d dt|t=0ϕ(exp(tX)) · m = (dϕ(X))M(m). It follows that for ν = (dϕ) T ◦ µ. dhν, Xi = dh(dϕ) T ◦ µ, Xi = dhµ, dϕ(X)i = ι(dϕ(X))M ω = ιXM ω. To prove ν is equivariant, one only need to prove ν ∗ is a Lie algebra homomorphism. But by definition, ν ∗ = µ ∗ ◦ dϕ, so µ ∗ is a Lie algebra homomorphism since both dϕ and µ are Lie algebra homomorphisms. As a consequence we see Corollary 1.6. If (M, ω, G, µ) is a Hamiltonian G-space and ι : H ,→ G a Lie subgroup. Then the induced H-action on M is Hamiltonian with moment map ν = dιT ◦ µ. 2. Existence and Uniqueness of the moment map ¶ Uniqueness. Suppose Lie group G acts in a Hamiltonian way on (M, ω), we would like to know how unique is the moment map. In other words, suppose µ1 and µ2 are both moment maps for this action. What is the difference µ1 − µ2? Instead of working on the moment maps µ1 and µ2, we works on the comoment maps µ ∗ 1 and µ ∗ 2 . By definition for each X ∈ g, µ X 1 and µ X 2 are both Hamiltonian functions for the same vector field XM. It follows that the difference µ ∗ 1 (X) − µ ∗ 2 (X) = µ X 1 − µ X 2 = c X is locally constant, and thus a constant on M (we will always assume that M is connected). Obviously c X depends linearly in X. So we get an element c ∈ g ∗ with hc, Xi = c X. Note that in this case the two moment maps are related by µ1 = µ2 + c, in other words, they differed by a constant in g ∗ . Since µ ∗ 1 and µ ∗ 2 are both Lie algebra homomorphisms, for any X, Y ∈ g, c [X,Y ] = µ [X,Y ] 1 − µ [X,Y ] 2 = {µ X 1 , µY 1 } − {µ X 2 , µY 2 } = {µ X 2 + c X, µY 2 + c Y } − {µ X 2 , µY 2 } = 0.
LECTURE8:THEMOMENTMAP5It follows that the constantc e [g, g)° = H'(g, R),Conversely, for any c e [g, g]° and any moment map μ, it is easy to see that the mapμ+c is a moment map for the same action, where the equivariance follows from thefact that Ad,c = 0 for any c e [g, g]°. (Check the last statement).Inconclusion,wegetTheorem 2.1.Any two moment maps of the same Hamiltonian action differ by aconstant in [g,glo =H'(g,R).As a consequence,Corollary 2.2. Let G be a compact Lie group with H'(g, R) = 0, then the momentmaps for any Hamiltonian G-action is unique.On the other extreme, since [g, g]° = g* if G is an abelian Lie group, we getCorollary 2.3.If (M,w,Tn,μ)is aHamiltonian Tn-system, then for any c E g,μ+c is a moment map for the Tn-action."Existence".In this subsection we dress at the following question: Under what condition wecan assert that any symplectic action is a Hamiltonian action? We will give twoindependent criteria, one on the manifold M and one on the Lie group G.Theorem 2.4. Suppose (M,w) is a connected compact symplectic manifold withH'(M,R)-o, then any symplectic action on M is Hamiltonian.Proof. We have seen that under the condition H'(M)= O, any symplectic vectorfield is a Hamiltonian vector field.We first choose a basis [Xi,..., Xa} of g. For each X, we can find a functionμX on M with t(x)mw = dμx. The functions μX are only unique up to constants,and wefix the constant by requiringuXwn=0.For any X Eg, one can writeX=aiXiand wedefineux-EaiuxiThis defines a linear map μ* : g -→ C(M) withixmw= dμX,in other words, the G-action is a weak-Hamiltonian action
LECTURE 8: THE MOMENT MAP 5 It follows that the constant c ∈ [g, g] 0 = H 1 (g, R). Conversely, for any c ∈ [g, g] 0 and any moment map µ, it is easy to see that the map µ + c is a moment map for the same action, where the equivariance follows from the fact that Ad∗ g c = 0 for any c ∈ [g, g] 0 . (Check the last statement). In conclusion, we get Theorem 2.1. Any two moment maps of the same Hamiltonian action differ by a constant in [g, g] 0 = H1 (g, R). As a consequence, Corollary 2.2. Let G be a compact Lie group with H1 (g, R) = 0, then the moment maps for any Hamiltonian G-action is unique. On the other extreme, since [g, g] 0 = g ∗ if G is an abelian Lie group, we get Corollary 2.3. If (M, ω, T n , µ) is a Hamiltonian T n -system, then for any c ∈ g ∗ , µ + c is a moment map for the T n -action. ¶ “Existence”. In this subsection we dress at the following question: Under what condition we can assert that any symplectic action is a Hamiltonian action? We will give two independent criteria, one on the manifold M and one on the Lie group G. Theorem 2.4. Suppose (M, ω) is a connected compact symplectic manifold with H1 (M, R) = 0, then any symplectic action on M is Hamiltonian. Proof. We have seen that under the condition H1 (M) = 0, any symplectic vector field is a Hamiltonian vector field. We first choose a basis {X1, · · · , Xd} of g. For each Xi we can find a function µ Xi on M with ι(Xi)M ω = dµXi . The functions µ Xi are only unique up to constants, and we fix the constant by requiring Z M µ Xiω n = 0. For any X ∈ g, one can write X = XaiXi , and we define µ X = Xaiµ Xi . This defines a linear map µ ∗ : g → C ∞(M) with ιXM ω = dµX, in other words, the G-action is a weak-Hamiltonian action