Hyper-Kähler Geometry, Magnetic Monopoles, and Nahm's Equations

Total Page:16

File Type:pdf, Size:1020Kb

Hyper-Kähler Geometry, Magnetic Monopoles, and Nahm's Equations Hyper-K¨ahlerGeometry, Magnetic Monopoles, and Nahm's Equations John Benjamin McCarthy Jaime Mendizabal Bruno Ricieri Souza Roso Supervised by Professor Michael Singer 3rd May 2019 Project Report Submitted for the London School of Geometry and Number Theory Abstract In this report we investigate the correspondence between SU(2) magnetic 3 monopoles and solutions to the Nahm equations on R . Further, we invest- igate a variation of this result for singular Dirac monopoles. To this end, the report starts with a review of the necessary spin geometry and hyper-K¨ahler geometry required, as well as the definition of magnetic monopoles and the Nahm equations. The final chapter consists of a presentation of Nakajima's proof of the monopole correspondence, and an investigation of how these techniques can be applied to the case of singular Dirac monopoles. i Contents Introduction 1 1 Preliminaries 3 1.1 Spin Geometry . .3 1.1.1 Clifford algebras and the Spin group . .3 1.1.2 Spin and Spinor Bundles . .6 1.1.3 Dirac Operators . .8 1.2 K¨ahlerand Hyper-K¨ahlerManifolds . 13 1.3 Hyper-K¨ahlerQuotients . 15 2 Magnetic Monopoles 18 2.1 Yang-Mills-Higgs Equations . 18 2.2 SU(2) Monopoles . 19 2.3 U(1) Monopoles . 21 2.3.1 Dirac Monopole . 22 2.3.2 General Case . 23 2.4 Moduli Space of SU(2) Monopoles . 23 3 Nahm's Equations 28 3.1 Instantons . 28 3.2 Dimensional Reduction and Nahm's Equations . 29 4 Correspondence between Monopoles and Nahm's Equations 33 4.1 SU(2) Monopoles and Nahm's Equations . 33 4.1.1 Monopoles to Solutions of Nahm's Equations . 36 4.1.2 Solutions of Nahm's Equations to Monopoles . 48 4.2 Singular Monopoles and Nahm's Equations . 58 4.2.1 b-Geometry and the case s =0 ................ 60 4.2.2 sc-Geometry and the case s > 0................ 67 4.2.3 Limit of Nahm Data . 69 References 73 ii Introduction It is a well-known observation in classical electromagnetism that all magnetic fields appear to be generated by magnetic dipoles. This is in contrast with electric fields, which may be generated by particles of a single parity. In the landmark paper [Dir31] in 1931, Paul Dirac proposed a resolution to the mystery of why electric charge is quantized by proposing the existence of magnetic monopoles. Through Dirac's work, it would be possible to prove that electric charge must be quantized provided the existence of even a single magnetic monopole in the universe. Despite this and other strong theoretical evidence for the existence of such elementary particles, none have yet been observed. Mathematically, magnetic monopoles may be modelled as solutions of the Bogo- molny equations on R3, FA = ?dAΦ: Similarly to the theory of instantons on R4 modelling other elementary particles, solutions to the Bogomolny equations are gauge-theoretic data on R3, and are hence of considerable mathematical and geometric interest independent of their physical origins. In particular, moduli spaces of solutions to equations such as the Bogomolny equations are known to, in many cases, provide powerful invariants of the un- derlying spaces, and give new tools for solving many problems in geometry and topology. This is exemplified by the famous Donaldson theory and Seiberg-Witten theory in four-manifold topology. As such, there is much interest in finding new ways of constructing solutions to these gauge-theoretic equations. The first major breakthrough in this area came with the novel ADHM construction developed by Atiyah, Drinfeld, Hitchin, and Manin in [ADHM78], in order to find solutions of the anti-self-dual Yang-Mills equations on R4 using essentially algebraic data. In [Nah83] Nahm developed, in analogy with the ADHM construction, a method for constructing solutions to the Bogomolny equations from gauge-theoretic data over an interval. In [Hit83] Hitchin showed that this technique can in fact be used to find all magnetic monopoles, and considerable work was done by many others around this time to extend these results to other situations, in particular with varying choices of gauge group. 1 The work of Nahm and Hitchin involved passing through intermediate algebraic- geometric data, spectral curves in twistor spaces. In [Nak93] Nakajima gave a purely differential-geometric proof of the correspondence of Hitchin, phrased in language that is readily generalisable to the theory of Nahm transforms. In this report, we will review the correspondence between magnetic monopoles and solutions of the Nahm equations through the eyes of Nakajima's differential geometric techniques, and investigate a variation of this result for singular mag- netic monopoles of the simplest type { so called Dirac monopoles. In Chapter 1 we recall the necessary preliminaries for these constructions, in- cluding elementary spin geometry and the basics of hyper-K¨ahlergeometry. In Chapter 2 we describe in more detail the definition of a magnetic mono- pole and the construction of the hyper-K¨ahlermoduli space of solutions to the Bogomolny equations. In Chapter 3 the Nahm equations and their relation to the anti-self-duality equations on R4 are described. Finally, in Chapter 4 we present (part of) the proof of the correspondence of magnetic monopoles with the Nahm equations as shown by Nakajima, as well as an investigation of the correspondence for singular Dirac monopoles. This involves the theory of b-geometry and scattering calculus, and a mild amalgamation of these concepts applicable in this case. The authors wish to thank Professor Michael Singer for providing guidance in learning the material presented in this report, and for contributing most of the ideas in determining the correspondence between singular magnetic monopoles and appropriate Nahm data. 2 Chapter 1 Preliminaries In this chapter we will give some preliminary results which will be necessary for the development of the project. 1.1 Spin Geometry Here we will lay out the essential definitions and some useful results about Spin geometry and Dirac operators. Many of these concepts can be studied in greater generality, but we will often restrict ourselves to the case we are interested in. We will go over many of the results without proofs, specially at the beginning. A more detailed and rigorous exposition can be found Lawson and Michelsohn's Spin Geometry [LM89], whose notation we follow closely, and in Friedrich's Dirac Operators in Riemannian Geometry [Fri00]. 1.1.1 Clifford algebras and the Spin group Definition 1.1.1. Let (V; q) be a vector space with a quadratic form. Its Clifford algebra is defined as Cl(V; q) := T (V )=Iq(V ); where 1 M T (V ) = V ⊗k k=0 is the tensor algebra of V and Iq(V ) is the ideal of T (V ) generated by elements of the form v ⊗ v + q(v) for v 2 V . The product of two elements '; 2 Cl(V; q) will be denoted by '· , or simply by ' . 3 In other words, the Clifford algebra of a vector space is the algebra generated by V under the relations v2 = −q(v)1 for v 2 V . Equivalently, if q(v; w) = 1 2 (q(v+w)−q(v)−q(w)) is the polarisation of the quadratic form (if the underlying field has characteristic different from 2), then we have the relations v · w + w · v = −2q(v; w): It can be shown that Cl(V; q) is isomorphic to V•V as a vector space (it will be isomorphic as an algebra precisely when q ≡ 0). In particular, V will be naturally embedded as a vector space. From now on, for simplicity, we will take our vector space to be finite dimen- sional and real, and we will take the quadratic form to be positive definite. This means that (V; q) will be isomorphic to Rn with the standard metric, for some n. Whenever we take (V; q) to be explicitly Rn with the standard metric, we will write Cl(n) for the Clifford algebra. It will be useful to consider as well the complexi- fication of the Clifford algebra, which will be denoted by Cl(V; q) := Cl(V; q) ⊗ C. Firstly, let us consider Cl×(V; q) = f' 2 Cl(V; q): 9'−1 such that ''−1 = '−1' = 1g; which has a group structure. This group is, in fact, a Lie group of dimension 2n, and its Lie algebra can be identified with Cl(V; q), with the Lie bracket being the commutator [x; y] = xy − yx. Furthermore, analogously to matrix Lie groups, the adjoint representation on the Lie algebra is given by conjugation. We can now define the Spin group as a subgroup of Cl×(V; q). Definition 1.1.2. Given (V; q), we define the Spin group as Spin(V; q) := fv1v2 ··· v2k 2 Cl(V; q): vi 2 V and q(vi) = 1g: That is, it is the subgroup of Cl×(V; q) formed by products of an even amount of unit vectors. It forms a group, since multiplying two elements clearly gives another element of the group, and the element v2k ··· v2v1 is the inverse of v1v2 ··· v2k. Again, if (V; q) is taken to be explicitly Rn with the standard metric, then we denote the Spin group by Spin(n). The Spin group acts on Cl(V; q) through the adjoint representation, and can be shown that this action actually preserves V ⊂ Cl(V; q). This gives a group homomorphism ξ : Spin(V; q) ! SO(V; q). It turns out that this is actually a covering. Theorem 1.1.3. Given (V; q), the map ξ : Spin(V; q) ! SO(V; q) is a 2-to-1 cov- ering.
Recommended publications
  • 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]
  • 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]
  • 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]
  • Self-Dual Yang-Mills and the Nahm Transform
    Self-dual Yang-Mills and the Nahm transform Josh Cork∗ November/December 2020 These notes are intended as supplementary material for the lectures on self-dual Yang- Mills and the Nahm transform, delivered online as part of the London Mathematical Society lectures on topological solitons. The notes follow the same structure as the video lectures, but contain some clarifications, additional exercises, and references for further reading and study. If there are any comments, corrections, or suggestions, please feel free to email me at the address at the bottom of this page. 1 Lecture 1: Yang-Mills theory, and instantons 1.1 Introduction The Yang-Mills equations are a particularly nice set of partial-differential-equations, with both mathematical and physical interest. A special case of the Yang-Mills equations are the self-dual Yang-Mills equations, and their finite-energy solutions are called instantons. Their physical importance (and original motivation) lies in quantum field theory, where the instantons are seen as pseudo-particles which describe tunnelling trajectories between classically forbidden regions. A good discussion of this physical understanding may be found in [CL84, SS98]. Another physical application is found in holographic QCD, where instantons are seen to approximate nucleons [AM89, SS05, Sut10]. Later, mathematicians realised that there is a natural interpretation of the equations geometrically, enabling a more general understanding of the topic mathematically. For example, mathematically this tunnelling effect may be regarded as saying that instantons are the gradient flows between critical points of the Chern Simons functional. An aim of this lecture is to build the mathematical machinery needed to understand the self-duality equations, and study some qualitative properties.
    [Show full text]
  • Spectral Curves, and the Equations of Bogomolny and Nahm
    Monopoles on R3, Spectral Curves, and the Equations of Bogomolny and Nahm Alexander B. Atanasov Abstract This paper introduces the Bogomolny equations, describing SU(n) monopoles of Yang- Mills-Higgs theory in three dimensional Euclidean space. After restricting to the case of SU(2), we describe the geometry of the monopole solution space via a scattering approach of Hitchin [1]. We demonstrate how monopole solutions give rise to a spectral curve of eigenval- 1 ues on T CP and how this may more clearly be understood in terms of a rational map idea of Donaldson [2]. We then introduce the Nahm equations of [3] as an application of the ADHM 3 idea to finding solutions to the self-duality conditions in the reduced case of R , and illustrate the equivalence of the Bogomolny and Nahm equations. Finally, we generalize these ideas by introducing the Nahm transform: a nonabelian generalization of the Fourier transform that relates the self-dual vector bundles on one space to vector bundles on another. Introduction The goal of this paper is to give the reader a gentle introduction to the notable discoveries in the study of monopoles in R3. In section 1, we give a review of the mathematics of gauge theory. We make use of of these techniques in section 2 to give two derivations of the Bogomolny equations. The first approach derives the equations directly from the anti-self-duality (ASD) conditions for instanton solutions in 4 R by treating the fourth component of the connection 1-form, A4, as a scalar field φ and ignoring translations @4 along the x4 direction.
    [Show full text]
  • On Hyperbolic Monopoles
    On Hyperbolic Monopoles Joseph Y.C. Chan a thesis submitted to The University of Melbourne towards the degree of Doctor of Philosophy supervised by Dr. Paul Norbury Associate Professor Department of Mathematics and Statistics The University of Melbourne April 25, 2017 Contents Chapter 1. Introduction1 Part 1. Euclidean Monopoles 9 Chapter 2. SU(2) monopoles 11 Chapter 3. The Nahm equations 21 Chapter 4. Monopoles of the classical groups 27 Part 2. Instantons 33 Chapter 5. Instantons 35 Chapter 6. The ADHM construction 41 Chapter 7. Holomorphic bundles over P2 47 Part 3. Hyperbolic Monopoles 53 Chapter 8. Circle-invariant instantons 55 Chapter 9. Discrete Nahm equations and boundary values 67 Chapter 10. Symmetric examples and ansätze 71 Chapter 11. A calculation by localisation 75 Chapter 12. The generalised discrete Nahm equations 83 Chapter 13. The rational map and boundary values revisited 89 Chapter 14. Spectral curves 97 Chapter 15. The classical Lie groups 103 Chapter 16. Conclusion 107 Bibliography 109 i CHAPTER 0. CONTENTS Declaration The contents of Chapters1 to 10 are expository and the remaining chapters of the thesis from Chapter 11 onwards are my original contributions. Chapter 14 is a collaboration with Michael Murray. Letter But, at night, under the full moon, they (mathematicians) dream, they float among the stars and wonder at the miracle of the heav- ens. They are inspired. Without dreams there is no art, no math- ematics, no life. - Sir Michael Atiyah. One begins the undertaking that is doctoral study with the illusion that one will produce a Great Work. One finishes stripped of those illusions.
    [Show full text]
  • A Journey Between Two Curves 3 Description [29]
    Symmetry, Integrability and Geometry: Methods and Applications SIGMA 3 (2007), 043, 9 pages A Journey Between Two Curves⋆ 1 2 Sergey A. CHERKIS † † 1 † School of Mathematics, Trinity College Dublin, Ireland E-mail: [email protected] 2 † Hamilton Mathematics Institute, TCD, Dublin, Ireland Received October 31, 2006, in final form February 25, 2007; Published online March 11, 2007 Original article is available at http://www.emis.de/journals/SIGMA/2007/043/ Abstract. A typical solution of an integrable system is described in terms of a holomorphic curve and a line bundle over it. The curve provides the action variables while the time evolution is a linear flow on the curve’s Jacobian. Even though the system of Nahm equa- tions is closely related to the Hitchin system, the curves appearing in these two cases have very different nature. The former can be described in terms of some classical scattering problem while the latter provides a solution to some Seiberg–Witten gauge theory. This note identifies the setup in which one can formulate the question of relating the two curves. Key words: Hitchin system; Nahm equations; monopoles; Seiberg–Witten theory 2000 Mathematics Subject Classification: 53C28; 53C80; 70H06; 81T30 1 Introduction The Nahm Equations [1] and the Hitchin Equations [2, 3] are two integrable systems of equations that play increasingly important role in string theory and gauge theory literature. Solutions of Seiberg–Witten gauge theories in four [4, 5] and in three dimensions [6], dynamics of a five brane on a holomorphic curve [7, 8], D-brane dynamics [9, 10], aspects of the Generalized Geometry [12], physics version of Langlands duality [13], domain walls [14], topological Yang– Mills and nonlinear Schr¨odinger [15], to name a few, can be described in their terms.
    [Show full text]
  • NAHM's EQUATIONS and JACOBI FORMS by Jason Quinones
    MATHEMATICAL ASPECTS OF FIELD THEORY: NAHM’S EQUATIONS AND JACOBI FORMS by Jason Quinones __________________________ Copyright © Jason Quinones 2020 A Dissertation Submitted to the Faculty of the DEPARTMENT OF MATHEMATICS In Partial Fulfillment of the Requirements For the Degree of DOCTOR OF PHILOSOPHY In the Graduate College THE UNIVERSITY OF ARIZONA 2020 2 THE UNIVERSITY OF ARIZONA GRADUATE COLLEGE As members of the Dissertation Committee, we certify that we have read the dissertation prepared by: Jason Quinones titled: and recommend that it be accepted as fulfilling the dissertation requirement for the Degree of Doctor of Philosophy. _________________________________________________________________ Date: ____________Jul 30, 2020 Christoph Keller _________________________________________________________________ Date: ____________Jul 30, 2020 David A Glickenstein _________________________________________________________________ Date: ____________Jul 30, 2020 Sergey Cherkis Nicholas Ercolani _________________________________________________________________ Date: ____________Jul 30, 2020 Nicholas Ercolani Final approval and acceptance of this dissertation is contingent upon the candidate’s submission of the final copies of the dissertation to the Graduate College. I hereby certify that I have read this dissertation prepared under my direction and recommend that it be accepted as fulfilling the dissertation requirement. _________________________________________________________________ Date: ____________Jul 30, 2020 Christoph Keller Mathematics 3 Acknowledgements I would like to thank my supervisors Christoph Keller and Sergey Cherkis for their guidance and mentorship. I am grateful for their support and their willingness to invest time on advising me. I would also like to express my thanks to Prof. Harry Braden for helpful conservations and notes on the topic of monopoles. I am very appreciative of my fellow students for their help and encour- agement, I would like to especially thank Rebekah Cross, Matthew Wheeler, and Thomas Harris.
    [Show full text]
  • Twistors and Integrability
    From Lax Pairs to SDYM Twistor Theory Moduli Spaces and Reciprocity Self-Dual Einstein Equations Integrable Lattice Gauge System Twistors and Integrability Richard Ward Durham University 27th July 2016 Richard Ward Twistors and Integrability From Lax Pairs to SDYM Twistor Theory Moduli Spaces and Reciprocity Self-Dual Einstein Equations Integrable Lattice Gauge System Outline From Lax Pairs to SDYM Twistor Theory Moduli Spaces and Reciprocity Self-Dual Einstein Equations Integrable Lattice Gauge System Richard Ward Twistors and Integrability From Lax Pairs to SDYM Twistor Theory Moduli Spaces and Reciprocity Self-Dual Einstein Equations Integrable Lattice Gauge System Introduction I Integrability arose in classical applied maths. I Twistor theory (50 years old) has roots in relativity etc. I Similar structures, for example geometric. I Twistor-integrable side: impact in geometry & math phys. Richard Ward Twistors and Integrability From Lax Pairs to SDYM Twistor Theory Moduli Spaces and Reciprocity Self-Dual Einstein Equations Integrable Lattice Gauge System Integrability via Lax Pairs I Integrability from commuting linear operators [L1; L2] = 0. I The La depend on a parameter ζ (spectral parameter). I Require [L1(ζ); L2(ζ)] = 0 for all ζ 2 C. I −! conserved quantities, construction of solutions etc. Richard Ward Twistors and Integrability From Lax Pairs to SDYM Twistor Theory Moduli Spaces and Reciprocity Self-Dual Einstein Equations Integrable Lattice Gauge System Example: sine-Gordon Equation With f = f (u; v), g = g(u; v), φ = φ(u; v), take f 0 0 eiφ/2 L = 2@ + + ζ ; 1 u 0 −f e−iφ/2 0 g 0 0 e−iφ/2 L = −2ζ@ + ζ + ; 2 v 0 −g eiφ/2 0 where @u = @=@u.
    [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]
  • The ADHM Construction of Yang-Mills Instantons
    The ADHM construction of Yang-Mills instantons Simon Donaldson June 4, 2021 1 The instanton problem The mathematical formulation of classical electromagnetism involves an elec- tromagnetic field F on space-time. This is a skew symmetric tensor (Fij ), or 2-form. In the classical theory it is useful to write this in terms of an electro- magnetic potential A: ∂Aj ∂Ai Fij = . ∂xi − ∂xj In terms of differential forms, A is a 1-form and F = dA. This encodes the fact that dF = 0, which is a part of the Maxwell equations. The remainder of Maxwell’s vacuum equations are, in this notation, d∗F = 0, where d∗ is the formal adjoint of d defined using the Lorentzian metric on space-time. Explicitly, in terms of a space and time decomposition x0 = t, the tensor F is written in terms of electric and magnetic vector fields E, B: 3 F = Ei dtdxi + Bi dxj dxk, i=1 X X where in the second term (ijk) run over cyclic permutations of (123). The equation dF = 0 is ∂B curl E = , div B = 0 (1) − ∂t and the equation d∗F = 0 is ∂E curl B = , div E = 0. (2) ∂t The potential A combines the magnetic vector potential and scalar electric potential. The potential is not unique, we can change A to A + dχ for any function χ, so its classical physical meaning is not so clear. In quantum mechanics it enters as the coupling with electromagnetism. Quantum mechanical formulae such as the Schr¨odingerequation are modified in the presence of an electromagnetic field by replacing the ordinary derivatives ∂ acting on wave functions by ∂xi ∂ i = + √ 1 Ai.
    [Show full text]
  • Monopoles and the Nahm Transform
    Monopoles and the Nahm transform Jaklyn Crilly 27th October 2016 A thesis submitted for the degree of Bachelor of Science (Advanced) (Honours) of the Australian National University Declaration The work in this thesis is my own, except for where otherwise stated. -Jaklyn Crilly. iii Acknowledgments First and foremost I must thank my supervisor Peter Bouwknegt. I was very lucky to have met you at the end of my second year, and there are no words that can express how grateful I am for all of the support, opportunities and advice you have given me over the years. You have been both a great supervisor and mentor. Thankyou. Also a big thankyou to Bryan Wang for all the time he has put in to introducing me to the wonderful area of gauge theory and monopoles. I would also like to thank my fellow honours year students, my co-op fam, and of course the self-proclaimed MSI beerz crew for making my year so enjoyable. And lastly, I thank my family. In particular, to my parents for all of the love and support that they have given me throughout my life, and for always being there for me. I honestly cannot thank you both enough. v Contents Introduction 1 1 Preliminaries 4 1.1 Principal bundles . .4 1.1.1 Associated bundle . .6 1.1.2 Pullback and pushforward of a bundle . .7 1.2 Connection forms . .8 1.3 Gauge transformation . 11 2 Electric-magnetic duality & magnetic monopoles 13 2.1 Gauge theories and instantons . 13 2.2 Electric-Magnetic Duality .
    [Show full text]