In this paper we fully describe all tropical linear mappings in the tropical projective plane, that is, maps from the tropical plane to itself given by tropical multiplication by an order 3 matrix. An erratum has been added fixing two mistakes in the main paper.
We construct moduli spaces of rational covers of an arbitrary smooth tropical curve in R^r as tropical varieties. They are contained in the balanced fan parametrizing tropical stable maps of the appropriate degree to R^r. The weights of the top-dimensional polyhedra are given in terms of certain lattice indices and local Hurwitz numbers.
Let $X$ be an algebraic variety and let $S$ be a tropical variety associated to $X$. We study the tropicalization map from the moduli space of stable maps into $X$ to the moduli space of tropical curves in $S$. We prove that it is a continuous map and that its image is compact and polyhedral. Loosely speaking, when we deform algebraic curves in $X$, the associated tropical curves in $S$ deform continuously; moreover, the locus of realizable tropical curves inside the space of all tropical curves is compact and polyhedral. Our main tools are Berkovich spaces, formal models, balancing conditions…
We study the Berkovich analytification of the space of genus $0$ logarithmic stable maps to a toric variety $X$ and present applications to both algebraic and tropical geometry. On algebraic side, insights from tropical geometry give two new geometric descriptions of this space of maps -- (1) as an explicit toroidal modification of $\overline M_{0,n}\times X$ and (2) as a tropical compactification in a toric variety. On the combinatorial side, we prove that the tropicalization of the space of genus $0$ logarithmic stable maps coincides with the space of tropical stable maps, giving a large new…
We consider Abel maps for regular smoothing of nodal curves with values in the Esteves compactified Jacobian. In general, these maps are just rational, and an interesting question is to find an explicit resolution. We translate this problem into an explicit combinatorial problem by means of tropical and toric geometry. We show that the solution of the combinatorial problem gives rise to an explicit resolution of the Abel map. We are able to use this technique to construct and study all the Abel maps of degree one.
We define monodromy maps for tropical Dolbeault cohomology of algebraic varieties over non-Archimedean fields. We propose a conjecture of Hodge isomorphisms via monodromy maps, and provide some evidence.
Given a tropical divisor $D$ in the intersection of two tropical plane curves, we study when it can be realized as the tropicalization of the intersection of two algebraic curves, and give a sufficient condition. We show that under a certain condition involving a graph determined by these tropical curves, we can algorithmically find algebraic curves such that the tropicalization of their intersection is $D$.
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…
The classical clutching and gluing maps between the moduli stacks of stable marked algebraic curves are not logarithmic, i.e. they do not induce morphisms over the category of logarithmic schemes, since they factor through the boundary. Using insight from tropical geometry, we enrich the category of logarithmic schemes to include so-called sub-logarithmic morphisms and show that the clutching and gluing maps are naturally sub-logarithmic. Building on the recent framework developed by Cavalieri, Chan, Wise, and the third author, we further develop a stack-theoretic counterpart of these maps in …
In this article we study holomorphic integrals on tropical plane curves in view of ultradiscretization. We prove that the lattice integrals over tropical curves can be obtained as a certain limit of complex integrals over Riemannian surfaces.
We prove that Viro's patchworking produces real algebraic curves with the maximal number of real inflection points. In particular this implies that maximally inflected real algebraic $M$-curves realize many isotopy types. The strategy we adopt in this paper is tropical: we study tropical limits of inflection points of classical plane algebraic curves. The main tropical tool we use to understand these tropical inflection points are tropical modifications.
We consider a class of area-preserving, piecewise affine maps on the 2-sphere. These maps encode degenerating families of K3 surface automorphisms and are profitably studied using techniques from tropical and Berkovich geometries.
We show that the tropical projective Grassmannian of planes is homeomorphic to a closed subset of the analytic Grassmannian in Berkovich's sense by constructing a continuous section to the tropicalization map. Our main tool is an explicit description of the algebraic coordinate rings of the toric strata of the Grassmannian. We determine the fibers of the tropicalization map and compute the initial degenerations of all the toric strata. As a consequence, we prove that the tropical multiplicities of all points in the tropical projective Grassmannian are equal to one. Finally, we determine a piec…
For a convenient and Newton non-degenerate singularity, the Milnor number is computed from the complement of its Newton diagram in the first quadrant, so-called Kouchnirenko's formula. In this paper, we consider tropical curves dual to subdivisions of this complement for a plane curve singularity and show the existence of a tropical curve satisfying a certain formula, which looks like a well-known formula for a real morsification due to A'Campo and Gusein-Zade.
We describe a framework to construct tropical moduli spaces of rational stable maps to a smooth tropical hypersurface or curve. These moduli spaces will be tropical cycles of the expected dimension, corresponding to virtual fundamental classes in algebraic geometry. As we focus on the combinatorial aspect, we take the weights on certain basic 0-dimensional local combinatorial curve types as input data, and give a compatibility condition in dimension 1 to ensure that this input data glues to a global well-defined tropical cycle. As an application, we construct such moduli spaces for the case of…
In complex algebraic geometry, the problem of enumerating plane elliptic curves of given degree with fixed complex structure has been solved by R.Pandharipande using Gromov-Witten theory. In this article we treat the tropical analogue of this problem, the determination of the number of tropical elliptic plane curves of degree d and fixed ``tropical j-invariant'' interpolating an appropriate number of points in general position. We show that this number is independent of the position of the points and the value of the j-invariant and that it coincides with the number of complex elliptic curves.…
We construct a family of compactifications of the affine cone of the Grassmannian variety of 2-planes. We show that both the tropical variety of the Plücker ideal and familiar valuations associated to the construction of Newton-Okounkov bodies for the Grassmannian variety can be recovered from these compactifications. In this way, we unite various perspectives for constructing toric degenerations of flag varieties.
We develop a framework to apply tropical and nonarchimedean analytic techniques to multiplication maps on linear series and study degenerations of these multiplications maps when the special fiber is not of compact type. As an application, we give a tropical criterion for a curve over a valued field to be Gieseker-Petri general.
We address the problem of existence of refined (i.e., depending on a formal parameter) tropical enumerative invariants, and we present two new examples of a refined count of rational marked tropical curves. One of the new invariants counts plane rational tropical curves with an unmarked vertex of arbitrary valency. It was motivated by the tropical enumeration of plane cuspidal tropical curves given by Y. Ganor and the author, which naturally led to consideration of plane tropical curves with an unmarked four-valent vertex. Another refined invariant counts rational tropical curves of a given de…
Let E be a plane in an algebraic torus over an algebraically closed field. Given a balanced 1-dimensional fan C in the tropicalization of E, i.e. in the Bergman fan of the corresponding matroid, we give a complete algorithmic answer to the question whether or not C can be realized as the tropicalization of an algebraic curve contained in E. Moreover, in the case of realizability the algorithm also determines the dimension of the moduli space of all algebraic curves in E tropicalizing to C, a concrete simple example of such a curve, and whether C can also be realized by an irreducible algebraic…
We implement new techniques involving Artin fans to study the realizability of tropical stable maps in superabundant combinatorial types. Our approach is to understand the skeleton of a fundamental object in logarithmic Gromov--Witten theory -- the stack of prestable maps to the Artin fan. This is used to examine the structure of the locus of realizable tropical curves and derive 3 principal consequences. First, we prove a realizability theorem for limits of families of tropical stable maps. Second, we extend the sufficiency of Speyer's well-spacedness condition to the case of curves with good…
Some years ago Caporaso and Harris have found a nice way to compute the numbers N(d,g) of complex plane curves of degree d and genus g through 3d+g-1 general points with the help of relative Gromov-Witten invariants. Recently, Mikhalkin has found a way to reinterpret the numbers N(d,g) in terms of tropical geometry and to compute them by counting certain lattice paths in integral polytopes. We relate these two results by defining an analogue of the relative Gromov-Witten invariants and rederiving the Caporaso-Harris formula in terms of both tropical geometry and lattice paths.
Every graph $Γ$ can be embedded in the plane with a minimal number of edge intersections, called its classical crossing number $\text{cross}\left(Γ\right)$. In this paper, we prove that if $Γ$ is a metric graph it can be realized as a tropical curve in the plane with exactly $\text{cross}\left(Γ\right)$ crossings, where the tropical curve is equipped with the lattice length metric. Our result has an application in algebraic geometry, as it enables us to construct a rational map of non-Archimedean curves into the projective plane, whose tropicalization is almost faithful when restricted to thei…
Let T be a weighted tree with n numbered leaves and let D be its distance matrix, so D(i,j) is the distance between the leaves i and j. If m is an integer between 2 and n, we prove a tropical formula to compute the m-dissimilarity map of T (i.e. the weights of the subtrees of T with m leaves), given D. For m equal to 3, we present a tropical description of the set of m-dissimilarity maps of trees. For m equal to 4, a partial result is given.
We show that the number of tropical curves of given genus and degree through some given general points in the plane does not depend on the position of the points. In the case when the degree of the curves contains only primitive integral vectors this statement has been known for a while now, but the only known proof was indirect with the help of Mikhalkin's Correspondence Theorem that translates this question into the well-known fact that the numbers of complex curves in a toric surface through some given points do not depend on the position of the points. This paper presents a direct proof en…
We develop a method for describing the tropical complete intersection of a tropical hypersurface and a tropical plane in $\mathbb{R}^3$. This involves a method for determining the topological type of the intersection of a tropical plane curve and $\mathbb{R}_{\leq 0}^2$ by using a polyhedral complex. As an application, we study smooth tropical complete intersection curves of genus $3$ in $\mathbb{R}^3$. In particular, we show that there are no smooth tropical complete intersection curves in $\mathbb{R}^3$ whose skeletons are the lollipop graph of genus $3$. This gives a partial answer to a pro…
We present applications of tropical geometry to some integrable piecewise-linear maps, based on the lecture given by one of the authors (R. I.) at the workshop "Tropical Geometry and Integrable Systems" (University of Glasgow, July 2011), and on some new results obtained afterward. After a brief review on tropical curve theory, we study the spectral curves and the isolevel sets of the tropical periodic Toda lattice and the periodic Box-ball system.
We enumerate complex curves on toric surfaces of any given degree and genus, having a single cusp and nodes as their singularities, and matching appropriately many point constraints. The solution is obtained via tropical enumerative geometry. The same technique applies to enumeration of real plane cuspidal curves: We show that, for any fixed $r\ge1$ and $d\ge2r+3$, there exists a generic real $2r$-dimensional linear family of plane curves of degree $d$ in which the number of real $r$-cuspidal curves is asymptotically comparable with the total number of complex $r$-cuspidal curves in the family…
Let X be a plane in a torus over an algebraically closed field K, with tropicalization the matroidal fan Sigma. In this paper we present an algorithm which completely solves the question whether a given one-dimensional balanced polyhedral complex in Sigma is relatively realizable, i.e. whether it is the tropicalization of an algebraic curve, over the field of Puiseux series over K, in X. The algorithm implies that the space of all such relatively realizable curves of fixed degree is an abstract polyhedral set. In the case when X is a general plane in 3-space, we use the idea of this algorithm …
Analogously as in classical algebraic geometry, linear pencils of tropical plane curves are parameterized by tropical lines in a coefficient space. A special example of such a linear pencil is the set of tropical plane curves with an n-element support set through a general configuration of n points in the tropical plane. In [RGST], it is proved that these linear pencils are compatible with their support set. In this article, we give a characterization of points lying in the fixed locus of a tropical linear pencil and show that each compatible linear pencil comes from a general configuration.
Abstractly, tropical hyperelliptic curves are metric graphs that admit a two-to-one harmonic morphism to a tree. They also appear as embedded tropical curves in the plane arising from triangulations of polygons with all interior lattice points collinear. We prove that hyperelliptic graphs can only arise from such polygons. Along the way we will prove certain graphs do not embed tropically in the plane due to entirely combinatorial obstructions, regardless of whether their metric is actually hyperelliptic.
We determine necessary and sufficient conditions for real algebraic curves near the non-singular tropical limit to be hyperbolic with respect to a point, thus generalising Speyer's classification of stable curves near the tropical limit. In order to obtain the conditions, we develop tools of real tropical intersection theory. We introduce the tropical hyperbolicity locus and the signed tropical hyperbolicity locus of a real algebraic curve near the non-singular tropical limit. In the case of honeycombs, we characterise the tropical hyperbolicity locus in terms of the set of twisted edges on th…
We propose an iterated version of the Gilbert model, which results in a sequence of random mosaics of the plane. We prove that under appropriate scaling, this sequence of mosaics converges to that obtained by a classical Poisson line process with explicit cylindrical measure. Our model arises from considerations on tropical plane curves, which are zeros of random tropical polynomials in two variables. In particular, the iterated Gilbert model convergence allows one to derive a scaling limit for Poisson tropical plane curves. Our work raises a number of open questions at the intersection of sto…
We tropicalize the rational map that takes triples of points in the projective plane to the plane of quadrics passing through these points. The image of its tropicalization is contained in the tropicalization of its image. We identify these objects inside the tropical Grassmannian of planes in projective 5-space, and we explore a small tropical Hilbert scheme.
In this paper, we classify singular real plane tropical curves by means of subdivisions of Newton polytopes. First, we introduce signed Bergman fans (generalizing positive Bergman fans from [AKW06]) that describe real tropicalizations of real linear spaces ([Tab15]). Then, we establish a duality of real plane tropical curves and signed regular subdivisions of the Newton polytope and explore the combinatorics. We define a signed secondary fan that parametrizes real tropical Laurent polynomials and study the subset providing singular real plane tropical curves. A cone of the signed secondary fan…
We study smooth tropical plane quartic curves and show that they satisfy certain properties analogous to (but also different from) smooth plane quartics in algebraic geometry. For example, we show that every such curve admits either infinitely many or exactly 7 bitangent lines. We also prove that a smooth tropical plane quartic curve cannot be hyperelliptic.
A smooth tropical quartic curve has seven tropical bitangent classes. Their shapes can vary within the same combinatorial type of curve. We study deformations of these shapes and we show that the conditions determined by Cueto and Markwig for lifting them to real bitangent lines are independent of the deformations. From this we deduce a tropical proof of Plücker and Zeuthen's count of the number of real bitangents to smooth plane quartic curves.
The tropical Grassmannian parameterizes tropicalizations of linear spaces, while the Dressian parameterizes all planes in $\TP^{n-1}$. We study these parameter spaces and we compute them explicitly for $n \leq 7$. Planes are identified with matroid subdivisions and with arrangements of trees. These representations are used to draw pictures.
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…
Several results in tropical geometry have related the j-invariant of an algebraic plane curve of genus one to the cycle length of a tropical curve of genus one. In this paper, we prove that for a plane cubic over the field of Puiseux series the negative of the generic valuation of the $j$-invariant is equal to the cycle length of the tropicalization of the curve, if there is a cycle at all.
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…
We discuss the classical problem of counting planes tangent to general canonical sextic curves at three points. We determine the number of real tritangents when such a curve is real. We then revisit a curve constructed by Emch with the greatest known number of real tritangents, and conversely construct a curve with very few real tritangents. Using recent results on the relation between algebraic and tropical theta characteristics, we show that the tropicalization of a canonical sextic curve has 15 tritangent planes.
We study the moduli space of metric graphs that arise from tropical plane curves. There are far fewer such graphs than tropicalizations of classical plane curves. For fixed genus $g$, our moduli space is a stacky fan whose cones are indexed by regular unimodular triangulations of Newton polygons with $g$ interior lattice points. It has dimension $2g+1$ unless $g \leq 3$ or $g = 7$. We compute these spaces explicitly for $g \leq 5$.
Any smooth tropical plane curve contains a distinguished trivalent graph called its skeleton. In 2020 Morrison and Tewari proved that the so-called big face graphs cannot be the skeleta of tropical curves for genus $12$ and greater. In this paper we answer an open question they posed to extend their result to the prism graphs, proving that they are the skeleton of a smooth tropical plane curve precisely when the genus is at most $11$. Our main tool is a classification of lattice polygons with two points than can simultaneously view all others, without having any one point that can observe all …
We show that the number of combinatorial types of clusters of type $D_4$ modulo reflection-rotation is exactly equal to the number of combinatorial types of tropical planes in $\mathbb{TP}^5$. This follows from a result of Sturmfels and Speyer which classifies these tropical planes into seven combinatorial classes using a detailed study of the tropical Grassmannian $\operatorname{Gr}(3,6)$. Speyer and Williams show that the positive part $\operatorname{Gr}^+(3,6)$ of this tropical Grassmannian is combinatorially equivalent to a small coarsening of the cluster fan of type $D_4$. We provide a st…
The discriminant of a polynomial map is central to problems from affine geometry and singularity theory. Standard methods for characterizing it rely on elimination techniques that can often be ineffective. This paper concerns polynomial maps on the two-dimensional torus defined over a field of Puiseux series. We present a combinatorial procedure for computing the tropical curve of the discriminant of maps determined by generic polynomials with given supports. Our results enable one to compute the Newton polytope of the discriminant of complex polynomial maps on the plane.
Using Gromov-Witten theory the numbers of complex plane rational curves of degree d through 3d-1 general given points can be computed recursively with Kontsevich's formula that follows from the so-called WDVV equations. In this paper we establish the same results entirely in the language of tropical geometry. In particular this shows how the concepts of moduli spaces of stable curves and maps, (evaluation and forgetful) morphisms, intersection multiplicities and their invariance under deformations can be carried over to the tropical world.
We use tropical and nonarchimedean geometry to study the moduli space of genus $0$ stable maps to $\mathbb{P}^1$ relative to two points. This space is exhibited as a tropical compactification in a toric variety. Moreover, the fan of this toric variety may be interpreted as a moduli space for tropical relative stable maps with the same discrete data. As a consequence, we confirm an expectation of Bertram and the first two authors, that the tropical Hurwitz cycles are tropicalizations of classical Hurwitz cycles. As a second application, we obtain a full descendant correspondence for genus $0$ r…
Brodsky, Joswig, Morrison and Sturmfels showed that not all abstract tropical curves of genus $3$ can be realized as a tropicalization of a quartic in the euclidean plane. In this article, we focus on the interior of the maximal cones in the moduli space and classify all curves which can be realized as a faithful tropicalization in a tropical plane. Reflecting the algebro-geometric world, we show that these are exactly those which are not realizably hyperelliptic. Our approach is constructive: For any not realizably hyperelliptic curve, we explicitly construct a realizable model of the tropica…