What Is Symplectic Geometry?

Total Page:16

File Type:pdf, Size:1020Kb

What Is Symplectic Geometry? View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by CiteSeerX WHAT IS SYMPLECTIC GEOMETRY? DUSA MCDUFF Abstract. In this talk we explain the elements of symplectic geometry, and sketch the proof of one of its foundational results — Gromov’s nonsqueezing theorem — using J-holomorphic curves. 1. First notions Symplectic geometry is an even dimensional geometry. It lives on even dimensional spaces, and measures the sizes of 2-dimensional objects rather than the 1-dimensional lengths and angles that are familiar from Euclidean and Riemannian geometry. It is naturally associated with the field of complex rather than real numbers. However, it is not as rigid as complex geometry: one of its most intriguing aspects is its curious mixture of rigidity (structure) and flabbiness (lack of structure). In this talk I will try to describe some of the new kinds of structure that emerge. First of all, what is a symplectic structure? The concept arose in the study of classical mechanical systems, such as a planet orbiting the sun, an oscillating pendulum or a falling apple. The trajectory of such a system is determined if one knows its position and velocity (speed and direction of motion) at any one time. Thus for an object of unit mass moving in a given straight line one needs two pieces of information, the position q and velocity (or more correctly momentum) p :=q ˙. This pair of real numbers 2 (x1, x2) := (p, q) gives a point in the plane R . In this case the symplectic structure ω is an area form (written dp ∧ dq) in the plane. Thus it measures the area of each open region S in the plane, where we think of this region as oriented, i.e. we choose a direction in which to traverse its boundary ∂S. This means that the area is signed, i.e. as in Figure 1.1 it can be positive or negative depending on the orientation. By Stokes’ theorem, this is equivalent to measuring the integral of the action p dq round the boundary ∂S. This might seem a rather arbitrary measurement. However, mathematicians in the nineteenth century proved that it is preserved under time evolution. In other words, if a set of particles have positions and velocities in the region S1 at the time t1 then at any later time t2 their positions and velocities will form a region S2 with the same area. Area also has an interpretation in modern particle (i.e. quantum) physics. Heisenberg’s Uncertainty Principle says that we can no longer know both position and velocity to Date: March 31, 2009, revised June 23 2009. Talk given at the European Women in Mathematics conference of Sept 2007 in Cambridge, UK.. Partially supported by NSF grant DMS 0604769. 1 2 DUSA MCDUFF Figure 1.1. The area of the region S1 is positive, while that of S2 is negative. an arbitrary degree of accuracy. Thus we should not think of a particle as occupying a single point of the plane, but rather lying in a region of the plane. The Bohr-Sommerfeld quantization principle says that the area of this region is quantized, i.e. it has to be an integral multiple of a number called Planck’s constant. Thus one can think of the symplectic area as a measure of the entanglement of position and velocity. An object moving in the plane has two position coordinates q1, q2 and correspond- ingly two velocity coordinates p1 =q ˙1, p2 =q ˙2 that measure its speed in each direction. So it is described by a point 4 (x1, x2, x3, x4) = (p1, q1, p2, q2) ∈ R 4 in the 4-dimensional space R . The symplectic form ω now measures the (signed) area 4 of 2-dimensional surfaces S in R by adding the areas of the projections of S to the (x1, x2)-plane and the (x3, x4)-plane. Thus, as is illustrated in Figure 1.2, ω(S) = area(pr12(S)) + area(pr34(S)). Notice that ω(S) can be zero: for example S might be a little rectangle in the x1, x3 directions which projects to a line under both pr12 and pr34. More technically, ω is a differential 2-form written as ω = dx1 ∧ dx2 + dx3 ∧ dx4, R and we evaluate the area ω(S) = S ω by integrating this form over the surface S.A similar definition is made for particles moving in n-dimensions. The symplectic area form ω is again the sum of contributions from each of the n pairs of directions: (1.1) ω0 = dx1 ∧ dx2 + dx3 ∧ dx4 + ··· + dx2n−1 ∧ dx2n. We call this form ω0 because it is the standard symplectic form on Euclidean space. The letter ω is used to designate any symplectic form. To be even more technical, one can define a symplectic form ω on any even dimen- sional smooth (i.e. infinitely differentiable) manifold M as a closed, nondegenerate 2-form, where the nondegeneracy condition is that for each nonzero tangent direction v there is another direction w such that the area ω(v, w) of the little (infinitesimal) parallelogram spanned by these vectors is nonzero. (For a geometric interpretation of WHAT IS SYMPLECTIC GEOMETRY? 3 Figure 1.2. The symplectic area ω(S) is the sum of the area of its pro- jection pr12(S) to the plane (x1, x2) = (p1, q1) given by the velocity and position in the first direction together with the area of the correspond- ing projection pr34(S) for the two coordinates in the second direction. I have drawn the first 3 coordinates; the fourth is left to your imagina- tion. Figure 1.3. The fact that ω is closed means that the symplectic area of a surface S with boundary does not change as S moves, provided that the boundary is fixed. Thus in (I) the surfaces S and S0 have the same area. Diagram (II) illustrates the nondegeneracy condition: for any direction v at least one of the family of 2-planes spanned by v and a varying other direction w has non zero area. these conditions on ω see Figure 1.3.) A manifold is said to be symplectic or to have a symplectic structure if it is provided with a symplectic form. 4 DUSA MCDUFF The first important theorem in symplectic geometry is that locally1 all symplectic forms are the same. Darboux’s Theorem: Given a symplectic form ω on a manifold M and any point on M one can always find coordinates (x1, . , x2n) defined in an open neighborhood U of this point such that in this coordinate system ω is given on the whole open set U by formula (1.1). This is very different from the situation in the usual (Riemannian) geometry where one can make many local measurements (for example involving curvature) that distin- guish among different structures. Darboux’s theorem says that all symplectic structures are locally indistinguishable. Of course, as mathematicians have been discovering in the past 20 years, there are many very interesting global invariants that distinguish different symplectic structures. But most of these are quite difficult to define, often in- volving deep analytic concepts such as the Seiberg–Witten equations or J-holomorphic curves. A symplectic form ω has an important invariant, called its cohomology class [ω]. This class is determined by the areas ω(S) of all closed2 surfaces S in M. In fact, for compact M the class [ω] is determined by a finite number of these areas ω(Si) and so contains only a finite amount of information. Cf. Figure 1.3 where we pointed out that the area ω(S) does not change if we move S around. There is a similar flabbiness in the symplectic structure itself. A fundamental theo- rem due to Moser says that one cannot change the symplectic form in any important way by deforming it, provided that the cohomology class is unchanged. More precisely, if ωt, t ∈ [0, 1], is a smooth path of symplectic forms such that [ω0] = [ωt] for all t, then all these forms are “the same” in the sense that one can make them coincide by moving the points of M appropriately.3 The important point here is that we cannot find new structures by deforming the old ones, provided that we fix the integrals of our forms over all closed surfaces. This result is known as Moser’s Stability Theorem, and is an indication of robustness of structure.4 2. Symplectomorphisms Another consequence of the lack of local features that distinguish between different symplectic structures is that there are many ways to move the points of the underlying space M without changing the symplectic structure ω. Such a movement is called a symplectomorphism. This means first that 1This means “on suitably small open sets”. 2A closed surface is something like the surface of a sphere or donut; it has no edges and no holes. 3In technical language we say that these forms are all diffeomorphic. 4For precise statements, many proofs, and a list of references on all the topics mentioned here see [9]. There are also other more elementary books such as Cannas [2]. For simplicity, we shall only work here in dimensions 2 and 4. But all the results have higher dimensional analogs. WHAT IS SYMPLECTIC GEOMETRY? 5 • φ is a diffeomorphism, that is, it is a bijective (one to one and onto) and smooth (infinitely differentiable) map φ : M → M, giving rise to the movement x 7→ φ(x) of the points x of the space M; and second that • it preserves symplectic area, i.e.
Recommended publications
  • Gromov Receives 2009 Abel Prize
    Gromov Receives 2009 Abel Prize . The Norwegian Academy of Science Medal (1997), and the Wolf Prize (1993). He is a and Letters has decided to award the foreign member of the U.S. National Academy of Abel Prize for 2009 to the Russian- Sciences and of the American Academy of Arts French mathematician Mikhail L. and Sciences, and a member of the Académie des Gromov for “his revolutionary con- Sciences of France. tributions to geometry”. The Abel Prize recognizes contributions of Citation http://www.abelprisen.no/en/ extraordinary depth and influence Geometry is one of the oldest fields of mathemat- to the mathematical sciences and ics; it has engaged the attention of great mathema- has been awarded annually since ticians through the centuries but has undergone Photo from from Photo 2003. It carries a cash award of revolutionary change during the last fifty years. Mikhail L. Gromov 6,000,000 Norwegian kroner (ap- Mikhail Gromov has led some of the most impor- proximately US$950,000). Gromov tant developments, producing profoundly original will receive the Abel Prize from His Majesty King general ideas, which have resulted in new perspec- Harald at an award ceremony in Oslo, Norway, on tives on geometry and other areas of mathematics. May 19, 2009. Riemannian geometry developed from the study Biographical Sketch of curved surfaces and their higher-dimensional analogues and has found applications, for in- Mikhail Leonidovich Gromov was born on Decem- stance, in the theory of general relativity. Gromov ber 23, 1943, in Boksitogorsk, USSR. He obtained played a decisive role in the creation of modern his master’s degree (1965) and his doctorate (1969) global Riemannian geometry.
    [Show full text]
  • Fall 2017 MATH 70330 “Intermediate Geometry and Topology” Pavel Mnev Detailed Plan. I. Characteristic Classes. (A) Fiber/Vec
    Fall 2017 MATH 70330 \Intermediate Geometry and Topology" Pavel Mnev Detailed plan. I. Characteristic classes. (a) Fiber/vector/principal bundles. Examples. Connections, curvature. Rie- mannian case. Ref: [MT97]. (b) (2 classes.) Stiefel-Whitney, Chern and Pontryagin classes { properties, axiomatic definition. Classifying map and classifying bundle. RP 1; CP 1, infinite Grassmanians Gr(n; 1), CW structure, cohomology ring (univer- sal characteristic classes). Characteristic classes as obstructions (e.g. for embeddability of projective spaces). Euler class. Also: Chern character, splitting principle, Chern roots. Also: BG for a finite group/Lie group, group cohomology. Ref: [MS74]; also: [BT82, Hat98, LM98, May99]. (c) Chern-Weil homomorphism. Example: Chern-Gauss-Bonnet formula. Chern- Simons forms. Ref: Appendix C in [MS74]; [AM05, Dup78, MT97]. (d) Equivariant cohomology. Borel model (homotopy quotient), algebraic ver- sion { Cartan and Weil models. Ref: [GS99, Mei06, Tu13]. II. Bits of symplectic geometry. (a) Symplectic linear algebra, Lagrangian Grassmanian, Maslov class. Ref: [BW97, Ran, MS17]. (b) Symplectic manifolds, Darboux theorem (proof via Moser's trick). Dis- tinguished submanifolds (isotropic, coisotropic, Lagrangian). Examples. Constructions of Lagrangians in T ∗M (graph, conormal bundle). Ref: [DS00]. (c) Hamiltonian group actions, moment maps, symplectic reduction. Ref: [Jef] (lectures 2{4,7), [DS00]. (d) (Optional) Convexity theorem (Atyiah-Guillemin-Sternberg) for the mo- ment map of a Hamiltonian torus action. Toric varieties as symplectic re- ductions, their moment polytopes, Delzant's theorem. Ref: [Pra99, Sch], Part XI in [DS00], lectures 5,6 in [Jef]. (e) Localization theorems: Duistermaat-Heckman and Atiyah-Bott. Ref: [Mei06, Tu13], [Jef] (lecture 10). (f) (Optional) Classical field theory via Lagrangian correspondences.
    [Show full text]
  • “Generalized Complex and Holomorphic Poisson Geometry”
    “Generalized complex and holomorphic Poisson geometry” Marco Gualtieri (University of Toronto), Ruxandra Moraru (University of Waterloo), Nigel Hitchin (Oxford University), Jacques Hurtubise (McGill University), Henrique Bursztyn (IMPA), Gil Cavalcanti (Utrecht University) Sunday, 11-04-2010 to Friday, 16-04-2010 1 Overview of the Field Generalized complex geometry is a relatively new subject in differential geometry, originating in 2001 with the work of Hitchin on geometries defined by differential forms of mixed degree. It has the particularly inter- esting feature that it interpolates between two very classical areas in geometry: complex algebraic geometry on the one hand, and symplectic geometry on the other hand. As such, it has bearing on some of the most intriguing geometrical problems of the last few decades, namely the suggestion by physicists that a duality of quantum field theories leads to a ”mirror symmetry” between complex and symplectic geometry. Examples of generalized complex manifolds include complex and symplectic manifolds; these are at op- posite extremes of the spectrum of possibilities. Because of this fact, there are many connections between the subject and existing work on complex and symplectic geometry. More intriguing is the fact that complex and symplectic methods often apply, with subtle modifications, to the study of the intermediate cases. Un- like symplectic or complex geometry, the local behaviour of a generalized complex manifold is not uniform. Indeed, its local structure is characterized by a Poisson bracket, whose rank at any given point characterizes the local geometry. For this reason, the study of Poisson structures is central to the understanding of gen- eralized complex manifolds which are neither complex nor symplectic.
    [Show full text]
  • Hamiltonian and Symplectic Symmetries: an Introduction
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 54, Number 3, July 2017, Pages 383–436 http://dx.doi.org/10.1090/bull/1572 Article electronically published on March 6, 2017 HAMILTONIAN AND SYMPLECTIC SYMMETRIES: AN INTRODUCTION ALVARO´ PELAYO In memory of Professor J.J. Duistermaat (1942–2010) Abstract. Classical mechanical systems are modeled by a symplectic mani- fold (M,ω), and their symmetries are encoded in the action of a Lie group G on M by diffeomorphisms which preserve ω. These actions, which are called sym- plectic, have been studied in the past forty years, following the works of Atiyah, Delzant, Duistermaat, Guillemin, Heckman, Kostant, Souriau, and Sternberg in the 1970s and 1980s on symplectic actions of compact Abelian Lie groups that are, in addition, of Hamiltonian type, i.e., they also satisfy Hamilton’s equations. Since then a number of connections with combinatorics, finite- dimensional integrable Hamiltonian systems, more general symplectic actions, and topology have flourished. In this paper we review classical and recent re- sults on Hamiltonian and non-Hamiltonian symplectic group actions roughly starting from the results of these authors. This paper also serves as a quick introduction to the basics of symplectic geometry. 1. Introduction Symplectic geometry is concerned with the study of a notion of signed area, rather than length, distance, or volume. It can be, as we will see, less intuitive than Euclidean or metric geometry and it is taking mathematicians many years to understand its intricacies (which is work in progress). The word “symplectic” goes back to the 1946 book [164] by Hermann Weyl (1885–1955) on classical groups.
    [Show full text]
  • An Invitation to Toric Topology: Vertex Four of a Remarkable Tetrahedron
    An Invitation to Toric Topology: Vertex Four of a Remarkable Tetrahedron. Buchstaber, Victor M and Ray, Nigel 2008 MIMS EPrint: 2008.31 Manchester Institute for Mathematical Sciences School of Mathematics The University of Manchester Reports available from: http://eprints.maths.manchester.ac.uk/ And by contacting: The MIMS Secretary School of Mathematics The University of Manchester Manchester, M13 9PL, UK ISSN 1749-9097 Contemporary Mathematics An Invitation to Toric Topology: Vertex Four of a Remarkable Tetrahedron Victor M Buchstaber and Nigel Ray 1. An Invitation Motivation. Sometime around the turn of the recent millennium, those of us in Manchester and Moscow who had been collaborating since the mid-1990s began using the term toric topology to describe our widening interests in certain well-behaved actions of the torus. Little did we realise that, within seven years, a significant international conference would be planned with the subject as its theme, and delightful Japanese hospitality at its heart. When first asked to prepare this article, we fantasised about an authorita- tive and comprehensive survey; one that would lead readers carefully through the foothills above which the subject rises, and provide techniques for gaining sufficient height to glimpse its extensive mathematical vistas. All this, and more, would be illuminated by references to the wonderful Osaka lectures! Soon afterwards, however, reality took hold, and we began to appreciate that such a task could not be completed to our satisfaction within the timescale avail- able. Simultaneously, we understood that at least as valuable a service could be rendered to conference participants by an invitation to a wider mathematical au- dience - an invitation to savour the atmosphere and texture of the subject, to consider its geology and history in terms of selected examples and representative literature, to glimpse its exciting future through ongoing projects; and perhaps to locate favourite Osaka lectures within a novel conceptual framework.
    [Show full text]
  • Symplectic Geometry
    Part III | Symplectic Geometry Based on lectures by A. R. Pires Notes taken by Dexter Chua Lent 2018 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after lectures. They are nowhere near accurate representations of what was actually lectured, and in particular, all errors are almost surely mine. The first part of the course will be an overview of the basic structures of symplectic ge- ometry, including symplectic linear algebra, symplectic manifolds, symplectomorphisms, Darboux theorem, cotangent bundles, Lagrangian submanifolds, and Hamiltonian sys- tems. The course will then go further into two topics. The first one is moment maps and toric symplectic manifolds, and the second one is capacities and symplectic embedding problems. Pre-requisites Some familiarity with basic notions from Differential Geometry and Algebraic Topology will be assumed. The material covered in the respective Michaelmas Term courses would be more than enough background. 1 Contents III Symplectic Geometry Contents 1 Symplectic manifolds 3 1.1 Symplectic linear algebra . .3 1.2 Symplectic manifolds . .4 1.3 Symplectomorphisms and Lagrangians . .8 1.4 Periodic points of symplectomorphisms . 11 1.5 Lagrangian submanifolds and fixed points . 13 2 Complex structures 16 2.1 Almost complex structures . 16 2.2 Dolbeault theory . 18 2.3 K¨ahlermanifolds . 21 2.4 Hodge theory . 24 3 Hamiltonian vector fields 30 3.1 Hamiltonian vector fields . 30 3.2 Integrable systems . 32 3.3 Classical mechanics . 34 3.4 Hamiltonian actions . 36 3.5 Symplectic reduction . 39 3.6 The convexity theorem . 45 3.7 Toric manifolds . 51 4 Symplectic embeddings 56 Index 57 2 1 Symplectic manifolds III Symplectic Geometry 1 Symplectic manifolds 1.1 Symplectic linear algebra In symplectic geometry, we study symplectic manifolds.
    [Show full text]
  • Symplectic Geometry Tara S
    THE GRADUATE STUDENT SECTION WHAT IS... Symplectic Geometry Tara S. Holm Communicated by Cesar E. Silva In Euclidean geome- depending smoothly on the point 푝 ∈ 푀.A 2-form try in a vector space 휔 ∈ Ω2(푀) is symplectic if it is both closed (its exterior Symplectic over ℝ, lengths and derivative satisfies 푑휔 = 0) and nondegenerate (each structures are angles are the funda- function 휔푝 is nondegenerate). Nondegeneracy is equiva- mental measurements, lent to the statement that for each nonzero tangent vector floppier than and objects are rigid. 푣 ∈ 푇푝푀, there is a symplectic buddy: a vector 푤 ∈ 푇푝푀 In symplectic geome- so that 휔푝(푣, 푤) = 1.A symplectic manifold is a (real) holomorphic try, a two-dimensional manifold 푀 equipped with a symplectic form 휔. area measurement is Nondegeneracy has important consequences. Purely in functions or the key ingredient, and terms of linear algebra, at any point 푝 ∈ 푀 we may choose the complex numbers a basis of 푇푝푀 that is compatible with 휔푝, using a skew- metrics. are the natural scalars. symmetric analogue of the Gram-Schmidt procedure. We It turns out that sym- start by choosing any nonzero vector 푣1 and then finding a plectic structures are much floppier than holomorphic symplectic buddy 푤1. These must be linearly independent functions in complex geometry or metrics in Riemannian by skew-symmetry. We then peel off the two-dimensional geometry. subspace that 푣1 and 푤1 span and continue recursively, The word “symplectic” is a calque introduced by eventually arriving at a basis Hermann Weyl in his textbook on the classical groups.
    [Show full text]
  • SYMPLECTIC GEOMETRY Lecture Notes, University of Toronto
    SYMPLECTIC GEOMETRY Eckhard Meinrenken Lecture Notes, University of Toronto These are lecture notes for two courses, taught at the University of Toronto in Spring 1998 and in Fall 2000. Our main sources have been the books “Symplectic Techniques” by Guillemin-Sternberg and “Introduction to Symplectic Topology” by McDuff-Salamon, and the paper “Stratified symplectic spaces and reduction”, Ann. of Math. 134 (1991) by Sjamaar-Lerman. Contents Chapter 1. Linear symplectic algebra 5 1. Symplectic vector spaces 5 2. Subspaces of a symplectic vector space 6 3. Symplectic bases 7 4. Compatible complex structures 7 5. The group Sp(E) of linear symplectomorphisms 9 6. Polar decomposition of symplectomorphisms 11 7. Maslov indices and the Lagrangian Grassmannian 12 8. The index of a Lagrangian triple 14 9. Linear Reduction 18 Chapter 2. Review of Differential Geometry 21 1. Vector fields 21 2. Differential forms 23 Chapter 3. Foundations of symplectic geometry 27 1. Definition of symplectic manifolds 27 2. Examples 27 3. Basic properties of symplectic manifolds 34 Chapter 4. Normal Form Theorems 43 1. Moser’s trick 43 2. Homotopy operators 44 3. Darboux-Weinstein theorems 45 Chapter 5. Lagrangian fibrations and action-angle variables 49 1. Lagrangian fibrations 49 2. Action-angle coordinates 53 3. Integrable systems 55 4. The spherical pendulum 56 Chapter 6. Symplectic group actions and moment maps 59 1. Background on Lie groups 59 2. Generating vector fields for group actions 60 3. Hamiltonian group actions 61 4. Examples of Hamiltonian G-spaces 63 3 4 CONTENTS 5. Symplectic Reduction 72 6. Normal forms and the Duistermaat-Heckman theorem 78 7.
    [Show full text]
  • Margaret Dusa Mcduff Hon Dsc Warwick Oral Version
    Margaret Dusa McDuff Hon DSc Warwick oral version Mr Vice Chancellor, Graduates, Graduands, Ladies and Gentlemen, We have with us today a mathematician whose work has opened a hugely fertile new branch of mathematics. She has brought symplectic geometry and topology to the attention of the mathematical world. Dusa McDuff is Professor of Mathematics at Barnard College in New York. Born in London, Dusa grew up in Edinburgh, where her father the influential biologist C.H. Waddington was Professor of Genetics. Dusa wanted to be a mathematician from an early age. She studied in Edinburgh then Cambridge. Her doctoral work was published in the top journal Annals of Mathematics and remains important today. Subsequently Dusa studied in Moscow with the great Russian mathematician Israel Gelfand. After various temporary posts, in 1976 she was appointed to a lectureship at Warwick. However in 1978 she moved to the State University of New York at Stony Brook. In 2007 she was appointed to the Kimmel chair at Barnard, sister college to Columbia University. Shortly after her move to the US, Dusa's research shifted towards symplectic geometry. This subject has its origins in mechanics and continues to be important in various branches of physics. In topology the objects are flabby, and in geometry they are rigid. Symplectic geometry sits in between. In the late 1970s symplectic geometry was beginning to develop in completely new directions, spurred by deep ideas introduced by Mikhail Gromov (one of the world's most creative living mathematicians). Over the years Dusa and her students have played a central role in developing this new field called symplectic topology.
    [Show full text]
  • Some Aspects of the Geodesic Flow
    Some aspects of the Geodesic flow Pablo C. Abstract This is a presentation for Yael’s course on Symplectic Geometry. We discuss here the context in which the geodesic flow can be understood using techniques from Symplectic Geometry. 1 Introduction We begin defining our object of study. Definition 1.1. Given a closed manifold M with Riemannian metric g, the co- geodesic flow is defined as the Hamiltonian flow φt on the cotangent bundle (T ∗M,Θ)(Θ will always denote the canonical form on T ∗M) where the cor- 1 responding lagrangian is L = 2 g Suppose that the Legendre transform is given by (x; v) 7! (x; p). Then we know • H = hp; vi − L(x; v) • p is given as the fiber derivative of L. Namely, consider f(v) = L(x; v) for x fixed and then p(x,v) is given by p = Dvf 1 In our very particular case, we can easily calculate the transform using Eüler’s lemma for homogeneous functions (L is just a quadratic form here); ge wet hp; vi = hDvf ; vi = 2f(v) = 2L = g(v; v) This implies • the Legendre transform identifies the fibers of TM and T ∗M using the metric (v 7! g(v; ·)). • H = 2L − L = L. This shows that the co-geodesic flow induces a flow (which we will continue denoting φt) on TM such that φt = (γ; γ_ ) and γ satisfies the variational equation for the action defined by L = H. 1 d @L We have that dt @v = 0, so the norm of γ_ is constant.
    [Show full text]
  • Symplectic Geometry
    SYMPLECTIC GEOMETRY Gert Heckman Radboud University Nijmegen [email protected] Dedicated to the memory of my teacher Hans Duistermaat (1942-2010) 1 Contents Preface 3 1 Symplectic Linear Algebra 5 1.1 Symplectic Vector Spaces . 5 1.2 HermitianForms ......................... 7 1.3 ExteriorAlgebra ......................... 8 1.4 TheWord“Symplectic” . 10 1.5 Exercises ............................. 11 2 Calculus on Manifolds 14 2.1 Vector Fields and Flows . 14 2.2 LieDerivatives .......................... 15 2.3 SingularHomology . .. .. .. .. .. .. 18 2.4 Integration over Singular Chains and Stokes Theorem . 20 2.5 DeRhamTheorem........................ 21 2.6 Integration on Oriented Manifolds and Poincar´eDuality . 22 2.7 MoserTheorem.......................... 25 2.8 Exercises ............................. 27 3 Symplectic Manifolds 29 3.1 RiemannianManifolds . 29 3.2 SymplecticManifolds. 29 3.3 FiberBundles........................... 32 3.4 CotangentBundles . .. .. .. .. .. .. 34 3.5 GeodesicFlow .......................... 37 3.6 K¨ahlerManifolds . 40 3.7 DarbouxTheorem ........................ 43 3.8 Exercises ............................. 46 4 Hamilton Formalism 49 4.1 PoissonBrackets ......................... 49 4.2 IntegrableSystems . 51 4.3 SphericalPendulum . .. .. .. .. .. .. 55 4.4 KeplerProblem.......................... 61 4.5 ThreeBodyProblem. .. .. .. .. .. .. 65 4.6 Exercises ............................. 66 2 5 Moment Map 69 5.1 LieGroups ............................ 69 5.2 MomentMap ........................... 74 5.3 SymplecticReduction . 80 5.4 Symplectic Reduction for Cotangent Bundles . 84 5.5 Geometric Invariant Theory . 89 5.6 Exercises ............................. 93 3 Preface These are lecture notes for a course on symplectic geometry in the Dutch Mastermath program. There are several books on symplectic geometry, but I still took the trouble of writing up lecture notes. The reason is that this one semester course was aiming for students at the beginning of their masters.
    [Show full text]
  • A Symplectic Fixed Point Theorem on Open Manifolds
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 84, Number 4, April 1982 A SYMPLECTIC FIXED POINT THEOREM ON OPEN MANIFOLDS MICHAEL COLVIN AND KENT MORRISON Abstract. In 1968 Bourgin proved that every measure-preserving, orientation- preserving homeomorphism of the open disk has a fixed point, and he asked whether such a result held in higher dimensions. Asimov, in 1976, constructed counterexam- ples in all higher dimensions. In this paper we answer a weakened form of Bourgin's question dealing with symplectic diffeomorphisms: every symplectic diffeomorphism of an even-dimensional cell sufficiently close to the identity in the C'-fine topology has a fixed point. This result follows from a more general result on open manifolds and symplectic diffeomorphisms. Introduction. Fixed point theorems for area-preserving mappings have a history which dates back to Poincaré's "last geometric theorem", i.e., any area-preserving mapping of an annulus which twists the boundary curves in opposite directions has at least two fixed points. More recently it has been proved that any area-preserving, orientation-preserving mapping of the two-dimensional sphere into itself possesses at least two distinct fixed points (see [N, Si]). In the setting of noncompact manifolds, Bourgin [B] showed that any measure-preserving, orientation-preserving homeomor- phism of the open two-cell B2 has a fixed point. For Bourgin's theorem one assumes that the measure is finite on B2 and that the measure of a nonempty open set is positive. Bourgin also gave a counterexample to the generalization of the theorem for the open ball in R135and asked the question whether his theorem remains valid for the open balls in low dimensions.
    [Show full text]