We develop a version of Mikhalkin's lattice path algorithm for projective hypersurfaces of arbitrary degree and dimension, which enumerates singular tropical hypersurfaces passing through appropriate configuration of points. By proving a correspondence theorem combined with the lattice path algorithm, we construct a $δ$ dimensional linear space of degree $ d $ real hypersurfaces containing $\frac{1}{δ!} (γ_nd^n)^δ+ O(d^{nδ-1})$ hypersurfaces with $ δ$ real nodes, where $ γ_n $ are positive and given by a recursive formula. This is asymptotically comparable to the number $ \frac{1}{δ!} \left( (n+1)(d-1)^n \right)^δ+O\left(d^{n(δ-1)} \right) $ of complex hypersurfaces having $ δ$ nodes in a $ δ$ dimensional linear space. In the case $ δ=1 $ we give a slightly better leading term.
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.
This paper is devoted to the bounding and computation of the dimension of deformation spaces of tropical curves and hypersurfaces. This characteristic is interesting in light of the fact that it often coincides with the dimension of equisingular (equigeneric etc.) deformation spaces of algebraic curves and hypersurfaces. In this paper, we obtain a series of precise formulas, upper and lower bounds, and algorithms for computing dimension of deformation spaces of various classes of tropical curves and hypersurfaces.
Using ideas from the theory of tropical curves and degeneration, we prove that any Fano hypersurface (and more generally Fano complete intersections) is swept by at most quadratic rational curves.
In this paper, second installment in a series of three, we give a correspondence theorem to relate the count of genus $g$ curves in a fixed linear system in an abelian surface to a tropical count. To do this, we relate the linear system defined by a complex curve to certain integrals of 1-forms over cycles in the curve. We then give an expression for the tropical multiplicity provided by the correspondence theorem, and prove the invariance for the associated refined multiplicity, thus introducing refined invariants of Block-Göttsche type in abelian surfaces.
We prove a correspondence theorem for singular tropical surfaces in real three space, which recovers singular algebraic surfaces in an appropriate toric three-fold that tropicalize to a given singular tropical surface. Furthermore, we develop a three-dimensional version of Mikhalkin's lattice path algorithm that enumerates singular tropical surfaces passing through an appropriate configuration of points in real three space. As application we show that there are pencils of real surfaces of degree $d$ in projective three space containing at least $(3/2)d^3+O(d^2)$ singular surfaces, which is asy…
This paper studies the curvatures of amoebas and real amoebas (i.e. essentially logarithmic curvatures of the complex and real parts of a real algebraic hypersurface) and of tropical and real tropical hypersurfaces. If V is a tropical hypersurface defined over the field of real Puiseux series, it has a real part RV which is a polyhedral complex. We define the total curvature of V (resp. RV) by using the total curvature of Amoebas and passing to the limit. We also define the "polyhedral total curvature" of the real part RV of a generic tropical hypersurface. The main results we prove about thes…
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…
We consider the question of when points in tropical affine space uniquely determine a tropical hypersurface. We introduce a notion of multiplicity of points so that this question may be meaningful even if some of the points coincide. We give a geometric/combinatorial way and a tropical linear-algebraic way to approach this question. First, given a fixed hypersurface, we show how one can determine whether points on the hypersurface determine it by looking at a corresponding marking of the dual complex. With a regularity condition on the dual complex and when the number of points is minimal, we …
We prove a bound conjectured by Itenberg on the Betti numbers of real algebraic hypersurfaces near non-singular tropical limits. These bounds are given in terms of the Hodge numbers of the complexification. To prove the conjecture we introduce a real variant of tropical homology and define a filtration on the corresponding chain complex inspired by Kalinin's filtration. The spectral sequence associated to this filtration converges to the homology groups of the real algebraic variety and we show that the terms of the first page are tropical homology groups with $\mathbb{Z}_2$-coefficients. The …
We prove that every connected component of an intersection of tropical hypersurfaces contains a point of their stable intersection unless their stable intersection is empty. This is done by studying algebraic hypersurfaces that tropicalize to them and the tropicalization of their intersection.
We explore the concept of real tropical basis of an ideal in the field of real Puiseux series. We show explicit tropical bases of zero-dimensional real radical ideals, linear ideals and hypersurfaces coming from combinatorial patchworking. But we also show that there exist real radical ideals that do not admit a tropical basis. As an application, we show how to compute the set of singular points of a real tropical hypersurface. i.e. we compute the real tropical discriminant.
The concepts of tropical-semiring and tropical hypersurface, are extended for an arbitrary ordered group. Then, we define the tropicalization of a polynomial with coefficients in a Krull-valued field. After a close study of the properties of the operator "tropicalization" we conclude with an extension of Kapranov's theorem to algebraically closed fields together with a valuation over an ordered group.
From wall structures to closed mirror symmetry. The case of $K_{\mathbb{P}^2}$: Renormalized periods over the positive real locus, closed Gromov-Witten invariants from wall functions, and tropical enumeration
The family of complex projective surfaces in projective three space of degree $d$ having precisely $δ$ nodes as their only singularities has codimension $δ$ in the linear system of surfaces of degree $d$ for sufficiently large $d$ and is of degree $N_{δ,complex}(d)=(4(d-1)^3)^δ/δ!+O(d^{3δ-3})$. In particular, this number is polynomial in $d$. By means of tropical geometry, we explicitly describe $(4d^3)^δ/δ!+O(d^{3δ-1})$ surfaces passing through a suitable generic configuration of $n=\binom{d+3}{3}-δ-1$ points in projective three space. These surfaces are close to tropical limits which we char…
We enumerate complex algebraic hypersurfaces in $P^n$, of a given (high) degree with one singular point of a given singularity type. Our approach is to compute the (co)homology classes of the corresponding equi-singular strata in the parameter space of hypersurfaces. We suggest an inductive procedure, based on intersection theory combined with liftings and degenerations. The procedure computes the (co)homology class in question, whenever a given singularity type is properly defined and the stratum possesses good geometric properties. We consider in details the generalized Newton-non-degenerate…
We study the notion of singular tropical hypersurfaces of any dimension. We characterize the singular points in terms of tropical Euler derivatives and we give an algorithm to compute all singular points. We also describe non-transversal intersection points of planar tropical curves.
Given a projective variety $X$ of codimension $k+1$ in $\mathbb{P}^n$ the Chow hypersurface $Z_X$ is the hypersurface of the Grassmannian $\operatorname{Gr}(k, n)$ parametrizing projective linear spaces that intersect $X$. We introduce the tropical Chow hypersurface $\operatorname{Trop}(Z_X)$. This object only depends on the tropical variety $\operatorname{Trop}(X)$ and we provide an explicit way to obtain $\operatorname{Trop}(Z_X)$ from $\operatorname{Trop}(X)$. We also give a geometric description of $\operatorname{Trop}(Z_X)$. We conjecture that, as in the classical case, $\operatorname{Tro…
We introduce in this paper the concept of tropical mirror hypersurfaces and we prove a complex tropical localization Theorem which is a version of Kapranov's Theorem \cite{K-00} in tropical geometry. We give a geometric and a topological equivalence between coamoebas of complex algebraic hypersurfaces defined by a maximally sparse polynomial and coamoebas of maximally sparse complex tropical hypersurfaces.
We consider the residual B-model variation of Hodge structure of Iritani defined by a family of toric Calabi--Yau hypersurfaces over a punctured disk $D \setminus \{ 0\}$. It is naturally extended to a logarithmic variation of polarized Hodge structure of Kato--Usui on the whole disk $D$. By restricting it to the origin, we obtain a polarized logarithmic Hodge structure (PLH) on the standard log point. In this paper, we describe the PLH in terms of the integral affine structure of the dual intersection complex of the toric degeneration in the Gross--Siebert program.
We present our implementation of an algorithm which functions as a numerical oracle for the Newton polytope of a hypersurface in the Macaulay2 package NumericalNP.m2. We propose a tropical membership test, relying on this algorithm, for higher codimension varieties based on ideas from Hept and Theobald. To showcase this software, we investigate the Newton polytope of both a hypersurface coming from algebraic vision and the Luroth invariant.
We produce for each tropical hypersurface $V(ϕ)\subset Q=\mathbb{R}^n$ a Lagrangian $L(ϕ)\subset (\mathbb{C}^*)^n$ whose moment map projection is a tropical amoeba of $V(ϕ)$. When these Lagrangians are admissible in the Fukaya-Seidel category, we show that they are unobstructed objects of the Fukaya category, and mirror to sheaves supported on complex hypersurfaces in a toric mirror.
An ideal $I$ is said to be "well-poised" if all of the initial ideals obtained from points in the tropical variety $Trop(I)$ are prime. This condition was first defined by Nathan Ilten and the third author. We classify all well-poised hypersurfaces over an algebraically closed field. We also study the tropical varieties and associated Newton-Okounkov bodies of these hypersurfaces.
We prove that a smooth tropical hypersurface in $\mathbb{R}^3$ can be lifted to a smooth embedded Lagrangian submanifold in $(\mathbb{C}^*)^3$. This completes the proof of the result announced in the article "Lagrangian pairs pants" arXiv:1802.02993. The idea of the proof is to use Lagrangian pairs of pants as the main building blocks.
We use floor decompositions of tropical curves to prove that any enumerative problem concerning conics passing through projective-linear subspaces in $\RP^n$ is maximal. That is, there exist generic configurations of real linear spaces such that all complex conics passing through these constraints are actually real.
We study a tropical analogue of the projective dual variety of a hypersurface. When $X$ is a curve in $\mathbb{P}^2$ or a surface in $\mathbb{P}^3$, we provide an explicit description of $\text{Trop}(X^*)$ in terms of $\text{Trop}(X)$, as long as $\text{Trop}(X)$ is smooth and satisfies a mild genericity condition. As a consequence, when $X$ is a curve we describe the transformation of Newton polygons under projective duality, and recover classical formulas for the degree of a dual plane curve. For higher dimensional hypersurfaces $X$, we give a partial description of $\text{Trop}(X^*)$.
Let $\{V_q\}_{q}$ be a complex one-parameter family of smooth hypersurfaces in a toric variety. In this paper, we give a concrete description of the monodromy transformation of $\{V_q\}_q$ around $q=\infty$ in terms of tropical geometry. The main tool is the tropical localization introduced by Mikhalkin.
A tropical complete intersection curve C in R^(n+1) is a transversal intersection of n smooth tropical hypersurfaces. We give a formula for the number of vertices of C given by the degrees of the tropical hypersurfaces. We also compute the genus of C (defined as the number of independent cycles of C) when C is smooth and connected.
We define nondegenerate tropical complete intersections imitating the corresponding definition in complex algebraic geometry. As in the complex situation, all nonzero intersection multiplicity numbers between tropical hypersurfaces defining a nondegenerate tropical complete intersection are equal to 1. The intersection multiplicity numbers we use are sums of mixed volumes of polytopes which are dual to cells of the tropical hypersurfaces. We show that the Euler characteristic of a real nondegenerate tropical complete intersection depends only on the Newton polytopes of the tropical polynomials…
In this paper we obtain an explicit formula for the number of hypersurfaces in a compact complex manifold X (passing through the right number of points), that has a simple node, a cusp or a tacnode. The hypersurfaces belong to a linear system, which is obtained by considering a holomorphic line bundle L over X. Our main tool is a classical fact from differential topology: the number of zeros of a generic smooth section of a vector bundle V over M, counted with a sign, is the Euler class of V evaluated on the fundamental class of M.
We study singularities in tropical hypersurfaces defined by a valuation over a field of positive characteristic. We provide a method to compute the set of singular points of a tropical hypersurface in positive characteristic and the p-adic case. This computation is applied to determine all maximal cones of the tropical linear space of univariate polynomials of degree $n$ and characteristic $p$ with a fixed double root and the fan of all tropical polynomials that have $0$ as a double root independently of the characteristic. We also compute, by pure tropical means, the number of vertices, edges…
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…
The motivic nearby fiber is an invariant obtained from degenerating a complex variety over a disc. It specializes to the Euler characteristic of the original variety but also contains information on the variation of Hodge structure associated to the degeneration which is encoded as a limit mixed Hodge structure. However, this invariant is difficult to compute in practice. Using the techniques of tropical geometry we present a new formula for the motivic nearby fiber. Moreover, since there is a range of available software implementing the main algorithms in tropical geometry, our formula can be…
In this paper we prove the algebraic-tropical correspondence for stable maps of rational curves with marked points to toric varieties such that the marked points are mapped to given orbits in the big torus and in the boundary divisor, the map has prescribed tangency to the boundary divisor, and certain quadruples of marked points have prescribed cross-ratios. In particular, our results generalize the results of Nishinou and Siebert. The proof is very short, involves only the standard theory of schemes, and works in arbitrary characteristic (including the mixed characteristic case).
We report on a recent implementation of patchworking and real tropical hypersurfaces in $\texttt{polymake}$. As a new mathematical contribution we provide a census of Betti numbers of real tropical surfaces.
The algebraic foundation of tropical polynomial algebra provides the framework for the geometric construction of the supplement and the reversal of tropical varieties, thereby inducing a duality of reduced tropical varieties; for classes of tropical hypersurfaces the corresponding point symmetry is obtained for their Newton polytopes and lattice polytopes.
In this paper we try to look at the compactification of Teichmuller spaces from a tropical viewpoint. We describe a general construction for the compactification of algebraic varieties, using their amoebas, and we describe the boundary via tropical varieties. When we apply this construction to the Teichmuller spaces we see that they can be mapped in a real algebraic hypersurface in such a way that the cone over the boundary is a subpolyhedron of a tropical hypersurface. We want to show how some properties of the boundary becomes straightforward if looked at from this point of view. For example…
