On Ehrhart theory for tropical vector bundles

This paper establishes a combinatorial Hirzebruch-Riemann-Roch theorem for tropical vector bundles on toric varieties using Khovanskii-Pukhlikov theory and confirms that the Euler characteristic equals the rank of global sections for tautological bundles associated with matroids.

The Gist

Imagine you are an architect trying to understand the "shape" and "weight" of a building. In the world of mathematics, there is a famous field called Ehrhart Theory. Think of it as a way to count the number of "bricks" (lattice points) inside a geometric shape (a polytope) to understand its volume and properties. It's like counting the tiles on a floor to figure out how big the room is.

For a long time, mathematicians knew how to do this for simple, flat shapes (like triangles or cubes) and for "line bundles" (which are like one-dimensional strings or wires wrapped around a shape).

However, there was a missing piece of the puzzle: Tropical Vector Bundles.

• "Tropical" doesn't mean palm trees; in math, it's a weird, crunchy version of geometry where addition becomes "taking the minimum" and multiplication becomes "adding." It's like a digital, pixelated version of the smooth world we usually see.
• "Vector Bundles" are like bundles of strings or fibers attached to every point of a shape. If a line bundle is a single string, a vector bundle is a whole bunch of strings bundled together (like a rope made of many strands).

The paper by Suhyon Chong and Kiumars Kaveh is about finally figuring out how to count the "bricks" inside these complex, tropical bundles of strings.

Here is the breakdown of their discovery using simple analogies:

1. The Problem: Counting the Unseeable

Imagine you have a magical, invisible net (the tropical vector bundle) draped over a complex landscape (a toric variety). You want to know:

• How many "threads" are in the net? (This is the Rank).
• How many "knots" or special points does the net have? (This is the Euler Characteristic).

In the smooth, normal world of math, there are famous formulas (like the Hirzebruch-Riemann-Roch theorem) that tell you how to calculate these numbers. But in the "Tropical" world, the rules are different, and nobody had a formula to do this for complex bundles of strings, only for single strings.

2. The Solution: The "Convex Chain" Recipe

The authors found a clever way to translate this messy tropical bundle into a language the old formulas could understand. They call this a Convex Chain.

• The Analogy: Imagine you have a complex, jagged sculpture. It's hard to measure directly. But, you realize that if you break it apart, it's actually just a collection of simple, smooth blocks (polytopes) glued together, some added and some subtracted.
• The Math: They take the tropical bundle and turn it into a "recipe" (a convex chain). This recipe is a list of simple shapes with plus and minus signs.
  • Example: "Take 3 big cubes, subtract 2 pyramids, add 1 tetrahedron."
• Once they have this recipe, they can use the Khovanskii-Pukhlikov theory. Think of this theory as a magical calculator that knows exactly how to count the "bricks" in any combination of shapes, even if they are virtual (subtracted) shapes.

3. The Big Result: A New Formula

By using this "recipe" method, the authors proved a Combinatorial Hirzebruch-Riemann-Roch theorem for tropical bundles.

• What it means: They found a simple, step-by-step recipe to calculate the "Euler Characteristic" (the total count of the bundle's features) just by looking at the geometry of the shapes involved.
• Why it matters: It connects two different worlds: the combinatorial world (counting discrete points) and the geometric world (integrals and volumes). It's like finding a universal translator between counting apples and measuring the weight of a watermelon.

4. The Special Case: The "Tautological" Bundle

The paper also tackles a specific, famous type of bundle called the Tautological Bundle, which is associated with something called a Matroid.

• What is a Matroid? Think of a matroid as a rulebook for independence. For example, in a set of vectors, which ones can you pick without them being redundant? A matroid is just a list of these "good" combinations.
• The Question: Mathematicians had a hunch that for this specific bundle, the number of "global sections" (the total number of ways you can stretch the bundle without breaking it) was exactly equal to the Euler characteristic. In other words, they guessed that there were no "hidden" complexities or "higher cohomologies" (ghostly extra layers) hiding in the bundle.
• The Answer: The authors proved the hunch was correct. They showed that for the tautological bundle of a matroid, the count is simple and clean. There are no hidden ghosts; the Euler characteristic equals the number of global sections.

Summary: Why Should You Care?

This paper is like finding a new set of tools for a carpenter who was struggling to build a specific type of complex furniture.

1. They built a bridge: They connected the abstract, pixelated world of "Tropical Geometry" with the solid, counting-based world of "Ehrhart Theory."
2. They gave a recipe: They showed that even the most complex tropical bundles can be broken down into simple shapes that we know how to count.
3. They solved a mystery: They confirmed that for a very important class of bundles (the tautological ones), the math is surprisingly simple and predictable.

In short, they took a confusing, high-dimensional puzzle and showed us that if you look at it the right way, it's just a collection of simple blocks that we can count with a ruler.

Technical Summary

Here is a detailed technical summary of the paper "On Ehrhart Theory for Tropical Vector Bundles" by Suhyon Chong and Kiumars Kaveh.

1. Problem Statement and Context

The paper addresses a gap in the theory of tropical geometry, specifically regarding higher-rank vector bundles. While the theory of divisors and line bundles on tropical varieties is well-developed, the theory of higher-rank vector bundles lacks a general framework.

Recent works ([KhM], [KM]) introduced the notion of tropical vector bundles over toric varieties. These are combinatorial analogues of toric vector bundles, defined either via:

1. Klyachko data: Compatible systems of filtrations by flats of a matroid.
2. Piecewise linear (PL) maps: Maps from the fan of the toric variety to the (lifted) Bergman fan of a matroid.

The central problem tackled in this paper is the development of an Ehrhart theory for these tropical vector bundles. Specifically, the authors aim to:

• Define and compute the equivariant Euler characteristic ($\chi$) for tropical vector bundles.
• Establish a combinatorial Hirzebruch-Riemann-Roch (HRR) theorem for these bundles.
• Resolve a specific question regarding the tautological tropical vector bundle associated with a matroid: Does the Euler characteristic equal the rank of the space of global sections (implying the vanishing of higher cohomologies)?

2. Methodology

The authors employ a synthesis of tropical geometry, matroid theory, and the Khovanskii-Pukhlikov theory of convex chains.

A. Convex Chains and Virtual Polytopes

The core tool is the algebra of convex chains (functions $\alpha: \mathbb{R}^n \to \mathbb{Z}$ that are finite integer linear combinations of indicator functions of convex polytopes).

• Khovanskii-Pukhlikov Theory: They utilize the result that the sum of values of a convex chain on lattice points ($S(\alpha)$) and its integral ($I(\alpha)$) are related via a combinatorial HRR formula involving the Todd class operator.
• Virtual Polytopes: They treat convex chains as elements of an algebra isomorphic to the algebra of multi-valued piecewise linear functions (support functions).

B. Construction of the Convex Chain $\alpha_E$

For a tropical vector bundle $E$, the authors construct a specific convex chain $\alpha_E$ that encodes its equivariant Euler characteristic. They provide two equivalent constructions:

1. Direct Construction: Using the equivariant Chern roots (characters associated with the bundle on each cone of the fan) to define a multi-valued support function $h_E$, which corresponds to $\alpha_E$.
2. Split Resolution: Extending Klyachko's resolution of toric vector bundles by split bundles to the tropical setting. They construct a sequence of split tropical vector bundles $F_0, \dots, F_n$ such that the alternating sum of their equivariant K-classes equals that of $E$. This provides an alternative way to compute $\alpha_E$.

C. Invariance under Refinement

A crucial technical step is proving that the equivariant Euler characteristic is invariant under toric pull-backs (refinements of the fan). This allows the authors to refine the fan until the support function of the bundle becomes linear on all cones, reducing the problem to the case of a sum of line bundles where calculations are tractable.

3. Key Contributions and Results

A. Combinatorial Hirzebruch-Riemann-Roch Theorem

The primary theoretical result is a combinatorial HRR formula for tropical vector bundles.

• Theorem 1.1: For a tropical vector bundle $E$ on a toric variety $X_\Sigma$ with associated convex chain $\alpha_E$, the equivariant Euler characteristic for a character $u$ is exactly the value of the chain at $u$:
  $$\chi(X_\Sigma, E)_u = \alpha_E(u)$$
• Corollary 1.3 (HRR Formula): By applying the Khovanskii-Pukhlikov theorem to $\alpha_E$, they derive:
  $$\text{Todd}\left(\frac{\partial}{\partial z}\right) I(\alpha_E[z]) \Big|_{z=0} = \chi(X_\Sigma, E)$$
  Here, $\alpha_E[z]$ is the convolution of the chain with a virtual polytope determined by support numbers $z$. This formula relates the integral of the chain (a geometric volume-like quantity) to the sum of lattice points (the Euler characteristic).

B. Vanishing of Higher Cohomologies for Tautological Bundles

The paper addresses the tautological tropical vector bundle $E_M$ associated with a matroid $M$ (introduced in [KM]).

• Context: In the representable case (where the matroid comes from a linear subspace), it is known that higher cohomologies of the tautological bundle vanish. It was an open question whether this holds for all matroids in the tropical setting.
• Theorem 1.4: For the tautological bundle $E_M$ on the permutahedral toric variety, the Euler characteristic equals the rank of the global sections:
  $$\chi(X_m, E_M)_u = h^0(X_m, E_M)_u$$
• Interpretation: Since $\chi = \sum (-1)^i h^i$, this equality implies the vanishing of higher cohomologies ($h^i = 0$ for $i > 0$) for the tautological bundle of any matroid, not just representable ones.
• Proof Strategy: The authors analyze the "parliament of polytopes" associated with $E_M$ and use an involution argument on flags of subsets to show that the alternating sum of ranks in the Euler characteristic formula collapses to the rank of global sections.

C. Extension of Klyachko's Resolution

The authors extend Klyachko's resolution of toric vector bundles by split bundles to the tropical setting. While they note that a rigorous notion of "morphism" for tropical vector bundles is not yet fully established (preventing a strict exact sequence definition), they successfully construct a sequence of split bundles whose alternating K-class sum recovers the class of the original bundle. This provides a robust combinatorial method for computing Chern roots.

4. Significance

• Foundational Framework: The paper establishes a rigorous combinatorial framework for studying higher-rank bundles in tropical geometry, bridging the gap between toric geometry and matroid theory.
• Unification: It unifies the study of tropical vector bundles with the classical Ehrhart theory of polytopes via the Khovanskii-Pukhlikov machinery.
• Resolution of Open Questions: It positively answers the question posed in [KM] regarding the vanishing of higher cohomologies for tautological bundles, generalizing results previously known only for representable matroids.
• New Tools: The introduction of the "parliament of polytopes" and the split resolution technique for tropical bundles offers new computational tools for future research in tropical intersection theory and matroid cohomology.

In summary, Chong and Kaveh successfully translate the complex geometry of vector bundles into the combinatorial language of convex chains and matroids, proving that the powerful machinery of the Hirzebruch-Riemann-Roch theorem applies to this tropical setting and confirming the cohomological vanishing properties of tautological bundles.