Lectures on the Physical Approach to Donaldson and Seiberg-Witten Invariants of Four-Manifolds

Total Page:16

File Type:pdf, Size:1020Kb

Lectures on the Physical Approach to Donaldson and Seiberg-Witten Invariants of Four-Manifolds Preprint typeset in JHEP style - HYPER VERSION Lectures On The Physical Approach To Donaldson And Seiberg-Witten Invariants Of Four-Manifolds Gregory W. Moore NHETC and Department of Physics and Astronomy, Rutgers University [email protected] Abstract: These are lecture notes for lectures at the Simons Center for Geometry and Physics scheduled for March 22-24, 2017. A truncated version was delivered at the Pre- String-Math school in Hamburg, July 17-18, 2017. THESE NOTES ARE UNDER CON- STRUCTION. They are available at http://www.physics.rutgers.edu/∼gmoore/SCGP- FourManifoldsNotes-2017.pdf COMMENTS WELCOME. August 25, 2017 Contents 1. Some Background History And The Plan Of The Lectures 3 1.1 Fundamental Group 3 1.2 Intersection Form 4 1.3 Whitehead Theorem 5 1.4 Serre's Theorem 5 1.5 Freedman's Theorem: Homeomorphism Type 5 1.6 Donaldson's Theorems: Diffeomorphism type 6 2. Plan For The Rest Of The Lectures 8 2.1 Acknowledgements 8 3. A Brief Review Of Cohomological TFT Path Integrals 9 3.1 A Nice Integral 9 3.2 Supersymmetric Representation Of The Nice Integral 10 3.2.1 Superspace 10 3.2.2 Rewriting The Integral 11 3.2.3 A Generalization: The Case Of \Nonzero Index" 13 3.3 Thom Isomorphism Theorem 14 3.4 The Localization Formula 14 3.5 Equivariance 16 3.6 The Fields, Equations, Symmetries Paradigm 18 4. Twisted N=2 SYM In Mathai-Quillen Form 19 4.1 Fields, Equations, Symmetries 19 4.2 Relation To Twisted N = 2 Field Theories 20 4.2.1 N = 2 Vectormultiplets 21 4.2.2 Topological Twisting 22 4.3 A Little Bit About The Moduli Space Of Instantons 24 4.3.1 Deformation Complex And Virtual Dimension 25 4.3.2 The Virtual Dimension Is The Ghost Number Anomaly 26 4.3.3 Some Essential Mathematical Properties Of Instanton Moduli Space 26 4.3.4 Instanton Moduli Space As The Q-Fixed-Point Locus 26 4.4 Observables 27 4.5 The Donaldson Polynomials 29 4.6 The Donaldson-Witten Partition Function 31 4.7 Generalizations: Lagrangian N=2 Theories 33 4.7.1 Hypermultiplets 33 4.7.2 Charge One Hypermultiplets In A G = U(1) Theory: Spin-c Struc- tures And The Seiberg-Witten Equations 34 { 1 { 4.7.3 Generalizing The Donaldson-Witten Partition Function 35 4.8 So, What Good Is It? 36 5. Mapping The UV Theory To The IR Theory 37 5.1 Motivation For Studying Vacuum Structure 37 5.2 The Classical Vacua And Spontaneous Symmetry Breaking 38 5.3 Quantum Vacua And The LEET 40 5.3.1 The General N=2 Supersymmetric LEET Describing Fluctuations 4 On The Coulomb Branch For Theory On R 42 5.4 Seiberg And Witten's LEET For G = SU(2) 44 5.4.1 An Alternative Description 46 5.4.2 An Important Symmetry 47 5.4.3 Seiberg-Witten Curves In General 47 5.5 BPS States 47 5.6 The Low Energy Theory Near u = ±Λ2 50 5.7 Putting The Twisted LEET On A General Four-Manifold X 51 5.7.1 Gravitational Couplings On The Coulomb Branch 52 5.7.2 Gravitational Couplings On The Higgs Branch 55 5.8 Mapping Operators From UV To IR 56 5.8.1 Mapping Operators On The Coulomb Branch 56 5.8.2 Mapping Operators On The Higgs Branch 56 5.8.3 Contact Terms 56 6. General Form Of The Higgs Branch Contribution 57 7. The Coulomb Branch Contribution aka The u-Plane integral 59 7.1 The Integral Over Fermions 59 7.2 The Photon Path Integral 60 7.3 Final Expression For The u-plane Integral 60 7.4 Metric Dependence: Wall-crossing 63 8. Derivation Of The Relation Between SW And Donaldson Invariants. 65 9. Simple Type And Witten's Conjecture 66 10. Applications Of The Physical Approach: Postdictions 67 10.1 SW=GW For Symplectic Manifolds 67 10.2 The Blowup Formula 67 10.3 Meng-Taubes: SW Invariants And Reidemeister-Milnor Torsion 68 11. Applications Of The Physical Approach: Predictions 68 11.1 New Formulae For Class Numbers 68 11.2 Donaldson Invariants For Other Simple Gauge Groups 68 11.3 The Geography Problem 69 { 2 { 11.3.1 Superconformal Singularities 69 11.4 Superconformal Simple Type And The Generalized Noether Inequality 70 12. Possible Future Directions. 71 A. Orientation, Spin, Spinc, P in±, And Pinc Structures On Manifolds 72 A.1 Reduction Of Structure Group: General Discussion 72 A.2 Obstructions To Spin And Pin Structures 73 A.3 Spinc Structures On Four-Manifolds 75 A.4 't Hooft Flux 76 B. The 11/8 Conjecture 76 C. Theorems On SW Moduli Space 77 D. Constraints On π1 Of Three-Manifolds 77 1. Some Background History And The Plan Of The Lectures Let us summarize some of the standard results on 4-manifolds. See the texbooks [8, 16, 17, 48] for details. In these lectures X will always denote a compact, connected, orientable four-manifold without boundary. 1.1 Fundamental Group ∼ First, if π is any finitely presented group then there is a compact 4-fold X with π1(X) = π. 1 Since the word problem for groups is undecidable this means we cannot hope to classify all compact 4-manifolds. But we can still hope to understand simply connected 4-folds. 1To prove this theorem of Markov one takes a connected sum of S1 ×S3, one summand for each generator in the finite presentation of π. Choose a basepoint in the connected sum and a representative of each of the generators of the fundamental group. Now in the presentation of π each relation corresponds to a word in these generators, and hence corresponds to an embedded circle in the connected sum. Draw a tubular neighborhood around each of the embedded circles so that the neighborhood is D × S1. Displace these so that they do not intersect. Next do surgery to replace by neighborhoods of the form D~ × S1 where now the longitude becomes contractible in the disk D~. Finally, using the Seifert-van Kampen theorem one can prove that the resulting manifold has π1(X) =∼ π. Four is the first dimension in which this happens: See Appendix D below. { 3 { 1.2 Intersection Form There is another interesting topological invariant, the intersection number. The intersection number of an oriented compact four-manifold gives an invariant: 2 2 H (X; Z) × H (X; Z) ! Z (1.1) It is an invariant of the homotopy type of X. Poincar´eduality says that on free group 2 2 H (X; Z)=Tors(H (X; Z)) of rank b2(X) it is a perfect pairing, and therefore corresponds to a symmetric integral unimodular bilinear form QX . If α is a cohomology class Poincar´edual to S(α) then we the oriented intersection number can be written in several different ways: Z Z S(α) · S(β) = αβ = β (1.2) X S(α) 2 2 The way the group H (X; Z)=Tors(H (X; Z)) will enter in our considerations is as a lattice in the vector space of DeRham cohomology classes ¯ 2 2 H (X) ⊂ HDR(X) (1.3) defined as the set of classes with integral periods. Of course this only makes sense when X has a differentiable structure. In that case 2 ∼ 2 2 H¯ (X) = H (X; Z)=Tors(H (X; Z)) (1.4) and Z QX (!1;!2) := !1 ^ !2 (1.5) X b+ b− The intersection form QX has signature (+1 2 ; −1 2 ). That is, if we consider it as a 2 quadratic form on the real vector space H (X; Z) ⊗ R then, after a suitable choice of basis + it can be brought to this diagonal form. More invariantly, b2 is the rank of the maximal 2 sublattices in H (X; Z) on which the restriction of QX is positive definite. When X is oriented and has a Riemannian metric (or just a conformal structure) we can define a Hodge dual ∗ :Ω2(X) ! Ω2(X). It satisfies ∗2 = +1 and so we can speak of self-dual forms: ∗! = ! (1.6) and anti-self-dual forms: ∗! = −! (1.7) 2 The Hodge theorem allows us to identify H (X; R) with the space of harmonic two-forms 2 + H (X) and ∗ preserves this space. Then we can interpret b2 as the dimension of the vector − space of harmonic self-dual two-forms, and b2 as the dimension of the vector space of harmonic anti-self-dual two-forms. 2 2 Remark: Later on we will be working with various torsors of H¯ (X) inside H (X; R). For example, given an integral liftw ¯2(X) of w2(X) we will form 1 Γ := w¯ (X) + H¯ 2(X) ⊂ H2(X; ) (1.8) w 2 2 R Similar torsors associated to integral lifts of other mod-two classes will also play a role. { 4 { 1.3 Whitehead Theorem In 1949 J.H.C. Whitehead introduced the notion of CW decomposition of manifolds to classify homotopy type. In [35] Milnor observed that an interesting consequence is that two ∼ simply connected oriented four-manifolds X1;X2 are homotopy equivalent iff QX1 = QX2 . To prove this one notes that the cell-decomposition of a simply connected four-fold is _ 2 4 Si _ D (1.9) i 3 W 2 and is determined by the homotopy class of a map f : S ! i Si , which can be related to the intersection matrix. 2 1.4 Serre's Theorem Thus we come to the classification of integral unimodular forms.
Recommended publications
  • 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]
  • 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]
  • MATHEMATICAL USES of GAUGE THEORY S. K. Donaldson Imperial
    MATHEMATICAL USES OF GAUGE THEORY S. K. Donaldson Imperial College, London 1. Introduction 1.1. This article surveys some developments in pure mathematics which have, to vary- ing degrees, grown out of the ideas of gauge theory in Mathematical Physics. The realisation that the gauge fields of particle physics and the connections of differen- tial geometry are one and the same has had wide-ranging consequences, at different levels. Most directly, it has lead mathematicians to work on new kinds of questions, often shedding light later on well-established problems. Less directly, various funda- mental ideas and techniques, notably the need to work with the infinite-dimensional gauge symmetry group, have found a place in the general world-view of many math- ematicians, influencing developments in other fields. Still less direct, the workin this area—between geometry and mathematical physics—has been a prime exam- ple of the interaction between these fields which has been so fruitful over thepast thirty years. The body of this paper is divided into three sections: roughly corresponding to Analysis, Geometry and Topology. However the different topics come together in many different ways: indeed the existence of these links between the topics isone the most attractive features of the area. 1.2 Gauge transformations. We do not have space in this article to review the usual foundational mate- rial on connections, curvature and related differential geometric constructions: for these we refer to standard texts. We will however briefly recall the notions of gauge transformations and gauge fixing. The simplest case is that of abelian gauge theory—connections on a U(1)-bundle, say over R3.
    [Show full text]
  • Topological Quantum Field Theory and Four-Manifolds1
    RUNHETC-2000-30 hep-th/0008100 August 2000 Topological Quantum Field Theory and Four-Manifolds1 Marcos Marino~ 2 New High Energy Theory Center, Rutgers University Piscataway, NJ 08855, USA. Abstract I review some recent results on four-manifold invariants which have been obtained in the context of topological quantum field theory. I focus on three different aspects: (a) the computation of correlation functions, which give explicit results for the Donaldson invariants of non-simply connected manifolds, and for generalizations of these invariants to the gauge group SU(N); (b) compactifications to lower dimensions, and relations with three-manifold topology and with intersection theory on the moduli space of flat connections on Riemann surfaces; (c) four-dimensional theories with critical behavior, which give some remarkable constraints on Seiberg-Witten invariants and new results on the geography of four-manifolds. 1Talk given at the 3rd ECM, Barcelona, July 2000. [email protected] 1 Introduction One of the original motivations of Witten [19] to introduce topological quantum field theories (TQFT) was precisely to understand the Donaldson invariants of four-manifolds from a physical point of view. This approach proved its full power in 1994, when it was realized that all the information of Donaldson theory was contained in the Seiberg-Witten (SW) invariants. These new invariants led to a true revolution in four-dimensional topol- ogy, and they were introduced in [20] based on nonperturbative results in supersymmetric quantum field theory. The relation between Donaldson invariants and SW invariants was fully clarified in an important paper by G. Moore and E. Witten [15], where they introduce the so called u-plane integral.
    [Show full text]
  • Donaldson-Witten Theory
    Third International Conference on Geometry, Integrability and Quantization June 14-23, 2001, Varna, Bulgaria Iva'i'lo M. Mladenov and Gregory L. Naber, Editors Coral Press, Sofia 2001, pp 105-140 INVARIANTS OF SMOOTH FOUR-MANIFOLDS: TOPOLOGY, GEOMETRY, PHYSICS GREGORY NABER Department of Mathematics, California State University Chico, CA 95929-0525, USA Abstract. The profound and beautiful interaction between smooth four- manifold topology and the quantum theory of fields often seems as impenetrable as it is impressive. The objective of this series of lectures is to provide a very modest introduction to this interaction by describing, in terms as elementary as possible, how Atiyah and Jeffrey [1] came to view the partition function of Witten’s first topological quantum field theory [21], which coincides with the zero-dimensional Donaldson invariant, as an “Euler characteristic” for an infinite-dimensional vector bundle. 1. Motivation: Donaldson-Witten Theory From 1982 to 1994 the study of smooth four-manifolds was dominated by the ideas of Simon Donaldson who showed how to construct remarkably sensitive differential topological invariants for such a manifold B from moduli spaces of anti-self-dual connections on principal §U(2) or § 0 (3 ) bundles over B (we will describe the simplest of these in Section 4). In 1988, Edward Witten [21], prompted by Atiyah, constructed a quantum field theory in which the Donaldson invariants appeared as expectation values of certain observables. This came to be known as Donaldson- Witten theory and the action underlying it was of the form B ( 1. 1) 105 106 G. Naber where A, 0 and rj are 0-forms, to and x are 1-forms and A is a self-dual 2 -form, all in the adjoint representation (we will explain all of this in more detail in Section 6).
    [Show full text]
  • Lectures on Heegaard Floer Homology
    Clay Mathematics Proceedings Volume 5, 2005 Lectures on Heegaard Floer Homology Peter Ozsv´ath and Zolt´an Szab´o These are notes for the second lecture course on Heegaard Floer homology in the Clay Mathematics Institute Budapest Summer School in June 2004, taught by the first author.1 Although some of the topics covered in that course did not make it into these notes (specifically, the discussion of “knot Floer homology” which instead is described in the lecture notes for the first course, cf. [44]), the central aim has remained largely the same: we have attempted to give a fairly direct path towards some topological applications of the surgery long exact sequence in Heegaard Floer homology. Specifically, the goal was to sketch with the minimum amount of machinery necessary a proof of the Dehn surgery characterization of the unknot, first established in a collaboration with Peter Kronheimer, Tomasz Mrowka, and Zolt´an Szab´o. (This problem was first solved in [29] using Seiberg- Witten gauge theory, rather than Heegaard Floer homology; the approach outlined here can be found in [39].) In Lecture 1, the surgery exact triangle is stated, and some of its immediate applications are given. In Lecture 2, it is proved. Lecture 3 concerns the maps induced by smooth cobordisms between three-manifolds. This is the lecture con- taining the fewest technical details – though most of those can be found in [34]. In Lecture 4, we show how the exact triangle, together with properties of the maps appearing in it, lead to a proof of the Dehn surgery classification of the unknot.
    [Show full text]
  • XIE-DISSERTATION-2016.Pdf (296.1Kb)
    On the Framed Singular Instanton Floer Homology From Higher Rank Bundles The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters Citation Xie, Yi. 2016. On the Framed Singular Instanton Floer Homology From Higher Rank Bundles. Doctoral dissertation, Harvard University, Graduate School of Arts & Sciences. Citable link http://nrs.harvard.edu/urn-3:HUL.InstRepos:33493482 Terms of Use This article was downloaded from Harvard University’s DASH repository, and is made available under the terms and conditions applicable to Other Posted Material, as set forth at http:// nrs.harvard.edu/urn-3:HUL.InstRepos:dash.current.terms-of- use#LAA On the Framed Singular Instanton Floer Homology from Higher Rank Bundles A dissertation presented by Yi Xie to The Department of Mathematics in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the subject of Mathematics Harvard University Cambridge, Massachusetts April 2016 © 2016 { Yi Xie All rights reserved. Dissertation Advisor: Professor Peter B. Kronheimer Author: Yi Xie On the Framed Singular Instanton Floer Homology from Higher Rank Bundles Abstract In this thesis we study the framed singular instanton Floer homology defined by by Kronheimer and Mrowka in [12]. Given a 3-manifold Y with a link K and δ 2 H2(Y; Z) satisfying a non-integral condition, they define the singular instanton Floer homology group IN (Y; K; δ) by counting singular flat P SU(N)-connections with fixed holonomy around K. N Take a point x 2 Y nK, classical point class operators µi(x) of degree 2i on I (Y; K; δ) can be defined as in the original Floer theory defined by smooth connections.
    [Show full text]
  • Monopoles and Relations Between Donaldson and Seiberg-Witten Invariants
    Introduction and main results Review of Donaldson and Seiberg-Witten invariants SO(3)-monopole cobordism Superconformal simple type and Witten's formula Local and global gluing maps for SO(3) monopoles Bibliography SO(3) monopoles and relations between Donaldson and Seiberg-Witten invariants Paul Feehan and Thomas Leness Rutgers University, New Brunswick & Florida International University Wednesday, August 9, 2017 Low Dimensional Topology and Gauge Theory Banff International Research Station Casa Matem´aticaOaxaca 1 / 132 Introduction and main results Review of Donaldson and Seiberg-Witten invariants SO(3)-monopole cobordism Superconformal simple type and Witten's formula Local and global gluing maps for SO(3) monopoles Bibliography Outline 1 Introduction and main results 2 Review of Donaldson and Seiberg-Witten invariants 3 SO(3)-monopole cobordism 4 Superconformal simple type and Witten's formula 5 Local and global gluing maps for SO(3) monopoles 6 Bibliography 2 / 132 Introduction and main results Review of Donaldson and Seiberg-Witten invariants Introduction SO(3)-monopole cobordism Statements of main results Superconformal simple type and Witten's formula Further results and future directions Local and global gluing maps for SO(3) monopoles Bibliography Introduction and main results 3 / 132 Introduction and main results Review of Donaldson and Seiberg-Witten invariants Introduction SO(3)-monopole cobordism Statements of main results Superconformal simple type and Witten's formula Further results and future directions Local and global gluing maps for SO(3) monopoles Bibliography IntroductionI In his article [52], Witten (1994) Gave a formula expressing the Donaldson series in terms of Seiberg-Witten invariants for standard four-manifolds, Outlined an argument based on supersymmetric quantum field theory, his previous work [51] on topological quantum field theories (TQFT), and his work with Seiberg [44, 45] explaining how to derive this formula.
    [Show full text]
  • Topological Quantum Field Theory
    PUBLICATIONS MATHÉMATIQUES DE L’I.H.É.S. MICHAEL F. ATIYAH Topological quantum field theory Publications mathématiques de l’I.H.É.S., tome 68 (1988), p. 175-186 <http://www.numdam.org/item?id=PMIHES_1988__68__175_0> © Publications mathématiques de l’I.H.É.S., 1988, tous droits réservés. L’accès aux archives de la revue « Publications mathématiques de l’I.H.É.S. » (http:// www.ihes.fr/IHES/Publications/Publications.html) implique l’accord avec les conditions géné- rales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou im- pression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ TOPOLOGICAL QUANTUM FIELD THEORIES by MICHAEL ATIYAH To Rene Thorn on his 65th birthday. 1. Introduction In recent years there has been a remarkable renaissance in the relation between Geometry and Physics. This relation involves the most advanced and sophisticated ideas on each side and appears to be extremely deep. The traditional links between the two subjects, as embodied for example in Einstein's Theory of General Relativity or in Maxwell's Equations for Electro-Magnetism are concerned essentially with classical fields of force, governed by differential equations, and their geometrical interpretation. The new feature of present developments is that links are being established between quantum physics and topology. It is no longer the purely local aspects that are involved but their global counterparts. In a very general sense this should not be too surprising.
    [Show 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.
    [Show full text]