《微分几何：辛几何引论》课程教学资源（英文讲义）Lec11 SYMPLECTIC TORIC MANIFOLDS

LECTURE11:SYMPLECTICTORICMANIFOLDSCONTENTS1Symplectictoricmanifolds1.42.Delzant's theorem83.Symplecticcut1.SYMPLECTIC TORICMANIFOLDSTOrbit of torus actions.Recall that in lecture 9 we showed ker(dμm) = (Tm(G .m))mProposition 1.1.Let (M,w, Th,μ) be a compact connected Hamiltonian T-space,then for any m E M, then orbit Tk.m is an isotropic submanifold of M.Proof. The moment map μ is Tk-invariant, so on the orbit Tk .m, μ takes a constantvalue et*.It follows that thedifferential dμm:TmM-→Tt* t*maps thesubspaceTm(T.m)to0.Inotherwords,Tm(Tk. m) C ker(dμm) = (Tm(Tk . m)"mSoTk.m is an isotropic submanifold of M.Effective torus actions.Definition 1.2. An action of a Lie group G on a smooth manifold M is calledeffective (or faithful)if each group element g+e moves at least one point m EM,i.e.N Gm = [e].mEM(Equivalently, if the group homomorphism T:G→Diff(M) is injective.)Remark. If a group action T of G on M is not effective, then ker(+) is a normalsubgroup of G, and the action induces a smooth action of G/ker() on M whichis effective.A remarkable fact on effective Tk-action is1

LECTURE 11: SYMPLECTIC TORIC MANIFOLDS Contents 1. Symplectic toric manifolds 1 2. Delzant’s theorem 4 3. Symplectic cut 8 1. Symplectic toric manifolds ¶ Orbit of torus actions. Recall that in lecture 9 we showed ker(dµm) = (Tm(G · m))ωm. Proposition 1.1. Let (M, ω, T k , µ) be a compact connected Hamiltonian T k -space, then for any m ∈ M, then orbit T k · m is an isotropic submanifold of M. Proof. The moment map µ is T k -invariant, so on the orbit T k ·m, µ takes a constant value ξ ∈ t ∗ . It follows that the differential dµm : TmM → Tξt ∗ ' t ∗ maps the subspace Tm(T k · m) to 0. In other words, Tm(T k · m) ⊂ ker(dµm) = (Tm(T k · m))ωm. So T k · m is an isotropic submanifold of M. ¶ Effective torus actions. Definition 1.2. An action of a Lie group G on a smooth manifold M is called effective (or faithful) if each group element g 6= e moves at least one point m ∈ M, i.e. \ m∈M Gm = {e}. (Equivalently, if the group homomorphism τ : G → Diff(M) is injective.) Remark. If a group action τ of G on M is not effective, then ker(τ ) is a normal subgroup of G, and the action τ induces a smooth action of G/ker(τ ) on M which is effective. A remarkable fact on effective T k -action is 1

2LECTURE11:SYMPLECTICTORICMANIFOLDSTheorem 1.3. Suppose Tk acts on M effectively.Then the set of points where theaction is free,M=(mEMIGm=[e}),is an open and dense subset in M.For a proof, c.f. Guillemin-Ginzburg-Karshon, “Moment Maps, Cobordisms,and Hamiltonian Group Actions", appendix B, corollary B.48.An important consequence isCorollary 1.4. Let (M,w, Tk, μ) be a compact connected Hamiltonian Tk-space, IftheTk-action is effective, then dimM ≥2k.Proof. Pick any point m in M where the Tk-action is free, i.e. (T*)m = [e]. Thenthe orbit Tk.m is diffeomorphic to T*/(T)m = Tk, and thus has dimension k. Butwe have just seen that Tk.m is an isotropic submanifold of M. So1k = dim(Tk . m) ≤dimM.口 Symplectic Toric manifolds.Definition 1.5. A compact connected symplectic manifold (M,w) of dimension 2nis called a symplectic toric manifold is it is equipped with an effective HamiltonianT"-action.Erample. Cn admits an effective Hamiltonian Tn action,(t1,**,tn).(z1,..,zn)= (tiz1,*.,zntn),and thus is a symplectictoricmanifoldErample. Cpn admits an effective Hamiltonian Tn action(ti,*.,tn) [2z0 : z1 :.*.: zn] = [20 : tiz1 :*-.: tnzn]and thus is a symplectic toric manifold. The image of the moment map is thesimplex in Rn with n +1 vertices e and (0,...,0), where e,=(0,...,1,...,0).Erample.Theproducts of toricmanifolds isstilltoricRemark.A symplectic toric manifold is a special complete integrable system becausefor any X,Y et,(μ,μ(m) =Wm(Xm(m), Ym(m)) = 0

2 LECTURE 11: SYMPLECTIC TORIC MANIFOLDS Theorem 1.3. Suppose T k acts on M effectively. Then the set of points where the action is free, Mf = {m ∈ M | Gm = {e}}, is an open and dense subset in M. For a proof, c.f. Guillemin-Ginzburg-Karshon, “Moment Maps, Cobordisms, and Hamiltonian Group Actions”, appendix B, corollary B.48. An important consequence is Corollary 1.4. Let (M, ω, T k , µ) be a compact connected Hamiltonian T k -space, If the T k -action is effective, then dim M ≥ 2k. Proof. Pick any point m in M where the T k -action is free, i.e. (T k )m = {e}. Then the orbit T k · m is diffeomorphic to T k/(T k )m = T k , and thus has dimension k. But we have just seen that T k · m is an isotropic submanifold of M. So k = dim(T k · m) ≤ 1 2 dim M. ¶ Symplectic Toric manifolds. Definition 1.5. A compact connected symplectic manifold (M, ω) of dimension 2n is called a symplectic toric manifold is it is equipped with an effective Hamiltonian T n -action. Example. C n admits an effective Hamiltonian T n action, (t1, · · · , tn) · (z1, · · · , zn) = (t1z1, · · · , zntn), and thus is a symplectic toric manifold. Example. CPn admits an effective Hamiltonian T n action, (t1, · · · , tn) · [z0 : z1 : · · · : zn] = [z0 : t1z1 : · · · : tnzn] and thus is a symplectic toric manifold. The image of the moment map is the simplex in R n with n + 1 vertices 1 2 ei and (0, · · · , 0), where ei = (0, · · · , 1, · · · , 0). Example. The products of toric manifolds is still toric. Remark. A symplectic toric manifold is a special complete integrable system because for any X, Y ∈ t, {µ X, µY }(m) = ωm(XM(m), YM(m)) = 0.

3LECTURE11:SYMPLECTICTORICMANIFOLDS Delzant polytopes.According to the Atiyah-Guillemin-Sternberg convexity theorem, the image ofthe moment map is always a convex polytope in IRn. The moment polytope of CplCp2 and Cpl × Cpl areS2CP2CPl×CPDefinition 1.6. A polytope E Rn is called a Delzant polytope if(simplicity) there are n edges meeting at every vertex p.112(rationality)the edges meeting at p are of the form p+tui, with u, e Zn(3) (smoothness) at each p, ui, ... , un form a Z-basis of Zn.Obviously the previous examples areDelzant polytopes.More examples ofDelzantpolytopes(0,1)(1,1)(0,0,1)(0,X0)(0,0)(4,0)(0,0,0)(1,0,0)The following polytopes are not Delzant:(0,2)(2.2)(0,0,1)0X0)(1,1.0)(0,0)(3,0)(0,0,0)(1,0,0)Remark. Suppose a Delzant polytope has d faces. Let vi, 1 ≤i< d, be the primitiveoutward-pointing normal vectors to the faces of , then can be described via aset of inequalities(c,vi)≤Ai，i=l,..,d Moment polytopes are Delzant.NowwearereadytoproveTheorem 1.7. For any symplectic toric manifold (M,w), its moment polytope isa Delzant polytope

LECTURE 11: SYMPLECTIC TORIC MANIFOLDS 3 ¶ Delzant polytopes. According to the Atiyah-Guillemin-Sternberg convexity theorem, the image of the moment map is always a convex polytope in R n . The moment polytope of CP1 , CP2 and CP1 × CP1 are S 2 ❅ ❅ ❅ ❅ ❅ ❅ CP2 CP1 × CP1 Definition 1.6. A polytope ∆ ∈ R n is called a Delzant polytope if (1) (simplicity) there are n edges meeting at every vertex p. (2) (rationality) the edges meeting at p are of the form p + tui , with ui ∈ Z n . (3) (smoothness) at each p, u1, · · · , un form a Z-basis of Z n . Obviously the previous examples are Delzant polytopes. More examples of Delzant polytopes ◗◗◗◗◗◗◗◗◗ (0,0) (4,0) (0,1) (1,1) ❅ ❅ ❅ ❅ ❅ ❅ (0,0,0) (1,0,0) (0,0,1) (0,1,0) The following polytopes are not Delzant: ❆ ❆ ❆ ❆ ❆ ❆ (0,0) (3,0) (0,2) (2,2) ❅ ❅ ❅ ❅ ❅ ❅ ❍❍❍❍❍❍❍❍ ￾ ￾ (0,0,0) (1,0,0) (0,0,1) (0,1,0) (1,1,0) Remark. Suppose a Delzant polytope has d faces. Let vi , 1 ≤ i ≤ d, be the primitive outward-pointing normal vectors to the faces of ∆, then ∆ can be described via a set of inequalities hx, vii ≤ λi , i = 1, · · · , d ¶ Moment polytopes are Delzant. Now we are ready to prove Theorem 1.7. For any symplectic toric manifold (M, ω), its moment polytope ∆ is a Delzant polytope

4LECTURE11:SYMPLECTICTORICMANIFOLDSProof. Let m e M be a fixed point of the Hamiltonian torus action, then p =μ(m)is a vertex of themoment polytope.Wehaveseen fromtheproof of theAtiyah.Guillemin-Sternberg convexity theorem that themoment polytopenear p is(p+ siwi / si≥ 0]i=1wherewi,...,wn are the weights of the linearized isotropic action of the torus onTmM. Thus satisfies the conditions (1) and (2).Suppose does not satisfy the condition (3). Let W be the Z-matrix whoserow vectors are the vectors w,'s. Then W is not invertible as a Z-matrix. We takea vector T g Zn such that W e Zn. (If W is not invertible, we can take - be anynon-integer vector in the kernel of W. If W is invertible as an R-matrix but notinvertible as a Z-matrix,then W-1 can not map all Z-vectors to Z vectors ).So wehave(wi,T)EZfor all i.Recall that in a neighborhood of m, there exists coordinate system (zi,.., zn)so that the action of Tn is given byexp(X) (21, ** ,zn) = (e2mi(w,X)21, e2元i(wm,X)zm)So exp(+) acts trivially on a neighborhood of m, but exp(+) is not the identityelement in Tn. This contradicts with the fact that in a dense open subset of M the口action isfree.Sosatisfies (3)2.DELZANT'S THEOREM Statement of main theorem.The main result is the following classification for symplectic toric manifold.which says that symplectic toric manifolds are characterized by their moment poly-topes:Theorem 2.1 (Delzant, 1990). There is a one-to-one correspondence between sym-plectic toric manifolds (up to Tn equivariant symplectomorphisms)and Delzant poly-topes. More precisely,(1) The moment polytope of a toric manifold is a Delzant polytope.(2)Every Delzant polytope is the moment polytope of a symplectic toric manifold.(3) Two toric manifolds with the same moment polytope are equivariantly sym-plectomorphic.The proof is divided into several steps:Step 1: M toric μ(M) Delzant. (Done as theorem 1.7.)Step 2: Delzant construct compact connected symplectic manifold M

4 LECTURE 11: SYMPLECTIC TORIC MANIFOLDS Proof. Let m ∈ M be a fixed point of the Hamiltonian torus action, then p = µ(m) is a vertex of the moment polytope. We have seen from the proof of the Atiyah￾Guillemin-Sternberg convexity theorem that the moment polytope near p is {p + Xn i=1 siwi | si ≥ 0} where w1, · · · , wn are the weights of the linearized isotropic action of the torus on TmM. Thus ∆ satisfies the conditions (1) and (2). Suppose ∆ does not satisfy the condition (3). Let W be the Z-matrix whose row vectors are the vectors wi ’s. Then W is not invertible as a Z-matrix. We take a vector τ 6∈ Z n such that W τ ∈ Z n . (If W is not invertible, we can take τ be any non-integer vector in the kernel of W. If W is invertible as an R-matrix but not invertible as a Z-matrix, then W−1 can not map all Z-vectors to Z vectors ). So we have hwi , τ i ∈ Z for all i. Recall that in a neighborhood of m, there exists coordinate system (z1, · · · , zn) so that the action of T n is given by exp(X) · (z1, · · · , zn) = (e 2πihw1,Xi z1, · · · , e2πihwn,Xi zn). So exp(τ ) acts trivially on a neighborhood of m, but exp(τ ) is not the identity element in T n . This contradicts with the fact that in a dense open subset of M the action is free. So ∆ satisfies (3). 2. Delzant’s theorem ¶ Statement of main theorem. The main result is the following classification for symplectic toric manifold, which says that symplectic toric manifolds are characterized by their moment poly￾topes: Theorem 2.1 (Delzant, 1990). There is a one-to-one correspondence between sym￾plectic toric manifolds (up to T n equivariant symplectomorphisms) and Delzant poly￾topes. More precisely, (1) The moment polytope of a toric manifold is a Delzant polytope. (2) Every Delzant polytope is the moment polytope of a symplectic toric manifold. (3) Two toric manifolds with the same moment polytope are equivariantly sym￾plectomorphic. The proof is divided into several steps: Step 1: M toric =⇒ µ(M) Delzant. (Done as theorem 1.7.) Step 2: ∆ Delzant construct compact connected symplectic manifold M∆.

5LECTURE11:SYMPLECTICTORICMANIFOLDSStep 3: Check M is toric and μ(M) = △Step 4: △(M) =△(M2) M1 ~ M2 Construction of M from Delzant polytope △Now let be aDelzant polytope in Rn.Supposehas d facets, then by thealgebraic description one can find primitive outward pointing vectors Ui,.,Ud sothat△={re (R")* I a).Since N is a sub-torus of Td, the induced N-action on Cd is Hamiltonian withmoment map t* o Φ : Cd → n*.Step 2.cThezero level set Z = (*o @)-1(O) is compactLet △'= π*(). Then △ is compact. We claim

LECTURE 11: SYMPLECTIC TORIC MANIFOLDS 5 Step 3: Check M∆ is toric and µ(M∆) = ∆. Step 4: ∆(M1) = ∆(M2) ⇐⇒ M1 ' M2. ¶ Construction of M∆ from Delzant polytope ∆. Now let ∆ be a Delzant polytope in R n . Suppose ∆ has d facets, then by the algebraic description one can find primitive outward pointing vectors v1, · · · , vd so that ∆ = {x ∈ (R n ) ∗ | hx, vii ≤ λi , i = 1, · · · , d}. By translation we may assume 0 ∈ ∆, and thus λi ≥ 0 for all i. We shall construct M∆ as the symplectic quotient of R d by a Hamiltonian action of a torus N of dimension d − n. I Step 2.a The (d − n)-torus N. Let e1, · · · , ed be the standard basis of R d . Define linear map π : R d → R n , ei 7→ vi Then since ∆ is Delzant, π is onto and maps Z d onto Z n . So we get an induced surjective Lie group homomorphism π : T d = R d /Z d → T n = R n /Z n . Let N = ker(π). It is a (d − n)-subtorus of T d . Note that from the exact sequence of Lie group homomorphisms 0 −→ N i −→ T d π −→ T n −→ 0 one gets an exact sequence of Lie algebras 0 −→ n i −→ R d π −→ R n −→ 0, and thus an exact sequence of dual Lie algebras 0 −→ (R n ) ∗ π ∗ −→ (R d ) ∗ i ∗ −→ n ∗ −→ 0. I Step 2.b The Hamiltonian N-action on C d . The standard T d -action on C d is given by (e iθ1 , · · · , eiθd ) · (z1, · · · , zd) = (e iθ1 z1, · · · , eiθd zd). The action is Hamiltonian with moment map φ : C d −→ (R d ) ∗ , φ(z1, · · · , zd) = − 1 2 (|z1| 2 , · · · , |zd| 2 ) + c. We choose c = λ = (λ1, · · · , λd). Since N is a sub-torus of T d , the induced N-action on C d is Hamiltonian with moment map ι ∗ ◦ φ : C d → n ∗ . I Step 2.c The zero level set Z = (ι ∗ ◦ φ) −1 (0) is compact. Let ∆0 = π ∗ (∆). Then ∆ is compact. We claim

6LECTURE11:SYMPLECTICTORICMANIFOLDSClaim I: Im(元*)n Im() = △According to this claim,Z = (i* 0Φ)-1(0) = Φ-1(ker(i*)) = Φ-1(Im(π*)) = Φ-1()Sozis compactsincethemapproper.Proof of claim I: Obviously '=*() C Im(π*).By the definition Φ, Im()consists of those points y with (y,ei)≤ A. For any r E ,(*(),e) = (, v) ≤入So π*(A) c Im(Φ), and thus △'c Im(π*) n Im()Conversely suppose y = 元*(z) = Φ(w). Then(z, 0i) = (元*(2),ei) ≤入g.口In other words, z △. It follows Im(*)nIm() C Step2.dNacts freelyonZ.For z E Zd, let I, = (i I zi = O]. Then(Td)z={t ETd [ti =1 for ig I]Claim I: The restriction map of π, : (Td)z→ Tn, is injective.This impliesN, = Nn(Td)z= i(N)n (Td)= ker(π)n(Td)z= ker(π(Td).) =1)So the action is free.Proof of claim II. Suppose z e Z = (t*o@)-1(O), i.eΦ(z) E ker(*) = Im(元*).Then (z) Im(π*)n Im() = . So one can find r E so that Φ(z) = *(r)ThusiE,台z=0台《(2),ei)=台《(r),e)=入台(,u)=入In other words, r is a point in the intersection of facets whose normal vectors arev: As a consequence, we see that the set of vectors[v; lieI]arelinearlyindependent.Now let [t], [s] E (Td)z. If π([t]) = ([s]), then(t) -(s) =(ti - si)ui E zniel口It follows that ti - si e Z for i e Iz. So [t] = [s]

6 LECTURE 11: SYMPLECTIC TORIC MANIFOLDS Claim I: Im(π ∗ ) ∩ Im(φ) = ∆0 . According to this claim, Z = (i ∗ ◦ φ) −1 (0) = φ −1 (ker(i ∗ )) = φ −1 (Im(π ∗ )) = φ −1 (∆0 ). So Z is compact since the map φ proper. Proof of claim I:. Obviously ∆0 = π ∗ (∆) ⊂ Im(π ∗ ). By the definition φ, Im(φ) consists of those points y with hy, eii ≤ λi . For any x ∈ ∆, hπ ∗ (x), eii = hx, vii ≤ λi . So π ∗ (∆) ⊂ Im(φ), and thus ∆0 ⊂ Im(π ∗ ) ∩ Im(φ). Conversely suppose y = π ∗ (z) = φ(w). Then hz, vii = hπ ∗ (z), eii ≤ λi . In other words, z ∈ ∆. It follows Im(π ∗ ) ∩ Im(φ) ⊂ ∆0 . I Step 2.d N acts freely on Z. For z ∈ Z d , let Iz = {i | zi = 0}. Then (T d )z = {t ∈ T d | ti = 1 for i 6∈ Iz}. Claim II: The restriction map of π, π : (T d )z → T n , is injective. This implies Nz = N ∩ (T d )z = i(N) ∩ (T d )z = ker(π) ∩ (T d )z = ker(π|(Td)z ) = {1}. So the action is free. Proof of claim II. Suppose z ∈ Z = (ι ∗ ◦ φ) −1 (0), i.e. φ(z) ∈ ker(ι ∗ ) = Im(π ∗ ). Then φ(z) ∈ Im(π ∗ ) ∩ Im(φ) = ∆0 . So one can find x ∈ ∆ so that φ(z) = π ∗ (x). Thus i ∈ Iz ⇔ zi = 0 ⇔ hφ(z), eii = λi ⇔ hπ ∗ (x), eii = λi ⇔ hx, vii = λi . In other words, x is a point in the intersection of facets whose normal vectors are vi . As a consequence, we see that the set of vectors {vi | i ∈ Iz} are linearly independent. Now let [t], [s] ∈ (T d )z. If π([t]) = π([s]), then π(t) − π(s) = X i∈Iz (ti − si)vi ∈ Z n . It follows that ti − si ∈ Z for i ∈ Iz. So [t] = [s].

LECTURE11:SYMPLECTICTORICMANIFOLDS7In conclusion,we see that M=Cd/N=Z/N isa compactsymplecticmanifoldof dimension 2d - 2(d - n) = 2n.Remark.Since Mis constructed via Cd which is Kahler,with more works one canprove that M is actually a Kahler manifold. The moment polytope of M is .We need to show that M admits a Hamiltonian Tn action which is effective.The action is actually very natural:Step 3.aHamiltonian Tn-actiononMSuppose z is a point such thatΦ(2) = π*(c)for a vertex of △. Then from the proof of claim I we see that dim(Td)z equals thenumber of facets of △ that meets at p, i.e.dim(Td)z = n.So by claim II, themapπ : (Td)≥→ Tnis bijective. By identifying Tn with (Td)we get an embedding j:Tn Td withπoj= Id.So Tn acts on Cd in a Hamiltonian way, with moment map j* oo. Moreover, this Tn.action commutes with the N-action we constructed above.Thus by the reduction bystages arguments (presented by Chao'en last time), we get an induced HamiltonianT"-action on M, whose moment map μ satisfiesμopr=j*opoj,wherepr is theprojection from Z to Ma, and j is the inclusion from Z to CdStep3.bTheaboveTn-actioniseffective.Since the Td action is effective, this induced Tn-action is also effective.Step3.cThemomentpolytopeof Mis.μ(M)=μopr(Z)=j。Φoj(z)=j*o((ioΦ)-l(O))= j*(ker(i*) = j*(π*(△) = (π 0 )*(△)= △

LECTURE 11: SYMPLECTIC TORIC MANIFOLDS 7 In conclusion, we see that M∆ = C d//N = Z/N is a compact symplectic manifold of dimension 2d − 2(d − n) = 2n. . Remark. Since M∆ is constructed via C d which is K¨ahler, with more works one can prove that M∆ is actually a K¨ahler manifold. ¶ The moment polytope of M∆ is ∆. We need to show that M∆ admits a Hamiltonian T n action which is effective. The action is actually very natural: I Step 3.a Hamiltonian T n -action on M∆. Suppose z is a point such that φ(z) = π ∗ (x) for a vertex x of ∆. Then from the proof of claim II we see that dim(T d )z equals the number of facets of ∆ that meets at p, i.e. dim(T d )z = n. So by claim II, the map π : (T d )z → T n is bijective. By identifying T n with (T d )z we get an embedding ˜j : T n ,→ T d with π ◦ ˜j = Id. So T n acts on C d in a Hamiltonian way, with moment map ˜j ∗ ◦φ. Moreover, this T n - action commutes with the N-action we constructed above. Thus by the reduction by stages arguments (presented by Chao’en last time), we get an induced Hamiltonian T n -action on M∆, whose moment map µ satisfies µ ◦ pr = ˜j ∗ ◦ φ ◦ j, where pr is the projection from Z to M∆, and j is the inclusion from Z to C d . I Step 3.b The above T n -action is effective. Since the T d action is effective, this induced T n -action is also effective. I Step 3.c The moment polytope of M∆ is ∆. µ(M∆) = µ ◦ pr(Z) = ej ∗ ◦ φ ◦ j(Z) = ej ∗ ◦ φ((i ∗ ◦ φ) −1 (0)) = ej ∗ (ker(i ∗ )) = ej ∗ (π ∗ (∆)) = (π ◦ ej) ∗ (∆) = ∆

8LECTURE11:SYMPLECTICTORICMANIFOLDSEquivariantly symplectomorphic toric manifolds.Step 4.a If (Mi,wi, Tn,μ) and (M2,w2, Tn,μ2) are two equivariantly diffeo-7morphic toric manifolds, then μi(Mi) and μ2(M2) differ by a translation.Infact,if welet:Mi→M2bethe equivariantdiffeomorphism.Then @*μ2is also a moment map for the Tn-action on Mi, becaused(*μ2,X)=*d(μ2,X)= Φtxm2W2=1xmW1.So there exists a constant e t* so that @*μ2 = μ1 + &. It follows thatμ2(M2) = *μ2(M) = μ1(Mi) +.Now suppose (Mi,w1,T"n,μ1)and (M2,w2, Tn, μ2) are two symplectic toric mani-folds with μi(Mi) = μ2(M2). We would like to prove that there exists an equivariantdiffeomorphismthat sends MitoM2>Step4.bIfμi(M)=μ2(M2),onecanconstructbyinductionadiffeomorphismthat intertwines the torus actions and moment maps.Step 4.c Show that the cohomology class of w is determined by the moment1polytope.Step4.d Apply Moser's trick.1AFor more details, c.f. Kai Cieliebak's notes, P.40-45.3. SYMPLECTIC CUTStudentpresentation

8 LECTURE 11: SYMPLECTIC TORIC MANIFOLDS ¶ Equivariantly symplectomorphic toric manifolds. I Step 4.a If (M1, ω1, T n , µ1) and (M2, ω2, T n , µ2) are two equivariantly diffeo￾morphic toric manifolds, then µ1(M1) and µ2(M2) differ by a translation. In fact, if we let Φ : M1 → M2 be the equivariant diffeomorphism. Then Φ∗µ2 is also a moment map for the T n -action on M1, because dhΦ ∗µ2, Xi = Φ∗ dhµ2, Xi = Φ∗ ιXM2 ω2 = ιXM1 ω1. So there exists a constant ξ ∈ t ∗ so that Φ∗µ2 = µ1 + ξ. It follows that µ2(M2) = Φ∗µ2(M1) = µ1(M1) + ξ. Now suppose (M1, ω1, T n , µ1) and (M2, ω2, T n , µ2) are two symplectic toric mani￾folds with µ1(M1) = µ2(M2). We would like to prove that there exists an equivariant diffeomorphism that sends M1 to M2. I Step 4.b If µ1(M1) = µ2(M2), one can construct by induction a diffeomorphism that intertwines the torus actions and moment maps. I Step 4.c Show that the cohomology class of ω is determined by the moment polytope. I Step 4.d Apply Moser’s trick. For more details, c.f. Kai Cieliebak’s notes, P. 40-45. 3. Symplectic cut Student presentation