DOCSLIB.ORG

Tropical Geometry

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Tropical Geometry Tropical Geometry Grigory Mikhalkin, Johannes Rau November 16, 2018 Contents 1 Introduction5 1.1 Algebraic geometry over what? . .5 1.2 Tropical Numbers . .8 1.3 Tropical monomials and integer affine geometry . 11 1.4 Forgetting the phase leads to tropical numbers . 15 1.5 Amoebas of affine algebraic varieties and their limits . 17 1.6 Patchworking and tropical geometry . 22 1.7 Concluding Remarks . 28 2 Tropical hypersurfaces in Rn 29 2.1 Polyhedral geometry dictionary I . 30 2.2 Tropical Laurent polynomials and hypersurfaces . 34 2.3 The polyhedral structure of hypersurfaces . 40 2.4 The balancing condition . 47 2.5 Planar Curves . 56 2.6 Floor decompositions . 69 3 Projective space and other tropical toric varieties 76 3.1 Tropical affine space Tn ....................... 76 3.2 Tropical toric varieties . 80 3.3 Tropical projective space . 84 3.4 Projective hypersurfaces . 88 3.5 Projective curves . 95 4 Tropical cycles in Rn 100 4.1 Polyhedral geometry dictionary II . 100 4.2 Tropical cycles and subspaces in Rn ................ 102 4.3 Stable intersection . 106 4.4 The divisor of a piecewise affine function . 116 4.5 Tropical modifications . 127 2 Contents 4.6 The projection formula . 131 4.7 Examples and further topics . 136 5 Projective tropical geometry 145 5.1 Tropical cycles in toric varieties . 145 5.2 Projective degree . 149 5.3 Modifications in toric varieties . 153 5.4 Configurations of hyperplanes in projective space . 166 5.5 Equivalence of rational curves . 169 5.6 Equivalence of linear spaces . 170 6 Tropical cycles and the Chow group 172 6.1 Tropical cycles . 172 6.2 Push-forwards of tropical cycles . 173 6.3 Linear equivalence of cycles . 175 6.4 Algebraic equivalence of cycles . 176 6.5 Linear systems . 177 6.6 Recession Fans . 177 7 Tropical manifolds 179 7.1 Tropical spaces . 179 7.2 Regularity at Infinity . 187 7.3 Tropical morphisms and structure sheaves . 193 7.4 Smooth tropical spaces . 196 7.5 Rational functions, Cartier divisors and modifications on ab- stract spaces . 206 8 Tropical curves 210 8.1 Smooth tropical curves . 210 8.2 Divisors and linear systems . 213 8.3 Line bundles on curves . 215 8.4 Riemann-Roch theorem . 221 9 Tropical jacobians 229 9.1 (Coarse) differential forms, integration, and the Jacobian . 229 9.2 Abelian varieties, polarization, and theta functions . 234 9.3 The Abel-Jacobi theorem . 238 9.4 Riemann’s theorem . 250 3 Acknowledgements We benefited from numerous valuable conversations, in particular with Vic- tor Batyrev, Benoît Bertrand, Erwan Brugallé, Ana Cannas da Silva, Jim Carlson, Yakov Eliashberg, Sergey Fomin, Andreas Gathmann, Mark Gross, Amihay Hanany, Ilia Itenberg, Michael Kapovich, Mikhail Kapranov, Lud- mil Katzarkov, Yujiro Kawamata, Sean Keel, Viatscheslav Kharlamov, Askold Khovanskii, Barak Kol, Maxim Kontsevich, Lionel Lang, Conan Leung, An- drey Losev, Diane Maclagan, Hannah Markwig, Pierre Milman, Yong-Geun Oh, Mikael Passare, Jean-Jacques Risler, Hans Rullgård, Kristin Shaw, Eu- genii Shustin, Yan Soibelman, David Speyer, Bernd Sturmfels, Louis Felipe Tabera, Ilya Tyomkin, Israel Vainsencher, Oleg Viro, Ilia Zharkov and Günter Ziegler on tropical geometry, especially during early stages of its develop- ment. (To be continued.) We would like to acknowledge support and encouragement from the Clay Mathematical Institute (USA) at the initial stage of this project. The project was also supported in part by the European Research Council (TROPGEO project), the Swiss National Science Foundation (projects no. 125070 and 140666). We would also like to thank the Mathematical Sciences Research Institute in Berkeley and the Max-Planck-Institut für Mathematik in Bonn for hospitality at different times during work on this project. 4 1 Introduction 1.1 Algebraic geometry over what? The two words “Algebraic Geometry” may invoke different images for dif- ferent people today. For some it might be something very abstract, and even somewhat formalistic, adapted to work in the most general setting possible. For many others, including the authors of this book, Algebraic Geometry is a branch of geometry in the first place — geometry of spaces defined by polynomial equations. Note that (unlike many algebraic properties) the resulting geometry de- pends not only on the type of the defining equations, but also on the choice of the numbers where we look for solutions. The two most classical choices are the field R of real numbers and the field C of complex numbers. Both these fields come naturally enhanced with the so-called “Euclidean topol- ogy” induced by the metric x y between two points x, y R (or in C). Furthermore, real algebraicj varieties− j are differentiable manifolds2 (perhaps with singularities) from a topological viewpoint, and complex algebraic va- rieties are special kind of real algebraic varieties of twice the dimension. To illustrate the two parallel classical theories let us recall the classical example of the so-called elliptic curve. Namely, consider a cubic curve in the complex projective plane CP2. As long as the defining cubic polynomial is chosen generically, the resulting curve is topologically a 2-dimensional torus (see Figure 1.1). This torus is embedded in the complex projective plane CP2. As CP2 is 4-dimensional such embedding is beyond our imagination tools. Now consider the case of real coefficients. Even if the defining polynomial is chosen generically, the topological type of the curve is not fixed. But there are only two possible cases, see Figure 1.2. As the ambient real projective plane RP2 is indeed 2-dimensional, we can actually draw how the curve is embedded there. Recall that topologically 5 1 Introduction Figure 1.1: A complex elliptic curve. Figure 1.2: Two real elliptic curves. RP2 can be obtained from a disc D2 by identifying the antipodal points on its boundary circle, see Figure 1.3. antipodal points get identified Figure 1.3: Real projective plane. 6 1 Introduction oval non- non- trivial trivial comp. comp. Figure 1.4: Elliptic curves in the real projective plane. Figure 1.4 depicts embeddings of cubic curves in the real projective plane. Note that there might be different pictures inside D2 before the self-iden- tification of its boundary, but we get one of the two pictures above in 2 2 RP = D = for any smooth real curve. An example is given in Figure 1.5. ∼ non-trivial comp. oval Figure 1.5: An elliptic curve in another presentation of RP2 by a disk. Furthermore, the inclusion R C gives us an inclusion RP2 CP2 as well as an inclusion of the real curve⊂ into the corresponding complex⊂ curve (see Figure 1.6). We see that the same equation may yield quite different geometric spaces. At the same time, real and complex numbers may be the only examples of fields where algebraic geometry is that much geometric. There is also a continuation of this series with the quaternions H and octonions O which leads to very interesting geometry no longer based on fields as we loose 7 1 Introduction oval non-trivial component Figure 1.6: Complex elliptic curve with its real locus. commutativity in the case of H or even associativity in the case of O. In this book we study geometry based on a predecessor of the entire series R, C, H, O, called the tropical numbers T. 1.2 Tropical Numbers We consider the set T = [ , + ) = R −∞ 1 [ {−∞} enhanced with the arithmetic operations “x + y” = max x, y , (1.1) f g “x y” = x + y, (1.2) where we set “( )+ x” = “x +( )” = x and “( )x” = “x( )” = . These operations−∞ are called−∞tropical arithmetic−∞ operations.−∞ We use quotation−∞ marks to distinguish them from the usual operations on R. Definition 1.2.1 The set T enhanced with the arithmetic operations (1.1) and (1.2) is called the set of tropical numbers. 8 1 Introduction Remark 1.2.2 There are papers where min x, y is taken for tropical addition. In such case one has to modify the setf of tropicalg numbers to include + and ex- clude . It is hard to say which choice is better. The choice of1 max may be more−∞ natural from the mathematical viewpoint as we are more used to taking the logarithm whose base is greater than 1, cf. equation (1.4). Also when we add two numbers in this way the sum does not get smaller. How- ever in some considerations in Computer Science and Physics (cf. [IM12]) taking the minimum is more natural. Clearly it does not really matter as the two choices are isomorphic under x x. 7! − Remark 1.2.3 The term “tropical” was borrowed from Computer Science, where it was reportedly introduced to commemorate contributions of the Brazilian com- puter scientist Imre Simon. Simon introduced the semiring (N, min, +) which was later baptized “tropical” following a suggestion of Christian Chof- furt (see [Sim88; Cho92]). According to Jean-Eric Pin, the suggestion was (also) made by Dominique Perrin (see [Pin98]). Some years later, in the first days of what is now known as tropical geometry, the adjective “tropical” quickly outplayed other suggestions inspired by “non-archimedean amoe- bas”, “idempotent algebraic geometry” or “logarithmic limit sets”. The set T is a semigroup with respect to tropical addition. It is commu- tative, associative and admits the neutral element 0T = . Neverthe- less we do not get a group as there is no room for subtraction.−∞ Indeed, if “x + y” = 0T, then either x = 0T or y = 0T. Thus the only element ad- mitting an inverse with respect to tropical addition is the neutral element 0T = . We−∞ may note that tropical addition is idempotent, i.e. we have “x+x” = x for all x T.
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]
  • Representation Stability, Configuration Spaces, and Deligne
    Representation Stability, Configurations Spaces, and Deligne–Mumford Compactifications by Philip Tosteson A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Mathematics) in The University of Michigan 2019 Doctoral Committee: Professor Andrew Snowden, Chair Professor Karen Smith Professor David Speyer Assistant Professor Jennifer Wilson Associate Professor Venky Nagar Philip Tosteson [email protected] orcid.org/0000-0002-8213-7857 © Philip Tosteson 2019 Dedication To Pete Angelos. ii Acknowledgments First and foremost, thanks to Andrew Snowden, for his help and mathematical guidance. Also thanks to my committee members Karen Smith, David Speyer, Jenny Wilson, and Venky Nagar. Thanks to Alyssa Kody, for the support she has given me throughout the past 4 years of graduate school. Thanks also to my family for encouraging me to pursue a PhD, even if it is outside of statistics. I would like to thank John Wiltshire-Gordon and Daniel Barter, whose conversations in the math common room are what got me involved in representation stability. John’s suggestions and point of view have influenced much of the work here. Daniel’s talk of Braids, TQFT’s, and higher categories has helped to expand my mathematical horizons. Thanks also to many other people who have helped me learn over the years, including, but not limited to Chris Fraser, Trevor Hyde, Jeremy Miller, Nir Gadish, Dan Petersen, Steven Sam, Bhargav Bhatt, Montek Gill. iii Table of Contents Dedication . ii Acknowledgements . iii Abstract . .v Chapters v 1 Introduction 1 1.1 Representation Stability . .1 1.2 Main Results . .2 1.2.1 Configuration spaces of non-Manifolds .
    [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]
  • Arxiv:1601.00302V2 [Math.AG] 31 Oct 2019 Obntra Rbe,Idpneto Hrceitc N[ in Characteristic
    UNIVERSAL STACKY SEMISTABLE REDUCTION SAM MOLCHO Abstract. Given a log smooth morphism f : X → S of toroidal embeddings, we perform a Raynaud-Gruson type operation on f to make it flat and with reduced fibers. We do this by studying the geometry of the associated map of cone complexes C(X) → C(S). As a consequence, we show that the toroidal part of semistable reduction of Abramovich-Karu can be done in a canonical way. 1. Introduction The semistable reduction theorem of [KKMSD73] is one of the foundations of the study of compactifications of moduli problems. Roughly, the main result of [KKMSD73] is that given a flat family X → S = Spec R over a discrete valua- tion ring, smooth over the generic point of R, there exists a finite base change ′ ′ ′ Spec R → Spec R and a modification X of the fiber product X ×Spec R Spec R such that the central fiber of X′ is a divisor with normal crossings which is reduced. Extensions of this result to the case where the base of X → S has higher di- mension are explored in the work [AK00] of Abramovich and Karu. Over a higher dimensional base, semistable reduction in the strictest sense is not possible; never- theless, the authors prove a version of the result, which they call weak semistable reduction. The strongest possible version of semistable reduction for a higher di- mensional base was proven recently in [ALT18]. In all cases, the statement is proven in two steps. In the first, one reduces to the case where X → S is toroidal.
    [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]
  • MOTIVIC VOLUMES of FIBERS of TROPICALIZATION 3 the Class of Y in MX , and We Endow MX with the Topology Given by the Dimension filtration
    MOTIVIC VOLUMES OF FIBERS OF TROPICALIZATION JEREMY USATINE Abstract. Let T be an algebraic torus over an algebraically closed field, let X be a smooth closed subvariety of a T -toric variety such that U = X ∩ T is not empty, and let L (X) be the arc scheme of X. We define a tropicalization map on L (X) \ L (X \ U), the set of arcs of X that do not factor through X \ U. We show that each fiber of this tropicalization map is a constructible subset of L (X) and therefore has a motivic volume. We prove that if U has a compactification with simple normal crossing boundary, then the generating function for these motivic volumes is rational, and we express this rational function in terms of certain lattice maps constructed in Hacking, Keel, and Tevelev’s theory of geometric tropicalization. We explain how this result, in particular, gives a formula for Denef and Loeser’s motivic zeta function of a polynomial. To further understand this formula, we also determine precisely which lattice maps arise in the construction of geometric tropicalization. 1. Introduction and Statements of Main Results Let k be an algebraically closed field, let T be an algebraic torus over k with character lattice M, and let X be a smooth closed subvariety of a T -toric variety such that U = X ∩ T 6= ∅. Let L (X) be the arc scheme of X. In this paper, we define a tropicalization map trop : L (X) \ L (X \ U) → M ∨ on the subset of arcs that do not factor through X \ U.
    [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]
  • Extension by Conservation. Sikorski's Theorem
    Logical Methods in Computer Science Vol. 14(4:8)2018, pp. 1–17 Submitted Dec. 23, 2016 https://lmcs.episciences.org/ Published Oct. 30, 2018 EXTENSION BY CONSERVATION. SIKORSKI'S THEOREM DAVIDE RINALDI AND DANIEL WESSEL Universit`adi Verona, Dipartimento di Informatica, Strada le Grazie 15, 37134 Verona, Italy e-mail address: [email protected] e-mail address: [email protected] Abstract. Constructive meaning is given to the assertion that every finite Boolean algebra is an injective object in the category of distributive lattices. To this end, we employ Scott's notion of entailment relation, in which context we describe Sikorski's extension theorem for finite Boolean algebras and turn it into a syntactical conservation result. As a by-product, we can facilitate proofs of related classical principles. 1. Introduction Due to a time-honoured result by Sikorski (see, e.g., [36, x33] and [18]), the injective objects in the category of Boolean algebras have been identified precisely as the complete Boolean algebras. In other words, a Boolean algebra C is complete if and only if, for every morphism f : B ! C of Boolean algebras, where B is a subalgebra of B0, there is an extension g : B0 ! C of f onto B0. More generally, it has later been shown by Balbes [3], and Banaschewski and Bruns [5], that a distributive lattice is an injective object in the category of distributive lattices if and only if it is a complete Boolean algebra. A popular proof of Sikorski's theorem proceeds as follows: by Zorn's lemma the given morphism on B has a maximal partial extension, which by a clever one-step extension principle [18, 7] can be shown to be total on B0.
    [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]