Related papers: Lifting non-proper tropical intersections

Let $K$ be a real closed field with a nontrivial non-archimedean absolute value. We study a refined version of the tropicalization map, which we call real tropicalization map, that takes into account the signs on $K$. We study images of…

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…

We study the tropicalizations of analytic subvarieties of normal toric varieties over complete non-archimedean valuation fields. We show that a Zariski closed analytic subvariety of a normal toric variety is algebraic if its tropicalization…

We consider the tropicalization of tangent lines to a complete intersection curve $X$ in $\mathbb{P}^n$. Under mild hypotheses, we describe a procedure for computing the tropicalization of the image of the Gauss map of $X$ in terms of the…

It is known that any tropical polytope is the image under the valuation map of ordinary polytopes over the Puiseux series field. The latter polytopes are called lifts of the tropical polytope. We prove that any pure tropical polytope is the…

We develop a combinatorial framework to study certain polyhedral maps which are higher-dimensional analogues of tropical covers between metric graphs. Under a mild combinatorial assumption, we show that a map satisfies the so-called…

Tropical algebraic geometry offers new tools for elimination theory and implicitization. We determine the tropicalization of the image of a subvariety of an algebraic torus under any homomorphism from that torus to another torus.

Let $I$ be an ideal of the ring of Laurent polynomials $K[x_1^{\pm1},\ldots,x_n^{\pm1}]$ with coefficients in a real-valued field $(K,v)$. The fundamental theorem of tropical algebraic geometry states the equality…

We formulate and prove an analogue of the balancing condition for the tropicalization of a curve in a torus bundle $X$. We find that the usual balancing condition fails when the bundle is non-trivial and that the failure is captured by the…

In this paper we continue the program to develop the algebraic foundations of tropical (algebraic) geometry. We give strong characterizations of prime congruences containing a given congruence on a toric semiring. We give four applications…

The aim of this paper is to give a constructive proof of one of the basic theorems of tropical geometry: given a point on a tropical variety (defined using initial ideals), there exists a Puiseux-valued ``lift'' of this point in the…

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…

We define arroids as an abstract axiom set encoding the intersection properties of arrangements of curves. The tropicalization of the complement of arrangement of curves meeting pairwise transversely is shown to be determined by the…

We study lifts of tropical bitangents to the tropicalization of a given complex algebraic curve together with their lifting multiplicities. Using this characterization, we show that generically all the seven bitangents of a smooth tropical…

We show that the non-Archimedean skeleton of the $d$-th symmetric power of a smooth projective algebraic curve $X$ is naturally isomorphic to the $d$-th symmetric power of the tropical curve that arises as the non-Archimedean skeleton of…

We introduce and study a special class of ideals, called tropical ideals, in the semiring of tropical polynomials, with the goal of developing a useful and solid algebraic foundation for tropical geometry. The class of tropical ideals…

Let $K$ be a complete, algebraically closed non-archimedean field with ring of integers $K^\circ$ and let $X$ be a $K$-variety. We associate to the data of a strictly semistable $K^\circ$-model $\mathscr X$ of $X$ plus a suitable horizontal…

For a morphism $f : X \to Y$ of schemes, we give a tropical criterion for which points of $Y$ (valued in a field, discrete valuation ring, number ring, or Dedekind domain) lift to $X$. Our criterion extends the firmaments of Abramovich to a…

We develop a number of general techniques for comparing analytifications and tropicalizations of algebraic varieties. Our basic results include a projection formula for tropical multiplicities and a generalization of the Sturmfels-Tevelev…

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…