We use piecewise polynomials to define tropical cocycles generalising the well-known notion of tropical Cartier divisors to higher codimensions. Groups of cocycles are tropical analogues of Chow cohomology groups. We also introduce an intersection product of cocycles with tropical cycles - the counterpart of the classical cap product - and prove that this gives rise to a Poincaré duality in some cases.
We prove a Poincaré duality for the Chow rings of smooth fans whose support are tropical linear spaces. As a consequence, we show that cycles and cocycles on tropical manifolds are Poincaré dual to each other. This allows us to define pull-backs of tropical cycles along arbitrary morphisms with smooth target.
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.
Complex algebraic varieties become easy piecewise-linear objects after passing to the so-called tropical limit. Geometry of these limiting objects is known as tropical geometry. In this short survey we take a look at motivation and intuition behind this limit and consider a few simple examples of correspondence principle between classical and tropical geometries.
We give a complete description of the cohomology ring $A^*(\overline Z)$ of a compactification of a linear subvariety $Z$ of a torus in a smooth toric variety whose fan $Σ$ is supported on the tropicalization of $Z$. It turns out that cocycles on $\overline Z$ canonically correspond to Minkowski weights on $Σ$ and that the cup product is described by the intersection product on the tropical matroid variety $\operatorname{Trop}(Z)$.
We find a relation between mixed volumes of several polytopes and the convex hull of their union, deducing it from the following fact: the mixed volume of a collection of polytopes only depends on the product of their support functions (rather than on the individual support functions). For integer polytopes, this dependence is essentially a certain specialization of the isomorphism between two well-known combinatorial models for the cohomology of toric varieties, however, this construction has not been extended to arbitrary polytopes so far (partially due to the lack of combinatorial tools cap…
We present a version of the tropical Nevanlinna theory for real-valued, continuous, piecewise linear functions on the real line. In particular, a tropical version of the second main theorem is proved. Applications to some ultra-discrete equations are given.
Tropical Nevanlinna theory studies value distribution of continuous piecewise linear functions of a real variable. In this paper, we use the reasoning from tropical Nevanlinna theory to present tropical counterparts of some classical complex results related to Fermat type equations, Hayman conjecture and Bruck conjecture.
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.
Tropical mathematics redefines the rules of arithmetic by replacing addition with taking a maximum, and by replacing multiplication with addition. After briefly discussing a tropical version of linear algebra, we study polynomials build with these new operations. These equations define piecewise-linear geometric objects called tropical varieties. We explore these tropical varieties in two and three dimensions, building up discrete tools for studying them and determining their geometric properties. We then discuss the relationship between tropical geometry and algebraic geometry, which consider…
The purpose of this note is to give an exposition of some interesting combinatorics and convex geometry concepts that appear in algebraic geometry in relation to counting the number of solutions of a system of polynomial equations in several variables over complex numbers. The exposition is aimed for a general audience in mathematics and we hope to be accessible to undergraduate as well as advance high school students. The topics discussed belong to relatively new, and closely related branches of algebraic geometry which are usually referred to as tropical geometry and toric geometry. These ar…
Sometimes it is possible to extend some using Newton polyhedra computations in algebraic geometry from polynomials to exponential sums. For this purpose it is useful to consider analogues of tropical varieties in complex space. These analogues are called exponential tropical varieties (ETV). We construct the ring of ETV. Algebraic tropical varieties form the subring of the ring of ETV. In this paper we connect ETV with the complex Monge-Ampere operator action on the space of piecewise linear functions in complex vector space. We show that all ETV arise as results of such operator action. We gi…
Tropical geometry is a piecewise linear "shadow" of algebraic geometry. It allows for the computation of several cohomological invariants of an algebraic variety. In particular, its application to enumerative algebraic geometry led to significant progress. In this survey, we give an introduction to tropical geometry techniques for algebraic curve counting problems. We also survey some recent developments, with a particular emphasis on the computation of the degree of the Severi varieties of the complex projective plane and other toric surfaces as well as Hurwitz numbers and applications to rea…
A tropical curve Γis a metric graph with possibly unbounded edges, and tropical rational functions are continuous piecewise linear functions with integer slopes. We define the complete linear system |D| of a divisor D on a tropical curve Γanalogously to the classical counterpart. We investigate the structure of |D| as a cell complex and show that linear systems are quotients of tropical modules, finitely generated by vertices of the cell complex. Using a finite set of generators, |D| defines a map from Γto a tropical projective space, and the image can be extended to a tropical curve of degree…
In his preprint https://arxiv.org/abs/1308.3813, Cartwright introduced the notion of a weak tropical complex in order to generalize the concepts of divisors and the Picard group on graphs from Baker and Norine's paper Riemann-Roch and Abel-Jacobi Theory on a Finite Graph. A tropical complex $Γ$ is a $Δ$-complex equipped with certain algebraic data. Divisors in a tropical complex are formal linear combinations of ridges, and piecewise-linear functions on a tropical complex give rise in a natural way to divisors. Divisors that arise from PL-functions are called principal, and divisors that are l…
A positive space is a space with a positive atlas, i.e. a collection of rational coordinate systems with subtraction free transition functions. The set of positive real points of a positive space is well defined. We define a tropical compactification of the latter. We show that it generalizes the Thurston compactification of a Teichmuller space. The tropical boundary of a positive space is a sphere with a piecewise linear structure. Cluster X-varieties are positive spaces of rather special type. We define special completions of cluster X-varieties. They have a stratification whose strata are (…
