40 pages, 27 figures. Chapter submitted for "Foundations for Undergraduate Research in Mathematics" edited by Pamela Harris, Erik Insko, and Aaron Wooton
Tropical mathematics redefines the rules of arithmetic by replacing addition with taking a maximum, and by replacing multiplication with addition. After briefly discussing a tropical version of linear algebra, we study polynomials build with these new operations. These equations define piecewise-linear geometric objects called tropical varieties. We explore these tropical varieties in two and three dimensions, building up discrete tools for studying them and determining their geometric properties. We then discuss the relationship between tropical geometry and algebraic geometry, which considers shapes defined by usual polynomial equations.
This is an expository introduction to tropical algebraic geometry based on my lectures at the Workshop on Tropical Geometry and Integrable Systems in Glasgow, July 4-8, 2011, and at the ELGA 2011 school on Algebraic Geometry and Applications in Buenos Aires, August 1-5, 2011.
We illustrate the use of tropical methods by generalizing a formula due to Abramovich and Bertram, extended later by Vakil. Namely, we exhibit relations between enumerative invariants of the Hirzebruch surfaces $Σ_n$ and $Σ_{n+2}$, obtained by deforming the first surface to the latter. Our strategy involves a tropical counterpart of deformations of Hirzebruch surfaces, and tropical enumerative geometry on a tropical surface in three-space.
The paper consists of lecture notes for a mini-course given by the authors at the Gökova Geometry \& Topology conference in May 2014. We start the exposition with tropical curves in the plane and their applications to problems in classical enumerative geometry, and continue with a look at more general tropical varieties and their homology theories.
Recently, Baker and Norine have proven a Riemann-Roch theorem for finite graphs. We extend their results to metric graphs and thus establish a Riemann-Roch theorem for divisors on (abstract) tropical curves.
Tropical geometry is a piecewise linear "shadow" of algebraic geometry. It allows for the computation of several cohomological invariants of an algebraic variety. In particular, its application to enumerative algebraic geometry led to significant progress. In this survey, we give an introduction to tropical geometry techniques for algebraic curve counting problems. We also survey some recent developments, with a particular emphasis on the computation of the degree of the Severi varieties of the complex projective plane and other toric surfaces as well as Hurwitz numbers and applications to rea…
Tropical algebraic geometry is the geometry of the tropical semiring $(\mathbb{R},\min,+)$. Its objects are polyhedral cell complexes which behave like complex algebraic varieties. We give an introduction to this theory, with an emphasis on plane curves and linear spaces. New results include a complete description of the families of quadrics through four points in the tropical projective plane and a counterexample to the incidence version of Pappus' Theorem.
We study the classical result by Bruijn and Erd\H os regarding the bound on the number of lines determined by a $n$-point configuration in the plane, and in the light of the recently proven Tropical Sylvester-Gallai theorem, come up with a tropical version of the above-mentioned result. In this work, we introduce stable tropical lines, which help in answering questions pertaining to incidence geometry in the tropical plane. Projective duality in the tropical plane helps in translating the question for stable lines to stable intersections that have been previously studied in depth. Invoking dua…
We prove the following "linkage" theorem: two p-regular graphs of the same genus can be obtained from one another by a finite alternating sequence of one-edge-contractions; moreover this preserves 3-edge-connectivity. We use the linkage theorem to prove that various moduli spaces of tropical curves are connected through codimension one.
We study rational double Hurwitz cycles, i.e. loci of marked rational stable curves admitting a map to the projective line with assigned ramification profiles over two fixed branch points. Generalizing the phenomenon observed for double Hurwitz numbers, such cycles are piecewise polynomial in the entries of the special ramification; the chambers of polynomiality and wall crossings have an explicit and "modular" description. A main goal of this paper is to simultaneously carry out this investigation for the corresponding objects in tropical geometry, underlining a precise combinatorial duality …
We construct motivic invariants of a subvariety of an algebraic torus from its tropicalization and initial degenerations. More specifically, we introduce an invariant of a compactification of such a variety called the "tropical motivic nearby fiber." This invariant specializes in the schon case to the Hodge-Deligne polynomial of the limit mixed Hodge structure of a corresponding degeneration. We give purely combinatorial expressions for this Hodge-Deligne polynomial in the cases of schon hypersurfaces and smooth tropical varieties. We also deduce a formula for the Euler characteristic of a gen…
We exploit three classical characterizations of smooth genus two curves to study their tropical and analytic counterparts. First, we provide a combinatorial rule to determine the dual graph of each algebraic curve and the metric structure on the associated minimal Berkovich skeleton. Our main tool is the description of genus two curves via hyperelliptic covers of P^1 with six branch points. Given the valuations of these six points and their differences, our algorithm provides an explicit harmonic 2-to-1 map to a metric tree on six leaves. Second, we use tropical modifications to produce a fait…
This text is an introduction to algebraic enumerative geometry and to applications of tropical geometry to classical geometry, based on a course given during the X-UPS mathematical days, 2008 May 14th and 15th. The aim of this text is to be understandable by a first year master student.
On tropical geometry in $\rr^2$, the divisor and the Jacobian variety are defined in analogy to algebraic geometry. For study of these objects, it is important to think of the `bunch' of a tropical curve. In this paper, we will show that if the bunch is a bouquet, then the Jacobian is a higher-dimensional torus.
We study moduli spaces of rational weighted stable tropical curves, and their connections with the classical Hassett spaces. Given a vector w of weights, the moduli space of tropical w-stable curves can be given the structure of a balanced fan if and only if w has only heavy and light entries. In this case, we can express the moduli space as the Bergman fan of a graphic matroid. Furthermore, we realize the tropical moduli space as a geometric tropicalization, and as a Berkovich skeleton, of the classical moduli space. This builds on previous work of Tevelev, Gibney--Maclagan, and Abramovich--C…
We introduce tropical dual numbers as an extension of tropical semiring. By this innovation, one can work with honest ideals, instead of congruences, and recover the Euclidean topology on affine tropical spaces similar to Zariski's approach in classical algebraic geometry. The bend loci of an ideal over tropical dual numbers coincides with the bend loci of a congruence over tropical semiring and this enables tropical dual numbers to serve as an algebraic structure for tropical geometry. Tropical Zariski topology on affine tropical spaces whose closed sets are non-linear loci of ideals over tro…
The Cox ring of a del Pezzo surface of degree 3 has a distinguished set of 27 minimal generators. We investigate conditions under which the initial forms of these generators generate the initial algebra of this Cox ring. Sturmfels and Xu provide a classification in the case of degree 4 del Pezzo surfaces by subdividing the tropical Grassmannian $\operatorname{TGr}(2,\mathbb{Q}^5)$. After providing the necessary background on Cox-Nagata rings and Khovanskii bases, we review the classification obtained by Sturmfels and Xu. Then we describe our classification problem in the degree 3 case and its …
Complex algebraic varieties become easy piecewise-linear objects after passing to the so-called tropical limit. Geometry of these limiting objects is known as tropical geometry. In this short survey we take a look at motivation and intuition behind this limit and consider a few simple examples of correspondence principle between classical and tropical geometries.
The Severi degree is the degree of the Severi variety parametrizing plane curves of degree d with delta nodes. Recently, Göttsche and Shende gave two refinements of Severi degrees, polynomials in a variable y, which are conjecturally equal, for large d. At y = 1, one of the refinements, the relative Severi degree, specializes to the (non-relative) Severi degree. We give a tropical description of the refined Severi degrees, in terms of a refined tropical curve count for all toric surfaces. We also refine the equivalent count of floor diagrams for Hirzebruch and rational ruled surfaces. Our desc…
These notes outline some basic notions of Tropical Geometry and survey some of its applications for problems in classical (real and complex) geometry. To appear in the Proceedings of the Madrid ICM.
We prove invariance for the number of planar tropical curves enhanced with polynomial multiplicities recently proposed by Florian Block and Lothar Goettsche. This invariance has a number of implications in tropical enumerative geometry.
We introduce the tropicalization of closed subschemes of a torus defined over a higher dimensional local field. We study the basic invariants of such tropicalizations. This is a generalization of the results of Einslieder, Kapranov, Lind, Speyer and Sturmfels to higher local fields.
Tropical algebraic geometry is an active new field of mathematics that establishes and studies some very general principles to translate algebro-geometric problems into purely combinatorial ones. This expository paper gives an introduction to these new techniques with a special emphasis on the recent applications to problems in enumerative geometry.
Using tropical geometry we propose a mirror construction for monomial degenerations of Calabi-Yau varieties in toric Fano varieties. The construction reproduces the mirror constructions by Batyrev for Calabi-Yau hypersurfaces and by Batyrev and Borisov for Calabi-Yau complete intersections. We apply the construction to Pfaffian examples and recover the mirror given by Rodland for the degree 14 Calabi-Yau threefold in PP^6 defined by the Pfaffians of a general linear 7x7 skew-symmetric matrix. We provide the necessary background knowledge entering into the tropical mirror construction such as t…
In this text, we merge ideas around the tropical hyperfield with the theory of ordered blueprints to give a new formulation of tropical scheme theory. The key insight is that a nonarchimedean absolute value can be considered as a morphism into the tropical hyperfield. In turn, ordered blueprints make it possible to consider the base change of a classical variety to the tropical hyperfield. We call this base change the scheme theoretic tropicalization of the classical variety. Our first main result describes the Berkovich analytification and the tropicalization of a classical variety as sets of…
Kapranov's theorem is a foundational result in tropical geometry. It states that the set of tropicalisations of points on a hypersurface coincides precisely with the tropical variety of the tropicalisation of the defining polynomial. The aim of this paper is to generalise Kapranov's theorem, replacing the role of a valuation map, from a field to the real numbers union negative infinity, with a more general class of hyperfield homomorphisms, whose target is the tropical hyperfield and satisfy a relative algebraic closure condition. To provide an example of such a hyperfield homomorphism, the ma…
First, we define phase tropical hypersurfaces in terms of a degeneration data of smooth complex algebraic hypersurfaces in $(\mathbb{C}^*)^n$. Next, we prove that complex hyperplanes are diffeomorphic to their degeneration called phase tropical hyperplanes. More generally, using Mikhalkin's decomposition into pairs-of-pants of smooth algebraic hypersurfaces, we show that phase tropical hypersurfaces with smooth tropicalization, possess naturally a smooth differentiable structure. Moreover, we prove that phase tropical hypersurfaces possess a natural symplectic structure.
The notion of geometric construction is introduced. This notion allows to compare incidence configurations in the algebraic and tropical plane. We provide an algorithm such that, given a tropical instance of a geometric construction, it computes sufficient conditions to have an algebraic counterpart related by tropicalization. We also provide sufficient conditions in a geometric construction to ensure that the algebraic counterpart always exists. Geometric constructions are applied to transfer classical theorems to the tropical framework, we provide a notion of incidence theorems and prove sev…
In this paper we construct a tropical moduli space parametrizing roots of divisors on tropical curves. We study the relation between this space and the skeleton of Jarvis moduli space of nets of limit roots on stable curves. We show that the combinatorics of the moduli space of tropical roots is governed by the poset of flows, a poset parametrizing certain flows on graphs.
We propose to study the tropical geometry specifically arising from convergent Hahn series in multiple indeterminates. One application is a new view on stable intersections of tropical hypersurfaces. Another one is perturbations of rank one tropical polytopes, which is beneficial for algorithmic purposes.
This friendly introduction to tropical geometry is meant to be accessible to first year students in mathematics. The topics discussed here are basic tropical algebra, tropical plane curves, some tropical intersections, and Viro's patchworking. Each definition is explained with concrete examples and illustrations. To a great exten, this text is an updated of a translation from a french text by the first author. There is also a newly added section highlighting new developments and perspectives on tropical geometry. In addition, the final section provides an extensive list of references on the su…
Tropical geometry is sensitive to embeddings of algebraic varieties inside toric varieties. The purpose of this paper is to advertise tropical modifications as a tool to locally repair bad embeddings of plane curves, allowing the re-embedded tropical curve to better reflect the geometry of the input curve. Our approach is based on the close connection between analytic curves (in the sense of Berkovich) and tropical curves. We investigate the effect of these tropical modifications on the tropicalization map defined on the analytification of the given curve. Our study is motivated by the case of…
In this paper we use the connections between tropical algebraic geometry and rigid analytic geometry in order to prove two main results. We use tropical methods to prove a theorem about the Newton polygon for convergent power series in several variables: if f_1,...,f_n are n convergent power series in n variables with coefficients in a non-Archimedean field K, we give a formula for the valuations and multiplicities of the common zeros of f_1,...,f_n. We use rigid-analytic methods to show that stable complete intersections of tropical hypersurfaces compute algebraic multiplicities even when the…
We describe the stabilizers of points in the Bruhat-Tits building of the group SL with tropical geometry. There are several compactifications of this building associated to algebraic representations of SL. We show that the fans used to compactify apartments in this theory are given by tropical Schur polynomials.
In this paper we generalize correspondence theorems of Mikhalkin and Nishinou-Siebert providing a correspondence between algebraic and parameterized tropical curves. We also give a description of a canonical tropicalization procedure for algebraic curves motivated by Berkovich's construction of skeletons of analytic curves. Under certain assumptions, we construct a one-to-one correspondence between algebraic curves satisfying toric constraints and certain combinatorially defined objects, called "stacky tropical reductions", that can be enumerated in terms of tropical curves satisfying linear c…
We give an introduction to Tropical Geometry and prove some results in Tropical Intersection Theory. The first part of this paper is an introduction to tropical geometry aimed at researchers in Algebraic Geometry from the point of view of degenerations of varieties using projective not-necessarily-normal toric varieties. The second part is a foundational account of tropical intersection theory with proofs of some new theorems relating it to classical intersection theory. Revised version includes many corrections, more examples, and improved exposition.
Let $G$ be a connected reductive algebraic group. We develop a Gröbner theory for multiplicity-free $G$-algebras, as well as a tropical geometry for subschemes in a spherical homogeneous space $G/H$. We define the notion of a spherical tropical variety and prove a fundamental theorem of tropical geometry in this context. We also propose a definition for a spherical amoeba in $G/H$. Our work partly builds on the previous work of Vogiannou on spherical tropicalization and in some ways is complementary.
This article discusses the concept of rational equivalence in tropical geometry (and replaces the older and imperfect version arXiv:0811.2860). We give the basic definitions in the context of tropical varieties without boundary points and prove some basic properties. We then compute the "bounded" Chow groups of $\mathbb{R}^n$ by showing that they are isomorphic to the group of fan cycles. The main step in the proof is of independent interest: We show that every tropical cycle in $\mathbb{R}^n$ is a sum of (translated) fan cycles. This also proves that the intersection ring of tropical cycles i…
We study tropical geometry in the global setting using Berkovich's deformation retraction. We state and prove the generalized balancing conditions in this setting. Starting with a strictly semi-stable formal scheme, we calculate certain sheaves of vanishing cycles using analytic étale cohomology, then we interpret the tropical weights via these cycles. We obtain the balancing condition for tropical curves on the skeleton associated to the formal scheme in terms of the intersection theory on the special fiber. Our approach works over any complete discrete valuation field.
In this paper, we give some categorical description of the general spectrum functor, defining it as an adjoint of a global section functor. The general spectrum functor includes that of $F_1$ and of semirings.
These condensed notes treat some basic notions in Tropical Geometry (varieties, cycles, modifications, equivalence). These topics are to be extended, illustrated and included to the upcoming book project http://www.math.toronto.edu/mikha/book.pdf .
This is a survey article written for the Jahresberichte der DMV. Tropical geometry can be viewed as an efficient combinatorial tool to study degenerations in algebraic geometry. Abstract tropical curves are essentially metric graphs, and covers of tropical curves maps between metric graphs satisfying certain conditions. In this short survey, we offer an introduction to the combinatorial theory of abstract tropical curves and covers of curves, and their moduli spaces, and we showcase three results demonstrating how this theory can be applied in algebraic geometry.
The number of positive solutions of a system of two polynomials in two variables defined in the field of real numbers with a total of five distinct monomials cannot exceed 15. All previously known examples have at most 5 positive solutions. Tropical geometry is a powerful tool to construct polynomial systems with many positive solutions. The classical combinatorial patchworking method arises when the tropical hypersurfaces intersect transversally. In this paper, we prove that a system as above constructed using this method has at most 6 positive solutions. We also show that this bound is sharp…
In classical geometry, a linear space is a space that is closed under linear combinations. In tropical geometry, it has long been a consensus that tropical varieties defined by valuated matroids are the tropical analogue of linear spaces. It is not difficult to see that each such space is tropically convex, i.e. closed under tropical linear combinations. However, we will also show that the converse is true: Each tropical variety that is also tropically convex is supported on the complex of a valuated matroid. We also prove a tropical local-to-global principle: Any closed, connected, locally tr…
