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.
There are 280 binodal cubic surfaces passing through 17 general points. For the typically used tropical point conditions, we show that 214 of these give tropicalizations such that the nodes are separated on the tropical cubic surface.
We present results on the relative realizability of infinite families of lines on general smooth tropical cubic surfaces. Inspired by the problem of relative realizability of lines on surfaces, we investigate the information we can derive tropically from the Brundu-Logar normal form of smooth cubic surfaces. In particular, we prove that for a residue field of characteristic $\neq 2$ the tropicalization of the Brundu-Logar normal form is not smooth. We also take first steps in investigating the behavior of the tropicalized lines.
Given a tropical line $L$ and a smooth tropical surface $X$, we look at the position of $L$ on $X$. We introduce its primal and dual motif which are respectively a decorated graph and a subcomplex of the dual triangulation of $X$. They encode the combinatorial position of $L$ on $X$. We classify all possible motifs of tropical lines on general smooth tropical surfaces. This classification allows to give an upper bound for the number of tropical lines on a general smooth tropical surface with a given subdivision. We focus in particular on surfaces of degree three. As a concrete example, we look…
We study the maximal values of Betti numbers of tropical subvarieties of a given dimension and degree in $\mathbb{TP}^n$. We provide a lower estimate for the maximal value of the top Betti number, which naturally depends on the dimension and degree, but also on the codimension. In particular, when the codimension is large enough, this lower estimate is larger than the maximal value of the corresponding Hodge number of complex algebraic projective varieties of the given dimension and degree. In the case of surfaces, we extend our study to all tropical homology groups. As a special case, we prov…
The classical statement of Cayley-Salmon that there are 27 lines on every smooth cubic surface in P^3 fails to hold under tropicalization: a tropical cubic surface in TP^3 often contains infinitely many tropical lines. Under mild genericity assumptions, we show that when embedded using the Eckardt triangles in the anticanonical system, tropical cubic del Pezzo surfaces contain exactly 27 tropical lines. In the non-generic case, which we identify explicitly, we find up to 27 extra lines, no multiple of which lifts to a curve on the cubic surface. We realize the moduli space of stable anticanoni…
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…
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…
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.
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…
Smooth tropical cubic surfaces are parametrized by maximal cones in the unimodular secondary fan of the triple tetrahedron. There are $344\, 843 \,867$ such cones, organized into a database of $14\,373\,645$ symmetry classes. The Schläfli fan gives a further refinement of these cones. It reveals all possible patterns of lines on tropical cubic surfaces, thus serving as a combinatorial base space for the universal Fano variety. This article develops the relevant theory and offers a blueprint for the analysis of big data in tropical geometry.
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.
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 …
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…
We study bitangents of non-smooth tropical plane quartics. Our main result is that with appropriate multiplicities, every such curve has 7 equivalence classes of bitangent lines. Moreover, the multiplicity of bitangent lines varies continuously in families of tropical plane curves.
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.
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$.
We study the tropicalization of intersections of plane curves, under the assumption that they have the same tropicalization. We show that the set of tropical divisors that arise in this manner is a pure dimensional balanced polyhedral complex and compute its dimension. When the genus is at most 1, we show that all the tropical divisors that move in the expected dimension are realizable. As part of the proof, we introduce a combinatorial tool for explicitly constructing large families of realizable tropical divisors.
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 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 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 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…
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…
