arXiv++ Combinatorics

A "tropical ideal" is an ideal in the idempotent semiring of tropical polynomials that is also, degree by degree, a tropical linear space. We introduce a construction based on transversal matroids that canonically extends any principal ideal to a tropical ideal. We call this the Macaulay tropical ideal. It has a universal property: any other extension of the given principal ideal to a tropical ideal with the expected Hilbert function is a weak image of the Macaulay tropical ideal. For each $n\geq 2$ and $d\geq 1$ our construction yields a non-realizable degree $d$ hypersurface scheme in $\mathbb{P}^n$. Maclagan-Rincón produced a non-realizable line in $\mathbb{P}^n$ for each $n$, and for $(d,n)=(1,2)$ the two constructions agree. An appendix by Mundinger compares the Macaulay construction with another method for canonically extending ideals to tropical ideals.

In 2004 Pachter and Speyer introduced the higher dissimilarity maps for phylogenetic trees and asked two important questions about their relation to the tropical Grassmannian. Multiple authors, using independent methods, answered affirmatively the first of these questions, showing that dissimilarity vectors lie on the tropical Grassmannian, but the second question, whether the set of dissimilarity vectors forms a tropical subvariety, remained opened. We resolve this question by showing that the tropical balancing condition fails. However, by replacing the definition of the dissimilarity map with a weighted variant, we show that weighted dissimilarity vectors form a tropical subvariety of the tropical Grassmannian in exactly the way that Pachter--Speyer envisioned. Moreover, we provide a geometric interpretation in terms of configurations of points on rational normal curves and construct a finite tropical basis that yields an explicit characterization of weighted dissimilarity vectors.

We develop the rudiments of a finite-dimensional representation theory of groups over idempotent semifields by considering linear actions on tropical linear spaces. This can be considered a tropical representation theory, a characteristic one modular representation theory, or a matroidal representation theory---and we draw from all three perspectives. After some general properties and constructions, including a weak tropical analogue of Maschke's theorem, we turn to a study of the regular representation of a finite group and its tropicalization. For abelian groups we find an interesting interplay between elementary number theory and matroid theory---even cyclic groups are surprisingly rich---and we conclude with some possible first steps toward a tropical character theory.

Speyer recognized that matroids encode the same data as a special class of tropical linear spaces and Shaw interpreted tropically certain basic matroid constructions; additionally, Frenk developed the perspective of tropical linear spaces as modules over an idempotent semifield. All together, this provides bridges between the combinatorics of matroids, the algebra of idempotent modules, and the geometry of tropical linear spaces. The goal of this paper is to strengthen and expand these bridges by systematically developing the idempotent module theory of matroids. Applications include a geometric interpretation of strong matroid maps and the factorization theorem; a generalized notion of strong matroid maps, via an embedding of the category of matroids into a category of module homomorphisms; a monotonicity property for the stable sum and stable intersection of tropical linear spaces; a novel perspective of fundamental transversal matroids; and a tropical analogue of reduced row echelon form.

We introduce an idempotent analogue of the exterior algebra for which the theory of tropical linear spaces (and valuated matroids) can be seen in close analogy with the classical Grassmann algebra formalism for linear spaces. The top wedge power of a tropical linear space is its Plucker vector, which we view as a tensor, and a tropical linear space is recovered from its Plucker vector as the kernel of the corresponding wedge multiplication map. We prove that an arbitrary d-tensor satisfies the tropical Plucker relations (valuated exchange axiom) if and only if the d-th wedge power of the kernel of wedge-multiplication is free of rank one. This provides a new cryptomorphism for valuated matroids, including ordinary matroids as a special case.