DOCSLIB.ORG

Modern Geometry: a Celebration of the Work of Simon Donaldson

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Modern Geometry: a Celebration of the Work of Simon Donaldson Proceedings of Symposia in PURE MATHEMATICS Volume 99 Modern Geometry: A Celebration of the Work of Simon Donaldson Vicente Munoz˜ Ivan Smith Richard P. Thomas Editors Volume 99 Modern Geometry: A Celebration of the Work of Simon Donaldson Vicente Munoz˜ Ivan Smith Richard P. Thomas Editors Nathalie Wahl, 2017 Proceedings of Symposia in PURE MATHEMATICS Volume 99 Modern Geometry: A Celebration of the Work of Simon Donaldson Vicente Munoz˜ Ivan Smith Richard P. Thomas Editors 2010 Mathematics Subject Classification. Primary 32J25, 32L05, 53C07, 53C44, 53D35, 53D40, 53D50, 57R55, 57R57, 57R58. Library of Congress Cataloging-in-Publication Data Names: Mu˜noz, V. (Vicente), 1971– editor. | Smith, Ivan, 1973– editor. | Thomas, Richard P., 1972– editor. Title: Modern geometry : a celebration of the work of Simon Donaldson / Vicente Mu˜noz, Ivan Smith, Richard P. Thomas, editors. Description: Providence, Rhode Island : American Mathematical Society, [2018] | Series: Pro- ceedings of symposia in pure mathematics ; volume 99 | Includes bibliographical references. Identifiers: LCCN 2017052437 | ISBN 9781470440947 (alk. paper) Subjects: LCSH: Donaldson, S. K. | Manifolds (Mathematics) | Four-manifolds (Topology) | Ge- ometry. | Topology. | AMS: Several complex variables and analytic spaces – Compact analytic spaces – Transcendental methods of algebraic geometry. msc | Several complex variables and analytic spaces – Holomorphic fiber spaces – Holomorphic bundles and generalizations. msc | Differential geometry – Global differential geometry – Special connections and metrics on vector bundles (Hermite-Einstein-Yang-Mills). msc | Differential geometry – Global differential geometry – Geometric evolution equations (mean curvature flow, Ricci flow, etc.). msc | Differential geome- try – Symplectic geometry, contact geometry – Global theory of symplectic and contact manifolds. msc | Differential geometry – Symplectic geometry, contact geometry – Floer homology and coho- mology, symplectic aspects. msc | Differential geometry – Symplectic geometry, contact geometry – Geometric quantization. msc | Manifolds and cell complexes – Differential topology – Differ- entiable structures. msc | Manifolds and cell complexes – Differential topology – Applications of global analysis to structures on manifolds, Donaldson and Seiberg-Witten invariants. msc | Manifolds and cell complexes – Differential topology – Floer homology. msc Classification: LCC QA613 .M6345 2018 | DDC 516/.07–dc23 LC record available at https://lccn.loc.gov/2017052437 DOI: http://dx.doi.org/10.1090/pspum/099 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 2018 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 http://www.ams.org/ 10987654321 232221201918 Contents Preface vii Graded linearisations Gergely Berczi,` Brent Doran, and Frances Kirwan 1 Atiyah-Floer conjecture: A formulation, a strategy of proof and generalizations Aliakbar Daemi and Kenji Fukaya 23 Weinstein manifolds revisited Yakov Eliashberg 59 Remarks on Nahm’s equations Nigel Hitchin 83 Conjectures on counting associative 3-folds in G2-manifolds Dominic Joyce 97 Toward an algebraic Donaldson-Floer theory Jun Li 161 Introduction to a provisional mathematical definition of Coulomb branches of 3-dimensional N = 4 gauge theories Hiraku Nakajima 193 An overview of knot Floer homology Peter Ozsvath´ and Zoltan´ Szabo´ 213 Descendants for stable pairs on 3-folds Rahul Pandharipande 251 The Dirichlet problem for the complex homogeneous Monge-Amp`ere equation Julius Ross and David Witt Nystrom¨ 289 K¨ahler-Einstein metrics Gabor´ Szekelyhidi´ 331 Donaldson theory in non-K¨ahlerian geometry Andrei Teleman 363 Two lectures on gauge theory and Khovanov homology Edward Witten 393 v Preface Simon Donaldson has been one of the central figures in modern geometry for thirty-five years, and remains as active today as ever. His work has revolutionised numerous fields; the breadth of the essays in this volume are testament to his profound influence across different areas of differential and algebraic geometry, and its connections to topology, to analysis and to theoretical physics. Simon Kirwan Donaldson was born on August 20th, 1957, in Cambridge, U.K. He attended secondary school at Sevenoaks in Kent, and was a mathematics under- graduate at Pembroke College, Cambridge, before going on to doctoral work under the joint supervision of Michael Atiyah and Nigel Hitchin at Oxford. After his DPhil degree, Donaldson became a Research Fellow at All Souls College, Oxford, and then (with a year at the Institute for Advanced Study in Princeton as inter- mission) the Wallis Professor at Oxford. He remained in Oxford until 1997, then spent one year at Stanford, California, before returning to the U.K. with a Chair at Imperial College, London. In 2014 he joined the Simons Center for Geometry and Physics at Stony Brook, and now divides his time between there and Imperial. Donaldson was an invited speaker at the 1982 ICM in Warsaw, and was awarded the Fields Medal at the 1986 ICM in Berkeley. Amongst his many other awards are the King Faisal International Prize (2006), the Nemmers Prize (2008), the Shaw Prize (2009, joint with Cliff Taubes), and the Breakthrough Prize (2015). He was knighted in the 2012 New Year Honours list for services to mathematics. Whilst still a graduate student, in 1982, Donaldson overturned the world of low-dimensional topology, bringing to bear methods from classical gauge theory and the Yang-Mills equations – ideas later recast by Witten in terms of quantum field theory – to prove new constraints on the topology of smooth four-dimensional manifolds, the nature of which have no analogue in either lower or higher di- mensions. Celebrated results in this period include: the diagonalisability theo- rem1 for the intersection forms of definite four-manifolds; the disproof of the four- dimensional s-cobordism conjecture and introduction of his polynomial invariants of four-manifolds; the Donaldson-Uhlenbeck-Yau (DUY) theorem describing the solutions of the Hermitian-Yang-Mills equations on K¨ahler manifolds; and his work on Nahm’s equations and monopoles. Whilst his work in low-dimensional topology dominated four-manifold theory from 1982–1994, Donaldson later made profound contributions to three quite differ- ent areas. In 1996 he introduced Lefschetz pencils into symplectic topology, proving the first general existence theorem for symplectic hypersurfaces. At the core of this 1The frontispiece to this volume, painted by Nathalie Wahl, merges Simon’s childhood passion for sailing with an abstracted version of the renowned image of the cobordism underlying the diagonalisability theorem. Readers might look for hints of other theorems hidden in the painting! vii viii PREFACE work is an estimated transversality or quantitative Sard theorem, established via a novel h-principle based on analytical methods of approximately holomorphic geom- etry. In an attempt to fit Floer’s symplectic-geometric invariants into the formalism of topological quantum field theory, in analogy with the expected and known struc- tures for gauge-theoretic Floer homology, he introduced the triangle product in Lagrangian Floer cohomology, and the quantum category of a symplectic manifold – the cohomological version of which became the Fukaya category, central in mirror symmetry. At around the same time, Donaldson laid out a program in higher- dimensional gauge theory suggesting generalisations of both instanton theory and Lagrangian Floer theory to G2 and Spin(7)-manifolds, a program in rapid current development. In the mid 1990s, Donaldson began studying the existence question for con- stant scalar curvature K¨ahler metrics – the higher-dimensional analogue of the constant curvature metrics on Riemann surfaces provided by the uniformisation theorem. Over the following two decades, he introduced a huge array of new ideas into this part of complex differential geometry, partly based on intuitions derived from infinite-dimensional moment maps and ideas around geometric quantisation. He eventually successfully resolved (in 2013, with Xiuxiong Chen and Song Sun) the existence question for K¨ahler-Einstein metrics on Fano manifolds, as conjec- tured by Yau and Tian – a landmark achievement, once again binding together ideas from algebraic geometry and from infinite-dimensional analysis. Whilst the DUY theorem relied essentially on the link between stability of bundles and the existence of special-curvature connections, the results in complex geometry
Load more

Recommended publications
  • FLOER HOMOLOGY and MIRROR SYMMETRY I Kenji FUKAYA 0
    FLOER HOMOLOGY AND MIRROR SYMMETRY I Kenji FUKAYA Abstract. In this survey article, we explain how the Floer homology of Lagrangian submanifold [Fl1],[Oh1] is related to (homological) mirror symmetry [Ko1],[Ko2]. Our discussion is based mainly on [FKO3]. 0. Introduction. This is the first of the two articles, describing a project in progress to study mirror symmetry and D-brane using Floer homology of Lagrangian submanifold. The tentative goal, which we are far away to achiev, is to prove homological mirror symmetry conjecture by M. Kontsevich (see 3.) The final goal, which is yet very § very far away from us, is to find a new concept of spaces, which is expected in various branches of mathematics and in theoretical physics. Together with several joint authors, I wrote several papers on this project [Fu1], [Fu2], [Fu4], [Fu5], [Fu6], [Fu7], [FKO3], [FOh]. The purpose of this article and part II, is to provide an accesible way to see the present stage of our project. The interested readers may find the detail and rigorous proofs of some of the statements, in those papers. The main purose of Part I is to discribe an outline of our joint paper [FKO3] which is devoted to the obstruction theory to the well-definedness of Floer ho- mology of Lagrangian submanifold. Our emphasis in this article is its relation to mirror symmetry. So we skip most of its application to the geometry of Lagrangian submanifolds. In 1, we review Floer homology of Lagrangian submanifold in the form intro- § duced by Floer and Oh. They assumed various conditions on Lagrangian subman- ifold and symplectic manifold, to define Floer homology.
    [Show full text]
  • Heegaard Floer Homology
    Heegaard Floer Homology Joshua Evan Greene Low-dimensional topology encompasses the study of man- This is a story about Heegaard Floer homology: how it ifolds in dimension four and lower. These are the shapes developed, how it has evolved, what it has taught us, and and dimensions closest to our observable experience in where it may lead. spacetime, and one of the great lessons in topology during the 20th century is that these dimensions exhibit unique Heegaard... phenomena that render them dramatically different from To set the stage, we return to the beginning of the 20th higher ones. Many outlooks and techniques have arisen in century, when Poincar´eforged topology as an area of in- shaping the area, each with its own particular strengths: hy- dependent interest. In 1901, he famously and erroneously perbolic geometry, quantum algebra, foliations, geometric asserted that, as is the case for 1- and 2-manifolds, any 3- analysis,... manifold with the same ordinary homology groups as the Heegaard Floer homology, defined at the turn of the 3-dimensional sphere 푆3 is, in fact, homeomorphic to 푆3. 21st century by Peter Ozsv´ath and Zolt´an Szab´o, sits By 1905, he had vanquished his earlier claim by way of amongst these varied approaches. It consists of a power- an example that now bears his name: the Poincar´ehomol- ful collection of invariants that fit into the framework ofa ogy sphere 푃3. We will describe this remarkable space in (3 + 1)-dimensional topological quantum field theory. It a moment and re-encounter it in many guises.
    [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]
  • [Math.SG] 22 Mar 2004
    A SURVEY OF FLOER HOMOLOGY FOR MANIFOLDS WITH CONTACT TYPE BOUNDARY OR SYMPLECTIC HOMOLOGY ALEXANDRU OANCEA Abstract. The purpose of this paper is to give a survey of the various versions of Floer homology for manifolds with contact type boundary that have so far appeared in the literature. Under the name of “Symplectic homology” or “Floer homology for manifolds with boundary” they bear in fact common features and we shall try to underline the principles that unite them. Once this will be accomplished we shall proceed to describe the peculiarity of each of the constructions and the specific applications that unfold out of it: classification of ellipsoids and polydiscs in Cn, stability of the action spectrum for contact type boundaries of symplectic manifolds, existence of closed characteristics on contact type hypersurfaces and obstructions to exact Lagrange embeddings. The computation of the Floer cohomology for balls in Cn is carried by explicitly perturbing the nondegenerate Morse-Bott spheres of closed characteristics. Contents 1. Constructions of Floer homological invariants 2 1.1. Morse homology 2 1.2. Floer homology for closed manifolds 3 1.3. Floer homology for manifolds with contact type boundary or Symplectic homology 6 2. Comments and further properties 15 2.1. C0 bounds. 15 2.2. Relations between different symplectic homologies. 15 2.3. Invariance through isotopies. 16 3. A computation: balls in Cn 17 3.1. Recollections on the Robbin-Salamon index 18 3.2. Direct computation of the cohomology of a ball. 19 3.3. Alternative point of view: perturbation of critical Morse-Bott manifolds. 20 4.
    [Show full text]
  • AN INTRODUCTION to INSTANTON KNOT FLOER HOMOLOGY These
    AN INTRODUCTION TO INSTANTON KNOT FLOER HOMOLOGY NIKOLAI SAVELIEV These notes are intended to serve as an informal introduction to instan- ton Floer homology of knots. We begin by developing a version of instanton Floer homology for closed 3-manifolds [2], [5] associated with admissible SO(3) bundles, and then briefly review three instanton knot homology the- ories due to Floer [5] and to Kronheimer and Mrowka [6], [7]. 1. Stiefel–Whithey classes Let Y be a finite CW-complex of dimension at most three and P → Y an SO(3) bundle. Associated with P are its Stiefel–Whitney classes wi(P ) ∈ Hi(Y ; Z/2), i = 1, 2, 3. Only one of them, namely, 2 w2(P ) ∈ H (Y ; Z/2), will be of importance to us, for the reason that w1(P ) = 0 since P is ori- 1 entable, and w3(P )=Sq (w2(P )) by the Wu formula. The class w2(P ) can be defined as follows. Let { Uα } be a trivializing cover for the bundle P then the gluing functions ϕαβ : Uα ∩ Uβ −→ SO(3) (1) define a class [P ] ∈ H1(Y ; SO(3)) in Cechˇ cohomology. Conversely, a co- homology class in H1(Y ; SO(3)) defines a unique SO(3) bundle up to an isomorphism. The short exact sequence of Lie groups 1 −−−−→ Z/2 −−−−→ SU(2) −−−−→Ad SO(3) −−−−→ 1, where Z/2 = {±1} is the center of SU(2), gives rise to the exact sequence in Cechˇ cohomology, . → H1(Y ; SU(2)) −−−−→ H1(Y ; SO(3)) −−−−→δ H2(Y ; Z/2) → . 1 1 The class w2(P ) is the image of [P ] ∈ H (Y ; SO(3)) under the connecting homomorphism δ.
    [Show full text]
  • Twistor Theory at Fifty: from Rspa.Royalsocietypublishing.Org Contour Integrals to Twistor Strings Michael Atiyah1,2, Maciej Dunajski3 and Lionel Review J
    Downloaded from http://rspa.royalsocietypublishing.org/ on November 10, 2017 Twistor theory at fifty: from rspa.royalsocietypublishing.org contour integrals to twistor strings Michael Atiyah1,2, Maciej Dunajski3 and Lionel Review J. Mason4 Cite this article: Atiyah M, Dunajski M, Mason LJ. 2017 Twistor theory at fifty: from 1School of Mathematics, University of Edinburgh, King’s Buildings, contour integrals to twistor strings. Proc. R. Edinburgh EH9 3JZ, UK Soc. A 473: 20170530. 2Trinity College Cambridge, University of Cambridge, Cambridge http://dx.doi.org/10.1098/rspa.2017.0530 CB21TQ,UK 3Department of Applied Mathematics and Theoretical Physics, Received: 1 August 2017 University of Cambridge, Cambridge CB3 0WA, UK Accepted: 8 September 2017 4The Mathematical Institute, Andrew Wiles Building, University of Oxford, Oxford OX2 6GG, UK Subject Areas: MD, 0000-0002-6477-8319 mathematical physics, high-energy physics, geometry We review aspects of twistor theory, its aims and achievements spanning the last five decades. In Keywords: the twistor approach, space–time is secondary twistor theory, instantons, self-duality, with events being derived objects that correspond to integrable systems, twistor strings compact holomorphic curves in a complex threefold— the twistor space. After giving an elementary construction of this space, we demonstrate how Author for correspondence: solutions to linear and nonlinear equations of Maciej Dunajski mathematical physics—anti-self-duality equations e-mail: [email protected] on Yang–Mills or conformal curvature—can be encoded into twistor cohomology. These twistor correspondences yield explicit examples of Yang– Mills and gravitational instantons, which we review. They also underlie the twistor approach to integrability: the solitonic systems arise as symmetry reductions of anti-self-dual (ASD) Yang–Mills equations, and Einstein–Weyl dispersionless systems are reductions of ASD conformal equations.
    [Show full text]
  • Floer Homology, Gauge Theory, and Low-Dimensional Topology
    Floer Homology, Gauge Theory, and Low-Dimensional Topology Clay Mathematics Proceedings Volume 5 Floer Homology, Gauge Theory, and Low-Dimensional Topology Proceedings of the Clay Mathematics Institute 2004 Summer School Alfréd Rényi Institute of Mathematics Budapest, Hungary June 5–26, 2004 David A. Ellwood Peter S. Ozsváth András I. Stipsicz Zoltán Szabó Editors American Mathematical Society Clay Mathematics Institute 2000 Mathematics Subject Classification. Primary 57R17, 57R55, 57R57, 57R58, 53D05, 53D40, 57M27, 14J26. The cover illustrates a Kinoshita-Terasaka knot (a knot with trivial Alexander polyno- mial), and two Kauffman states. These states represent the two generators of the Heegaard Floer homology of the knot in its topmost filtration level. The fact that these elements are homologically non-trivial can be used to show that the Seifert genus of this knot is two, a result first proved by David Gabai. Library of Congress Cataloging-in-Publication Data Clay Mathematics Institute. Summer School (2004 : Budapest, Hungary) Floer homology, gauge theory, and low-dimensional topology : proceedings of the Clay Mathe- matics Institute 2004 Summer School, Alfr´ed R´enyi Institute of Mathematics, Budapest, Hungary, June 5–26, 2004 / David A. Ellwood ...[et al.], editors. p. cm. — (Clay mathematics proceedings, ISSN 1534-6455 ; v. 5) ISBN 0-8218-3845-8 (alk. paper) 1. Low-dimensional topology—Congresses. 2. Symplectic geometry—Congresses. 3. Homol- ogy theory—Congresses. 4. Gauge fields (Physics)—Congresses. I. Ellwood, D. (David), 1966– II. Title. III. Series. QA612.14.C55 2004 514.22—dc22 2006042815 Copying and reprinting. Material in this book may be reproduced by any means for educa- tional and scientific purposes without fee or permission with the exception of reproduction by ser- vices that collect fees for delivery of documents and provided that the customary acknowledgment of the source is given.
    [Show full text]
  • Embedded Surfaces and Gauge Theory in Three and Four Dimensions
    Embedded surfaces and gauge theory in three and four dimensions P. B. Kronheimer Harvard University, Cambrdge MA 02138 Contents Introduction 1 1 Surfaces in 3-manifolds 3 The Thurston norm . ............................. 3 Foliations................................... 4 2 Gauge theory on 3-manifolds 7 The monopole equations . ........................ 7 An application of the Weitzenbock formula .................. 8 Scalar curvature and the Thurston norm . ................... 10 3 The monopole invariants 11 Obtaining invariants from the monopole equations . ............. 11 Basicclasses.................................. 13 Monopole invariants and the Alexander invariant . ............. 14 Monopole classes . ............................. 15 4 Detecting monopole classes 18 The4-dimensionalequations......................... 18 Stretching4-manifolds............................. 21 Floerhomology................................ 22 Perturbingthegradientflow.......................... 24 5 Monopoles and contact structures 26 Using the theorem of Eliashberg and Thurston ................. 26 Four-manifolds with contact boundary . ................... 28 Symplecticfilling................................ 31 Invariantsofcontactstructures......................... 32 6 Potential applications 34 Surgeryandproperty‘P’............................ 34 ThePidstrigatch-Tyurinprogram........................ 36 7 Surfaces in 4-manifolds 36 Wherethetheorysucceeds.......................... 36 Wherethetheoryhesitates.......................... 40 Wherethetheoryfails............................
    [Show full text]
  • Math 283 - Instanton Floer Homology
    Math 283 - Instanton Floer Homology Taught by Peter B. Kronheimer Notes by Dongryul Kim Spring 2018 The course was taught by Peter Kronheimer, on Mondays, Wednesdays, and Fridays from 11am to 12pm. There were three assignements throughout the course. Contents 1 January 22, 2018 5 1.1 Topology of smooth 4-manifolds . .5 1.2 Connections . .7 2 January 24, 2018 8 2.1 Curvature . .8 3 January 26, 2018 11 3.1 Moduli spaces of connections . 11 3.2 Elliptic operators . 11 3.3 Linear gauge-fixing . 12 4 January 29, 2018 14 4.1 Sobolev embeddings . 14 4.2 Moduli space of anti-self-dual connections . 15 5 January 31, 2018 17 5.1 Reducibles on M ........................... 18 6 February 2, 2018 19 6.1 Uhlenbeck's compactness theorem . 19 7 February 5, 2018 22 7.1 Uhlenbeck compactification . 22 7.2 Three-manifolds and the Chern{Simons functional . 23 1 Last Update: August 27, 2018 8 February 7, 2018 25 8.1 Chern{Simons functional under gauge transformations . 25 8.2 Representation variety . 26 9 February 9, 2018 28 9.1 Gradient flows and PDE . 28 10 February 12, 2018 30 10.1 SO(3)-bundle as a SU(2)-bundle . 30 10.2 Morse theory . 31 11 February 14, 2018 33 11.1 Operator on a cylinder . 33 12 February 16, 2018 35 12.1 Spectral flow . 35 12.2 Negative gradient flow . 35 13 February 21, 2018 37 13.1 Morse homology . 37 13.2 Morse theory on the space of connections . 38 14 February 23, 2018 40 14.1 Instanton Floer homology .
    [Show full text]
  • Moduli of Monopole Walls and Amoebas Arxiv:1202.1294V1 [Hep-Th]
    Moduli of Monopole Walls and Amoebas Sergey A. Cherkis Richard S. Ward Department of Mathematics Department of Mathematical Sciences University of Arizona, University of Durham, Tucson AZ, 85721-0089, USA Durham DH1 3LE, UK [email protected] [email protected] Abstract We study doubly-periodic monopoles, also called monopole walls, determining their spectral data and computing the dimensions of their moduli spaces. Using spectral data we identify the moduli, and compare our results with a perturbative analysis. We also identify an SL(2; Z) action on monopole walls, in which the S transformation corresponds to the Nahm transform. arXiv:1202.1294v1 [hep-th] 6 Feb 2012 Contents 1 Introduction and Motivation 2 1.1 Monopole Wall . 2 1.1.1 Asymptotic Conditions . 3 1.1.2 Singularities . 4 1.2 Moduli and Parameters . 5 2 String Theory Dualities 7 3 Spectral Approach 11 3.1 Spectral data . 11 3.1.1 x-spectral data . 11 3.1.2 y-spectral data . 12 3.1.3 z-spectral data . 13 3.1.4 Examples . 13 3.2 Newton Polygon . 14 3.2.1 Amoebas . 16 3.2.2 Examples . 16 4 Moduli and Asymptotics 22 4.1 Newton Polygon from the Boundary Data . 22 4.2 Number of Moduli . 22 5 Nahm Transform and SL(2; Z) Action 26 5.1 The Nahm transform . 26 5.2 SL(2; Z) Action . 27 6 Perturbative Approach 29 6.1 The case (Q−;Q+) = (0; 1)........................... 29 6.2 The case Q± =1 ................................ 32 6.3 Kuranishi Complex . 36 7 Conclusions 37 A A four-dimensional detour 38 B Theta-function Relations 39 1 1 Introduction and Motivation The classical dynamics of monopoles was found to be intimately related to quantum gauge theories in three [1, 2, 3] and four [4] dimensions.
    [Show full text]
  • Equivariant Instanton Homology
    EQUIVARIANT INSTANTON HOMOLOGY S. MICHAEL MILLER Abstract. We define four versions of equivariant instanton Floer homology (I`;I´;I8 and I) for a class of 3-manifolds and SOp3q-bundles over them including all rational homology spheres. These versions are analogous to the four flavors of monopoler and Heegaard Floer homology theories. This con- struction is functorial for a large class of 4-manifold cobordisms, and agrees with Donaldson's definition of equivariant instanton homology for integer ho- mology spheres. Furthermore, one of our invariants is isomorphic to Floer's instanton homology for admissible bundles, and we calculate I8 in all cases it is defined, away from characteristic 2. The appendix, possibly of independent interest, defines an algebraic con- struction of three equivariant homology theories for dg-modules over a dg- algebra, the equivariant homology H`pA; Mq, the coBorel homology H´pA; Mq, and the Tate homology H8pA; Mq. The constructions of the appendix are used to define our invariants. arXiv:1907.01091v1 [math.GT] 1 Jul 2019 1 2 S. MICHAEL MILLER Contents Introduction 3 Survey of the homology theories 8 Organization 11 1. Configuration spaces and their reducibles 13 1.1. Framed connections and the framed configuration space 14 1.2. The equivalent Up2q model 15 1.3. Reducibles on 3-manifolds 16 1.4. Configurations on the cylinder 20 1.5. Configurations on a cobordism 23 2. Analysis of configuration spaces 26 2.1. Tangent spaces 26 2.2. Hilbert manifold completions 27 2.3. The 4-dimensional case 29 3. Critical points and perturbations 33 3.1.
    [Show full text]
  • Hep-Th] 16 Oct 2018 Contents
    Preprint typeset in JHEP style - HYPER VERSION TCD-MATH 18{12 Donaldson-Witten theory, surface operators and mock modular forms Georgios Korpas School of Mathematics, Trinity College, Dublin 2, Ireland Hamilton Mathematical Institute, Trinity College, Dublin 2, Ireland E-mail: [email protected] Abstract: We revisit the u-plane integral of the topologically twisted = 2 su- N per Yang-Mills theory, the Donaldson-Witten theory, on a closed four-manifold X with embedded surfaces that support supersymmetric surface operators. This integral math- ematically corresponds to the generating function of the ramified Donaldson invariants of X. By including a -exact deformation to the u-plane integral we are able to re- Q express its integrand in terms of a total derivative with respect to an indefinite theta function, a special kind of mock modular form. We show that for specific K¨ahlersur- faces of Kodaira dimension the integral localizes at the cusp at infinity of the −∞ Coulomb branch of the theory. arXiv:1810.07057v1 [hep-th] 16 Oct 2018 Contents 1. Introduction 2 2. Ramified Donaldson invariants 8 3. Review of surface operators in four dimensions 10 4. The u-plane integral 12 4.1 A note about four-manifolds 13 4.2 Remarks on the u-plane integral 14 5. The ramified u-plane integral 16 5.1 The gravitational couplings 17 5.2 The Grassmann and photon path integral 18 5.3 The ramified u-plane integral 23 5.4 Modularity of the ramified u-plane integrand 24 5.5 The ramified u-plane integral as a total derivative 26 5.6 Wall-crossing formula 31 6.
    [Show full text]