🔢 mathematics

When are tropical multidegrees positive?

This paper investigates the positivity of tropical multidegrees for varieties in products of real vector spaces by introducing projection-purity and facet-selectability conditions that link positivity to projection dimensions and polymatroid base polytopes, while demonstrating that these conditions do not guarantee Lorentzian volume polynomials, unlike the specific case of augmented Bergman fans of polymatroids.

Original authors: Yairon Cid-Ruiz

Published 2026-08-27

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Yairon Cid-Ruiz

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the vast landscape of modern mathematics, there is a field called tropical geometry that studies shapes formed by the intersection of flat, angular pieces, much like a city map made of straight lines and sharp corners. These shapes are not drawn on paper but exist in abstract spaces where the usual rules of addition and multiplication are replaced by simpler operations, turning complex curves into rigid, skeletal structures. Within this world, mathematicians are deeply interested in a specific property called "positivity." Imagine a shape sitting inside a multi-dimensional room; positivity asks whether this shape is substantial enough to cast a shadow in every possible direction defined by the room's axes. If a shape is positive, it interacts with the surrounding space in a robust, predictable way, revealing a hidden order. This question is not just an abstract puzzle; it connects to how we count solutions to equations, how we understand the geometry of data, and how we model complex systems in statistics and physics. For decades, mathematicians knew how to answer this question for shapes that came from classical algebraic geometry, but the rules for the more general, angular shapes of tropical geometry remained elusive.

A recent paper by Yairon Cid-Ruiz tackles this missing piece by asking exactly when these tropical shapes are positive. The author investigates a specific type of tropical shape that lives in a product of several real vector spaces, which can be thought of as a high-dimensional grid made of multiple flat planes. To test for positivity, the researcher uses a method called "stable intersection," which involves gently nudging the shape and seeing where it overlaps with other standard tropical shapes, similar to how one might shine a light from different angles to see which parts of an object are illuminated. The paper introduces two new conditions, which the author calls "projection-purity" and "facet-selectability." The first condition ensures that when you look at the shape from any angle, what you see is still a valid tropical shape, not a messy collection of points. The second condition ensures that if the shape passes a certain test based on its overall size, there is at least one specific flat face of the shape that also passes that test.

The main finding of the paper is that if a tropical shape satisfies both of these conditions, then its positivity is completely determined by the dimensions of its shadows, or projections, onto the various coordinate planes. This result is a powerful extension of a known theorem from classical geometry, bringing a similar level of clarity to the tropical world. The author proves that for these specific shapes, the set of all positive outcomes forms a precise, structured pattern known as a polymatroid base polytope. This means the positive values are not scattered randomly but are clustered together in a way that mathematicians can predict and describe with a single, elegant rule.

However, the paper also carefully rules out a tempting assumption. In classical geometry, shapes that are positive often possess a deeper mathematical property called the "Lorentzian" property, which guarantees a specific kind of smoothness and stability in their numbers. The author demonstrates that the two conditions of projection-purity and facet-selectability, while sufficient to determine where the positive values are, are not enough to guarantee this deeper Lorentzian structure. Through the construction of specific counterexamples, the paper shows that one can build a tropical shape that meets all the criteria for being positive and having a structured support, yet still fails to be Lorentzian. This distinction is crucial because it shows that the rules governing where positive values appear are different from the rules governing the specific values themselves.

The story does not end with these limitations. The author then turns to a special class of shapes known as augmented Bergman fans, which are built from the combinatorial data of polymatroids. For these specific, highly structured shapes, the paper proves that the deeper Lorentzian property does hold. In this case, the positive values are not only arranged in the predictable pattern of a polymatroid, but the numbers themselves satisfy the strict Lorentzian conditions. This result connects the tropical world back to the powerful theories of algebraic geometry, showing that for these specific objects, the geometry controls both the location and the magnitude of the positive values. The paper concludes by confirming that while general tropical shapes require careful, case-by-case analysis to ensure they are well-behaved, the augmented Bergman fans provide a robust and fully understood example where positivity and structure align perfectly.

Technical Summary: "When Are Tropical Multidegrees Positive?"

Problem Statement
The paper investigates the positivity of tropical multidegrees for tropical varieties contained in a product of real vector spaces, $\Gamma \subset \mathbb{R}^{m_1} \times \cdots \times \mathbb{R}^{m_p}$ . In classical algebraic geometry, the multidegrees of a multiprojective variety $X$ are intersection numbers that are non-negative. A fundamental question, resolved for classical varieties by Castillo, Cid-Ruiz, Li, Montaño, and Zhang [CCRL+20], is determining exactly when these multidegrees are strictly positive. Their criterion relies on the dimensions of the images of $X$ under natural projections $\Pi_I$ .

In the tropical setting, He [He24] established a similar positivity criterion for "translation-admissible" tropical varieties. However, for arbitrary tropical varieties, positivity is governed by a "facet-wise" criterion (Theorem 3.5), which requires checking inequalities on individual facets rather than the global projection of the variety. The paper seeks to determine under what conditions this facet-wise criterion can be "globalized" to depend solely on the dimensions of the projections of the entire tropical variety $\Gamma$ . Furthermore, the paper examines whether the positivity of these multidegrees implies that the associated tropical volume polynomial is Lorentzian, a property known to hold in the classical setting due to Hodge-theoretic relations.

Methodology
The author employs a combination of tropical geometry, toric intersection theory, and the theory of Minkowski weights.

Tropical Intersection Theory: The paper utilizes the concept of stable intersections of tropical varieties and tropical divisors. Tropical multidegrees are defined as stable intersection numbers of $\Gamma$ with pullbacks of positive tropical divisors.
Bounded Rational Equivalence: Following Allermann, Hampe, and Rau [AR10, AHR16], the author uses bounded rational equivalence to relate tropical cycles to their recession fans. This allows the translation of tropical intersection problems into the language of toric varieties.
Toric Methods and Minkowski Weights: The core technical engine is the correspondence between operational Chow cohomology of complete toric varieties and Minkowski weights (Fulton–Sturmfels [FS97]). By associating tropical varieties with toric subvarieties (specifically closures of subtori), the author translates the positivity of tropical multidegrees into the positivity of intersection numbers of line bundles on toric varieties.
Polymatroid Theory: The support of the multidegrees is analyzed through the lens of polymatroids. The rank function of a polymatroid is linked to the dimensions of projections of the tropical variety.
Augmented Bergman Fans: The paper studies the specific case of augmented Bergman fans of polymatroids (introduced by Eur and Larson [EL24]), leveraging their known Kähler package properties to establish stronger results regarding Lorentzian polynomials.

Key Definitions and Conditions
To generalize He's results, the paper introduces two conditions:

Projection-Purity: A tropical variety $\Gamma$ is projection-pure if, for every subset of indices $I$ , the set-theoretic projection $\Pi_I(\Gamma)$ is the support of a tropical variety.
Facet-Selectability: A tropical variety $\Gamma$ is facet-selectable if, for any vector $n$ satisfying the projection inequalities globally (i.e., $\sum_{i \in I} n_i \leq \dim(\Pi_I(\Gamma))$ ), there exists a single facet $\sigma$ of $\Gamma$ that satisfies these inequalities locally (i.e., $\sum_{i \in I} n_i \leq \dim(\Pi_I(\sigma))$ ).

Key Results

Global Positivity Criterion (Theorem A):
The paper proves that if a tropical variety $\Gamma$ is both projection-pure and facet-selectable, then its tropical multidegrees are positive if and only if the vector of degrees $n$ satisfies the projection inequalities for the whole variety:
$\deg^n_\Lambda(\Gamma) > 0 \iff \sum_{i \in I} n_i \leq \dim(\Pi_I(\Gamma)) \quad \forall I \subseteq [p].$
Under these conditions, the function $I \mapsto \dim(\Pi_I(\Gamma))$ is the rank function of a polymatroid, and the support of the positive multidegrees corresponds exactly to the lattice points of a polymatroid base polytope. This generalizes He's theorem, as every translation-admissible tropical variety satisfies these two conditions, but the converse is not true (Example 2.10).
Failure of Lorentzianity (Section 4):
The paper demonstrates that the conditions of projection-purity and facet-selectability (and even translation-admissibility) are insufficient to guarantee that the tropical volume polynomial is Lorentzian.
- Proposition 4.2: Constructs a projection-pure, facet-selectable tropical variety that is not translation-admissible, whose tropical volume polynomial is not Lorentzian (its Hessian has two positive eigenvalues).
- Proposition 4.3: Constructs a translation-admissible tropical variety (connected in codimension one) whose tropical volume polynomial is also not Lorentzian.
  This contrasts with the classical setting where nefness of divisors implies the Lorentzian property.
Lorentzianity for Augmented Bergman Fans (Theorem B):
The paper identifies a class of tropical varieties where the tropical volume polynomial is Lorentzian: the augmented Bergman fans of polymatroids.
- For an augmented Bergman fan $\Sigma_P$ of a polymatroid $P$ , the fan is shown to be projection-pure and facet-selectable.
- The support of the positive multidegrees is precisely the set of lattice points in the base polytope $B(P)$ .
- Crucially, the tropical volume polynomial $tvol_{\Sigma_P, \Lambda}(t)$ is Lorentzian for any sequence of positive tropical divisors. This result relies on the fact that the augmented Chow ring of a polymatroid satisfies the Kähler package (Eur–Larson [EL24], Adiprasito–Huh–Larson [ADH23]).
Realizability Statement (Corollary C):
The paper establishes that the set of supports of positive tropical multidegrees for projection-pure and facet-selectable tropical varieties is exactly the set of lattice points of polymatroid base polytopes (intersected with $\mathbb{N}^p$ ).

Significance and Claims
The paper claims to provide a complete characterization of when tropical multidegrees are positive for a broad class of tropical varieties, extending previous results limited to translation-admissible varieties. It clarifies the distinction between the combinatorial structure of the support (M-convexity/polymatroid base polytopes) and the analytic structure of the coefficients (Lorentzianity).

The author explicitly states that while projection-purity and facet-selectability are sufficient to determine the support of the multidegrees, they do not force the Lorentzian property. The significance of the work on augmented Bergman fans lies in identifying a natural geometric context where both the support structure and the Lorentzian property hold, thereby recovering a tropical analogue of the classical Hodge-theoretic results for polymatroids. The paper concludes by posing the open question of whether augmented Bergman fans are translation-admissible, a property not yet settled.

Technical Summary: "When Are Tropical Multidegrees Positive?"

More like this