Algebraic Quantum Field Theory

Total Page:16

File Type:pdf, Size:1020Kb

Algebraic Quantum Field Theory ALGEBRAIC QUANTUM FIELD THEORY: A HOMOTOPICAL VIEW Victor Carmona* August 2, 2021 Abstract In this paper we define and compare several new Quillen model struc- tures which present the homotopy theory of algebraic quantum field theories. In this way, we expand foundational work of Benini et al. [7] by providing a richer framework to detect and treat homotopical phenomena in quantum field theory. Our main technical tool is a new extension model structure on operadic algebras which is constructed via (right) Bousfield localization. We expect that this tool is useful in other contexts. Contents 1 Introduction 2 2 Algebraic quantum field theories 4 2.1 Definitionandexamples . 4 2.2 Operadicpresentationinanutshell . 6 arXiv:2107.14176v2 [math-ph] 30 Jul 2021 3 Time-slice localization 9 3.1 Stricttime-sliceaxiom . 9 3.2 Weaktime-sliceaxiom . 11 *The author was partially supported by the Spanish Ministry of Economy under the grant MTM2016-76453-C2-1-P (AEI/FEDER, UE) and by the Andalusian Ministry of Economy and Knowledge and the Operational Program FEDER 2014-2020 under the grant US-1263032. He was also partly supported by Spanish Ministry of Science, Innovation and Universities, grant FPU17/01871. 1 4 Extension model structure 16 5 Local-to-global cellularization 23 5.1 TheextensionmodelonAQFTs . 23 5.2 Mixinglocalizationandcellularization . ... 24 6 Comparison of homotopy theories 29 1 Introduction The problem of applying quantum mechanical principles to classical systems of fields was the foundational idea which motivates the emersion of Quantum Field Theories. However, a general formulation of what is precisely a Quantum Field Theory seems to be rather elusive. This fact gave rise to the appearance of a broad variety of competing definitions to deal with Quantum Field Theories formally. A very rough classification of such candidates could be: perturbative models, which use the knowledge about simpler free models ([26]); functorial approaches, which are centered on the study of spaces of fields ([23, 30]); and algebraic formulations, which deal with the possible algebraic structures that the collection of observables may carry ([20]). In this work, we focus on the algebraic picture, i.e. on the formal study of algebras of observables. A recent development in the field of Algebraic Quantum Field Theories (usu- ally denoted by AQFTs) has been undertaken in the program of Benini and col- laborators [4, 5, 8, 9, 10]. Their fundamental contribution was to identify operadic constructions, and their importance, on previous axiomatics and foundations, e.g. interprete Haag-Kastler axioms and recognize generalizations [33] or justify the Fredenhagen’s local-to-global principle [14], as well as detecting its weakness. Reasonably, a good deal of new questions arises by the introduction of operad theory into the branch of AQFTs, as addresed in the survey [7]. Operad theory [24] has been proven to be a fruitful mathematical machinery to deal with algebraic structures. Its importance in mathematics is doubtless due to its multidisciplinarity, as it appears in homotopy theory, algebraic topology, geometry, category theory, mathematical physics or mathematical programming. For instance, this theory has also been a valuable tool in Kontsevich’s work on quantisation of Poisson manifolds [22] or Costello-Gwilliam’s factorization alge- bras in perturbative field theories [17]. One of the main advantages of working with operads is the possibility of ma- nipulate the homotopy theory of AQFTs quite explicitly, as observed in [9]. On the one hand, embracing homotopical mathematics permits a better understanding of non discrete phenomena such as gauge symmetries or the presence of anti-fields 2 and anti-ghosts in the BV-BRST formalism (e.g. [6, 8]). These facts motivate a deeper immersion into the homotopy theory of AQFTs. On the other hand, the presence of a Quillen model structure brings to our disposal an assorted toolkit to understand a particular homotopy theory. In [10, 13], the algebraic structure of an AQFT is encoded via a naturally de- fined operad, and so it is reasonable to define the homotopy theory of AQFTs as a canonical homotopy theory of operadic algebras [32]. However, such approx- imation is not well suited to introduce further axioms on AQFTs which are not structural. For example, it does not take into account dynamic axioms properly (time-slice axiom, Definitions 3.1 and 3.6), as noted in [7, Open Problem 4.14], or local-to-global principles (Definition 5.1). The present work exploits the operadic description of AQFTs one step further to find more advanced homotopy theories of Algebraic Quantum Field Theories which fix these problems. Our main results are the construction and comparisons of several model cate- gory structures summarized in Section 6. First, we propose two different model structures to deal with AQFTs satisfying a homotopy meaningful time-slice axiom (Definition 3.6) which turn out to be equivalent. This can be summarized in the following theorem (see Subsection 3.2). Theorem A (Propositions 3.11, 3.14 and Theorem 3.15). Let C⊥ be an orthogo- nal category (Definition 2.1) and S a set of maps in C. Then, the homotopy theory of algebraic quantum field theories over C⊥ satisfying the weak S-time-slice ax- ⊥ iom is presented by the Quillen equivalent model structures QFT w S(C ) and ⊥ LS QFT (C ). Both models provide different aspects of the homotopy theory of AQFTs sat- isfying such dynamical axiom. In fact, below Theorem 3.15 we expand on this to answer [7, Open Problem 4.14]. The local-to-global principle (Definition 5.1) is incorporated in a new model structure that is an instance of a general construction explained in Section 4 which culminates in Theorem 4.9. ⊥ ⊥ Theorem B (Theorem 5.3). Let C⋄ ֒→ C be an inclusion of a full orthogonal subcategory. Then, the homotopy theory of algebraic quantum field theories over ⊥ C⋄ ⊥ C which satisfy the C⋄-local-to-global principle is modelled by QFT (C ). Finally, for the combination of both axioms, time-slice plus local-to-global, we find again two model structures presenting the associated homotopy theory which are equivalent as expected. ⊥ ⊥ Theorem C (Theorems 5.9, 5.11, 5.13). Let C⋄ ֒→ C be an inclusion of a full orthogonal subcategory and S a suitable set of maps in C. Then, the homotopythe- ory of algebraic quantum field theories over C⊥ satisfying the weak S-time-slice 3 axiom and the C⋄-local-to-global principle is presented by the Quillen equivalent C⋄ ⊥ C⋄ ⊥ model structures QFT w S(C ) and LS QFT (C ). Coming back to the general construction of Section 4, it is mandatory to com- ment that it has its own importance in abstract homotopy theory and so several applications are expected. Indeed, in [16], the homotopy theory of factorization algebras is investigated by these means. It is worth noting that most of the results in this work are valid for a closed symmetric monoidal model category V satisfying some general requirements con- sisting on a combination of hypothesis appearing in Section 4 and in [15] (or [16, Section 6]). However, we have chosen to state them for chain-complex valued algebraic field theories over a (commutative) ring R which contains the rationals for simplicity and due to connections with the existing literature. This restriction is not made explicit in order to enforce the cited generality. For instance, Sections 2 and 4 are written for a general V, whereas the rest of the sections should be interpreted under the assumption V = Ch(R). Outline: We include a brief summary of the contents of this work. Section 2 presents basic definitions in the theory of AQFTs and a straightforward construc- tion of the canonical operad developed in [10] and [12]. The rest of the paper is organized depending on which further axiom of AQFTs is under study. Section 3 is devoted to the analysis and discussion of the time-slice axiom and its associated homotopy theories, going from the strict version to the homotopical one, which is seen as part of structure or as a property of AQFTs. The local-to-global principle introduced in the work of Benini and collaborators, and its interaction with the time-slice axiom, is the focus on Section 5. To fully understand the constructions in this last section, the content of Section 4 is necessary. It yields a machine to construct cellularizations of model categories of operadic algebras. Despite this fact, this homotopical discussion can be used as a necessary black box, since it re- produces the local-to-global principle model categorically. At the end, we include a table and a diagram (Section 6) condensing the field theory related material ob- tained in this paper. 2 Algebraic quantum field theories 2.1 Definition and examples Algebraic quantum field theory is an axiomatic approach to quantum physics which focuses on the assignation of algebras of observables to spacetime regions. 4 The fundamental idea of such objects is that the algebraic structure on the ob- servables is supposed to capture quantum information, so it is not commutative in general, although observables coming from “disjoint spacetime regions" do com- mute. The notion of orthogonal category formalizes the concept of spacetime regions and the relation of being disjoint. Definition 2.1. [33, Definition 8.2.1] An orthogonal category C⊥ is a pair (C, ⊥) given by a category C with choices of sets of morphisms ⊥ = ⊥ ({U, W}; V) ⊆ C(U, V) × C(W, V) U,W,V∈ob C which are stable by composition in C and are symmetric in (U, W). It is said that two C-morphisms f and g are orthogonal, denoted f ⊥ g, if they have the same codomain and (f, g) belongs to ⊥.
Recommended publications
  • Report for the Academic Year 1995
    Institute /or ADVANCED STUDY REPORT FOR THE ACADEMIC YEAR 1994 - 95 PRINCETON NEW JERSEY Institute /or ADVANCED STUDY REPORT FOR THE ACADEMIC YEAR 1 994 - 95 OLDEN LANE PRINCETON • NEW JERSEY 08540-0631 609-734-8000 609-924-8399 (Fax) Extract from the letter addressed by the Founders to the Institute's Trustees, dated June 6, 1930. Newark, New jersey. It is fundamental in our purpose, and our express desire, that in the appointments to the staff and faculty, as well as in the admission of workers and students, no account shall be taken, directly or indirectly, of race, religion, or sex. We feel strongly that the spirit characteristic of America at its noblest, above all the pursuit of higher learning, cannot admit of any conditions as to personnel other than those designed to promote the objects for which this institution is established, and particularly with no regard whatever to accidents of race, creed, or sex. TABLE OF CONTENTS 4 BACKGROUND AND PURPOSE 5 • FOUNDERS, TRUSTEES AND OFFICERS OF THE BOARD AND OF THE CORPORATION 8 • ADMINISTRATION 11 REPORT OF THE CHAIRMAN 15 REPORT OF THE DIRECTOR 23 • ACKNOWLEDGMENTS 27 • REPORT OF THE SCHOOL OF HISTORICAL STUDIES ACADEMIC ACTIVITIES MEMBERS, VISITORS AND RESEARCH STAFF 36 • REPORT OF THE SCHOOL OF MATHEMATICS ACADEMIC ACTIVITIES MEMBERS AND VISITORS 42 • REPORT OF THE SCHOOL OF NATURAL SCIENCES ACADEMIC ACTIVITIES MEMBERS AND VISITORS 50 • REPORT OF THE SCHOOL OF SOCIAL SCIENCE ACADEMIC ACTIVITIES MEMBERS, VISITORS AND RESEARCH STAFF 55 • REPORT OF THE INSTITUTE LIBRARIES 57 • RECORD OF INSTITUTE EVENTS IN THE ACADEMIC YEAR 1994-95 85 • INDEPENDENT AUDITORS' REPORT INSTITUTE FOR ADVANCED STUDY: BACKGROUND AND PURPOSE The Institute for Advanced Study is an independent, nonprofit institution devoted to the encouragement of learning and scholarship.
    [Show full text]
  • TWAS Fellowships Worldwide
    CDC Round Table, ICTP April 2016 With science and engineering, countries can address challenges in agriculture, climate, health TWAS’s and energy. guiding principles 2 Food security Challenges Water quality for a Energy security new era Biodiversity loss Infectious diseases Climate change 3 A Globally, 81 nations fall troubling into the category of S&T- gap lagging countries. 48 are classified as Least Developed Countries. 4 The role of TWAS The day-to-day work of TWAS is focused in two critical areas: •Improving research infrastructure •Building a corps of PhD scholars 5 TWAS Research Grants 2,202 grants awarded to individuals and research groups (1986-2015) 6 TWAS’ AIM: to train 1000 PhD students by 2017 Training PhD-level scientists: •Researchers and university-level educators •Future leaders for science policy, business and international cooperation Rapidly growing opportunities P BRAZIL A K I N D I CA I RI A S AF TH T SOU A N M KENYA EX ICO C H I MALAYSIA N A IRAN THAILAND TWAS Fellowships Worldwide NRF, South Africa - newly on board 650+ fellowships per year PhD fellowships +460 Postdoctoral fellowships +150 Visiting researchers/professors + 45 17 Programme Partners BRAZIL: CNPq - National Council MALAYSIA: UPM – Universiti for Scientific and Technological Putra Malaysia WorldwideDevelopment CHINA: CAS - Chinese Academy of KENYA: icipe – International Sciences Centre for Insect Physiology and Ecology INDIA: CSIR - Council of Scientific MEXICO: CONACYT– National & Industrial Research Council on Science and Technology PAKISTAN: CEMB – National INDIA: DBT - Department of Centre of Excellence in Molecular Biotechnology Biology PAKISTAN: ICCBS – International Centre for Chemical and INDIA: IACS - Indian Association Biological Sciences for the Cultivation of Science PAKISTAN: CIIT – COMSATS Institute of Information INDIA: S.N.
    [Show full text]
  • New Publications Offered by the AMS
    New Publications Offered by the AMS appropriate generality waited for the seventies. These early Algebra and Algebraic occurrences were in algebraic topology in the study of (iter- ated) loop spaces and their chain algebras. In the nineties, Geometry there was a renaissance and further development of the theory inspired by the discovery of new relationships with graph cohomology, representation theory, algebraic geometry, Almost Commuting derived categories, Morse theory, symplectic and contact EMOIRS M of the geometry, combinatorics, knot theory, moduli spaces, cyclic American Mathematical Society Elements in Compact cohomology, and, not least, theoretical physics, especially Volume 157 Number 747 string field theory and deformation quantization. The general- Almost Commuting Lie Groups Elements in ization of quadratic duality (e.g., Lie algebras as dual to Compact Lie Groups Armand Borel, Institute for commutative algebras) together with the property of Koszul- Armand Borel Advanced Study, Princeton, NJ, ness in an essentially operadic context provided an additional Robert Friedman computational tool for studying homotopy properties outside John W. Morgan and Robert Friedman and THEMAT A IC M A L N A S O C I C of the topological setting. R I E E T M Y A FO 8 U 88 John W. Morgan, Columbia NDED 1 University, New York City, NY The book contains a detailed and comprehensive historical American Mathematical Society introduction describing the development of operad theory Contents: Introduction; Almost from the initial period when it was a rather specialized tool in commuting N-tuples; Some characterizations of groups of homotopy theory to the present when operads have a wide type A; c-pairs; Commuting triples; Some results on diagram range of applications in algebra, topology, and mathematical automorphisms and associated root systems; The fixed physics.
    [Show full text]
  • Kavli IPMU Annual 2014 Report
    ANNUAL REPORT 2014 REPORT ANNUAL April 2014–March 2015 2014–March April Kavli IPMU Kavli Kavli IPMU Annual Report 2014 April 2014–March 2015 CONTENTS FOREWORD 2 1 INTRODUCTION 4 2 NEWS&EVENTS 8 3 ORGANIZATION 10 4 STAFF 14 5 RESEARCHHIGHLIGHTS 20 5.1 Unbiased Bases and Critical Points of a Potential ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙20 5.2 Secondary Polytopes and the Algebra of the Infrared ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙21 5.3 Moduli of Bridgeland Semistable Objects on 3- Folds and Donaldson- Thomas Invariants ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙22 5.4 Leptogenesis Via Axion Oscillations after Inflation ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙23 5.5 Searching for Matter/Antimatter Asymmetry with T2K Experiment ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ 24 5.6 Development of the Belle II Silicon Vertex Detector ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙26 5.7 Search for Physics beyond Standard Model with KamLAND-Zen ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙28 5.8 Chemical Abundance Patterns of the Most Iron-Poor Stars as Probes of the First Stars in the Universe ∙ ∙ ∙ 29 5.9 Measuring Gravitational lensing Using CMB B-mode Polarization by POLARBEAR ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ 30 5.10 The First Galaxy Maps from the SDSS-IV MaNGA Survey ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙ ∙32 5.11 Detection of the Possible Companion Star of Supernova 2011dh ∙ ∙ ∙ ∙ ∙ ∙
    [Show full text]
  • FY 2008 WPI Project Progress Report World Premier International Research Center (WPI) Initiative
    FY 2008 WPI Project Progress Report World Premier International Research Center (WPI) Initiative Host Institution The University of Tokyo Host Institution Head Hiroshi Komiyama Research Center Institute for the Physics and Mathematics of the Universe Center Director Hitoshi Murayama Summary of center project progress HyperSuprimeCam projects are making steady progress, and the MoU Institute for the Physics and Mathematics of the Universe (IPMU) has made to join SDSS-III experiment was signed. steady progress towards the stated goals. The numbers below refer to the (5) Honors and Awards. PI Ooguri received the 2009 Humboldt Research period between April 1, 2008 and March 31, 2009, unless stated otherwise. Award, and Prof. Sugimoto received the 2008 Kimura prize of (1) Organization. The number of administrative and research support staff theoretical physics. Assoc. Prof. Yoshida received the IUPAP Young has exceeded the proposed number of 30. The scientific staff is also Scientist Prize in computational physics, and Assoc. Prof. Komatsu steadily growing, from 63 to 125, well on track towards the proposed (joint appointment with Texas) received the same Prize in astrophysics. goal of 195 (March 2011). PI Nakahata received the 2008 Inoue Prize for Science. PI Inoue received the 2008 JSPS Prize. (2) Internationalization. The WPI program requires more than 30% of the researchers to be non-Japanese. Our current percentage is 48%, and (6) Interdisciplinary activities. As proposed, we hold daily tea at three has fulfilled the mandate. The most significant among the non-Japanese o’clock to encourage informal and interdisciplinary discussions. They members is one full and two associate professors who have moved from are well attended and create desired atmosphere.
    [Show full text]
  • Fall 2006 [Pdf]
    Le Bulletin du CRM • www.crm.umontreal.ca • Automne/Fall 2006 | Volume 12 – No 2 | Le Centre de recherches mathématiques A Review of CRM’s 2005 – 2006 Thematic Programme An Exciting Year on Analysis in Number Theory by Chantal David (Concordia University) The thematic year “Analysis in Number The- tribution of integers, and level statistics), integer and rational ory” that was held at the CRM in 2005 – points on varieties (geometry of numbers, the circle method, 2006 consisted of two semesters with differ- homogeneous varieties via spectral theory and ergodic theory), ent foci, both exploring the fruitful interac- the André – Oort conjectures (equidistribution of CM-points tions between analysis and number theory. and Hecke points, and points of small height) and quantum The first semester focused on p-adic analy- ergodicity (quantum maps and modular surfaces) The main sis and arithmetic geometry, and the second speakers were Yuri Bilu (Bordeaux I), Bill Duke (UCLA), John semester on classical analysis and analytic number theory. In Friedlander (Toronto), Andrew Granville (Montréal), Roger both themes, several workshops, schools and focus periods Heath-Brown (Oxford), Elon Lindenstrauss (New York), Jens concentrated on the new and exciting developments of the re- Marklof (Bristol), Zeev Rudnick (Tel Aviv), Wolfgang Schmidt cent years that have emerged from the interplay between anal- (Colorado, Boulder and Vienna), K. Soundararajan (Michigan), ysis and number theory. The thematic year was funded by the Yuri Tschinkel (Göttingen), Emmanuel Ullmo (Paris-Sud), and CRM, NSF, NSERC, FQRNT, the Clay Institute, NATO, and Akshay Venkatesh (MIT). the Dimatia Institute from Prague. In addition to the partici- The workshop on “p-adic repre- pants of the six workshops and two schools held during the sentations,” organised by Henri thematic year, more than forty mathematicians visited Mon- Darmon (McGill) and Adrian tréal for periods varying from two weeks to six months.
    [Show full text]
  • SCIENTIFIC REPORT for the YEAR 1995 ESI, Pasteurgasse 6/7, A-1090 Wien, Austria
    The Erwin Schr¨odinger International Boltzmanngasse 9 ESI Institute for Mathematical Physics A-1090 Wien, Austria Scientific Report for the year 1995 Vienna, ESI-Report 1995 February 25, 1996 Supported by Federal Ministry of Science and Research, Austria Available via anonymous ftp or gopher from FTP.ESI.AC.AT, URL: http://www.esi.ac.at/ ESI–Report 1995 ERWIN SCHRODINGER¨ INTERNATIONAL INSTITUTE OF MATHEMATICAL PHYSICS, SCIENTIFIC REPORT FOR THE YEAR 1995 ESI, Pasteurgasse 6/7, A-1090 Wien, Austria February 25, 1996 Table of contents General remarks . 2 Winter School in Geometry and Physics . 2 ACTIVITIES IN 1995 . 3 Two-dimensional quantum field theory . 3 Complex Analysis . 3 Noncommutative Differential Geometry . 4 Field theory and differential geometry . 5 Geometry of nonlinear partial differential equations . 5 Gibbs random fields and phase transitions . 5 Reaction-diffusion Equations in Biological Context . 7 Condensed Matter Physics . 7 Semi-Classical Limits and Kinetic Equations . 8 Guests of Walter Thirring . 8 Guests of Klaus Schmidt . 8 Guest of Wolfgang Kummer . 8 CONTINUATIONS OF ACTIVITIES FROM 1994 . 10 Continuation Operator algebras . 10 Continuation Schr¨odinger Operators . 10 Continuation Mathematical Relativity . 10 Continuation Quaternionic manifolds . 10 Continuation Spinor - and twistor theory . 10 List of Preprints . 10 List of seminars and colloquia . 18 List of all visitors in the year 1995 . 21 Impressum: Eigent¨umer, Verleger, Herausgeber: Erwin Schr¨odinger International Institute of Mathematical Physics. Offenlegung nach §25 Mediengesetz: Verlags- und Herstellungsort: Wien, Ziel der Zeitung: Wis- senschaftliche Information, Redaktion: Peter W. Michor Typeset by AMS-TEX Typeset by AMS-TEX 2 Scientific report 1995 General remarks The directors of ESI changed.
    [Show full text]
  • Breakthrough Prize in Mathematics Awarded to Terry Tao
    156 Breakthrough Prize in Mathematics awarded to Terry Tao Our congratulations to Australian Mathematician Terry Tao, one of five inaugu- ral winners of the Breakthrough Prizes in Mathematics, announced on 23 June. Terry is based at the University of California, Los Angeles, and has been awarded the prize for numerous breakthrough contributions to harmonic analysis, combi- natorics, partial differential equations and analytic number theory. The Breakthrough Prize in Mathematics was launched by Mark Zuckerberg and Yuri Milner at the Breakthrough Prize ceremony in December 2013. The other winners are Simon Donaldson, Maxim Kontsevich, Jacob Lurie and Richard Tay- lor. All five recipients of the Prize have agreed to serve on the Selection Committee, responsible for choosing subsequent winners from a pool of candidates nominated in an online process which is open to the public. From 2015 onwards, one Break- through Prize in Mathematics will be awarded every year. The Breakthrough Prizes honor important, primarily recent, achievements in the categories of Fundamental Physics, Life Sciences and Mathematics. The prizes were founded by Sergey Brin and Anne Wojcicki, Mark Zuckerberg and Priscilla Chan, and Yuri and Julia Milner, and aim to celebrate scientists and generate excitement about the pursuit of science as a career. Laureates will receive their trophies and $3 million each in prize money at a televised award ceremony in November, designed to celebrate their achievements and inspire the next genera- tion of scientists. As part of the ceremony schedule, they also engage in a program of lectures and discussions. See https://breakthroughprize.org and http://www.nytimes.com/2014/06/23/us/ the-multimillion-dollar-minds-of-5-mathematical-masters.html? r=1 for further in- formation..
    [Show full text]
  • Coherence Constraints for Operads, Categories and Algebras
    WSGP 20 Martin Markl; Steve Shnider Coherence constraints for operads, categories and algebras In: Jan Slovák and Martin Čadek (eds.): Proceedings of the 20th Winter School "Geometry and Physics". Circolo Matematico di Palermo, Palermo, 2001. Rendiconti del Circolo Matematico di Palermo, Serie II, Supplemento No. 66. pp. 29--57. Persistent URL: http://dml.cz/dmlcz/701667 Terms of use: © Circolo Matematico di Palermo, 2001 Institute of Mathematics of the Academy of Sciences of the Czech Republic provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This paper has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library http://project.dml.cz RENDICONTI DEL CIRCOLO MATEMATICO DI PALERMO Serie II, Suppl. 66 (2001) pp. 29-57 COHERENCE CONSTRAINTS FOR OPERADS, CATEGORIES AND ALGEBRAS MARTIN MARKL AND STEVE SHNIDER ABSTRACT. Coherence phenomena appear in two different situations. In the context of category theory the term 'coherence constraints' refers to a set of diagrams whose commutativity implies the commutativity of a larger class of diagrams. In the context of algebra coherence constrains are a minimal set of generators for the second syzygy, that is, a set of equations which generate the full set of identities among the defining relations of an algebraic theory. A typical example of the first type is Mac Lane's coherence theorem for monoidal categories [9, Theorem 3.1], an example of the second type is the result of [2] saying that pentagon identity for the 'associator' $ of a quasi-Hopf algebra implies the validity of a set of identities with higher instances of $.
    [Show full text]
  • String-Math 2012
    Volume 90 String-Math 2012 July 16–21, 2012 Universitat¨ Bonn, Bonn, Germany Ron Donagi Sheldon Katz Albrecht Klemm David R. Morrison Editors Volume 90 String-Math 2012 July 16–21, 2012 Universitat¨ Bonn, Bonn, Germany Ron Donagi Sheldon Katz Albrecht Klemm David R. Morrison Editors Volume 90 String-Math 2012 July 16–21, 2012 Universitat¨ Bonn, Bonn, Germany Ron Donagi Sheldon Katz Albrecht Klemm David R. Morrison Editors 2010 Mathematics Subject Classification. Primary 11G55, 14D21, 14F05, 14J28, 14M30, 32G15, 53D18, 57M27, 81T40. 83E30. Library of Congress Cataloging-in-Publication Data String-Math (Conference) (2012 : Bonn, Germany) String-Math 2012 : July 16-21, 2012, Universit¨at Bonn, Bonn, Germany/Ron Donagi, Sheldon Katz, Albrecht Klemm, David R. Morrison, editors. pages cm. – (Proceedings of symposia in pure mathematics; volume 90) Includes bibliographical references. ISBN 978-0-8218-9495-8 (alk. paper) 1. Geometry, Algebraic–Congresses. 2. Quantum theory– Mathematics–Congresses. I. Donagi, Ron, editor. II. Katz, Sheldon, 1956- editor. III. Klemm, Albrecht, 1960- editor. IV. Morrison, David R., 1955- editor. V. Title. QA564.S77 2012 516.35–dc23 2015017523 DOI: http://dx.doi.org/10.1090/pspum/090 Color graphic policy. Any graphics created in color will be rendered in grayscale for the printed version unless color printing is authorized by the Publisher. In general, color graphics will appear in color in the online version. Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy select pages for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given.
    [Show full text]
  • An Interview with Martin Davis
    Notices of the American Mathematical Society ISSN 0002-9920 ABCD springer.com New and Noteworthy from Springer Geometry Ramanujan‘s Lost Notebook An Introduction to Mathematical of the American Mathematical Society Selected Topics in Plane and Solid Part II Cryptography May 2008 Volume 55, Number 5 Geometry G. E. Andrews, Penn State University, University J. Hoffstein, J. Pipher, J. Silverman, Brown J. Aarts, Delft University of Technology, Park, PA, USA; B. C. Berndt, University of Illinois University, Providence, RI, USA Mediamatics, The Netherlands at Urbana, IL, USA This self-contained introduction to modern This is a book on Euclidean geometry that covers The “lost notebook” contains considerable cryptography emphasizes the mathematics the standard material in a completely new way, material on mock theta functions—undoubtedly behind the theory of public key cryptosystems while also introducing a number of new topics emanating from the last year of Ramanujan’s life. and digital signature schemes. The book focuses Interview with Martin Davis that would be suitable as a junior-senior level It should be emphasized that the material on on these key topics while developing the undergraduate textbook. The author does not mock theta functions is perhaps Ramanujan’s mathematical tools needed for the construction page 560 begin in the traditional manner with abstract deepest work more than half of the material in and security analysis of diverse cryptosystems. geometric axioms. Instead, he assumes the real the book is on q- series, including mock theta Only basic linear algebra is required of the numbers, and begins his treatment by functions; the remaining part deals with theta reader; techniques from algebra, number theory, introducing such modern concepts as a metric function identities, modular equations, and probability are introduced and developed as space, vector space notation, and groups, and incomplete elliptic integrals of the first kind and required.
    [Show full text]
  • SCIENTIFIC REPORT for the 5 YEAR PERIOD 1993–1997 INCLUDING the PREHISTORY 1991–1992 ESI, Boltzmanngasse 9, A-1090 Wien, Austria
    The Erwin Schr¨odinger International Boltzmanngasse 9 ESI Institute for Mathematical Physics A-1090 Wien, Austria Scientific Report for the 5 Year Period 1993–1997 Including the Prehistory 1991–1992 Vienna, ESI-Report 1993-1997 March 5, 1998 Supported by Federal Ministry of Science and Transport, Austria http://www.esi.ac.at/ ESI–Report 1993-1997 ERWIN SCHRODINGER¨ INTERNATIONAL INSTITUTE OF MATHEMATICAL PHYSICS, SCIENTIFIC REPORT FOR THE 5 YEAR PERIOD 1993–1997 INCLUDING THE PREHISTORY 1991–1992 ESI, Boltzmanngasse 9, A-1090 Wien, Austria March 5, 1998 Table of contents THE YEAR 1991 (Paleolithicum) . 3 Report on the Workshop: Interfaces between Mathematics and Physics, 1991 . 3 THE YEAR 1992 (Neolithicum) . 9 Conference on Interfaces between Mathematics and Physics . 9 Conference ‘75 years of Radon transform’ . 9 THE YEAR 1993 (Start of history of ESI) . 11 Erwin Schr¨odinger Institute opened . 11 The Erwin Schr¨odinger Institute An Austrian Initiative for East-West-Collaboration . 11 ACTIVITIES IN 1993 . 13 Short overview . 13 Two dimensional quantum field theory . 13 Schr¨odinger Operators . 16 Differential geometry . 18 Visitors outside of specific activities . 20 THE YEAR 1994 . 21 General remarks . 21 FTP-server for POSTSCRIPT-files of ESI-preprints available . 22 Winter School in Geometry and Physics . 22 ACTIVITIES IN 1994 . 22 International Symposium in Honour of Boltzmann’s 150th Birthday . 22 Ergodicity in non-commutative algebras . 23 Mathematical relativity . 23 Quaternionic and hyper K¨ahler manifolds, . 25 Spinors, twistors and conformal invariants . 27 Gibbsian random fields . 28 CONTINUATION OF 1993 PROGRAMS . 29 Two-dimensional quantum field theory . 29 Differential Geometry . 29 Schr¨odinger Operators .
    [Show full text]