arXiv++ Combinatorics

A Lefschetz module is a module over a graded algebra $A$ that satisfies analogues of Poincaré duality, the Hard Lefschetz property, and the Hodge--Riemann relations with respect to an open convex cone $\mathscr{K}$ in the degree one part of $A$. We analyze its decomposition into indecomposable modules over subrings of $A$ that are generated by elements in the closure of $\mathscr{K}$, establishing structural results that parallel the decomposition theorem for morphisms of complex projective varieties. We use our theorems to recover key statements in combinatorial Hodge theory and illuminate the Hodge-theoretic aspects of the decomposition theorem in algebraic geometry.

To a compact tropical variety of arbitrary dimension, we associate a collection of intermediate Jacobians defined in terms of tropical homology and tropical monodromy. We then develop an Abel-Jacobi theory in the tropical setting by defining functorial Abel-Jacobi maps. We introduce, in particular, tropical Albanese varieties and formulate obstructions to algebraic equivalence of tropical cycles. In dimension 1, we show that this recovers the existing Abel-Jacobi theory for tropical curves. As an application, we consider the Ceresa class of a tropical curve which is defined as the image of the Ceresa cycle in an appropriate intermediate Jacobian under the Abel-Jacobi map. We give an explicit formula for this class entirely in terms of the combinatorics of the tropical curve.

The tropical rank of a semimodule of rational functions on a metric graph mirrors the concept of rank in linear algebra. Defined in terms of the maximal number of tropically independent elements within the semimodule, this quantity has remained elusive due to the challenges of computing it in practice. In this note, we establish that the tropical rank is, in fact, precisely equal to the topological dimension of the semimodule, one more than the dimension of the associated linear system of divisors. Moreover, we show that the equality of divisorial and tropical ranks in the definition of tropical linear series is equivalent to the pure dimensionality of the corresponding linear system. We conclude with several complementary results and questions on combinatorial, topological, and computability properties of the tropical rank.

We describe the limits of canonical series along families of curves degenerating to a nodal curve which is general for its topology, in the weak sense that the branches over nodes on each of its components are in general position. We define a fan structure on the space of edge lengths on the dual graph of the limit curve, and construct a projective variety parametrizing the limits, organized in strata associated to the cones of this fan. This extends to all topologies the works by Eisenbud-Harris (Invent. Math. 87: 496-515, 1987) on curves of compact type and Esteves-Medeiros (Invent. Math. 149: 267-338, 2002) on two-component curves.

A level graph is the data of a pair $(G,π)$ consisting of a finite graph $G$ and an ordered partition $π$ on the set of vertices of $G$. To each level graph on $n$ vertices we associate a polytope in $\mathbb R^n$ called its residue polytope. We show that residue polytopes are compatible with each other in the sense that if $π'$ is a coarsening of $π$, then the polytope associated to $(G,π)$ is a face of the one associated to $(G,π')$. Moreover, they form all the faces of the residue polytope of $G$, defined as the polytope associated to the level graph with the trivial ordered partition. The results are used in a companion work to describe limits of spaces of Abelian differentials on families of Riemann surfaces approaching a stable Riemann surface on the boundary of the moduli space.

We say that a tropical fan is homologically smooth if each of its open subsets verify tropical Poincare duality. A tropical homology manifold is a tropical variety that is locally modelled by open subsets of homologically smooth tropical fans. We show that homological smoothness is a T-stable property in the category of tropical fans. This implies in particular that quasilinear fans are homologically smooth, and tropical varieties locally modelled by them are tropical homology manifolds. Previously, this was known only for locally matroidal tropical varieties. In order to show the above results, we prove a tropical analogue of the Deligne weight spectral sequence for homologically smooth tropical fans. This allows to describe the cohomology of tropical modifications, and will be of importance in our companion work which develops a Hodge theory in the tropical setting.

We prove that the Chow ring of any simplicial fan is isomorphic to the middle degree part of the tropical cohomology ring of its canonical compactification. Using this result, we prove a tropical analogue of Kleiman's criterion of ampleness for fans. In the case of tropical fans that are homology manifolds, we obtain an isomorphism between the Chow ring of the fan and the entire tropical cohomology of the canonical compactification. When applied to matroids, this provides a new representation of the Chow ring of a matroid as the cohomology ring of a projective tropical manifold.

We show that tropicalization of linear series on curves gives rise to two-parameter families of tilings by polymatroids, with one parameter arising from the theory of divisors on tropical curves and the other from the reduction of linear series of rational functions in non-Archimedean geometry. In order to do this, we introduce a general framework that produces tilings of vector spaces and their subsets by polymatroids. We furthermore show that these tilings are regular and relate them to work by Kapranov and Lafforgue on Chow quotients of Grassmannians.

We introduce combinatorial objects named matricubes that provide a generalization of the theory of matroids. As matroids provide a combinatorial axiomatization of hyperplane arrangements, matricubes provide a combinatorial axiomatization of arrangements of initial flags in a vector space. We give cryptomorphic axiomatic systems in terms of rank function, flats, circuits, and independent sets, and formulate a duality concept. We also provide precise links between matricubes, permutation arrays and matroids, and raise several open questions.

This paper is the first in a series devoted to the development of a Hodge theory for tropical varieties. We introduce a notion of T-stability for tropical fans and prove that various geometric properties of tropical fans are T-stable. As a consequence, we establish Kähler properties for the Chow ring in a large class of tropical fans, going beyond the case of matroids and their Bergman fans. As a by-product, we obtain a new proof of the Kähler package for combinatorial geometries. The approach makes it possible to deal with tropical fans with general weights.

We introduce higher rank inner products on real and complex vector spaces and study their corresponding Voronoi tilings. We use the framework to describe metric degenerations of polarized tori and Hausdorff limits of Voronoi tilings of discrete sets.

In this paper, we study tropical Weierstrass points. These are the analogues for tropical curves of ramification points of line bundles on algebraic curves. For a divisor on a tropical curve, we associate intrinsic weights to the connected components of the locus of tropical Weierstrass points. This is obtained by analyzing the slopes of rational functions in the complete linear series of the divisor. We prove that for a divisor $D$ of degree $d$ and rank $r$ on a genus $g$ tropical curve, the sum of weights is equal to $d - r + rg$. We establish analogous statements for tropical linear series. In the case $D$ comes from the tropicalization of a divisor, these weights control the number of Weierstrass points which are tropicalized to each component. Our results provide answers to open questions originating from the work of Baker on specialization of divisors from curves to graphs. We conclude with multiple examples which illustrate interesting features appearing in the study of tropical Weierstrass points, and raise several open questions.

We develop a purely combinatorial theory of limit linear series on metric graphs. This will be based on the formalisms of hypercube rank functions and slope structures. We provide a full classification of combinatorial limit linear series of rank one, and discuss connections to other concepts in tropical algebra and combinatorial algebraic geometry.

The aim of this paper is to introduce a certain number of tools and results suitable for the study of valuations of higher rank on function fields of algebraic varieties. This will be based on a study of higher rank quasi-monomial valuations taking values in the lexicographically ordered group R^k. We prove a duality theorem that gives a geometric realization of higher rank quasi-monomial valuations as tangent cones of dual cone complexes. Using this duality, we provide an analytic description of quasi-monomial valuations as multi-directional derivative operators on tropical functions. We consider moreover a refined notion of tropicalization in which we remember the initial terms of power series on each cone of a dual complex, and prove a tropical analogue of the weak approximation theorem in number theory by showing that any compatible collection of initial terms on cones of a dual cone complex is the refined tropicalization of a rational function in the function field of the variety. Endowing the value group R^k with its Euclidean topology, we study then a natural topology on spaces of higher rank valuations that we call the tropical topology. By using the approximation theorem we provide an explicit description of the tropical topology on tangent cones of dual cone complexes. Finally, we show that tangent cones of dual complexes provide a notion of skeleton in higher rank non-archimedean geometry. That is, generalizing the picture in rank one to higher rank, we construct retraction maps to tangent cones of dual cone complexes, and use them to obtain limit formulae in which we reconstruct higher rank non-archimedian spaces with their tropical topology as the projective limit of their higher rank skeleta. We conjecture that these higher rank skeleta provide appropriate bases for the study of variations of Newton-Okounkov bodies.

The present paper is a sequel to our work on hybrid geometry of curves and their moduli spaces. We introduce a notion of hybrid Laplacian, formulate a hybrid Poisson equation, and give a mathematical meaning to the convergence both of the Laplace operator and the solutions to the Poisson equation on Riemann surfaces. As the main theorem of this paper, we then obtain a layered description of the asymptotics of Arakelov Green functions on Riemann surfaces close to the boundary of their moduli spaces. This is done in terms of a suitable notion of hybrid Green functions. As a byproduct of our approach, we obtain other results of independent interest. In particular, we introduce higher rank canonical compactifications of fans and polyhedral spaces and use them to define the moduli space of higher rank tropical curves. Moreover, we develop the first steps of a function theory in higher rank non-Archimedean, hybrid, and tame analysis. Furthermore, we establish the convergence of the Laplace operator on metric graphs toward the tropical Laplace operator on limit tropical curves in the corresponding moduli spaces, leading to new perspectives in operator theory on metric graphs. Our result on the Arakelov Green function is inspired by the works of several authors, in particular those of Faltings, de Jong, Wentworth and Wolpert, and solves a long-standing open problem arising from the Arakelov geometry of Riemann surfaces. The hybrid layered behavior close to the boundary of moduli spaces is expected to be a broad phenomenon and will be explored in our forthcoming work.

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 of shellability for tropical fans and show that shellable tropical fans are smooth and thus enjoy all the nice homological properties of smooth tropical fans. Several other interesting properties for tropical fans are shown to be shellable. Finally, we obtain a generalization, both in the tropical and in the classical setting, of the pioneering work of Feichtner-Yuzvinsky and De Concini-Procesi on the cohomology ring of wonderful compactifications of complements of hyperplane arrangements. The results in this paper form the basis for our subsequent works on Hodge theory for tropical and non-Archimedean varieties.

We describe limits of line bundles on nodal curves in terms of toric arrangements associated to Voronoi tilings of Euclidean spaces. These tilings encode information on the relationship between the possibly infinitely many limits, and ultimately give rise to a new definition of limit linear series. This paper and its second and third companion parts are the first in a series aimed to explore this new approach. In the present article, we set up the combinatorial framework and show how graphs with integer lengths associated to the edges provide tilings of Euclidean spaces by certain polytopes associated to the graph itself and to certain of its subgraphs. We further provide a description of the combinatorial structure of these polytopes and the way they are glued together in the tiling. In the second part of the series, we describe the arrangements of toric varieties associated to these tilings. These results will be of use in the third part to achieve our goal of describing all stable limits of a family of line bundles along a degenerating family of curves.

We describe limits of line bundles on nodal curves in terms of toric arrangements associated to Voronoi tilings of Euclidean spaces. These tilings encode information on the relationship between the possibly infinitely many limits, and ultimately give rise to a new definition of limit linear series. This article and its first and third part companion parts are the first in a series aimed to explore this new approach. In the first part, we set up the combinatorial framework and showed how graphs weighted with integer lengths associated to the edges provide tilings of Euclidean spaces by polytopes associated to the graph itself and to its subgraphs. In this part, we describe the arrangements of toric varieties associated to these tilings. Roughly speaking, the normal fan to each polytope in the tiling corresponds to a toric variety, and these toric varieties are glued together in an arrangement according to how the polytopes meet. We provide a thorough description of these toric arrangements from different perspectives: by using normal fans, as unions of torus orbits, by describing the (infinitely many) polynomial equations defining them in products of doubly infinite chains of projective lines, and as degenerations of algebraic tori. These results will be of use in the third part to achieve our goal of describing all stable limits of a family of line bundles along a degenerating family of curves.

This is a sequel to our work in tropical Hodge theory. Our aim here is to prove a tropical analogue of the Clemens-Schmid exact sequence in asymptotic Hodge theory. As an application of this result, we prove the tropical Hodge conjecture for smooth projective tropical varieties which are rationally triangulable. This provides a partial answer to a question of Kontsevich who suggested the validity of the tropical Hodge conjecture could be used as a test for the validity of the Hodge conjecture.

In this paper we prove that the cohomology of smooth projective tropical varieties verify the tropical analogs of three fundamental theorems which govern the cohomology of complex projective varieties: Hard Lefschetz theorem, Hodge-Riemann relations and monodromy-weight conjecture. On the way to establish these results, we introduce and prove other results of independent interest. This includes a generalization of the results of Adiprasito-Huh-Katz, Hodge theory for combinatorial geometries, to any unimodular quasi-projective fan having the same support as the Bergman fan of a matroid, a tropical analog for Bergman fans of the pioneering work of Feichtner-Yuzvinsky on cohomology of wonderful compactifications (treated in a separate paper, recalled and used here), a combinatorial study of the tropical version of the Steenbrink spectral sequence, a treatment of Kahler forms in tropical geometry and their associated Hodge-Lefschetz structures, a tropical version of the projective bundle formula, and a result in polyhedral geometry on the existence of quasi-projective unimodular triangulations of polyhedral spaces.