GEOMETRY AND PHYSICS: AN OVERVIEW DAVID R. MORRISON Abstract. We present some episodes from the history of interactions between geometry and physics over the past century. I was asked by the conference organizers to survey the modern interactions be- tween geometry, topology, and physics in a one-hour lecture. Rather than attempt- ing to be comprehensive, I have chosen to provide some vignettes drawn from recent history which emphasize the impact each field has had upon the other. As part of the story, I will trace a particular circle of ideas from physics to math, back to physics, and on to math once again, and show the significant impacts at each stage along the way. My general theme is gauge theory, geometry, and topology. 1. Dirac quantization The most powerful method of advance that can be suggested at present is to employ all the resources of pure mathematics in attempts to perfect and generalize the mathematical formalism that forms the existing basis of theoretical physics, and after each success in this direction, to try to interpret the new mathematical features in terms of physical entities. Paul Dirac (1931) Paul Dirac laid out the manifesto quoted above for the proper interaction be- tween mathematics and physics in the course of a beautiful 1931 paper [Dir31] devoted to the theoretical investigation of magnetic monopoles. It had long been observed that Maxwell’s equations for electromagnetism can be arXiv:1805.06932v2 [math.HO] 8 Oct 2018 made symmetric between electricity and magnetism by introducing particles car- rying a net magnetic charge: the so-called magnetic monopoles.1 The quantum version of Maxwell’s theory, however, relies on the existence of an electromagnetic potential and prior to Dirac’s work it was believed that monopoles would prevent such a potential from being defined. Dirac showed that by using a careful interpre- tation of the role of the potential, quantum physics could be formulated using it (in spite of the definitional problem). Morever, there was a surprise: the existence 2010 Mathematics Subject Classification. Primary 57R22, 81T13, 14D21, 81T50, 57R57, 81T45. I am grateful to Arun Debray and Sean Pohorence for sharing the notes they took during the lecture, and to Andy Neitzke for a very useful remark. I am also grateful to Greg Moore and Samson Shatashvili for their comments on an earlier draft of this article. This research was partially supported by NSF grant PHY-1620842. 1I hasten to point out that magnetic monopoles have not (yet) been observed in nature. 1 2 DAVID R. MORRISON of a magnetic monopole forces the “charge quantization” of electrically charged particles such as the electron. There was some interesting topology in Dirac’s original argument, a variant of which I will now review. Consider the wave function of an electron in the presence of a magnetic monopole of magnetic charge g, located at the origin in R3, and consider a vector potential A for the magnetic field. One might suppose that the vector potential could be defined throughout R3 −{~0}, but that is not possible for the following reason. If we consider a sphere of radius r and a circle γθ at fixed spherical polar coordinate angle θ which bounds a spherical cap Σθ containing the north pole, then the line integral (1.1) A dϕ = ∇× A dσ = B dσ Zγθ ZΣθ ZΣθ calculates the magnetic flux through Σθ (by Stokes’ theorem). That flux, which can be calculated to be 2πg(1 − cos θ) increases continuously as θ ranges from 0 to π. But at θ = π the circle has shrunk to zero size so that the integral must vanish, which is a contradiction! Dirac’s interpretation was that the vector potential must become singular along some semi-infinite string anchored at the monopole. If we direct such a string from the origin through the south pole of the sphere, the contradiction is removed. The integral around a zero-size circle at the south pole cannot be computed directly due to the singularity in the vector potential, but takes the value 4πg thanks to the integral over the sphere. The magnetic field causes a change in the phase of the wave function of an electric particle around a circle. For an electric particle of charge e, if the change in phase of the wave function around a circle is zero at the north pole, and it must take the value e 4πge (1.2) ~ B dσ = ~ c ZS2 c at the south pole. In a quantum theory, a change of phase in the wave function is physically indetectable if it is a multiple of 2π. The conclusion is that in order for the quantum theory to be well-defined, we must have 4πge (1.3) =2πN ~c for some integer N. In other words, if there is a single monopole of magnetic charge g, then all electric charges must be integer multiples of ~c/2g. This is Dirac’s famous quantization condition. Conversely, since we know experimentally the smallest possible electric charge e0, all magnetic charges must be integer multiples of ~c/2e0. In modern topological terms,2 the vector potential A should only be locally de- fined, with a change between northern hemisphere and southern hemisphere spec- ified by a change of potential in a neighborhood of the equator, which amounts to a change by a variable element of U(1) (known as an abelian gauge transfor- mation).The vector potential can be regarded as a globally defined object if it is treated as a section of a bundle over R3 −{~0} (or over S2) whose transition functions are given by that variable element. 2This mathematical argument first appeared in the physics literature [WY75]. GEOMETRYANDPHYSICS:ANOVERVIEW 3 The abelian gauge transformation is specified by a map S1 → U(1). Since π1(U(1)) =∼ Z, the topological type of the bundle is determined by an integer (the first Chern class of the bundle). Physically, this integer is identified with the multiple of ~c/2e0 which gives the magnetic charge g of the monopole in question. Dirac did not formulate his result in terms of a bundle, but his treatment is surprisingly modern, given the relative novelty of topological concepts at that time. This result turns out to be only the first step in an important series of interactions between topology, geometry, and physics. 2. Missed opportunities As a working physicist, I am acutely aware of the fact that the marriage between mathematics and physics, which was so fruitful in past centuries, has recently ended in divorce. Freeman Dyson (1972) In his 1972 Gibbs lecture [Dys72], Freeman Dyson lamented the divide between mathematics and physics which existed at that time, drawing a number of examples from history. One of his principal examples centered around Feynman’s approach to the study of relativistic quantum field theory. The years immediately following World War II saw rapid advances in the study of relativistic quantum field theory, led by Dyson, Feynman, Schwinger, and Tomon- aga. Feynman’s approach was based on his “sum over histories” idea. In the Lagrangian formulation of classical physics, the evolution of a physical system from a starting time to an ending time is the one which minimizes the physical action of the system. Such a minimum can be determined using the techniques of the calcu- lus of variations to find the path through the configuration space which extremizes the action. In Feynman’s “sum over histories” approach to quantum physics, all paths must be considered, and the probability that a particular path is followed is proportional to the exponential of the negative of the action. Thus, the prob- ability will be highest along the classical path, but the quantum theory requires consideration of contributions from other paths. To determine physically measurable quantities, it is necessary to integrate over the space of all paths, and this is where the mathematical trouble arises: it is unknown how to carry out such integrals. One of the difficulties is a choice of measure on the space of paths which determines how different paths are to be weighted. Nevertheless, by considering theories which are perturbations of “free” theories, Feynman was able to give a prescription for an asymptotic series describing the (purported) answer to the path integral, as an infinite sum indexed by the famous Feynman diagrams. The mathematical consistency of the path integral values as determined by Feynman diagrams has never been established, but in the hands of skilled practitioners unique answers are produced. Remarkably, when this approach is used to study quantum electrodynamics, it is incredibly precise: for example, the best theoretical and experimental values of the anomalous magnetic dipole moment of the electron agree to at least eight significant figures (see [PS95, Chapter 6]). 4 DAVID R. MORRISON As Dyson remarks, Feynman himself was not concerned with mathematical rigor. The fact that physicists were obtaining such spectacular agreement between theory and experiment likely contributed to a similar attitude among many physicists from that era: they did not need modern mathematics to accomplish their goals. And so Dirac’s manifesto languished. 3. Yang–Mills theory and connections on fiber bundles . we are concerned with the necessary concepts to describe the physics of gauge theories. It is remarkable that these concepts have already been studied as mathematical constructs. Tai Tsun Wu and Chen Ning Yang (1975) In 1954, during the era of minimal communication between mathematics and theoretical physics, C. N. Yang and R. L. Mills [YM54] introduced gauge trans- formations consisting of locally varying symmetries taking values in a compact Lie group3 G, and studied physical theories which are invariant under such gauge trans- formations.