LECTURE 11: SYMPLECTIC TORIC MANIFOLDS. Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8
|
|
- Gertrude Bates
- 5 years ago
- Views:
Transcription
1 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 ) = (T m (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 : T m M T ξ t t maps the subspace T m (T k m) to 0. In other words, T m (T k m) ker(dµ m ) = (T m (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 e moves at least one point m M, i.e. G m = {e}. m M (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
2 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, M = {m M G m = {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 Symplectic Toric manifolds. k = dim(t k m) 1 dim M. 2 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, and thus is a symplectic toric manifold. (t 1,, t n ) (z 1,, z n ) = (t 1 z 1,, z n t n ), Example. CP n admits an effective Hamiltonian T n action, (t 1,, t n ) [z 0 : z 1 : : z n ] = [z 0 : t 1 z 1 : : t n z n ] and thus is a symplectic toric manifold. The image of the moment map is the simplex in R n with n + 1 vertices 1e 2 i and (0,, 0), where e i = (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 (X M (m), Y M (m)) = 0.
3 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 CP 1, CP 2 and CP 1 CP 1 are S 2 CP 2 CP 1 CP 1 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 + tu i, with u i Z n. (3) (smoothness) at each p, u 1,, u n form a Z-basis of Z n. Obviously the previous examples are Delzant polytopes. Delzant polytopes More examples of (0,1) (1,1) (0,0) (4,0) (0,0,1) (0,1,0) (0,0,0) (1,0,0) The following polytopes are not Delzant: (0,2) (2,2) (0,0) (3,0) (0,0,1) (0,1,0) (1,1,0) (0,0,0) (1,0,0) Remark. Suppose a Delzant polytope has d faces. Let v i, 1 i d, be the primitive outward-pointing normal vectors to the faces of, then can be described via a set of inequalities x, v i λ 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.
4 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 n {p + s i w i s i 0} i=1 where w 1,, w n are the weights of the linearized isotropic action of the torus on T m M. 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 w i s. Then W is not invertible as a Z-matrix. We take a vector τ 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 w i, τ Z for all i. Recall that in a neighborhood of m, there exists coordinate system (z 1,, z n ) so that the action of T n is given by exp(x) (z 1,, z n ) = (e 2πi w 1,X z 1,, e 2πi wn,x z n ). 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 polytopes: Theorem 2.1 (Delzant, 1990). There is a one-to-one correspondence between symplectic toric manifolds (up to T n equivariant symplectomorphisms) and Delzant polytopes. 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 symplectomorphic. 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.
5 LECTURE 11: SYMPLECTIC TORIC MANIFOLDS 5 Step 3: Check M is toric and µ(m ) =. Step 4: (M 1 ) = (M 2 ) M 1 M 2. 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 v 1,, v d so that = {x (R n ) x, v i λ 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. Step 2.a The (d n)-torus N. Let e 1,, e d be the standard basis of R d. Define linear map π : R d R n, e i v i 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. Step 2.b The Hamiltonian N-action on C d. The standard T d -action on C d is given by (e iθ 1,, e iθ d ) (z 1,, z d ) = (e iθ 1 z 1,, e iθ d z d ). The action is Hamiltonian with moment map φ : C d (R d ), φ(z 1,, z d ) = 1 2 ( z 1 2,, z d 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. Step 2.c The zero level set Z = (ι φ) 1 (0) is compact. Let = π ( ). Then is compact. We claim
6 6 LECTURE 11: SYMPLECTIC TORIC MANIFOLDS Claim I: Im(π ) Im(φ) =. According to this claim, Z = (i φ) 1 (0) = φ 1 (ker(i )) = φ 1 (Im(π )) = φ 1 ( ). So Z is compact since the map φ proper. Proof of claim I:. Obviously = π ( ) Im(π ). By the definition φ, Im(φ) consists of those points y with y, e i λ i. For any x, π (x), e i = x, v i λ i. So π ( ) Im(φ), and thus Im(π ) Im(φ). Conversely suppose y = π (z) = φ(w). Then z, v i = π (z), e i λ i. In other words, z. It follows Im(π ) Im(φ). Step 2.d N acts freely on Z. For z Z d, let I z = {i z i = 0}. Then (T d ) z = {t T d t i = 1 for i I z }. Claim II: The restriction map of π, π : (T d ) z T n, is injective. This implies N z = N (T d ) z = i(n) (T d ) z = ker(π) (T d ) z = ker(π (T d ) 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(φ) =. So one can find x so that φ(z) = π (x). Thus i I z z i = 0 φ(z), e i = λ i π (x), e i = λ i x, v i = λ i. In other words, x is a point in the intersection of facets whose normal vectors are v i. As a consequence, we see that the set of vectors {v i i I z } are linearly independent. Now let [t], [s] (T d ) z. If π([t]) = π([s]), then π(t) π(s) = i I z (t i s i )v i Z n. It follows that t i s i Z for i I z. So [t] = [s].
7 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ähler, with more works one can prove that M is actually a Kähler 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: 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. So by claim II, the map dim(t d ) z = n. π : (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. 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. Step 3.c The moment polytope of M is. µ(m ) = µ pr(z) = j φ j(z) = j φ((i φ) 1 (0)) = j (ker(i )) = j (π ( )) = (π j) ( ) =.
8 8 LECTURE 11: SYMPLECTIC TORIC MANIFOLDS Equivariantly symplectomorphic toric manifolds. Step 4.a If (M 1, ω 1, T n, µ 1 ) and (M 2, ω 2, T n, µ 2 ) are two equivariantly diffeomorphic toric manifolds, then µ 1 (M 1 ) and µ 2 (M 2 ) differ by a translation. In fact, if we let Φ : M 1 M 2 be the equivariant diffeomorphism. Then Φ µ 2 is also a moment map for the T n -action on M 1, because d Φ µ 2, X = Φ d µ 2, X = Φ ι XM2 ω 2 = ι XM1 ω 1. So there exists a constant ξ t so that Φ µ 2 = µ 1 + ξ. It follows that µ 2 (M 2 ) = Φ µ 2 (M 1 ) = µ 1 (M 1 ) + ξ. Now suppose (M 1, ω 1, T n, µ 1 ) and (M 2, ω 2, T n, µ 2 ) are two symplectic toric manifolds with µ 1 (M 1 ) = µ 2 (M 2 ). We would like to prove that there exists an equivariant diffeomorphism that sends M 1 to M 2. Step 4.b If µ 1 (M 1 ) = µ 2 (M 2 ), one can construct by induction a diffeomorphism that intertwines the torus actions and moment maps. Step 4.c Show that the cohomology class of ω is determined by the moment polytope. Step 4.d Apply Moser s trick. For more details, c.f. Kai Cieliebak s notes, P Student presentation 3. Symplectic cut
Delzant s Garden. A one-hour tour to symplectic toric geometry
Delzant s Garden A one-hour tour to symplectic toric geometry Tour Guide: Zuoqin Wang Travel Plan: The earth America MIT Main building Math. dept. The moon Toric world Symplectic toric Delzant s theorem
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationHamiltonian Toric Manifolds
Hamiltonian Toric Manifolds JWR (following Guillemin) August 26, 2001 1 Notation Throughout T is a torus, T C is its complexification, V = L(T ) is its Lie algebra, and Λ V is the kernel of the exponential
More informationLECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM
LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM Contents 1. The Atiyah-Guillemin-Sternberg Convexity Theorem 1 2. Proof of the Atiyah-Guillemin-Sternberg Convexity theorem 3 3. Morse theory
More informationGeometry and Dynamics of singular symplectic manifolds. Session 9: Some applications of the path method in b-symplectic geometry
Geometry and Dynamics of singular symplectic manifolds Session 9: Some applications of the path method in b-symplectic geometry Eva Miranda (UPC-CEREMADE-IMCCE-IMJ) Fondation Sciences Mathématiques de
More informationON NEARLY SEMIFREE CIRCLE ACTIONS
ON NEARLY SEMIFREE CIRCLE ACTIONS DUSA MCDUFF AND SUSAN TOLMAN Abstract. Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if (M, ω)
More informationMonomial equivariant embeddings of quasitoric manifolds and the problem of existence of invariant almost complex structures.
Monomial equivariant embeddings of quasitoric manifolds and the problem of existence of invariant almost complex structures. Andrey Kustarev joint work with V. M. Buchstaber, Steklov Mathematical Institute
More informationLECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in
More informationReduced phase space and toric variety coordinatizations of Delzant spaces
Under consideration for publication in Math. Proc. Camb. Phil. Soc. 147 Reduced phase space and toric variety coordinatizations of Delzant spaces By JOHANNES J. DUISTERMAAT AND ALVARO PELAYO Mathematisch
More informationLECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES
LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES 1. Proper actions Suppose G acts on M smoothly, and m M. Then the orbit of G through m is G m = {g m g G}. If m, m lies in the same orbit, i.e. m = g m for
More informationLECTURE 4: SYMPLECTIC GROUP ACTIONS
LECTURE 4: SYMPLECTIC GROUP ACTIONS WEIMIN CHEN, UMASS, SPRING 07 1. Symplectic circle actions We set S 1 = R/2πZ throughout. Let (M, ω) be a symplectic manifold. A symplectic S 1 -action on (M, ω) is
More informationComplex structures on 4-manifolds with symplectic 2-torus actions
Complex structures on 4-manifolds with symplectic 2-torus actions J.J. Duistermaat and A. Pelayo Abstract We apply the general theory for symplectic torus actions with symplectic or coisotropic orbits
More informationA Convexity Theorem and Reduced Delzant Spaces
A Convexity Theorem and Reduced Delzant Spaces Bong H. Lian and Bailin Song arxiv:math/0509429v2 [math.dg] 27 Feb 2007 ABSTRACT. The convexity theorem of Atiyah and Guillemin-Sternberg says that any connected
More informationLECTURE 8: THE MOMENT MAP
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
More informationLECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS
LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS WEIMIN CHEN, UMASS, SPRING 07 1. Basic elements of J-holomorphic curve theory Let (M, ω) be a symplectic manifold of dimension 2n, and let J J (M, ω) be
More informationNew constructions of Hamiltonian-minimal Lagrangian submanifolds
New constructions of Hamiltonian-minimal Lagrangian submanifolds based on joint works with Andrey E. Mironov Taras Panov Moscow State University Integrable Systems CSF Ascona, 19-24 June 2016 Taras Panov
More informationA DANILOV-TYPE FORMULA FOR TORIC ORIGAMI MANIFOLDS VIA LOCALIZATION OF INDEX
A DANILOV-TYPE FORMULA FOR TORIC ORIGAMI MANIFOLDS VIA LOCALIZATION OF INDEX HAJIME FUJITA Abstract. We give a direct geometric proof of a Danilov-type formula for toric origami manifolds by using the
More informationSymplectic Geometry Through Polytopes
Symplectic Geometry Through Polytopes Colby Kelln Mentor: Daniel Burns August 27, 2018 Abstract We begin by exploring basic notions in symplectic geometry, leading up to a discussion of moment maps. These
More informationTopology of symplectic torus actions with symplectic orbits
Topology of symplectic torus actions with symplectic orbits J.J. Duistermaat and A. Pelayo Abstract We give a concise overview of the classification theory of symplectic manifolds equipped with torus actions
More informationResearch Article Symplectic Toric Geometry and the Regular Dodecahedron
Mathematics Volume 2015, Article ID 967417, 5 pages http://dx.doi.org/10.1155/2015/967417 Research Article Symplectic Toric Geometry and the Regular Dodecahedron Elisa Prato Dipartimento di Matematica
More informationarxiv: v4 [math.sg] 22 Jul 2015
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 11 (2015), 055, 37 pages Non-Compact Symplectic Toric Manifolds Yael KARSHON and Eugene LERMAN arxiv:0907.2891v4 [math.sg] 22 Jul 2015
More informationarxiv: v1 [math.sg] 26 Jan 2015
SYMPLECTIC ACTIONS OF NON-HAMILTONIAN TYPE ÁLVARO PELAYO arxiv:1501.06480v1 [math.sg] 26 Jan 2015 In memory of Professor Johannes (Hans) J. Duistermaat (1942 2010) Abstract. Hamiltonian symplectic actions
More informationA LITTLE TASTE OF SYMPLECTIC GEOMETRY: THE SCHUR-HORN THEOREM CONTENTS
A LITTLE TASTE OF SYMPLECTIC GEOMETRY: THE SCHUR-HORN THEOREM TIMOTHY E. GOLDBERG ABSTRACT. This is a handout for a talk given at Bard College on Tuesday, 1 May 2007 by the author. It gives careful versions
More informationA. CANNAS DA SILVA, V. GUILLEMIN, AND A. R. PIRES
SYMPLECTIC ORIGAMI arxiv:0909.4065v1 [math.sg] 22 Sep 2009 A. CANNAS DA SILVA, V. GUILLEMIN, AND A. R. PIRES Abstract. An origami manifold is a manifold equipped with a closed 2-form which is symplectic
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationarxiv: v2 [math.at] 18 Mar 2012
TODD GENERA OF COMPLEX TORUS MANIFOLDS arxiv:1203.3129v2 [math.at] 18 Mar 2012 HIROAKI ISHIDA AND MIKIYA MASUDA Abstract. In this paper, we prove that the Todd genus of a compact complex manifold X of
More informationON THE DENSITY FUNCTION ON MODULI SPACES OF TORIC 4-MANIFOLDS
ON THE DENSITY FUNCTION ON MODULI SPACES OF TORIC 4-MANIFOLDS ALESSIO FIGALLI ÁLVARO PELAYO Abstract. The optimal density function assigns to each symplectic toric manifold M a number 0 < d 1 obtained
More information7.3 Singular Homology Groups
184 CHAPTER 7. HOMOLOGY THEORY 7.3 Singular Homology Groups 7.3.1 Cycles, Boundaries and Homology Groups We can define the singular p-chains with coefficients in a field K. Furthermore, we can define the
More informationLog-Concavity and Symplectic Flows
Georgia Southern University From the SelectedWorks of Yi Lin 2012 Log-Concavity and Symplectic Flows Yi Lin, Georgia Southern University Alvaro Pelayo, University of California Available at: https://works.bepress.com/yi_lin/6/
More informationHigher codimension CR structures, Levi-Kähler reduction and toric geometry
Higher codimension CR structures, Levi-Kähler reduction and toric geometry Vestislav Apostolov (Université du Québec à Montréal) May, 2015 joint work in progress with David Calderbank (University of Bath);
More informationA Note on Toric Contact Geometry
A Note on Toric Contact Geometry Charles P. Boyer Krzysztof Galicki Abstract: After observing that the well-known convexity theorems of symplectic geometry also hold for compact contact manifolds we use
More informationLECTURE 11: TRANSVERSALITY
LECTURE 11: TRANSVERSALITY Let f : M N be a smooth map. In the past three lectures, we are mainly studying the image of f, especially when f is an embedding. Today we would like to study the pre-image
More informationConvex Symplectic Manifolds
Convex Symplectic Manifolds Jie Min April 16, 2017 Abstract This note for my talk in student symplectic topology seminar in UMN is an gentle introduction to the concept of convex symplectic manifolds.
More informationSymplectic Reduction and Convexity of Moment Maps. Theo van den Hurk
Symplectic Reduction and Convexity of Moment Maps by Theo van den Hurk A thesis submitted in conformity with the requirements for the degree of Master of Science Graduate Department of Mathematics University
More informationStratified Symplectic Spaces and Reduction
Stratified Symplectic Spaces and Reduction Reyer Sjamaar Eugene Lerman Mathematisch Instituut der Rijksuniversiteit te Utrecht Current addresses: R. Sjamaar, Dept. of Mathematics, MIT, Cambridge, MA 02139
More informationMATRIX LIE GROUPS AND LIE GROUPS
MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either
More informationA little taste of symplectic geometry
A little taste of symplectic geometry Timothy Goldberg Thursday, October 4, 2007 Olivetti Club Talk Cornell University 1 2 What is symplectic geometry? Symplectic geometry is the study of the geometry
More informationarxiv: v1 [math.sg] 6 Nov 2015
A CHIANG-TYPE LAGRANGIAN IN CP ANA CANNAS DA SILVA Abstract. We analyse a simple Chiang-type lagrangian in CP which is topologically an RP but exhibits a distinguishing behaviour under reduction by one
More informationCohomology of the Mumford Quotient
Cohomology of the Mumford Quotient Maxim Braverman Abstract. Let X be a smooth projective variety acted on by a reductive group G. Let L be a positive G-equivariant line bundle over X. We use a Witten
More informationMath 530 Lecture Notes. Xi Chen
Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary
More informationLECTURE 1: LINEAR SYMPLECTIC GEOMETRY
LECTURE 1: LINEAR SYMPLECTIC GEOMETRY Contents 1. Linear symplectic structure 3 2. Distinguished subspaces 5 3. Linear complex structure 7 4. The symplectic group 10 *********************************************************************************
More informationRes + X F F + is defined below in (1.3). According to [Je-Ki2, Definition 3.3 and Proposition 3.4], the value of Res + X
Theorem 1.2. For any η HH (N) we have1 (1.1) κ S (η)[n red ] = c η F. Here HH (F) denotes the H-equivariant Euler class of the normal bundle ν(f), c is a non-zero constant 2, and is defined below in (1.3).
More informationarxiv: v2 [math.sg] 13 Feb 2008
arxiv:0708.2710v2 [math.sg] 13 Feb 2008 THE QUANTIZATION OF A TORIC MANIFOLD IS GIVEN BY THE INTEGER LATTICE POINTS IN THE MOMENT POLYTOPE MARK D. HAMILTON Abstract. We describe a very nice argument, which
More informationTorus actions and Ricci-flat metrics
Department of Mathematics, University of Aarhus November 2016 / Trondheim To Eldar Straume on his 70th birthday DFF - 6108-00358 Delzant HyperKähler G2 http://mscand.dk https://doi.org/10.7146/math.scand.a-12294
More informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
More informationLOCALIZATION AND SPECIALIZATION FOR HAMILTONIAN TORUS ACTIONS. Contents
LOCALIZATION AND SPECIALIZATION FOR HAMILTONIAN TORUS ACTIONS. MILENA PABINIAK Abstract. We consider a Hamiltonian action of n-dimensional torus, T n, on a compact symplectic manifold (M, ω) with d isolated
More informationChapter 1. Smooth Manifolds
Chapter 1. Smooth Manifolds Theorem 1. [Exercise 1.18] Let M be a topological manifold. Then any two smooth atlases for M determine the same smooth structure if and only if their union is a smooth atlas.
More informationCLASSIFICATION OF TORIC MANIFOLDS OVER AN n-cube WITH ONE VERTEX CUT
CLASSIFICATION OF TORIC MANIFOLDS OVER AN n-cube WITH ONE VERTEX CUT SHO HASUI, HIDEYA KUWATA, MIKIYA MASUDA, AND SEONJEONG PARK Abstract We say that a complete nonsingular toric variety (called a toric
More informationIntersection of stable and unstable manifolds for invariant Morse functions
Intersection of stable and unstable manifolds for invariant Morse functions Hitoshi Yamanaka (Osaka City University) March 14, 2011 Hitoshi Yamanaka (Osaka City University) ()Intersection of stable and
More informationThe rational cohomology of real quasi-toric manifolds
The rational cohomology of real quasi-toric manifolds Alex Suciu Northeastern University Joint work with Alvise Trevisan (VU Amsterdam) Toric Methods in Homotopy Theory Queen s University Belfast July
More informationSymplectic Origami. A. Cannas da Silva 1,2, V. Guillemin 3, and A. R. Pires 3
A. Cannas et al. (2011) Symplectic Origami, International Mathematics Research Notices, Vol. 2011, No. 18, pp. 4252 4293 Advance Access publication December 2, 2010 doi:10.1093/imrn/rnq241 Symplectic Origami
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationarxiv: v4 [math.sg] 24 Jul 2011
DISPLACING LAGRANGIAN TORIC FIBERS VIA PROBES DUSA MCDUFF arxiv:0904.1686v4 [math.sg] 24 Jul 2011 Abstract. This note studies the geometric structure of monotone moment polytopes (the duals of smooth Fano
More information10. The subgroup subalgebra correspondence. Homogeneous spaces.
10. The subgroup subalgebra correspondence. Homogeneous spaces. 10.1. The concept of a Lie subgroup of a Lie group. We have seen that if G is a Lie group and H G a subgroup which is at the same time a
More informationHAMILTONIAN TORUS ACTIONS IN EQUIVARIANT COHOMOLOGY AND SYMPLECTIC TOPOLOGY
HAMILTONIAN TORUS ACTIONS IN EQUIVARIANT COHOMOLOGY AND SYMPLECTIC TOPOLOGY A Dissertation Presented to the Faculty of the Graduate School of Cornell University in Partial Fulfillment of the Requirements
More informationEXERCISES IN POISSON GEOMETRY
EXERCISES IN POISSON GEOMETRY The suggested problems for the exercise sessions #1 and #2 are marked with an asterisk. The material from the last section will be discussed in lecture IV, but it s possible
More informationM4P52 Manifolds, 2016 Problem Sheet 1
Problem Sheet. Let X and Y be n-dimensional topological manifolds. Prove that the disjoint union X Y is an n-dimensional topological manifold. Is S S 2 a topological manifold? 2. Recall that that the discrete
More informationNotes 10: Consequences of Eli Cartan s theorem.
Notes 10: Consequences of Eli Cartan s theorem. Version 0.00 with misprints, The are a few obvious, but important consequences of the theorem of Eli Cartan on the maximal tori. The first one is the observation
More informationLemma 1.3. The element [X, X] is nonzero.
Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group
More informationCohomological rigidity of 6-dimensional quasitoric manifolds
Cohomological rigidity of 6-dimensional quasitoric manifolds Seonjeong Park 1 Joint work with Buchstaber 2, Erokhovets 2, Masuda 1, and Panov 2 1 Osaka City University, Japan 2 Moscow State University,
More informationSYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction
SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS CRAIG JACKSON 1. Introduction Generally speaking, geometric quantization is a scheme for associating Hilbert spaces
More informationThe Based Loop Group of SU(2) Lisa Jeffrey. Department of Mathematics University of Toronto. Joint work with Megumi Harada and Paul Selick
The Based Loop Group of SU(2) Lisa Jeffrey Department of Mathematics University of Toronto Joint work with Megumi Harada and Paul Selick I. The based loop group ΩG Let G = SU(2) and let T be its maximal
More informationCrash Course on Toric Geometry
Crash Course on Toric Geometry Emily Clader RTG Workshop on Mirror Symmetry February 2012 The Kähler cone If X Σ is a simplicial projective toric variety, then A n 1 (X Σ ) R = H 2 (X Σ ; R), so H 1,1
More informationREPRESENTATION THEORY WEEK 7
REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable
More informationNotes for Functional Analysis
Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) October 16, 2015 1 Lecture 11 1.1 The closed graph theorem Definition 1.1. Let f : X Y be any map between topological spaces. We define its
More informationTHE SYMPLECTIC GEOMETRY OF PENROSE RHOMBUS TILINGS. Fiammetta Battaglia and Elisa Prato
JOURNAL OF SYMPLECTIC GEOMETRY Volume 6, Number 2, 139 158, 2008 THE SYMPLECTIC GEOMETRY OF PENROSE RHOMBUS TILINGS Fiammetta Battaglia and Elisa Prato The purpose of this article is to view Penrose rhombus
More informationGroups of Prime Power Order with Derived Subgroup of Prime Order
Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*
More informationDemushkin s Theorem in Codimension One
Universität Konstanz Demushkin s Theorem in Codimension One Florian Berchtold Jürgen Hausen Konstanzer Schriften in Mathematik und Informatik Nr. 176, Juni 22 ISSN 143 3558 c Fachbereich Mathematik und
More informationLECTURE 14: LIE GROUP ACTIONS
LECTURE 14: LIE GROUP ACTIONS 1. Smooth actions Let M be a smooth manifold, Diff(M) the group of diffeomorphisms on M. Definition 1.1. An action of a Lie group G on M is a homomorphism of groups τ : G
More informationHAMILTONIAN ACTIONS IN GENERALIZED COMPLEX GEOMETRY
HAMILTONIAN ACTIONS IN GENERALIZED COMPLEX GEOMETRY TIMOTHY E. GOLDBERG These are notes for a talk given in the Lie Groups Seminar at Cornell University on Friday, September 25, 2009. In retrospect, perhaps
More informationStable bundles on CP 3 and special holonomies
Stable bundles on CP 3 and special holonomies Misha Verbitsky Géométrie des variétés complexes IV CIRM, Luminy, Oct 26, 2010 1 Hyperkähler manifolds DEFINITION: A hyperkähler structure on a manifold M
More informationLECTURE 5: COMPLEX AND KÄHLER MANIFOLDS
LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS Contents 1. Almost complex manifolds 1. Complex manifolds 5 3. Kähler manifolds 9 4. Dolbeault cohomology 11 1. Almost complex manifolds Almost complex structures.
More informationarxiv:math/ v1 [math.dg] 14 May 2001
2000]Primary 53C55; Secondary 14M25, 53D20. KÄHLER METRICS ON TORIC ORBIFOLDS arxiv:math/0105112v1 [math.dg] 14 May 2001 MIGUEL ABREU Abstract. A theorem of E. Lerman and S. Tolman, generalizing a result
More informationToric Varieties and the Secondary Fan
Toric Varieties and the Secondary Fan Emily Clader Fall 2011 1 Motivation The Batyrev mirror symmetry construction for Calabi-Yau hypersurfaces goes roughly as follows: Start with an n-dimensional reflexive
More informationLECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori
LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
More informationA MARSDEN WEINSTEIN REDUCTION THEOREM FOR PRESYMPLECTIC MANIFOLDS
A MARSDEN WEINSTEIN REDUCTION THEOREM FOR PRESYMPLECTIC MANIFOLDS FRANCESCO BOTTACIN Abstract. In this paper we prove an analogue of the Marsden Weinstein reduction theorem for presymplectic actions of
More informationA PERSONAL TOUR THROUGH SYMPLECTIC TOPOLOGY AND GEOMETRY
A PERSONAL TOUR THROUGH SYMPLECTIC TOPOLOGY AND GEOMETRY MIGUEL ABREU 1. Introduction In this survey I will present a very personal tour through symplectic topology and geometry, describing the following
More informationLecture III: Neighbourhoods
Lecture III: Neighbourhoods Jonathan Evans 7th October 2010 Jonathan Evans () Lecture III: Neighbourhoods 7th October 2010 1 / 18 Jonathan Evans () Lecture III: Neighbourhoods 7th October 2010 2 / 18 In
More informationLECTURE 2: SYMPLECTIC VECTOR BUNDLES
LECTURE 2: SYMPLECTIC VECTOR BUNDLES WEIMIN CHEN, UMASS, SPRING 07 1. Symplectic Vector Spaces Definition 1.1. A symplectic vector space is a pair (V, ω) where V is a finite dimensional vector space (over
More informationNicholas Proudfoot Department of Mathematics, University of Oregon, Eugene, OR 97403
Symplectic Geometry Nicholas Proudfoot Department of Mathematics, University of Oregon, Eugene, OR 97403 These notes are written for a ten week graduate class on symplectic geometry. Most of the material
More informationAn Invitation to Geometric Quantization
An Invitation to Geometric Quantization Alex Fok Department of Mathematics, Cornell University April 2012 What is quantization? Quantization is a process of associating a classical mechanical system to
More informationBRST 2006 (jmf) 7. g X (M) X ξ X. X η = [ξ X,η]. (X θ)(η) := X θ(η) θ(x η) = ξ X θ(η) θ([ξ X,η]).
BRST 2006 (jmf) 7 Lecture 2: Symplectic reduction In this lecture we discuss group actions on symplectic manifolds and symplectic reduction. We start with some generalities about group actions on manifolds.
More informationTHE EULER CHARACTERISTIC OF A LIE GROUP
THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth
More informationNilBott Tower of Aspherical Manifolds and Torus Actions
NilBott Tower of Aspherical Manifolds and Torus Actions Tokyo Metropolitan University November 29, 2011 (Tokyo NilBottMetropolitan Tower of Aspherical University) Manifolds and Torus ActionsNovember 29,
More informationLECTURE 9: THE WHITNEY EMBEDDING THEOREM
LECTURE 9: THE WHITNEY EMBEDDING THEOREM Historically, the word manifold (Mannigfaltigkeit in German) first appeared in Riemann s doctoral thesis in 1851. At the early times, manifolds are defined extrinsically:
More informationIGA Lecture I: Introduction to G-valued moment maps
IGA Lecture I: Introduction to G-valued moment maps Adelaide, September 5, 2011 Review: Hamiltonian G-spaces Let G a Lie group, g = Lie(G), g with co-adjoint G-action denoted Ad. Definition A Hamiltonian
More informationStable complex and Spin c -structures
APPENDIX D Stable complex and Spin c -structures In this book, G-manifolds are often equipped with a stable complex structure or a Spin c structure. Specifically, we use these structures to define quantization.
More informationWe have the following immediate corollary. 1
1. Thom Spaces and Transversality Definition 1.1. Let π : E B be a real k vector bundle with a Euclidean metric and let E 1 be the set of elements of norm 1. The Thom space T (E) of E is the quotient E/E
More informationSubgroups of Lie groups. Definition 0.7. A Lie subgroup of a Lie group G is a subgroup which is also a submanifold.
Recollections from finite group theory. The notion of a group acting on a set is extremely useful. Indeed, the whole of group theory arose through this route. As an example of the abstract power of this
More informationComparison of the Weyl integration formula and the equivariant localization formula for a maximal torus of Sp(1)
Comparison of the Weyl integration formula and the equivariant localization formula for a maximal torus of Sp() Jeffrey D. Carlson January 3, 4 Introduction In this note, we aim to prove the Weyl integration
More information12 Geometric quantization
12 Geometric quantization 12.1 Remarks on quantization and representation theory Definition 12.1 Let M be a symplectic manifold. A prequantum line bundle with connection on M is a line bundle L M equipped
More informationThe Atiyah bundle and connections on a principal bundle
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 120, No. 3, June 2010, pp. 299 316. Indian Academy of Sciences The Atiyah bundle and connections on a principal bundle INDRANIL BISWAS School of Mathematics, Tata
More informationarxiv: v3 [math.sg] 12 Jan 2017
CIRCLE ACTIONS ON SYMPLECTIC FOUR-MANIFOLDS TARA S. HOLM AND LIAT KESSLER with an Appendix by Tair Pnini arxiv:1507.0597v3 [math.sg] 1 Jan 017 Abstract. We complete the classification of Hamiltonian torus
More informationLECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups
LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are
More informationarxiv: v3 [math.sg] 17 Jan 2012
REMARKS ON LAGRANGIAN INTERSECTIONS IN TORIC MANIFOLDS MIGUEL ABREU AND LEONARDO MACARINI arxiv:1105.0640v3 [math.sg] 17 Jan 2012 Abstract. We consider two natural Lagrangian intersection problems in the
More informationGeometry of the momentum map
Geometry of the momentum map Gert Heckman Peter Hochs February 18, 2005 Contents 1 The momentum map 1 1.1 Definition of the momentum map.................. 2 1.2 Examples of Hamiltonian actions..................
More informationDISCRETE SUBGROUPS, LATTICES, AND UNITS.
DISCRETE SUBGROUPS, LATTICES, AND UNITS. IAN KIMING 1. Discrete subgroups of real vector spaces and lattices. Definitions: A lattice in a real vector space V of dimension d is a subgroup of form: Zv 1
More informationFrom action-angle coordinates to geometric quantization: a 30-minute round-trip. Eva Miranda
From action-angle coordinates to geometric quantization: a 30-minute round-trip Eva Miranda Barcelona (UPC) Geometric Quantization in the non-compact setting Eva Miranda (UPC) MFO, 2011 18 February, 2011
More information