arXiv++ Combinatorics

Recently, Baker and Norine have proven a Riemann-Roch theorem for finite graphs. We extend their results to metric graphs and thus establish a Riemann-Roch theorem for divisors on (abstract) tropical curves.

We apply tropical geometry to study the image of a map defined by Laurent polynomials with generic coefficients. If this image is a hypersurface then our approach gives a construction of its Newton polytope.

Tropical geometry yields good lower bounds, in terms of certain combinatorial-polyhedral optimisation problems, on the dimensions of secant varieties. In particular, it gives an attractive pictorial proof of the theorem of Hirschowitz that all Veronese embeddings of the projective plane except for the quadratic one and the quartic one are non-defective; this proof might be generalisable to cover all Veronese embeddings, whose secant dimensions are known from the ground-breaking but difficult work of Alexander and Hirschowitz. Also, the non-defectiveness of certain Segre embeddings is proved, which cannot be proved with the rook covering argument already known in the literature. Short self-contained introductions to secant varieties and the required tropical geometry are included.

Tropical geometry is used to develop a new approach to the theory of discriminants and resultants in the sense of Gel'fand, Kapranov and Zelevinsky. The tropical A-discriminant, which is the tropicalization of the dual variety of the projective toric variety given by an integer matrix A, is shown to coincide with the Minkowski sum of the row space of A and of the tropicalization of the kernel of A. This leads to an explicit positive formula for the extreme monomials of any A-discriminant, without any smoothness assumption.

We study some basic algorithmic problems concerning the intersection of tropical hypersurfaces in general dimension: deciding whether this intersection is nonempty, whether it is a tropical variety, and whether it is connected, as well as counting the number of connected components. We characterize the borderline between tractable and hard computations by proving $\mathcal{NP}$-hardness and #$\mathcal{P}$-hardness results under various strong restrictions of the input data, as well as providing polynomial time algorithms for various other restrictions.

Given a matroid M on the ground set E, the Bergman fan B(M), or space of M-ultrametrics, is a polyhedral complex in R^E which arises in several different areas, such as tropical algebraic geometry, dynamical systems, and phylogenetics. Motivated by the phylogenetic situation, we study the following problem: Given a point w in R^E, we wish to find an M-ultrametric which is closest to it in the l_infty metric. The solution to this problem follows easily from the existence of the subdominant M-ultrametric: a componentwise maximum M-ultrametric which is componentwise smaller than w. A procedure for computing it is given, which brings together the points of view of matroid theory and tropical geometry. When the matroid in question is the graphical matroid of the complete graph K_n, the Bergman fan B(K_n) parameterizes the equidistant phylogenetic trees with n leaves. In this case, our results provide a conceptual explanation for Chepoi and Fichet's method for computing the tree that most closely matches measured data.

We undertake a combinatorial study of the piecewise linear map g : R^{2m+2n} --> R^{mn} which assigns to the four vectors a, A in R^m and b, B in R^n the m by n matrix given by g_{ij} = min (a_i + b_j, A_i+B_j). This map arises naturally in Pachter and Sturmfels's work on the tropical geometry of statistical models. The image of g has been a subject of recent interest; it is the positive part of the tropical algebraic variety which parameterizes n-tuples of points on a tropical line in m-space. The domains of linearity of g are the regions of the real hyperplane arrangement A_{m,n}, corresponding to the complete bipartite graph K_{m,n}. We explain how the images of (some of) the regions provide two polyhedral subdivisions of the image of g, one of which is a refinement of the other. The finer subdivision is particularly nice enumeratively: it has 2 {m \choose 2} {n \choose 2} r_{m-2,n-2} maximum-dimensional cells, where r_{m-2,n-2} is the number of regions of the arrangement A_{m-2,n-2}.

The notions of convexity and convex polytopes are introduced in the setting of tropical geometry. Combinatorial types of tropical polytopes are shown to be in bijection with regular triangulations of products of two simplices. Applications to phylogenetic trees are discussed. Theorem 29 and Corollary 30 in the paper, relating tropical polytopes to injective hulls, are incorrect. See the erratum at http://www.math.uiuc.edu/documenta/vol-09/vol-09-eng.html .

Tropical algebraic geometry is the geometry of the tropical semiring $(\mathbb{R},\min,+)$. Its objects are polyhedral cell complexes which behave like complex algebraic varieties. We give an introduction to this theory, with an emphasis on plane curves and linear spaces. New results include a complete description of the families of quadrics through four points in the tropical projective plane and a counterexample to the incidence version of Pappus' Theorem.