Topological Persistence in Geometry and Analysis

Total Page:16

File Type:pdf, Size:1020Kb

Topological Persistence in Geometry and Analysis Applied VOLUME 74 UNIVERSITY LECTURE SERIES Mathematics Topological Persistence in Geometry and Analysis Leonid Polterovich Daniel Rosen Karina Samvelyan Jun Zhang 10.1090/ulect/074 Topological Persistence in Geometry and Analysis UNIVERSITY LECTURE SERIES VOLUME 74 Topological Persistence in Geometry and Analysis Leonid Polterovich Daniel Rosen Karina Samvelyan Jun Zhang EDITORIAL COMMITTEE Robert Guralnick William P. Minicozzi II (Chair) Emily Riehl Tatiana Toro 2010 Mathematics Subject Classification. Primary 55U99, 58Cxx, 53Dxx. For additional information and updates on this book, visit www.ams.org/bookpages/ulect-74 Library of Congress Cataloging-in-Publication Data Names: Polterovich, Leonid, 1963- author. | Rosen, Daniel, 1980- author. | Samvelyan, Karina, 1988- author. | Zhang, Jun, 1988- author. Title: Topological persistence in geometry and analysis / Leonid Polterovich, Daniel Rosen, Karina Samvelyan, Jun Zhang. Description: Providence, Rhode Island : American Mathematical Society, [2020] | Series: Univer- sity lecture series, 1047-3998 ; volume 74 | Includes bibliographical references and index. Identifiers: LCCN 2019059052 | ISBN 9781470454951 (paperback) | ISBN 9781470456795 (ebook) Subjects: LCSH: Algebraic topology. | Homology theory. | Combinatorial topology. | Symplectic geometry. | Mathematical analysis. | AMS: Algebraic topology – Applied homological alge- bra and category theory [See also 18Gxx]. | Global analysis, analysis on manifolds [See also 32Cxx, 32Fxx, 32Wxx, 46-XX, 47Hxx, 53Cxx] {For geometric integration theory, see 49Q15} – Calculus on manifolds; nonlinear operators [See also 46Txx]. | Differential geometry {For differential topology, see 57Rxx. For foundational questions of differentiable manifolds, see 58Axx} – Symplectic geometry, contact geometry [See also 37Jxx, 70Gxx, 70Hxx]. Classification: LCC QA612 .P645 2020 | DDC 514/.2–dc23 LC record available at https://lccn.loc.gov/2019059052 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy select pages for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for permission to reuse portions of AMS publication content are handled by the Copyright Clearance Center. For more information, please visit www.ams.org/publications/pubpermissions. Send requests for translation rights and licensed reprints to [email protected]. c 2020 by the American Mathematical Society. All rights reserved. The American Mathematical Society retains all rights except those granted to the United States Government. Printed in the United States of America. ∞ The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability. Visit the AMS home page at https://www.ams.org/ 10987654321 252423222120 Contents Preface vii Part 1. A primer of persistence modules 1 Chapter 1. Definition and first examples 3 1.1. Persistence modules 3 1.2. Morphisms 5 1.3. Interleaving distance 7 1.4. Morse persistence modules and approximation 9 1.5. Rips modules and the Gromov-Hausdorff distance 9 Chapter 2. Barcodes 13 2.1. The Normal Form Theorem 13 2.2. Bottleneck distance and the Isometry Theorem 19 2.3. Corollary: Stability theorems 20 2.4. Persistence modules of locally finite type 20 Chapter 3. Proof of the Isometry Theorem 23 3.1. An outline 23 3.2. Matchings for surjections and injections 24 3.3. Main lemmas and proof of the theorem 29 3.4. Proofs of Lemma 3.3.1 and Lemma 3.3.2 30 Chapter 4. What can we read from a barcode? 33 4.1. Infinite bars and characteristic exponents 33 4.2. Boundary depth and approximation 36 4.3. The multiplicity function 39 4.4. Representations on persistence modules 41 Part 2. Applications to metric geometry and function theory 47 Chapter 5. Applications of Rips complexes 49 5.1. δ - hyperbolic spaces 49 5.2. Cechˇ complex, Rips complex and topological data analysis 54 5.3. Manifold learning 57 Chapter 6. Topological function theory 61 6.1. Prologue 61 6.2. Invariants of upper triangular matrices 63 6.3. Simplex counting method 66 v vi CONTENTS 6.4. The length of the barcode 68 6.5. Approximation by trigonometric polynomials 71 Part 3. Persistent homology in symplectic geometry 75 Chapter 7. A concise introduction to symplectic geometry 77 7.1. Hamiltonian dynamics 77 7.2. Symplectic structures on manifolds 78 7.3. The group of Hamiltonian diffeomorphisms 79 7.4. Hofer’s bi-invariant geometry 80 7.5. A short tour in coarse geometry 82 7.6. Zoo of symplectic embeddings 83 Chapter 8. Hamiltonian persistence modules 87 8.1. Conley-Zehnder index 87 8.2. Filtered Hamiltonian Floer theory 89 8.3. Constraints on full powers 94 8.4. Non-contractible closed orbits 96 8.5. Barcodes for Hamiltonian homeomorphisms 98 Chapter 9. Symplectic persistence modules 99 9.1. Liouville manifolds 99 9.2. Symplectic persistence modules 101 9.3. Examples of SH∗(U) 103 9.4. Symplectic Banach-Mazur distance 104 9.5. Functorial properties 106 9.6. Applications 109 9.7. Computations 111 Bibliography 115 Notation Index 121 Subject Index 123 Name Index 127 Preface The theory of persistence modules is an emerging field of algebraic topology, which originated in topological data analysis and which lies at the crossroads of several disciplines, including metric geometry and the calculus of variations. Per- sistence modules were introduced by G. Carlsson and A. Zomorodian [110] in 2005 as an abstract algebraic language for dealing with persistent homology, a version of homology theory invented by H. Edelsbrunner, D. Letscher, and A. Zomorodian [32] at the beginning of the millennium, aimed, in particular, at extracting robust information from noisy topological patterns. We refer to the articles by H. Edels- brunner and J. Harer [31], R. Ghrist [39], G. Carlsson [17], S. Weinberger [104], and U. Bauer and M. Lesnick [8] and the monographs by H. Edelsbrunner [30], S. Oudot [76], and F. Chazal, V. de Silva, M. Glisse, and S. Oudot [20] for various aspects of this rapidly developing subject. In the past few years, the theory of persistence modules expanded its “sphere of influence” within pure mathematics, exhibiting fruitful interactions with function theory and symplectic geometry. The purpose of these notes is to provide an introduction to this field and to give an account on some of the recent advances, emphasizing applications to geometry and analysis. We tried to minimize algebraic prerequisites so that the material should be accessible to readers with a basic background in algebraic and differential topology. More advanced preliminaries in geometry and function theory will be reviewed. Topological data analysis deals with data clouds modeled by finite metric spaces. Its main motto is geometry + scale = topology. In the case when a finite metric space appears as a discretization of a Riemannian manifold M, the above relation enables one to infer the topology of M, provided one knows the mesh. In general, given a scale t>0, one can associate to any abstract metric space (X, d) a topological space Rt, called the Vietoris-Rips complex.By definition, Rt is a subcomplex of the full simplex Σ formed by the points of X,where σ ⊂ X is a simplex of Rt whenever the diameter of σ is <t. For instance, the Rips complex for the vertices of the unit square in the plane is presented in Figure 1 a). Thus we get a filtered topological space, a.k.a., a collection of topological spaces Rt, t ∈ R, with Rs ⊂ Rt for s<t. Let us mention that Rt is empty for t ≤ 0and Rt =Σfort>diam(X, d). Some authors call this structure a topological signature of the data cloud (X, d). Rips complexes, which originated in geometric group theory [11], also play an important role in detecting low-dimensional topological patterns in big data, which nowadays is an active area of applied mathematics (see e.g. [73]). The calculus of variations studies critical points and critical values of func- tionals, the simplest case being smooth functions on manifolds. The sublevel sets vii viii PREFACE Figure 1. The Rips complex of a square and the corresponding barcode. = S2 H2 max max = D2 b b 1 = S × R H1 a a = D2 min min ∅ H0 a) b) Figure 2. The height function on the (topological) sphere and the corresponding barcode. Rt := {f<t} of a function f on a closed manifold M induce a structure of a filtered topological space. According to Morse theory, the topology of Rt, t ∈ R, changes exactly when the parameter t hits a critical value of f.NotethatRt = ∅ when t ≤ min f and Rt = M when t>max f. See Figure 2 a) illustrating sublevel sets of a function on the two-dimensional sphere with two local maxima and one local minima. We are going to study filtered topological spaces by using algebraic tools. Fix afieldF and look at the homology Vt := H(Rt, F) of the spaces Rt as above with coefficients in F. The family of vector spaces Vt, t ∈ R together with the morphisms Vs → Vt, s<tinduced by the inclusions, form an algebraic object called a persistence module, which plays a central role in the present notes. Let us discuss the contents of the book in more detail. Part 1 lays foundations of the theory of persistence modules and introduces basic examples. It turns out that persistence modules (which are defined in Chapter 1) are classified by simple combinatorial objects, the barcodes, which are defined as collections of intervals and rays in R with multiplicities. While the real meaning of barcodes will be clarified PREFACE ix later on, some intuition can be gained by looking at Figures 1 b) and 2 b).
Recommended publications
  • Symplectic Embeddings of Toric Domains
    Symplectic Embeddings of Toric Domains by Daniel Reid Irvine A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Mathematics) in the University of Michigan 2020 Doctoral Committee: Professor Daniel Burns, Jr., Chair Professor Anthony Bloch Assistant Professor Jun Li Professor John Schotland Professor Alejandro Uribe Daniel Reid Irvine [email protected] ORCID ID: 0000-0003-2721-5901 ©Daniel Reid Irvine 2020 Dedication This work is gratefully dedicated to my family. ii Acknowledgments I would like to extend my deep gratitude to my advisor, Daniel Burns, for his continued support and encouragement during my graduate career. Beyond his mathematical exper- tise, he has been a steadfast friend. Second, I would like to thank Richard Hind for his advise- ment during both my undergraduate and graduate career. He encouraged me to undertake this ambitious project, and his enthusiasm steered me towards the field of symplectic ge- ometry. Third, I would like to thank Jun Li for his advice and many helpful conversations. Finally, I would like to thank all the instructors that guided me through my mathematical career. I would not be where I am today if not for them. iii Table of Contents Dedication ....................................... ii Acknowledgments ................................... iii List of Figures ..................................... vi Abstract ......................................... vii Chapter 1 Introduction ..................................... 1 1.0.1 Summary of Results........................6 1.0.2 Important Past Results.......................7 2 Toric Domains .................................... 11 2.1 ECH Capacities of Toric Domains..................... 13 2.1.1 ECH Capacities of Concave Toric Domains............ 14 2.1.2 Realizing the positive weight vector as a ball packing......
    [Show full text]
  • 2006-2007 Graduate Studies in Mathematics Handbook
    2006-2007 GRADUATE STUDIES IN MATHEMATICS HANDBOOK TABLE OF CONTENTS 1. INTRODUCTION .................................................................................................................... 1 2. DEPARTMENT OF MATHEMATICS ................................................................................. 2 3. THE GRADUATE PROGRAM.............................................................................................. 5 4. GRADUATE COURSES ......................................................................................................... 8 5. RESEARCH ACTIVITIES ................................................................................................... 24 6. ADMISSION REQUIREMENTS AND APPLICATION PROCEDURES ...................... 25 7. FEES AND FINANCIAL ASSISTANCE............................................................................. 25 8. OTHER INFORMATION..................................................................................................... 27 APPENDIX A: COMPREHENSIVE EXAMINATION SYLLABI ............................................ 31 APPENDIX B: APPLIED MATHEMATICS COMPREHENSIVE EXAMINATION SYLLABI ............................................................................................................................................................. 33 APPENDIX C: PH.D. DEGREES CONFERRED FROM 1994-2006........................................ 35 APPENDIX D: THE FIELDS INSTITUTE FOR RESEARCH IN MATHEMATICAL SCIENCES........................................................................................................................................
    [Show full text]
  • Arxiv:1203.5589V2 [Math.SG] 5 Oct 2014 Orbit
    ON GROWTH RATE AND CONTACT HOMOLOGY ANNE VAUGON Abstract. It is a conjecture of Colin and Honda that the number of peri- odic Reeb orbits of universally tight contact structures on hyperbolic mani- folds grows exponentially with the period, and they speculate further that the growth rate of contact homology is polynomial on non-hyperbolic geometries. Along the line of the conjecture, for manifolds with a hyperbolic component that fibers on the circle, we prove that there are infinitely many non-isomorphic contact structures for which the number of periodic Reeb orbits of any non- degenerate Reeb vector field grows exponentially. Our result hinges on the exponential growth of contact homology which we derive as well. We also compute contact homology in some non-hyperbolic cases that exhibit polyno- mial growth, namely those of universally tight contact structures on a circle bundle non-transverse to the fibers. 1. Introduction and main results The goal of this paper is to study connections between the asymptotic number of periodic Reeb orbits of a 3-dimensional contact manifold and the geometry of the underlying manifold. We first recall some basic definitions of contact geometry. A 1-form α on a 3-manifold M is called a contact form if α ∧ dα is a volume form on M.A (cooriented) contact structure ξ is a plane field defined as the kernel of a contact form. If M is oriented, the contact structure ker(α) is called positive if the 3-form α ∧ dα orients M. The Reeb vector field associated to a contact form α is the vector field Rα such that ιRα α = 1 and ιRα dα = 0.
    [Show full text]
  • 2018-06-108.Pdf
    NEWSLETTER OF THE EUROPEAN MATHEMATICAL SOCIETY Feature S E European Tensor Product and Semi-Stability M M Mathematical Interviews E S Society Peter Sarnak Gigliola Staffilani June 2018 Obituary Robert A. Minlos Issue 108 ISSN 1027-488X Prague, venue of the EMS Council Meeting, 23–24 June 2018 New books published by the Individual members of the EMS, member S societies or societies with a reciprocity agree- E European ment (such as the American, Australian and M M Mathematical Canadian Mathematical Societies) are entitled to a discount of 20% on any book purchases, if E S Society ordered directly at the EMS Publishing House. Bogdan Nica (McGill University, Montreal, Canada) A Brief Introduction to Spectral Graph Theory (EMS Textbooks in Mathematics) ISBN 978-3-03719-188-0. 2018. 168 pages. Hardcover. 16.5 x 23.5 cm. 38.00 Euro Spectral graph theory starts by associating matrices to graphs – notably, the adjacency matrix and the Laplacian matrix. The general theme is then, firstly, to compute or estimate the eigenvalues of such matrices, and secondly, to relate the eigenvalues to structural properties of graphs. As it turns out, the spectral perspective is a powerful tool. Some of its loveliest applications concern facts that are, in principle, purely graph theoretic or combinatorial. This text is an introduction to spectral graph theory, but it could also be seen as an invitation to algebraic graph theory. The first half is devoted to graphs, finite fields, and how they come together. This part provides an appealing motivation and context of the second, spectral, half. The text is enriched by many exercises and their solutions.
    [Show full text]
  • J-Holomorphic Curves and Quantum Cohomology
    J-holomorphic Curves and Quantum Cohomology by Dusa McDuff and Dietmar Salamon May 1995 Contents 1 Introduction 1 1.1 Symplectic manifolds . 1 1.2 J-holomorphic curves . 3 1.3 Moduli spaces . 4 1.4 Compactness . 5 1.5 Evaluation maps . 6 1.6 The Gromov-Witten invariants . 8 1.7 Quantum cohomology . 9 1.8 Novikov rings and Floer homology . 11 2 Local Behaviour 13 2.1 The generalised Cauchy-Riemann equation . 13 2.2 Critical points . 15 2.3 Somewhere injective curves . 18 3 Moduli Spaces and Transversality 23 3.1 The main theorems . 23 3.2 Elliptic regularity . 25 3.3 Implicit function theorem . 27 3.4 Transversality . 33 3.5 A regularity criterion . 38 4 Compactness 41 4.1 Energy . 42 4.2 Removal of Singularities . 43 4.3 Bubbling . 46 4.4 Gromov compactness . 50 4.5 Proof of Gromov compactness . 52 5 Compactification of Moduli Spaces 59 5.1 Semi-positivity . 59 5.2 The image of the evaluation map . 62 5.3 The image of the p-fold evaluation map . 65 5.4 The evaluation map for marked curves . 66 vii viii CONTENTS 6 Evaluation Maps and Transversality 71 6.1 Evaluation maps are submersions . 71 6.2 Moduli spaces of N-tuples of curves . 74 6.3 Moduli spaces of cusp-curves . 75 6.4 Evaluation maps for cusp-curves . 79 6.5 Proofs of the theorems in Sections 5.2 and 5.3 . 81 6.6 Proof of the theorem in Section 5.4 . 82 7 Gromov-Witten Invariants 89 7.1 Pseudo-cycles .
    [Show full text]
  • Contact Homology and Virtual Fundamental Cycles
    Contact homology and virtual fundamental cycles John Pardon∗ 28 October 2015 (revised 4 February 2019) Abstract We give a construction of contact homology in the sense of Eliashberg–Givental– Hofer. Specifically, we construct coherent virtual fundamental cycles on the relevant compactified moduli spaces of pseudo-holomorphic curves. The aim of this work is to provide a rigorous construction of contact homology, an in- variant of contact manifolds and symplectic cobordisms due to Eliashberg–Givental–Hofer [Eli98, EGH00]. The contact homology of a contact manifold (Y,ξ) is defined by counting pseudo-holomorphic curves in the sense of Gromov [Gro85] in its symplectization R × Y . The main problem we solve in this paper is simply to give a rigorous definition of these curve counts, the essential difficulty being that the moduli spaces of such curves are usually not cut out transversally. It is therefore necessary to construct the virtual fundamental cycles of these moduli spaces (which play the same enumerative role that the ordinary fundamental cycles do for transversally cut out moduli spaces). For this construction, we use the frame- work developed in [Par16]. Our methods are quite general, and apply equally well to many other moduli spaces of interest. We use a compactification of the relevant moduli spaces which is smaller than the com- pactification considered in [EGH00, BEHWZ03]. Roughly speaking, for curves in symplecti- zations R × Y , we do not keep track of the relative vertical positions of different components (in particular, no trivial cylinders appear). Our compactification is more convenient for prov- ing the master equations of contact homology: the codimension one boundary strata in our compactification correspond bijectively with the desired terms in the “master equations”, whereas the compactification from [EGH00, BEHWZ03] contains additional codimension one boundary strata.
    [Show full text]
  • A Survey of Symplectic and Contact Topology
    Indian J. Pure Appl. Math., 50(3): 665-679, September 2019 °c Indian National Science Academy DOI: 10.1007/s13226-019-0348-1 A SURVEY OF SYMPLECTIC AND CONTACT TOPOLOGY Mahuya Datta¤ and Dheeraj Kulkarni¤¤ ¤Statistics and Mathematics Unit, Indian Statistical Institute 203, B.T. Road, Calcutta 700 108, India ¤¤ Department of Mathematics, Indian Institute of Science Education and Research, Bhopal, India e-mails: [email protected]; [email protected] In this article, we give a brief survey of major historical developments in the field of Contact and Symplectic Geometry. This field has grown into an area in its own right due to rapid progress seen in the last five decades. The community of Indian mathematicians working on this field is small but steadily growing. The contribution from Indian mathematicians to this field is noted in the article. Key words : Contact geometry; symplectic geometry. 1. INTRODUCTION Symplectic geometry has its origin in the Hamiltonian formulation of classical mechanics while con- tact geometry appears on constant energy surfaces in the phase space of classical mechanics. Contact geometry is also the mathematical language of thermodynamics, geometric optics and fluid dynam- ics. Symplectic and contact geometry in the simplest terms can be best described as the geometry of differential forms. In recent times, this has grown into an independent subject in its own right. It has also found applications in important problems of low dimensional topology, complex geometry, algebraic geometry, foliation theory and has given new directions in dynamics. A symplectic form on a manifold M is a non-degenerate 2-form ! which is also closed.
    [Show full text]
  • Invariants of Legendrian Products Peter Lambert-Cole Louisiana State University and Agricultural and Mechanical College
    Louisiana State University LSU Digital Commons LSU Doctoral Dissertations Graduate School 2014 Invariants of Legendrian products Peter Lambert-Cole Louisiana State University and Agricultural and Mechanical College Follow this and additional works at: https://digitalcommons.lsu.edu/gradschool_dissertations Part of the Applied Mathematics Commons Recommended Citation Lambert-Cole, Peter, "Invariants of Legendrian products" (2014). LSU Doctoral Dissertations. 2909. https://digitalcommons.lsu.edu/gradschool_dissertations/2909 This Dissertation is brought to you for free and open access by the Graduate School at LSU Digital Commons. It has been accepted for inclusion in LSU Doctoral Dissertations by an authorized graduate school editor of LSU Digital Commons. For more information, please [email protected]. INVARIANTS OF LEGENDRIAN PRODUCTS A Dissertation Submitted to the Graduate Faculty of the Louisiana State University and Agricultural and Mechanical College in partial fulfillment of the requirements for the degree of Doctor of Philosophy in The Department of Mathematics by Peter Lambert-Cole A.B. Mathematics, Princeton University 2009 M.S. Mathematics, Louisiana State University, 2011 August 2014 Acknowledgments The work in this thesis owes much to the generosity, support and mentorship of many people. First and foremost are Scott Baldridge, my advisor, and Shea Vela-Vick, who has been a second advisor in all but title. I am extremely grateful to the Louisiana State University Board of Regents for a four-year fellowship to study mathematics. My research owes a great deal to the freedom and time it gave me to think deeply about mathematics and pursue ambitious research projects. I would like to thank John Etnyre and Lenhard Ng, for hosting me at Geor- gia Institute of Technology and Duke University, respectively, and many helpful conversations and advice on the research in this thesis.
    [Show full text]
  • Ergebnisse Der Mathematik Und Ihrer Grenzgebiete. 3. Folge / a Series of Modern Surveys in Mathematics
    Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics Volume 72 Series Editors L. Ambrosio, Pisa V. Baladi, Paris G.-M. Greuel, Kaiserslautern M. Gromov, Bures-sur-Yvette G. Huisken, Tübingen J. Jost, Leipzig J. Kollár, Princeton G. Laumon, Orsay U. Tillmann, Oxford J. Tits, Paris D.B. Zagier, Bonn More information about this series at http://www.springer.com/series/728 The Virtual Series on Symplectic Geometry Series Editors Alberto Abbondandolo Helmut Hofer Tara Suzanne Holm Dusa McDuff Claude Viterbo Associate Editors Dan Cristofaro-Gardiner Umberto Hryniewicz Emmy Murphy Yaron Ostrover Silvia Sabatini Sobhan Seyfaddini Jake Solomon Tony Yue Yu More information about this series at http://www.springer.com/series/16019 Helmut Hofer • Krzysztof Wysocki Eduard Zehnder Polyfold and Fredholm Theory Helmut Hofer Krzysztof Wysocki Institute for Advanced Study Department of Mathematics Princeton, NJ, USA Pennsylvania State University University Park, State College Eduard Zehnder PA , USA Department of Mathematics ETH Zurich Zürich, Switzerland ISSN 0071-1136 ISSN 2197-5655 (electronic) Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics ISBN 978-3-030-78006-7 ISBN 978-3-030-78007-4 (eBook) https://doi.org/10.1007/978-3-030-78007-4 Mathematics Subject Classification (2020): 58, 53, 46 © The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2021 This work is subject to copyright. All rights are solely and exclusively licensed by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed.
    [Show full text]
  • Gromov's Alternative, Contact Shape, and C^ 0-Rigidity of Contact
    GROMOV’S ALTERNATIVE, CONTACT SHAPE, AND C0-RIGIDITY OF CONTACT DIFFEOMORPHISMS STEFAN MULLER¨ AND PETER SPAETH Abstract. We prove that the group of contact diffeomorphisms is closed in the group of all diffeomorphisms in the C0-topology. By Gromov’s alternative, it suffices to exhibit a diffeomorphism that can not be approximated uniformly by contact diffeomorphisms. Our construction uses Eliashberg’s contact shape. 1. Introduction and main result Let (W 2n,ω) be a connected symplectic manifold, and ωn be the corresponding canonical volume form. We assume throughout this paper that all diffeomorphisms and vector fields are compactly supported in the interior of a given manifold. A symplectic diffeomorphism obviously preserves the volume form ωn, and thus so does a diffeomorphism that is the uniform limit of symplectic diffeomorphisms. In the early 1970s, Gromov discovered a fundamental hard versus soft alternative [Gro86]: either the group Symp(W, ω) of symplectic diffeomorphisms is C0-closed in the group Diff(W ) of all diffeomorphisms (hardness or rigidity), or its C0-closure is (a subgroup of finite codimension in) the group Diff(W, ωn) of volume preserving diffeomorphisms (softness or flexibility). See section 2 for a more precise statement. Gromov’s alternative is a fundamental question that concerns the very existence of symplectic topology [MS98, DT90]. That rigidity holds was proved by Eliashberg in the late 1970s [Eli82, Eli87]. One of the most geometric expressions of this C0- rigidity is Gromov’s non-squeezing theorem. Denote by B2n(r) a closed ball of 2n 2 2n−2 radius r in R with its standard symplectic form ω0, and by B (R) × R = Z2n(R) ⊂ R2n a cylinder of radius R so that the splitting R2 ×R2n−2 is symplectic.
    [Show full text]
  • GAUGED FLOER HOMOLOGY for HAMILTONIAN ISOTOPIES I: DEFINITION of the FLOER HOMOLOGY GROUPS Contents 1. Introduction 1 2. Basic S
    GAUGED FLOER HOMOLOGY FOR HAMILTONIAN ISOTOPIES I: DEFINITION OF THE FLOER HOMOLOGY GROUPS GUANGBO XU Abstract. We construct the vortex Floer homology group VHF (M; µ; H) for an aspherical Hamil- tonian G-manifold (M; !) with moment map µ and a class of G-invariant Hamiltonian loop Ht, following the proposal of [3]. This is a substitute for the ordinary Hamiltonian Floer homology of the symplectic quotient of M. We achieve the transversality of the moduli space by the classical perturbation argument instead of the virtual technique, so the homology can be defined over Z or Z2. Contents 1. Introduction 1 2. Basic setup and outline of the construction7 3. Asymptotic behavior of the connecting orbits 14 4. Fredholm theory 21 5. Compactness of the moduli space 28 6. Floer homology 31 Appendix A. Transversality by perturbing the almost complex structure 37 References 46 1. Introduction 1.1. Background. Floer homology, introduced by Andreas Floer (see [8], [9]), has been a great triumph of J-holomorphic curve technique invented by Gromov [17] in many areas of mathemat- ics. Hamiltonian Floer homology gives new invariants of symplectic manifolds and its Lagrangian submanifolds and has been the most important approach towards the solution to the celebrated Arnold conjecture initiated in the theory of Hamiltonian dynamics; the Lagrangian intersection Floer homology is the basic language in defining the Fukaya category of a symplectic manifold and stating Kontsevich's homological mirror symmetry conjecture; several Floer-type homology theory, including the instanton Floer homology ([7], [4]), Heegaard-Floer theory ([29]), Seiberg- Witten Floer homology ([22]), ECH theory ([20], [21]), has become tools of understanding lower dimensional topology.
    [Show full text]
  • Symposium on Symplectic Geometry 1997-2000 Report
    MATHEMATICS RESEARCH CENTRE SYMPOSIUM ON SYMPLECTIC GEOMETRY 1997-2000 REPORT JOHN RAWNSLEY DIETMAR SALAMON GR/L17009/01 Contents 1 Overview 2 The Programme 2.1 Workshops 2.2 Lecture courses 2.3 Seminars Appendices A Research Overview A.1 Floer homology A.2 Seiberg-Witten invariants and smooth 4-manifolds A.3 Quantization A.4 Moment maps and symplectic reduction A.5 Topics in symplectic topology A.6 Topics in contact geometry A.7 Topics in algebraic geometry A.8 Topics in Hamiltonian dynamics B List of Lectures C List of Publications C.1 Books worked on during the Symposium C.2 Papers worked on during the Symposium C.3 Other recent papers by participants D List of participants E A selection of comments by visitors F Programmes of Workhops Detailed Report 1 Overview The symposium activities in 1997-98 centered around four main workshops, and included several lecture courses, seminar series, lecture series by visitors, some short meetings and an LMS Spitalfields Day. A closing workshop was held in July 2000 at the end of the three year grant period which gave the opportunity to cover the new developments resulting from Kontsevich's work in deformation theory. There were three visitors for the whole year (Véronique Chloup-Arnould, Laurent Lazzarini, Joachim Weber) financed by other sources, a number of long term visitors (including Shigeru Mukai, Nagoya, who came for five months from October 1997 to April 1998), and 225 registered particpants for the longer activities as well as many who came to talks from nearby institutions. In addition to the EPSRC grant of £ 80,000 visitors were also supported by EC funds for two TMR fellowships (Laurent Lazzarini, £ 24,344 for 16 months, and Joachim Weber, £ 20,943 for 14 months).
    [Show full text]