The tropical variety defined by linear equations with constant coefficients is the Bergman fan of the corresponding matroid. Building on a self-contained introduction to matroid polytopes, we present a geometric construction of the Bergman fan, and we discuss its relationship with the simplicial complex of nested sets in the lattice of flats. The Bergman complex is triangulated by the nested set complex, and the two complexes coincide if and only if every connected flat remains connected after contracting along any subflat. This sharpens a result of Ardila-Klivans who showed that the Bergman complex is triangulated by the order complex of the lattice of flats. The nested sets specify the De Concini-Procesi compactification of the complement of a hyperplane arrangement, while the Bergman fan specifies the tropical compactification. These two compactifications are almost equal, and we highlight the subtle differences.
In this paper, we classify singular real plane tropical curves by means of subdivisions of Newton polytopes. First, we introduce signed Bergman fans (generalizing positive Bergman fans from [AKW06]) that describe real tropicalizations of real linear spaces ([Tab15]). Then, we establish a duality of real plane tropical curves and signed regular subdivisions of the Newton polytope and explore the combinatorics. We define a signed secondary fan that parametrizes real tropical Laurent polynomials and study the subset providing singular real plane tropical curves. A cone of the signed secondary fan…
We introduce the notion of real phase structure on rational polyhedral fans in Euclidean space. Such a structure consists of an assignment of affine spaces over $\mathbb{Z}/2\mathbb{Z}$ to each top dimensional face of the fan subject to two conditions. Given an oriented matroid we can construct a real phase structure on the fan of the underlying matroid. Conversely, we show that from a real phase structure on a matroid fan we can produce an orientation of the underlying matroid. Thus real phase structures are cryptomorphic to matroid orientations. The topes of the orientated matroid are recove…
We construct an intersection product on tropical cycles contained in the Bergman fan of a matroid. To do this we first establish a connection between the operations of deletion and restriction in matroid theory and tropical modifications as defined by Mikhalkin. This product generalises the product of Allermann and Rau, and Allermann and also provides an alternative procedure for intersecting cycles which is not based on intersecting with Cartier divisors. Also, we simplify the definition in the case of one dimensional fan cycles in two dimensional matroidal fans and given an application of th…
Given a matroid $M$ one can define its Orlik-Solomon algebra $OS(M)$ and the Bergman fan $Σ_0(M)$. On the other hand to any rational polyhedral fan $Σ$ one can associate its tropical homology and cohomology groups $\F_\bullet(Σ)$, $\F^\bullet (Σ)$. We will show that the projective Orlik-Solomon algebra $OS_0(M)$ is canonically isomorphic to $\F^\bullet (Σ_0(M))$.
We introduce a moduli functor for varieties whose tropicalization realizes a given weighted fan and show that this functor is an algebraic space in general, and is represented by a scheme of finite type when the associated toric variety is quasiprojective. We study the geometry of these tropical realization spaces for the matroid fans studied by Ardila and Klivans, and show that the tropical realization space of a matroid fan is a torus torsor over the realization space of the matroid. As a consequence, we deduce that these tropical realization spaces satisfy Murphy's Law.
Every tropical ideal in the sense of Maclagan-Rincón has an associated tropical variety, a finite polyhedral complex equipped with positive integral weights on its maximal cells. This leads to the realisability question, ubiquitous in tropical geometry, of which weighted polyhedral complexes arise in this manner. Using work of Las Vergnas on the non-existence of tensor products of matroids, we prove that there is no tropical ideal whose variety is the Bergman fan of the direct sum of the Vámos matroid and the uniform matroid of rank two on three elements, and in which all maximal cones have we…
In a recent paper, the first author proved the log-concavity of the coefficients of the characteristic polynomial of a matroid realizable over a field of characteristic 0, answering a long-standing conjecture of Read in graph theory. We extend the proof to all realizable matroids, making progress towards a more general conjecture of Rota-Heron-Welsh. Our proof follows from an identification of the coefficients of the reduced characteristic polynomial as answers to particular intersection problems on a toric variety. The log-concavity then follows from an inequality of Hodge type.
The Bergman fan of a matroid is the intersection of tropical hyperplanes defined by the circuits. A tropical basis is a subset of the circuits set that defines the Bergman fan. Yu and Yuster posed a question whether every simple regular matroid has a unique minimal tropical basis of its Bergman fan, and verified it for graphic, cographic matroids and $R_{10}$. We show every simple binary matroid has a unique minimal tropical basis. Since the regular matroid is binary, we positively answered the question.
Given a dissimilarity map $δ$ on finite set $X$, the set of ultrametrics (equidistant tree metrics) which are $l^\infty$-nearest to $δ$ is a tropical polytope. We give an internal description of this tropical polytope which we use to derive a polynomial-time checkable test for the condition that all ultrametrics $l^\infty$-nearest to $δ$ have the same tree structure. It was shown by Ardila and Klivans \cite{ardila-klivans2006} that the set of all ultrametrics on a finite set of size $n$ is the Bergman fan associated to the matroid underlying the complete graph on $n$ vertices. Therefore, we de…
We give an explicit description of the poset of cells of Bergman complexes of Lattice Path Matroids and establish a criterion for its simpliciality, in terms of the shape of the bounding paths.
Bergman complexes are polyhedral complexes associated to matroids. Faces of these complexes are certain matroids, called matroid types, too. In order to understand the structure of these faces we decompose matroid types into direct summands. Ardila/Klivans proved that the Bergman Complex of a matroid can be subdivided into the order complex of the proper part of its lattice of flats. Beyond that Feichtner/Sturmfels showed that the Bergman complex can even be subdivided to the even coarser nested set complex. We will give a much shorter and more general proof of this fact. Generalizing formulas…
We study the Bergman complex B(M) of a matroid M: a polyhedral complex which arises in algebraic geometry, but which we describe purely combinatorially. We prove that a natural subdivision of the Bergman complex of M is a geometric realization of the order complex of its lattice of flats. In addition, we show that the Bergman fan B'(K_n) of the graphical matroid of the complete graph K_n is homeomorphic to the space of phylogenetic trees T_n.
We study the positive Bergman complex B+(M) of an oriented matroid M, which is a certain subcomplex of the Bergman complex B(M) of the underlying unoriented matroid. The positive Bergman complex is defined so that given a linear ideal I with associated oriented matroid M_I, the positive tropical variety associated to I is equal to the fan over B+(M_I). Our main result is that a certain "fine" subdivision of B+(M) is a geometric realization of the order complex of the proper part of the Las Vergnas face lattice of M. It follows that B+(M) is homeomorphic to a sphere. For the oriented matroid of…
This paper introduces Dirichlet matroids, a generalization of graphic matroids arising from electrical networks. We present four main theorems. First, we exhibit a matroid quotient involving geometric duals of networks embedded in surfaces with boundary. Second, we characterize the Bergman fans of Dirichlet matroids as subfans of graphic Bergman fans. Third, we prove an interlacing result on the real zeros and poles of the trace of the response matrix. And fourth, we bound the coefficients of the precoloring polynomial of a network by the coefficients of the associated chromatic polynomial.
The augmented Bergman complex of a matroid is a simplicial complex introduced recently in work of Braden, Huh, Matherne, Proudfoot and Wang. It may be viewed as a hybrid of two well-studied pure shellable simplicial complexes associated to matroids: the independent set complex and Bergman complex. It is shown here that the augmented Bergman complex is also shellable, via two different families of shelling orders. Furthermore, comparing the description of its homotopy type induced from the two shellings re-interprets a known convolution formula counting bases of the matroid. The representation …
To each prime ideal in a polynomial ring over a field we associate an algebraic matroid and show that it is preserved under tropicalization. This gives a necessary condition for a tropical variety to be set-theoretically realizable from a prime ideal. We also show that there are infinitely many Bergman fans that are not set-theoretically realizable as the tropicalization of any ideal.
Tropical varieties play an important role in algebraic geometry. The Bergman complex B(M) and the positive Bergman complex B+(M) of an oriented matroid M generalize to matroids the notions of the tropical variety and positive tropical variety associated to a linear ideal. Our main result is that if A is a Coxeter arrangement of type Phi with corresponding oriented matroid M_Phi, then B+(M_Phi) is dual to the graph associahedron of type Phi, and B(M_Phi) equals the nested set complex of A. In addition, we prove that for any orientable matroid M, one can find |mu(M)| different reorientations of …
Associated to any divisor in the Chow ring of a simplicial tropical fan, we construct a family of polytopal complexes, called normal complexes, which we propose as an analogue of the well-studied notion of normal polytopes from the setting of complete fans. We describe certain closed convex polyhedral cones of divisors for which the "volume" of each divisor in the cone - that is, the degree of its top power - is equal to the volume of the associated normal complexes. For the Bergman fan of any matroid with building set, we prove that there exists an open family of such cones of divisors with n…
The theory of matroids or combinatorial geometries originated in linear algebra and graph theory, and has deep connections with many other areas, including field theory, matching theory, submodular optimization, Lie combinatorics, and total positivity. Matroids capture the combinatorial essence that these different settings share. In recent years, the (classical, polyhedral, algebraic, and tropical) geometric roots of the field have grown much deeper, bearing new fruits. We survey some recent successes, stemming from three geometric models of a matroid: the matroid polytope, the Bergman fan, a…
We study the augmented Bergman complex of a closure operator on a finite set, which interpolates between the order complex of proper flats and the independence complex of the operator. In 2020, Braden, Huh, Matherne, Proudfoot, and Wang showed that augmented Bergman complexes of matroids are always gallery-connected, and recently Bullock, Kelley, Reiner, Ren, Shemy, Shen, Sun, Tao, and Zhang strengthened "gallery-connected" to "shellable" by providing two classes of shelling orders: "flag-to-basis" shellings and "basis-to-flag" shellings. We show that augmented Bergman complexes of matroids ar…
The aim of this paper is to study homological properties of tropical fans and to propose a notion of smoothness in tropical geometry, which goes beyond matroids and their Bergman fans and which leads to an enrichment of the category of smooth tropical varieties. Among the resulting applications, we prove the Hodge isomorphism theorem which asserts that the Chow rings of smooth unimodular tropical fans are isomorphic to the tropical cohomology rings of their corresponding canonical compactifications, and prove a slightly weaker statement for any unimodular fan. We furthermore introduce a notion…
The tropical fundamental class of a rational balanced polyhedral fan induces cap products between tropical cohomology and tropical Borel-Moore homology. When all these cap products are isomorphisms, the fan is said to be a tropical Poincaré duality space. If all the stars of faces also are such spaces, such as for fans of matroids, the fan is called a local tropical Poincaré duality space. In this article, we first give some necessary conditions for fans to be tropical Poincaré duality spaces and a classification in dimension one. Next, we prove that tropical Poincaré duality for the stars of …
If S is a set of matroids, then the matroid M is S-fragile if, for every element e in E(M), either M\e or M/e has no minor isomorphic to a member of S. Excluded-minor characterizations often depend, implicitly or explicitly, on understanding classes of fragile matroids. In certain cases, when F is a minor-closed class of S-fragile matroids, and N is in F, the only members of F that contain N as a minor are obtained from N by increasing the length of fans. We prove that if this is the case, then we can certify it with a finite case-analysis. The analysis involves examining matroids that are at …
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 fo…
We introduce the conormal fan of a matroid M, which is a Lagrangian analog of the Bergman fan of M. We use the conormal fan to give a Lagrangian interpretation of the Chern-Schwartz-MacPherson cycle of M. This allows us to express the h-vector of the broken circuit complex of M in terms of the intersection theory of the conormal fan of M. We also develop general tools for tropical Hodge theory to prove that the conormal fan satisfies Poincaré duality, the hard Lefschetz theorem, and the Hodge-Riemann relations. The Lagrangian interpretation of the Chern-Schwartz-MacPherson cycle of M, when com…
We study moduli spaces of rational graphically stable tropical curves and a refinement given by radial alignment. Given a complete multipartite graph $Γ$, the moduli space of radially aligned $Γ$-stable tropical curves can be given the structure of a balanced fan. This fan structure coincides with the Bergman fan of the cycle matroid of $Γ$.
We investigate uniqueness issues that arise in $l^\infty$-optimization to linear spaces and Bergman fans of matroids. For linear spaces, we give a polyhedral decomposition of $\mathbb{R}^n$ based on the dimension of the set of $l^\infty$-nearest neighbors. This implies that the $l^\infty$-nearest neighbor in a linear space is unique if and only if the underlying matroid is uniform. For Bergman fans of matroids, we show that the set of $l^\infty$-nearest points is a tropical polytope and give an algorithm to compute its tropical vertices. A key ingredient here is a notion of topology that gener…
We define and study the cyclic Bergman fan of a matroid M, which is a simplicial polyhedral fan supported on the tropical linear space T(M) of M and is amenable to computational purposes. It slightly refines the nested set structure on T(M), and its rays are in bijection with flats of M which are either cyclic flats or singletons. We give a fast algorithm for calculating it, making some computational applications of tropical geometry now viable. Our C++ implementation, called TropLi, and a tool for computing vertices of Newton polytopes of A-discriminants, are both available online.
