DOCSLIB.ORG

Gauge Theoretic Aspects of the Geometric Langlands Correspondence

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Gauge Theoretic Aspects of the Geometric Langlands Correspondence NORTHWESTERN UNIVERSITY Gauge Theoretic Aspects of the Geometric Langlands Correspondence A DISSERTATION SUBMITTED TO THE GRADUATE SCHOOL IN PARTIAL FULFILLMENT OF THE REQUIREMENTS for the degree DOCTOR OF PHILOSOPHY Field of Mathematics By Chris Elliott EVANSTON, ILLINOIS June 2016 2 ABSTRACT Gauge Theoretic Aspects of the Geometric Langlands Correspondence Chris Elliott In their revolutionary 2006 paper, Kapustin and Witten described a fascinating bridge between geometric representation theory and the quantum theory of supersymmetric gauge fields. They explained how, by performing a suitable topological twist, one can obtain categories of sheaves on moduli stacks of holomorphic and flat G-bundles as categories of boundary conditions in supersym- metric gauge theories, and why the physical phenomenon of S-duality should yield a conjectural equivalence of categories known as the geometric Langlands correspondence. In this thesis, I begin to make some of the structures introduced by Kapustin-Witten and other theoretical physicists mathematically rigorous, with the eventual aim of systematically using the huge amount of struc- ture possessed by the panoply of supersymmetric gauge theories in the theoretical physics literature to draw new insights about geometric representation theory. The present work consists of two dis- tinct approaches. Firstly I give a construction of a generalization of abelian gauge theories using the mathematical structure of a factorization algebra, and explain how S-duality for these theories can be described as a version of the Fourier transform. Then, I explain how to construct classical supersymmetric gauge theories using derived algebraic geometry, introduce an appropriate notion of twisting for such theories, and prove that the twists introduced by Kapustin and Witten yield the moduli stacks of interest for the geometric Langlands correspondence. 3 Acknowledgements I would like to begin by crediting Philsang Yoo, with whom a significant part of this research was jointly carried out in a productive and on-going collaboration. The material in chapters 7 to 10 and the appendices of this thesis is from our joint preprint \Geometric Langlands Twists of N = 4 Gauge Theory from Derived Algebraic Geometry" [EY15], and the ideas I discuss in chapter 13 are part of joint work currently in progress. It's been a great pleasure to work with Philsang; here's to many more years of productive collaboration! I would like to thank all of those people who've supported me through graduate school, without whom none of this could have been accomplished. First and foremost I'd like to thank my advisors: first David Nadler, then Kevin Costello. Although we've been geographically separated for some time now, their knowledge, advice and encouragement have been invaluable throughout my time at Northwestern. I'd also like to single out some good friends who listened to me and helped me through every stage of my work. Saul Glasman is one of my oldest friends, and his steadfast support and encouragement, and boundless enthusiasm, were and still are an incredible source of inspiration. Thel Seraphim helped me come up with some of the ideas that started this work off, and gave me invaluable advice and constructive criticism about all manner of things. I hope we meet again soon! During this research I've had great conversations and received explanations and advice from many other mathematicians. I'd particularly like to thank David Ben-Zvi, Damien Calaque, Ryan Grady, Michael Gr¨ochenig, Sam Gunningham, Owen Gwilliam, Boris Hanin, Aron Heleodoro, 4 Theo Johnson-Freyd, Clemens Koppensteiner, Kobi Kremnitzer, Ian Le, Toly Preygel, Nick Rozen- blyum, Pavel Safronov, Claudia Scheimbauer, Jack Shotton, Brian Williams, and Jesse Wolfson for discussions that directly helped me with the work presented here. Outside of mathematics, my friends in Chicago and elsewhere have always been there for me with drinks, kind words and affection. To name just a few, I'd like to thank Cheryl and Brendan (and Bailey), Carl, Leah and Nathan, Joel, Paul, Erik, Kym, Ness, the holiday crowd (especially Nick and Rosie), Chris and Liz, Laurel and Hannah for all the good times we've shared together. I'd also like to thank Hugo for always being there when I've needed him, and always having something apt to say. Of course, I could never have made it to where I am today without a lifetime of support from my family. Thank you for everything you've done for me, and for standing by me in all my choices. Finally, and above all, I'd like to thank Claire, without whose love I don't know where I would be. This research was supported in part by Perimeter Institute for Theoretical Physics. Research at Perimeter Institute is supported by the Government of Canada through Industry Canada and by the Province of Ontario through the Ministry of Economic Development & Innovation. 5 Table of Contents ABSTRACT 2 Acknowledgements 3 List of Figures 8 List of Tables 9 Chapter 1. Introduction 10 1.1. Introduction to S-Duality 10 1.2. Introduction to the Geometric Langlands Program 24 1.3. The Approach of Kapustin and Witten 38 1.4. Outline of this Thesis 48 1.5. Conventions 52 Part 1. Abelian Duality 56 Chapter 2. Introduction and Motivation 57 Chapter 3. The BV Formalism for Free Field Theories 59 3.1. The Idea of the BV Formalism 59 3.2. Derived Spaces from Cochain Complexes 61 3.3. The Action Functional and the Classical Factorization Space 65 3.4. Quantization of Free Factorization Algebras 69 3.5. Smearing Observables 71 Chapter 4. Generalized Maxwell Theories as Factorization Algebras 76 6 4.1. Generalized Maxwell Theories 76 4.2. Free Theories from p-forms 79 Chapter 5. Expectation Values 83 5.1. Expectation Values from Free Quantum Factorization Algebras 83 5.2. Computing Expectation Values 86 Chapter 6. Fourier Duality for Polynomial Observables 91 6.1. Feynman Diagrams for Fourier Duality 91 6.2. Fourier Duality and Expectation Values 97 6.3. Wilson and `t Hooft Operators 101 Part 2. Twists of N = 4 Supersymmetric Gauge Theories 106 Chapter 7. Introduction 107 Chapter 8. Classical N = 4 Theories and their Twists 109 8.1. Holomorphic and Topological Twists 109 8.2. Twisted Supersymmetric Field Theories 120 Chapter 9. Constructing Supersymmetric Gauge Theories 144 9.1. Compactification and Dimensional Reduction 144 9.2. N = 1 Super-Yang-Mills in Ten Dimensions 146 9.3. Twistor Space Formalism 149 9.4. Holomorphic Chern-Simons Theory on Super Twistor Space 152 Chapter 10. Equations of Motion in the Twisted Theories 162 10.1. The Holomorphic Twist 162 10.2. The B-twist 169 10.3. The A-twist as a Limit of Holomorphic-Topological Twists 178 Part 3. Outlook and Future Work 191 7 Chapter 11. Abelian Duality for N = 4 Theories 192 Chapter 12. Constructing Topological Field Theories 194 Chapter 13. Vacua and Singular Support Conditions 198 Chapter 14. N = 2 Theories and the Future 202 References 204 Appendices 215 Appendix A. Supersymmetry Algebras 215 Appendix B. Lie Algebras and Deformation Theory 224 8 List of Figures 5.1 Example of a Feynman diagram 88 6.1 Example Feynman diagram for a dual observable 92 6.2 Feynman diagram for a double dual observable 94 6.3 Illustration in the proof that observables are equal to their double duals 94 9 List of Tables 1.1 Masses and charges of electrically and magnetically charged states 17 1.2 Table of groups and their Langlands duals 18 10 CHAPTER 1 Introduction 1.1. Introduction to S-Duality We will begin this thesis somewhat philosophically, with a discussion of what it should mean for a pair of quantum field theories to be \dual". Roughly speaking, when physicists speak about a duality, they mean a pair of prequantum field theories (by which I mean classical field theories equipped with some additional data, including a specific action functional with specified values for coupling constants, that determines a choice of quantization) along with an equivalence of their quantizations. For example, consider the following definition of duality, from a physical point of view. 0 0 0 Definition 1.1.1. [Tes16] A pair of theories (Φ; τ; Sτ ) and (Φ ; τ ;Sτ 0 ) given by a space of fields and an action functional depending on some auxilliary parameters τ or τ 0 are dual if there exists 0 a moduli space M of quantum field theories having boundary points z0 and z0, coordinates τ0 and 0 0 0 0 τ0 on M near these boundary points, and maps f : Obs !O(Φ) and f : Obs !O(Φ ) from the 0 local observables near z0 and z0 such that there exist equivalences of asymptotic expansions Z ∼ −Sτ (φ) hOiz = Dφe 0 f(O)(φ, τ0) Z −S0 (φ0) ∼ 0 τ0 0 0 0 and hOiz = Dφ e 0 f (O)(φ ; τ0) 0 near z0 and z0 respectively. Making this definition precise relies on a number of things, not least an appropriate definition of a quantum field theory and an appropriate definition for the path integral expressions given on the 11 right hand of the above equivalences. Nevertheless it captures the idea for what sort of thing a duality should be: a pair of apparently distinct prequantum field theories which nonetheless, when quantized, describe equivalent physics. Taking the non-rigorous parts for granted, definition 1.1.1 admits a neat simplification in the case where the moduli space M is a single point. 0 0 0 Example 1.1.2. A pair of prequantum theories (Φ; τ; Sτ ) and (Φ ; τ ;Sτ 0 ) are dual if there is a correspondence Obs f f 0 { # ObsΦ ObsΦ0 0 where ObsΦ and ObsΦ0 are quantizations of the two classical theories, and where f(O) and f (O) have the same expectation value for each observable O 2 Obs.
Load more

Recommended publications
  • Robert P. Langlands
    The Norwegian Academy of Science and Letters has decided to award the Abel Prize for 2018 to Robert P. Langlands of the Institute for Advanced Study, Princeton, USA, “for his visionary program connecting representation theory to number theory.” The Langlands program predicts the existence of a tight The group GL(2) is the simplest example of a non- web of connections between automorphic forms and abelian reductive group. To proceed to the general Galois groups. case, Langlands saw the need for a stable trace formula, now established by Arthur. Together with Ngô’s proof The great achievement of algebraic number theory in of the so-called Fundamental Lemma, conjectured by the first third of the 20th century was class field theory. Langlands, this has led to the endoscopic classification This theory is a vast generalisation of Gauss’s law of of automorphic representations of classical groups, in quadratic reciprocity. It provides an array of powerful terms of those of general linear groups. tools for studying problems governed by abelian Galois groups. The non-abelian case turns out to be Functoriality dramatically unifies a number of important substantially deeper. Langlands, in a famous letter to results, including the modularity of elliptic curves and André Weil in 1967, outlined a far-reaching program that the proof of the Sato-Tate conjecture. It also lends revolutionised the understanding of this problem. weight to many outstanding conjectures, such as the Ramanujan-Peterson and Selberg conjectures, and the Langlands’s recognition that one should relate Hasse-Weil conjecture for zeta functions. representations of Galois groups to automorphic forms involves an unexpected and fundamental insight, now Functoriality for reductive groups over number fields called Langlands functoriality.
    [Show full text]
  • Varying Fundamental Constants and Particle Physics
    Varying fundamental constants and particle physics Rikard Enberg Tanumoy Mandal Uppsala Seminar, 2017-04-06 Overview • The general idea • Old idea: Varying electromagnetic coupling • Particle physics à new scalar particles • Generalization to SU(3) × SU(2) × U(1) • Generalization to Yukawa couplings • Collider signatures All results in this talk are based on work with Ulf Danielsson, Gunnar Ingelman, Tanumoy Mandal: arXiv:1601.00624 (Nucl. Phys. B, in press) and a forthcoming paper 2 Free parameters of the SM Fundamental constant: a parameter that cannot be explained by the theory (even in principle) How many parameters are there in the Standard Model? • 19: Yukawas, gauge couplings, CKM, theta, Higgs • 26: If we include neutrino mixing and masses • 27: If we include the cosmological constant • 31–37: If we add cosmological standard model [See e.g. Tegmark et al., PRD 73 (2006) 023505] And then there are c, ħ, G, kB, etc. … Recommended reading: R.N. Cahn, Rev. Mod. Phys. 68 (1996) 951-960 M.J. Duff, arXiv:1412.2040 3 From Wikipedia, “Standard Model” Wikipedia, “Standard From 4 What are the fundamental constants and what are just units? • There’s a debate in the literature about what are the fundamental constants, and how many are there. [e.g. Duff, Okun. Veneziano, arXiv:physics/0110060] • Michael Duff in particular argues that only dimensionless constants are fundamental. Dimensionful constants are just unit conversions (Fathoms and nautical miles) speed of light = 1 lightyear/year • “Asking whether c has varied over cosmic history … is like asking whether the number of litres to the gallon has varied” [M.J.
    [Show full text]
  • Lectures on D-Branes
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by CERN Document Server CPHT/CL-615-0698 hep-th/9806199 Lectures on D-branes Constantin P. Bachas1 Centre de Physique Th´eorique, Ecole Polytechnique 91128 Palaiseau, FRANCE [email protected] ABSTRACT This is an introduction to the physics of D-branes. Topics cov- ered include Polchinski’s original calculation, a critical assessment of some duality checks, D-brane scattering, and effective worldvol- ume actions. Based on lectures given in 1997 at the Isaac Newton Institute, Cambridge, at the Trieste Spring School on String The- ory, and at the 31rst International Symposium Ahrenshoop in Buckow. June 1998 1Address after Sept. 1: Laboratoire de Physique Th´eorique, Ecole Normale Sup´erieure, 24 rue Lhomond, 75231 Paris, FRANCE, email : [email protected] Lectures on D-branes Constantin Bachas 1 Foreword Referring in his ‘Republic’ to stereography – the study of solid forms – Plato was saying : ... for even now, neglected and curtailed as it is, not only by the many but even by professed students, who can suggest no use for it, never- theless in the face of all these obstacles it makes progress on account of its elegance, and it would not be astonishing if it were unravelled. 2 Two and a half millenia later, much of this could have been said for string theory. The subject has progressed over the years by leaps and bounds, despite periods of neglect and (understandable) criticism for lack of direct experimental in- put. To be sure, the construction and key ingredients of the theory – gravity, gauge invariance, chirality – have a firm empirical basis, yet what has often catalyzed progress is the power and elegance of the underlying ideas, which look (at least a posteriori) inevitable.
    [Show full text]
  • Coordinate Space Approach to Double Copy Michael Duff Imperial College
    Coordinate space approach to double copy Michael Duff Imperial College London based on [arXiv:1301.4176 arXiv:1309.0546 arXiv:1312.6523 arXiv:1402.4649 arXiv:1408.4434 arXiv:1602.08267 arXiv:1610.07192 arXiv:1707.03234 arXiv:1711.08476 arXiv:1807.02486 A. Anastasiou, L. Borsten, M. J. Duff, M. Hughes, A. Marrani, S. Nagy and M. Zoccali] Copenhagen August 2018 Basic idea Strong nuclear, Weak nuclear and Electromagnetic forces described by Yang-Mills gauge theory (non-abelian generalisation of Maxwell). Gluons, W, Z and photons have spin 1. Gravitational force described by Einstein’s general relativity. Gravitons have spin 2. But maybe (spin 2) = (spin 1)2. If so: 1) Do global gravitational symmetries follow from flat-space Yang-Mills symmetries? 2) Do local gravitational symmetries and Bianchi identities follow from flat-space Yang-Mills symmetries? 3) What about twin supergravities with same bosonic lagrangian but different fermions? 4) Are all supergravities Yang-Mills squared? Gravity as square of Yang-Mills A recurring theme in attempts to understand the quantum theory of gravity and appears in several different forms: Closed states from products of open states and KLT relations in string theory [Kawai, Lewellen, Tye:1985, Siegel:1988], On-shell D = 10 Type IIA and IIB supergravity representations from on-shell D = 10 super Yang-Mills representations [Green, Schwarz and Witten:1987], Vector theory of gravity [Svidzinsky 2009] Supergravity scattering amplitudes from those of super Yang-Mills in various dimensions, [Bern, Carrasco, Johanson:2008, 2010; Bern, Huang, Kiermaier, 2010: Bjerrum-Bohr, Damgaard, Monteiro, O’Connell 2012,Montiero, O’Connell, White 2011, 2014, Bianchi:2008, Elvang, Huang:2012, Cachazo:2013, Dolan:2013] Ambitwistor strings [Hodges:2011, Mason:2013, Geyer:2014] See talks by [Goldberger, Montiero, O’Connell] Gravity from Yang-Mills LOCAL SYMMETRIES: general covariance, local lorentz invariance, local supersymmetry, local p-form gauge invariance [ arXiv:1408.4434, Physica Scripta 90 (2015)] [ A.
    [Show full text]
  • Chapter 1 Introduction 1.1 Algebraic Setting
    Towards a Functor Between Affine and Finite Hecke Categories in Type A by Kostiantyn Tolmachov Submitted to the Department of Mathematics in partial fulfillment of the requirements for the degree of Doctor of Philosophy at the MASSACHUSETTS INSTITUTE OF TECHNOLOGY June 2018 Massachusetts Institute of Technology 2018. All rights reserved. -Signature redacted A uthor .. ....................... Department of Mathematics May 1, 2018 Certified by. Signature redacted.................... Roman Bezrukavnikov Professor of Mathematics Thesis Supervisor Accepted by. Signature redacted ................ -.. - -William Minicozzi G duate Co-Chair Department of Mathematics MASSACHUlS INSITUTE OF TECHNOLOGY MAY 3 0 2018 LIBRARIES fRCHIVES Towards a Functor Between Affine and Finite Hecke Categories in Type A by Kostiantyn Tolmachov Submitted to the Department of Mathematics on May 1, 2018, in partial fulfillment of the requirements for the degree of Doctor of Philosophy Abstract In this thesis we construct a functor from the perfect subcategory of the coherent version of the affine Hecke category in type A to the finite constructible Hecke ca- tegory, partly categorifying a certain natural homomorphism of the corresponding Hecke algebras. This homomorphism sends generators of the Bernstein's commutative subalgebra inside the affine Hecke algebra to Jucys-Murphy elements in the finite Hecke algebra. Construction employs the general strategy devised by Bezrukavnikov to prove the equivalence of coherent and constructible variants of the affine Hecke category. Namely, we identify an action of the category Rep(GL,) on the finite Hecke category, and lift this action to a functor from the perfect derived category of the Steinberg variety, by equipping it with various additional data. Thesis Supervisor: Roman Bezrukavnikov Title: Professor of Mathematics 3 4 Acknowledgments I would like to thank my advisor, Roman Bezrukavnikov, for his support and guidance over these years, as well as for many helpful discussions and sharing his expertise.
    [Show full text]
  • Shtukas for Reductive Groups and Langlands Correspondence for Functions Fields
    SHTUKAS FOR REDUCTIVE GROUPS AND LANGLANDS CORRESPONDENCE FOR FUNCTIONS FIELDS VINCENT LAFFORGUE This text gives an introduction to the Langlands correspondence for function fields and in particular to some recent works in this subject. We begin with a short historical account (all notions used below are recalled in the text). The Langlands correspondence [49] is a conjecture of utmost impor- tance, concerning global fields, i.e. number fields and function fields. Many excellent surveys are available, for example [39, 14, 13, 79, 31, 5]. The Langlands correspondence belongs to a huge system of conjectures (Langlands functoriality, Grothendieck’s vision of motives, special val- ues of L-functions, Ramanujan-Petersson conjecture, generalized Rie- mann hypothesis). This system has a remarkable deepness and logical coherence and many cases of these conjectures have already been es- tablished. Moreover the Langlands correspondence over function fields admits a geometrization, the “geometric Langlands program”, which is related to conformal field theory in Theoretical Physics. Let G be a connected reductive group over a global field F . For the sake of simplicity we assume G is split. The Langlands correspondence relates two fundamental objects, of very different nature, whose definition will be recalled later, • the automorphic forms for G, • the global Langlands parameters , i.e. the conjugacy classes of morphisms from the Galois group Gal(F =F ) to the Langlands b dual group G(Q`). b For G = GL1 we have G = GL1 and this is class field theory, which describes the abelianization of Gal(F =F ) (one particular case of it for Q is the law of quadratic reciprocity, which dates back to Euler, Legendre and Gauss).
    [Show full text]
  • Particle & Nuclear Physics Quantum Field Theory
    Particle & Nuclear Physics Quantum Field Theory NOW AVAILABLE New Books & Highlights in 2019-2020 ON WORLDSCINET World Scientific Lecture Notes in Physics - Vol 83 Lectures of Sidney Coleman on Quantum Field Field Theory Theory A Path Integral Approach Foreword by David Kaiser 3rd Edition edited by Bryan Gin-ge Chen (Leiden University, Netherlands), David by Ashok Das (University of Rochester, USA & Institute of Physics, Derbes (University of Chicago, USA), David Griffiths (Reed College, Bhubaneswar, India) USA), Brian Hill (Saint Mary’s College of California, USA), Richard Sohn (Kronos, Inc., Lowell, USA) & Yuan-Sen Ting (Harvard University, “This book is well-written and very readable. The book is a self-consistent USA) introduction to the path integral formalism and no prior knowledge of it is required, although the reader should be familiar with quantum “Sidney Coleman was the master teacher of quantum field theory. All of mechanics. This book is an excellent guide for the reader who wants a us who knew him became his students and disciples. Sidney’s legendary good and detailed introduction to the path integral and most of its important course remains fresh and bracing, because he chose his topics with a sure application in physics. I especially recommend it for graduate students in feel for the essential, and treated them with elegant economy.” theoretical physics and for researchers who want to be introduced to the Frank Wilczek powerful path integral methods.” Nobel Laureate in Physics 2004 Mathematical Reviews 1196pp Dec 2018
    [Show full text]
  • Lectures on D-Branes
    CPHT/CL-615-0698 hep-th/9806199 Lectures on D-branes Constantin P. Bachas1 Centre de Physique Th´eorique, Ecole Polytechnique 91128 Palaiseau, FRANCE [email protected] ABSTRACT This is an introduction to the physics of D-branes. Topics cov- ered include Polchinski’s original calculation, a critical assessment of some duality checks, D-brane scattering, and effective worldvol- ume actions. Based on lectures given in 1997 at the Isaac Newton Institute, Cambridge, at the Trieste Spring School on String The- ory, and at the 31rst International Symposium Ahrenshoop in Buckow. arXiv:hep-th/9806199v2 17 Jan 1999 June 1998 1Address after Sept. 1: Laboratoire de Physique Th´eorique, Ecole Normale Sup´erieure, 24 rue Lhomond, 75231 Paris, FRANCE, email : [email protected] Lectures on D-branes Constantin Bachas 1 Foreword Referring in his ‘Republic’ to stereography – the study of solid forms – Plato was saying : ... for even now, neglected and curtailed as it is, not only by the many but even by professed students, who can suggest no use for it, never- theless in the face of all these obstacles it makes progress on account of its elegance, and it would not be astonishing if it were unravelled. 2 Two and a half millenia later, much of this could have been said for string theory. The subject has progressed over the years by leaps and bounds, despite periods of neglect and (understandable) criticism for lack of direct experimental in- put. To be sure, the construction and key ingredients of the theory – gravity, gauge invariance, chirality – have a firm empirical basis, yet what has often catalyzed progress is the power and elegance of the underlying ideas, which look (at least a posteriori) inevitable.
    [Show full text]
  • RELATIVE LANGLANDS This Is Based on Joint Work with Yiannis
    RELATIVE LANGLANDS DAVID BEN-ZVI This is based on joint work with Yiannis Sakellaridis and Akshay Venkatesh. The general plan is to explain a connection between physics and number theory which goes through the intermediary: extended topological field theory (TFT). The moral is that boundary conditions for N = 4 super Yang-Mills (SYM) lead to something about periods of automorphic forms. Slogan: the relative Langlands program can be explained via relative TFT. 1. Periods of automorphic forms on H First we provide some background from number theory. Recall we can picture the upper-half-space H as in fig. 1. We are thinking of a modular form ' as a holomorphic function on H which transforms under the modular group SL2 (Z), or in general some congruent sub- group Γ ⊂ SL2 (Z), like a k=2-form (differential form) and is holomorphic at 1. We will consider some natural measurements of '. In particular, we can \measure it" on the red and blue lines in fig. 1. Note that we can also think of H as in fig. 2, where the red and blue lines are drawn as well. Since ' is invariant under SL2 (Z), it is really a periodic function on the circle, so it has a Fourier series. The niceness at 1 condition tells us that it starts at 0, so we get: X n (1) ' = anq n≥0 Date: Tuesday March 24, 2020; Thursday March 26, 2020. Notes by: Jackson Van Dyke, all errors introduced are my own. Figure 1. Fundamental domain for the action of SL2 (Z) on H in gray.
    [Show full text]
  • Fundamental Theorems in Mathematics
    SOME FUNDAMENTAL THEOREMS IN MATHEMATICS OLIVER KNILL Abstract. An expository hitchhikers guide to some theorems in mathematics. Criteria for the current list of 243 theorems are whether the result can be formulated elegantly, whether it is beautiful or useful and whether it could serve as a guide [6] without leading to panic. The order is not a ranking but ordered along a time-line when things were writ- ten down. Since [556] stated “a mathematical theorem only becomes beautiful if presented as a crown jewel within a context" we try sometimes to give some context. Of course, any such list of theorems is a matter of personal preferences, taste and limitations. The num- ber of theorems is arbitrary, the initial obvious goal was 42 but that number got eventually surpassed as it is hard to stop, once started. As a compensation, there are 42 “tweetable" theorems with included proofs. More comments on the choice of the theorems is included in an epilogue. For literature on general mathematics, see [193, 189, 29, 235, 254, 619, 412, 138], for history [217, 625, 376, 73, 46, 208, 379, 365, 690, 113, 618, 79, 259, 341], for popular, beautiful or elegant things [12, 529, 201, 182, 17, 672, 673, 44, 204, 190, 245, 446, 616, 303, 201, 2, 127, 146, 128, 502, 261, 172]. For comprehensive overviews in large parts of math- ematics, [74, 165, 166, 51, 593] or predictions on developments [47]. For reflections about mathematics in general [145, 455, 45, 306, 439, 99, 561]. Encyclopedic source examples are [188, 705, 670, 102, 192, 152, 221, 191, 111, 635].
    [Show full text]
  • Homotopical Algebraic Geometry II: Geometric Stacks and Applications
    Homotopical Algebraic Geometry II: geometric stacks and applications Bertrand To¨en Gabriele Vezzosi Laboratoire Emile Picard UMR CNRS 5580, Universite´ Paul Sabatier, Toulouse E-mail address: [email protected] Dipartimento di Matematica Applicata “G. Sansone”, Universita` di Firenze E-mail address: [email protected] This work is dedicated to Alexandre Grothendieck Contents Abstract ix Introduction 1 Reminders on abstract algebraic geometry 1 The setting 2 Linear and commutative algebra in a symmetric monoidal modelcategory 2 Geometric stacks 3 Infinitesimal theory 4 Higher Artin stacks (after C. Simpson) 4 Derived algebraic geometry: D−-stacks 4 Complicial algebraic geometry: D-stacks 6 Brave new algebraic geometry: S-stacks 6 Relations with other works 7 Acknowledgments 8 Notations and conventions 9 Part 1. General theory of geometric stacks 11 Introduction to Part 1 13 Chapter 1.1. Homotopical algebraic context 15 Chapter 1.2. Preliminaries on linear and commutative algebra in an HA context 25 1.2.1. Derivations and the cotangent complex 25 1.2.2. Hochschild homology 29 1.2.3. Finiteness conditions 30 1.2.4. Some properties of modules 35 1.2.5. Formal coverings 36 1.2.6. Some properties of morphisms 37 1.2.7. Smoothness 41 1.2.8. Infinitesimal lifting properties 41 1.2.9. Standard localizations and Zariski open immersions 43 1.2.10. Zariskiopenimmersionsandperfectmodules 47 1.2.11. Stable modules 49 1.2.12. Descent for modules and stable modules 54 1.2.13. Comparison with the usual notions 57 Chapter1.3. Geometricstacks:Basictheory 61 1.3.1. Reminders on model topoi 61 1.3.2.
    [Show full text]
  • Quantum Gravity: a Primer for Philosophers∗
    Quantum Gravity: A Primer for Philosophers∗ Dean Rickles ‘Quantum Gravity’ does not denote any existing theory: the field of quantum gravity is very much a ‘work in progress’. As you will see in this chapter, there are multiple lines of attack each with the same core goal: to find a theory that unifies, in some sense, general relativity (Einstein’s classical field theory of gravitation) and quantum field theory (the theoretical framework through which we understand the behaviour of particles in non-gravitational fields). Quantum field theory and general relativity seem to be like oil and water, they don’t like to mix—it is fair to say that combining them to produce a theory of quantum gravity constitutes the greatest unresolved puzzle in physics. Our goal in this chapter is to give the reader an impression of what the problem of quantum gravity is; why it is an important problem; the ways that have been suggested to resolve it; and what philosophical issues these approaches, and the problem itself, generate. This review is extremely selective, as it has to be to remain a manageable size: generally, rather than going into great detail in some area, we highlight the key features and the options, in the hope that readers may take up the problem for themselves—however, some of the basic formalism will be introduced so that the reader is able to enter the physics and (what little there is of) the philosophy of physics literature prepared.1 I have also supplied references for those cases where I have omitted some important facts.
    [Show full text]