DOCSLIB.ORG

Tropical Geometry and Mirror Symmetry

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Tropical Geometry and Mirror Symmetry Conference Board of the Mathematical Sciences CBMS Regional Conference Series in Mathematics Number 114 Tropical Geometry and Mirror Symmetry Mark Gross American Mathematical Society with support from the National Science Foundation cbms-114-gross-cov.indd 1 11/16/10 1:58 PM Tropical Geometry and Mirror Symmetry http://dx.doi.org/10.1090/cbms/114 Conference Board of the Mathematical Sciences CBMS Regional Conference Series in Mathematics Number 114 Tropical Geometry and Mirror Symmetry Mark Gross Published for the Conference Board of the Mathematical Sciences by the American Mathematical Society Providence, Rhode Island with support from the National Science Foundation NSF-CBMS-Regional Conference in the Tropical Geometry and Mirror Symmetry held at Kansas State University, Manhattan, Kansas December 13–17, 2008 Partially supported by the National Science Foundation. The author acknowledges support from the Conference Board of the Mathematical Sciences and NSF grant DMS-0735319 2000 Mathematics Subject Classification. Primary 14T05, 14M25, 14N35, 14J32, 14J33, 52B20. For additional information and updates on this book, visit www.ams.org/bookpages/cbms-114 Library of Congress Cataloging-in-Publication Data Gross, Mark, 1965– Tropical geometry and mirror symmetry / Mark Gross. p. cm. — (Conference Board of the Mathematical Sciences regional conference series in mathematics ; no. 114) Includes bibliographical references and index. ISBN 978-0-8218-5232-3 (alk. paper) 1. Tropical geometry. 2. Mirror symmetry. I. Title. QA582.G76 2010 516.35—dc22 2010043384 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 a chapter 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. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294 USA. Requests can also be made by e-mail to [email protected]. c 2011 by the American Mathematical Society. All rights reserved. The American Mathematical Society retains all rights except those granted to the United States Government. Printed in the United States of America. ∞ The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability. Visit the AMS home page at http://www.ams.org/ 10987654321 161514131211 “Maybe the tropics,” somebody, probably the General said, “but never the Polar Region, it’s too white, too mathematical up there.” —Thomas Pynchon, Against the Day. Contents Preface ix Introduction xi Part 1. The three worlds 1 Chapter 1. The tropics 3 1.1. Tropical hypersurfaces 3 1.2. Some background on fans 11 1.3. Parameterized tropical curves 13 1.4. Affine manifolds with singularities 19 1.5. The discrete Legendre transform 27 1.6. Tropical curves on tropical surfaces 30 1.7. References and further reading 32 Chapter 2. The A- and B-models 33 2.1. The A-model 33 2.2. The B-model 67 2.3. References and further reading 89 Chapter 3. Log geometry 91 3.1. A brief review of toric geometry 92 3.2. Log schemes 98 3.3. Log derivations and differentials 112 3.4. Log deformation theory 117 3.5. The twisted de Rham complex revisited 126 3.6. References and further reading 129 Part 2. Example: P2. 131 Chapter 4. Mikhalkin’s curve counting formula 133 4.1. The statement and outline of the proof 133 4.2. Log world → tropical world 138 4.3. Tropical world → log world 143 4.4. Classical world → log world 157 4.5. Log world → classical world 165 4.6. The end of the proof 169 4.7. References and further reading 171 Chapter 5. Period integrals 173 5.1. The perturbed Landau-Ginzburg potential 173 vii viii CONTENTS 5.2. Tropical descendent invariants 179 5.3. The main B-model statement 187 5.4. Deforming Q and P1,...,Pk 192 5.5. Evaluation of the period integrals 222 5.6. References and further reading 244 Part 3. The Gross-Siebert program 245 Chapter 6. The program and two-dimensional results 247 6.1. The program 247 6.2. From integral tropical manifolds to degenerations in dimension two 255 6.3. Achieving compatibility: The tropical vertex group 290 6.4. Remarks and generalizations 305 6.5. References and further reading 306 Bibliography 307 Index of Symbols 313 General Index 315 Preface The NSF-CBMS conference on Tropical Geometry and Mirror Symmetry was held at Kansas State University during the period December 13–17, 2008. It was organized by Ricardo Casta˜no-Bernard, Yan Soibelman, and Ilia Zharkov. During this time, I gave ten hours of lectures. In addition, talks were given by M. Abouzaid, K.-W. Chan, C. Doran, K. Fukaya, I. Itenberg, L. Katzarkov, A. Mavlyutov, D. Morrison, Y.-G. Oh, T. Pantev, B. Siebert, and B. Young. My talks were meant to give a snapshot of a long-term program currently being carried out with Bernd Siebert aimed at achieving a fundamental conceptual understanding of mirror symmetry. Tropical geometry emerges naturally in this program, so in the lectures I took a rather ahistorical point of view. Starting with the tropical semi-ring, I developed tropical geometry and explained Mikhalkin’s tropical curve-counting formulas, outlining the proof given by Nishinou and Siebert. I then explained my recent work in connecting this to the mirror side. Finally, I sketched the ideas behind recent work by myself and Siebert on constructing degenerations of Calabi-Yau manifolds from affine manifolds with singularities. This monograph follows the structure of the lectures closely, filling in many de- tails which were not given there. Like the lectures, this monograph only represents a snapshot of an evolving program, but I hope it will be useful to those who may wish to become involved in this program. NSF grant DMS-0735319 provided support both for the conference and for this book. Mark Gross, La Jolla, 2010 ix Introduction The early history of mirror symmetry has been told many times; we will only summarize it briefly here. The story begins with the introduction of Calabi-Yau compactifications in string theory in 1985 [11]. The idea is that, since superstring theory requires a ten-dimensional space-time, one reconciles this with the observed universe by requiring (at least locally) that space-time take the form R1,3 × X, where R1,3 is usual Minkowski space-time and X is a very small six-dimensional Riemannian manifold. The desire for the theory to preserve the supersymmetry of superstring theory then leads to the requirement that X have SU(3) holonomy, i.e., be a Calabi-Yau manifold. Thus string theory entered the realm of algebraic geometry, as any non-singular projective threefold with trivial canonical bundle carries a metric with SU(3) holonomy, thanks to Yau’s proof of the Calabi conjecture [113]. This generated an industry in the string theory community devoted to produc- ing large lists of examples of Calabi-Yau threefolds and computing their invariants, the most basic of which are the Hodge numbers h1,1 and h1,2. In 1989, a rather surprising observation came out of this work. Candelas, Lynker and Schimmrigk [12] provided a list of Calabi-Yau hypersurfaces in weighted projective space which exhibited an obvious symmetry: if there was a Calabi-Yau threefold with Hodge numbers given by a pair (h1,1,h1,2), then there was often also one with Hodge numbers given by the pair (h1,2,h1,1). Independently, guided by certain observations in conformal field theory, Greene and Plesser [36] studied the 4 quintic threefold and its mirror partner. If we let Xψ be the solution set in P of the equation 5 ··· 5 − x0 + + x4 ψx0x1x2x3x4 =0 for ψ ∈ C,thenformostψ, Xψ is a non-singular quintic threefold, and as such, has Hodge numbers 1,1 1,2 h (Xψ)=1,h(Xψ) = 101. On the other hand, the group {(a ,...,a )|a ∈ μ , 4 a =1} G = 0 4 i 5 i=0 i {(a, a, a, a, a)|a ∈ μ5} acts diagonally on P4,via (x0,...,x4) → (a0x0,...,a4x4). Here μ5 is the group of fifth roots of unity. This action restricts to an action on Xψ, and the quotient Xψ/G is highly singular. However, these singularities can be xi xii INTRODUCTION resolved via a proper birational morphism Xˇψ → Xψ/G with Xˇψ anewCalabi-Yau threefold with Hodge numbers 1,1 1,2 h (Xˇψ) = 101,h(Xˇψ)=1. These examples were already a surprise to mathematicians, since at the time very few examples of Calabi-Yau threefolds with positive Euler characteristic were known (the Euler characteristic coinciding with 2(h1,1 − h1,2)). Much more spectacular were the results of Candelas, de la Ossa, Green and Parkes [10]. Guided by string theory and path integral calculations, Candelas et al. conjectured that certain period calculations on the family Xˇψ parameterized by ψ would yield predictions for numbers of rational curves on the quintic threefold. They carried out these calculations, finding agreement with the known numbers of rational curves up to degree 3. We omit any details of these calculations here, as they have been exposited in many places, see e.g., [43]. This agreement was very surprising to the mathematical community, as these numbers become increasingly difficult to compute as the degree increases. The number of lines, 2875, was known in the 19th century, the number of conics, 609250, was computed only in 1986 by Sheldon Katz [66], and the number of twisted cubics, 317206375, was only computed in 1990 by Ellingsrud and Strømme [22].
Load more

Recommended publications
  • Tropical Geometry of Deep Neural Networks
    Tropical Geometry of Deep Neural Networks Liwen Zhang 1 Gregory Naitzat 2 Lek-Heng Lim 2 3 Abstract 2011; Montufar et al., 2014; Eldan & Shamir, 2016; Poole et al., 2016; Telgarsky, 2016; Arora et al., 2018). Recent We establish, for the first time, explicit connec- work (Zhang et al., 2016) showed that several successful tions between feedforward neural networks with neural networks possess a high representation power and ReLU activation and tropical geometry — we can easily shatter random data. However, they also general- show that the family of such neural networks is ize well to data unseen during training stage, suggesting that equivalent to the family of tropical rational maps. such networks may have some implicit regularization. Tra- Among other things, we deduce that feedforward ditional measures of complexity such as VC-dimension and ReLU neural networks with one hidden layer can Rademacher complexity fail to explain this phenomenon. be characterized by zonotopes, which serve as Understanding this implicit regularization that begets the building blocks for deeper networks; we relate generalization power of deep neural networks remains a decision boundaries of such neural networks to challenge. tropical hypersurfaces, a major object of study in tropical geometry; and we prove that linear The goal of our work is to establish connections between regions of such neural networks correspond to neural network and tropical geometry in the hope that they vertices of polytopes associated with tropical ra- will shed light on the workings of deep neural networks. tional functions. An insight from our tropical for- Tropical geometry is a new area in algebraic geometry that mulation is that a deeper network is exponentially has seen an explosive growth in the recent decade but re- more expressive than a shallow network.
    [Show full text]
  • Group Actions and Divisors on Tropical Curves Max B
    Claremont Colleges Scholarship @ Claremont HMC Senior Theses HMC Student Scholarship 2011 Group Actions and Divisors on Tropical Curves Max B. Kutler Harvey Mudd College Recommended Citation Kutler, Max B., "Group Actions and Divisors on Tropical Curves" (2011). HMC Senior Theses. 5. https://scholarship.claremont.edu/hmc_theses/5 This Open Access Senior Thesis is brought to you for free and open access by the HMC Student Scholarship at Scholarship @ Claremont. It has been accepted for inclusion in HMC Senior Theses by an authorized administrator of Scholarship @ Claremont. For more information, please contact [email protected]. Group Actions and Divisors on Tropical Curves Max B. Kutler Dagan Karp, Advisor Eric Katz, Reader May, 2011 Department of Mathematics Copyright c 2011 Max B. Kutler. The author grants Harvey Mudd College and the Claremont Colleges Library the nonexclusive right to make this work available for noncommercial, educational purposes, provided that this copyright statement appears on the reproduced ma- terials and notice is given that the copying is by permission of the author. To dis- seminate otherwise or to republish requires written permission from the author. Abstract Tropical geometry is algebraic geometry over the tropical semiring, or min- plus algebra. In this thesis, I discuss the basic geometry of plane tropical curves. By introducing the notion of abstract tropical curves, I am able to pass to a more abstract metric-topological setting. In this setting, I discuss divisors on tropical curves. I begin a study of G-invariant divisors and divisor classes. Contents Abstract iii Acknowledgments ix 1 Tropical Geometry 1 1.1 The Tropical Semiring .
    [Show full text]
  • Notes by Eric Katz TROPICAL GEOMETRY
    Notes by Eric Katz TROPICAL GEOMETRY GRIGORY MIKHALKIN 1. Introduction 1.1. Two applications. Let us begin with two examples of questions where trop- ical geometry is useful. Example 1.1. Can we represent an untied trefoil knot as a genus 1 curve of degree 5 in RP3? Yes, by means of tropical geometry. It turns out that it can be be represented by a rational degree 5 curve but not by curve of genus greater than 1 since such a curve must sit on a quadric surface in RP3. 3 k 3 Figure 1. Untied trefoil. Example 1.2. Can we enumerate real and complex curves simultaneously by com- binatorics? For example, there is a way to count curves in RP2 or CP2 through 3d − 1+ g points by using bipartite graphs. 1.2. Tropical Geometry. Tropical geometry is algebraic geometry over the tropi- cal semi-field, (T, “+”, “·”). The semi-field’s underlying set is the half-open interval [−∞, ∞). The operations are given for a,b ∈ T by “a + b” = max(a,b) “a · b”= a + b. The semi-field has the properties of a field except that additive inverses do not exist. Moreover, every element is an idempotent, “a + a”= a so there is no way to adjoin inverses. In some sense algebra becomes harder, geometry becomes easier. By the way, tropical geometry is named in honor of a Brazilian computer scien- tist, Imre Simon. Two observations make tropical geometry easy. First, the tropical semiring T naturally has a Euclidean topology like R and C. Second, the geometric structures are piecewise linear structures, and so tropical geometry reduces to a combination 1 2 MIKHALKIN of combinatorics and linear algebra.
    [Show full text]
  • Applications of Tropical Geometry in Deep Neural Networks
    Applications of Tropical Geometry in Deep Neural Networks Thesis by Motasem H. A. Alfarra In Partial Fulfillment of the Requirements For the Degree of Masters of Science in Electrical Engineering King Abdullah University of Science and Technology Thuwal, Kingdom of Saudi Arabia April, 2020 2 EXAMINATION COMMITTEE PAGE The thesis of Motasem H. A. Alfarra is approved by the examination committee Committee Chairperson: Bernard S. Ghanem Committee Members: Bernard S. Ghanem, Wolfgang Heidrich, Xiangliang Zhang 3 ©April, 2020 Motasem H. A. Alfarra All Rights Reserved 4 ABSTRACT Applications of Tropical Geometry in Deep Neural Networks Motasem H. A. Alfarra This thesis tackles the problem of understanding deep neural network with piece- wise linear activation functions. We leverage tropical geometry, a relatively new field in algebraic geometry to characterize the decision boundaries of a single hidden layer neural network. This characterization is leveraged to understand, and reformulate three interesting applications related to deep neural network. First, we give a geo- metrical demonstration of the behaviour of the lottery ticket hypothesis. Moreover, we deploy the geometrical characterization of the decision boundaries to reformulate the network pruning problem. This new formulation aims to prune network pa- rameters that are not contributing to the geometrical representation of the decision boundaries. In addition, we propose a dual view of adversarial attack that tackles both designing perturbations to the input image, and the equivalent perturbation to the decision boundaries. 5 ACKNOWLEDGEMENTS First of all, I would like to express my deepest gratitude to my thesis advisor Prof. Bernard Ghanem who supported me through this journey. Prof.
    [Show full text]
  • Tropical Geometry? Eric Katz Communicated by Cesar E
    THE GRADUATE STUDENT SECTION WHAT IS… Tropical Geometry? Eric Katz Communicated by Cesar E. Silva This note was written to answer the question, What is tropical geometry? That question can be interpreted in two ways: Would you tell me something about this research area? and Why the unusual name ‘tropi- Tropical cal geometry’? To address Figure 1. Tropical curves, such as this tropical line the second question, trop- and two tropical conics, are polyhedral complexes. geometry ical geometry is named in transforms honor of Brazilian com- science. Here, tropical geometry can be considered as alge- puter scientist Imre Simon. braic geometry over the tropical semifield (ℝ∪{∞}, ⊕, ⊗) questions about This naming is compli- with operations given by cated by the fact that he algebraic lived in São Paolo and com- 푎 ⊕ 푏 = min(푎, 푏), 푎 ⊗ 푏 = 푎 + 푏. muted across the Tropic One can then find tropical analogues of classical math- varieties into of Capricorn. Whether his ematics and define tropical polynomials, tropical hyper- work is tropical depends surfaces, and tropical varieties. For example, a degree 2 questions about on whether he preferred to polynomial in variables 푥, 푦 would be of the form do his research at home or polyhedral min(푎 + 2푥, 푎 + 푥 + 푦, 푎 + 2푦, 푎 + 푥, 푎 + 푦, 푎 ) in the office. 20 11 02 10 01 00 complexes. The main goal of for constants 푎푖푗 ∈ ℝ ∪ {∞}. The zero locus of a tropical tropical geometry is trans- polynomial is defined to be the set of points where the forming questions about minimum is achieved by at least two entries.
    [Show full text]
  • The Boardman Vogt Resolution and Tropical Moduli Spaces
    The Boardman Vogt resolution and tropical moduli spaces by Nina Otter Master Thesis submitted to The Department of Mathematics Supervisors: Prof. Dr. John Baez (UCR) Prof. Dr. Giovanni Felder (ETH) Contents Page Acknowledgements 5 Introduction 7 Preliminaries 9 1. Monoidal categories 9 2. Operads 13 3. Trees 17 Operads and homotopy theory 31 4. Monoidal model categories 31 5. A model structure on the category of topological operads 32 6. The W-construction 35 Tropical moduli spaces 41 7. Abstract tropical curves as metric graphs 47 8. Tropical modifications and pointed curves 48 9. Tropical moduli spaces 49 Appendix A. Closed monoidal categories, enrichment and the endomorphism operad 55 Appendix. Bibliography 63 3 Acknowledgements First and foremost I would like to thank Professor John Baez for making this thesis possible, for his enduring patience and support, and for sharing his lucid vision of the big picture, sparing me the agony of mindlessly hacking my way through the rainforest of topological operads and possibly falling victim to the many perils which lurk within. Furthermore I am indebted to Professor Giovanni Felder who kindly assumed the respon- sibility of supervising the thesis on behalf of the ETH, and for several fruitful meetings in which he took time to listen to my progress, sharing his clear insight and giving precious advice. I would also like to thank David Speyer who pointed out the relation between tropical geometry and phylogenetic trees to Professor Baez, and Adrian Clough for all the fruitful discussions on various topics in this thesis and for sharing his ideas on mathematical writing in general.
    [Show full text]
  • Tropical Geometry to Analyse Demand
    TROPICAL GEOMETRY TO ANALYSE DEMAND Elizabeth Baldwin∗ and Paul Klemperery preliminary draft May 2012, slightly revised July 2012 The latest version of this paper and related material will be at http://users.ox.ac.uk/∼wadh1180/ and www.paulklemperer.org ABSTRACT Duality techniques from convex geometry, extended by the recently-developed math- ematics of tropical geometry, provide a powerful lens to study demand. Any consumer's preferences can be represented as a tropical hypersurface in price space. Examining the hypersurface quickly reveals whether preferences represent substitutes, complements, \strong substitutes", etc. We propose a new framework for understanding demand which both incorporates existing definitions, and permits additional distinctions. The theory of tropical intersection multiplicities yields necessary and sufficient conditions for the existence of a competitive equilibrium for indivisible goods{our theorem both en- compasses and extends existing results. Similar analysis underpins Klemperer's (2008) Product-Mix Auction, introduced by the Bank of England in the financial crisis. JEL nos: Keywords: Acknowledgements to be completed later ∗Balliol College, Oxford University, England. [email protected] yNuffield College, Oxford University, England. [email protected] 1 1 Introduction This paper introduces a new way to think about economic agents' individual and aggregate demands for indivisible goods,1 and provides a new set of geometric tools to use for this. Economists mostly think about agents'
    [Show full text]
  • The Enumerative Geometry of Rational and Elliptic Tropical Curves and a Riemann-Roch Theorem in Tropical Geometry
    The enumerative geometry of rational and elliptic tropical curves and a Riemann-Roch theorem in tropical geometry Michael Kerber Am Fachbereich Mathematik der Technischen Universit¨atKaiserslautern zur Verleihung des akademischen Grades Doktor der Naturwissenschaften (Doctor rerum naturalium, Dr. rer. nat.) vorgelegte Dissertation 1. Gutachter: Prof. Dr. Andreas Gathmann 2. Gutachter: Prof. Dr. Ilia Itenberg Abstract: The work is devoted to the study of tropical curves with emphasis on their enumerative geometry. Major results include a conceptual proof of the fact that the number of rational tropical plane curves interpolating an appropriate number of general points is independent of the choice of points, the computation of intersection products of Psi- classes on the moduli space of rational tropical curves, a computation of the number of tropical elliptic plane curves of given genus and fixed tropical j-invariant as well as a tropical analogue of the Riemann-Roch theorem for algebraic curves. Mathematics Subject Classification (MSC 2000): 14N35 Gromov-Witten invariants, quantum cohomology 51M20 Polyhedra and polytopes; regular figures, division of spaces 14N10 Enumerative problems (combinatorial problems) Keywords: Tropical geometry, tropical curves, enumerative geometry, metric graphs. dedicated to my parents — in love and gratitude Contents Preface iii Tropical geometry . iii Complex enumerative geometry and tropical curves . iv Results . v Chapter Synopsis . vi Publication of the results . vii Financial support . vii Acknowledgements . vii 1 Moduli spaces of rational tropical curves and maps 1 1.1 Tropical fans . 2 1.2 The space of rational curves . 9 1.3 Intersection products of tropical Psi-classes . 16 1.4 Moduli spaces of rational tropical maps .
    [Show full text]
  • Product-Mix Auctions and Tropical Geometry
    PRODUCT-MIX AUCTIONS AND TROPICAL GEOMETRY NGOC MAI TRAN AND JOSEPHINE YU Abstract. In a recent and ongoing work, Baldwin and Klemperer explored a con- nection between tropical geometry and economics. They gave a sufficient condition for the existence of competitive equilibrium in product-mix auctions of indivisible goods. This result, which we call the Unimodularity Theorem, can also be traced back to the work of Danilov, Koshevoy, and Murota in discrete convex analysis. We give a new proof of the Unimodularity Theorem via the classical unimodularity theorem in integer programming. We give a unified treatment of these results via tropical geometry and formulate a new sufficient condition for competitive equilib- rium when there are only two types of product. Generalizations of our theorem in higher dimensions are equivalent to various forms of the Oda conjecture in algebraic geometry. 1. Introduction. An auction is a mechanism to sell goods. It is a process that takes in a collection of bids and produces a set of winners, the amount of goods each winner gets, and the prices the winners have to pay. A product-mix auction is a sealed bid, static auction for differentiated goods. That is, no one knows others' bids, each agent submits the bids only once, and there are different types of goods. The goods are said to be indivisible if they can only be sold in integer quantities, and this is the case that interests us. Each agent (bidder) indicates her valuation, or how much each bundle of goods is worth to her. After seeing the bids, the economist sets the per-unit price for each type of good, splits up the supply into possibly empty bundles, one for each agent.
    [Show full text]
  • Tropical Gaussians: a Brief Survey 3
    TROPICAL GAUSSIANS: A BRIEF SURVEY NGOC MAI TRAN Abstract. We review the existing analogues of the Gaussian measure in the tropical semir- ing and outline various research directions. 1. Introduction Tropical mathematics has found many applications in both pure and applied areas, as documented by a growing number of monographs on its interactions with various other ar- eas of mathematics: algebraic geometry [BP16, Gro11, Huh16, MS15], discrete event systems [BCOQ92, But10], large deviations and calculus of variations [KM97, Puh01], and combinato- rial optimization [Jos14]. At the same time, new applications are emerging in phylogenetics [LMY18, YZZ19, PYZ20], statistics [Hoo17], economics [BK19, CT16, EVDD04, GMS13, Jos17, Shi15, Tra13, TY19], game theory, and complexity theory [ABGJ18, AGG12]. There is a growing need for a systematic study of probability distributions in tropical settings. Over the classical algebra, the Gaussian measure is arguably the most important distribution to both theoretical probability and applied statistics. In this work, we review the existing analogues of the Gaussian measure in the tropical semiring. We focus on the three main characterizations of the classical Gaussians central to statistics: invariance under orthonor- mal transformations, independence and orthogonality, and stability. We show that some notions do not yield satisfactory generalizations, others yield the classical geometric or ex- ponential distributions, while yet others yield completely different distributions. There is no single notion of a ‘tropical Gaussian measure’ that would satisfy multiple tropical analogues of the different characterizations of the classical Gaussians. This is somewhat expected, for the interaction between geometry and algebra over the tropical semiring is rather different from that over R.
    [Show full text]
  • A Bit of Tropical Geometry
    A BIT OF TROPICAL GEOMETRY ERWAN BRUGALLE´ AND KRISTIN SHAW What kinds of strange spaces with mysterious properties hide behind the enigmatic name of tropical geometry? In the tropics, just as in other geometries, it is difficult to find a simpler example than that of a line. So let us start from here. A tropical line consists of three usual half lines in the directions 1; 0 ; 0; 1 and 1; 1 em- anating from any point in the plane (see Figure 1a). Why call this strange object a line, in the tropical sense or any other? If we look more closely we find that tropical(− ) lines( − share) some( of) the familiar geometric properties of \usual" or \classical" lines in the plane. For instance, most pairs of tropical lines intersect in a single point1 (see Figure 1b). Also for most choices of pairs of points in the plane there is a unique tropical line passing through the two points2 (see Figure 1c). a) b) c) Figure 1. The tropical line What is even more important, although not at all visible from the picture, is that classical and tropical lines are both given by an equation of the form ax by c 0. In the realm of standard arXiv:1311.2360v3 [math.AG] 13 Jan 2014 algebra, where addition is addition and multiplication is multiplication, we can determine without + + = Date: January 14, 2014. To a great extent this text is an updated translation from French of [Bru09]. In addition to the original text, we included in Section 6 an account of some developments of tropical geometry that occured since the publication of [Bru09] in 2009.
    [Show full text]
  • Combinatorics and Computations in Tropical Mathematics by Bo Lin A
    Combinatorics and Computations in Tropical Mathematics by Bo Lin A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Mathematics in the Graduate Division of the University of California, Berkeley Committee in charge: Professor Bernd Sturmfels, Chair Professor James Demmel Professor Haiyan Huang Summer 2017 Combinatorics and Computations in Tropical Mathematics Copyright 2017 by Bo Lin 1 Abstract Combinatorics and Computations in Tropical Mathematics by Bo Lin Doctor of Philosophy in Mathematics University of California, Berkeley Professor Bernd Sturmfels, Chair In recent decades, tropical mathematics gradually evolved as a field of study in mathematics and it has more and more interactions with other fields and applications. In this thesis we solve combinatorial and computational problems concerning implicitization, linear systems and phylogenetic trees using tools and results from tropical mathematics. In Chapter 1 we briefly introduce basic aspects of tropical mathematics, including trop- ical arithmetic, tropical polynomials and varieties, and the relationship between tropical geometry and phylogenetic trees. In Chapter 2 we solve the implicitization problem for almost-toric hypersurfaces using results from tropical geometry. With results about the tropicalization of varieties, we present and prove a formula for the Newton polytopes of almost-toric hypersurfaces. This leads to a linear algebra approach for solving the implicitization problem. We implement our algorithm and show that it has better solving ability than some existing methods. In Chapter 3 we compute linear systems on metric graphs. In algebraic geometry, linear systems on curves have been well-studied in the literature. In comparison, linear systems on metric graphs are their counterparts in tropical mathematics.
    [Show full text]