Refined Tropicalizations for Sch\"on Subvarieties of Tori

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.

Given the tropicalization of a complex subvariety of the torus, we define a morphism between the tropical cohomology and the rational cohomology of their respective tropical compactifications. We say that the subvariety of the torus is cohomologically tropical if this map is an isomorphism for all closed strata of the tropical compactification. We prove that a sch\"on subvariety of the torus is cohomologically tropical if and only if it is wundersch\"on and its tropicalizat...

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 ca...

We propose a geometric interpretation of Block and G\"ottsche's refined tropical curve counting invariants in terms of virtual $\chi_{-y}$-specializations of motivic measures of semialgebraic sets in relative Hilbert schemes. We prove that this interpretation is correct for linear series of genus 1, and in arbitrary genus after specializing from $\chi_{-y}$ to Euler characteristic.

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. Re...

Tropicalizations form a bridge between algebraic and convex geometry. We generalize basic results from tropical geometry which are well-known for special ground fields to arbitrary non-archimedean valued fields. To achieve this, we develop a theory of toric schemes over valuation rings of rank 1. As a basic tool, we use techniques from non-archimedean analysis.

We find restrictions on the topology of tropical varieties that arise from a certain natural class of varieties. We develop a theory of tropical degenerations that is a nonconstant coefficient analogue of Tevelev's theory of tropical compactifications, and use it to construct normal crossings degenerations of a subvariety X of a torus, under mild hypotheses on X. These degenerations allow us to construct a natural, "multiplicity-free" parameterization of Trop(X) by a topologi...

We show that points in the intersection of the tropicalizations of subvarieties of a torus lift to algebraic intersection points with expected multiplicities, provided that the tropicalizations intersect in the expected dimension. We also prove a similar result for intersections inside an ambient subvariety of the torus, when the tropicalizations meet inside a facet of multiplicity 1. The proofs require not only the geometry of compactified tropicalizations of subvarieties of...

A complete intersection $f_1=\cdots=f_k=0$ is sch\"on, if $f_1=\cdots=f_j=0$ defines a sch\"on subvariety of an algebraic torus for every $j\leqslant k$. This class includes nondegenerate complete intersections, critical loci of their coordinate projections, other simplest Thom--Boardman and multiple point strata of such projections, generalized Calabi--Yau complete intersections, equaltions of polynomial optimization, hyperplane arrangement complements, and many other intere...

In this paper we propose a general functorial definition of the operation of \emph{local tropicalization} in commutative algebra. Let $R$ be a commutative ring, $\Gamma$ a finitely generated subsemigroup of a lattice, $\gamma : \Gamma \rightarrow R/ R^*$ a morphism of semigroups, and $\V(R)$ the topological space of valuations on $R$ taking values in $\R \cup \infty$. Then we may \emph{tropicalize} with respect to $\gamma$ any subset $\W$ of the space of valuations $\V(R)$. B...