🔢 mathematics

Topology and Euler characteristics of tropical varieties

This paper establishes that H-regular subvarieties of tropical abelian varieties possess nonnegative signed Euler characteristics, providing a tropical analogue of the Green-Lazarsfeld theorem, while demonstrating that this property fails for general tropical subvarieties through the construction of a counterexample.

Original authors: Scott Hiatt, Connor Simpson, Botong Wang, Chenxi Wu

Published 2026-06-10

📖 4 min read🧠 Deep dive

CC0 1.0

Original authors: Scott Hiatt, Connor Simpson, Botong Wang, Chenxi Wu

Original paper dedicated to the public domain under CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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

Imagine you are trying to understand the shape of a complex, crumpled piece of paper floating in space. In the world of mathematics, there are two ways to look at these shapes: the "smooth, complex" way (like looking at a real, physical object) and the "tropical" way (like looking at a skeleton or a wireframe model of that object).

This paper is about a specific rule regarding the "shape" (specifically, a number called the Euler characteristic) of these tropical wireframe models when they live inside a special kind of space called a Tropical Abelian Variety.

Here is the breakdown of what the authors discovered, using simple analogies:

1. The Big Question: Does the Rule Hold?

In the "real" world of complex geometry, there is a famous rule (by Green and Lazarsfeld) that says: If you have a smooth shape inside a specific type of space, a certain number describing its shape will always be positive or zero.

The authors asked: Does this rule still work for the "tropical" (wireframe) versions of these shapes?

2. The Good News: It Works for "Well-Behaved" Shapes

The authors found that the rule does hold, but only if the tropical shape is "well-behaved." They call these "H-regular" shapes.

The Analogy: Think of an H-regular shape like a perfectly folded origami crane. It has clean creases, no weird tears, and every part connects smoothly to its neighbors.
The Result: For these nice, origami-like shapes, the rule holds true. If you calculate the "signed Euler characteristic" (a way of counting holes and bumps), the result is always non-negative. It's like saying, "If your origami is folded correctly, the math always adds up to a positive number."

3. The Secret Ingredient: The "Local Vanishing" Trick

How did they prove this? They used a technique called Morse Theory.

The Analogy: Imagine walking up a mountain (the shape). You want to know the total "roughness" of the mountain. Morse theory says you can figure this out by looking at the "saddles" and "peaks" where the path changes direction.
The Discovery: The authors proved that for these "well-behaved" (H-regular) shapes, if you look closely at the tiny neighborhood around any peak or valley, the "holes" in that neighborhood disappear in all dimensions except one.
The Metaphor: It's like looking at a sponge. If the sponge is "well-behaved," and you zoom in on a tiny spot, you won't find any weird, extra holes popping up unexpectedly. This "vanishing" of extra holes is the key that unlocks the proof that the total number is positive.

4. The Bad News: The Rule Breaks for "Messy" Shapes

The authors also showed that if the shape is not "well-behaved" (not H-regular), the rule fails.

The Analogy: Imagine taking that origami crane and crumpling it into a ball, or gluing two pieces together in a weird, tangled knot.
The Result: They constructed a specific example of a "messy" 3D tropical shape where the rule breaks. In this case, the "signed Euler characteristic" turned out to be negative.
Why it matters: This proves that the "well-behaved" condition isn't just a technicality; it's absolutely necessary. If the shape is too messy, the nice mathematical rule stops working.

5. A Side Quest: The "Link" Problem

The paper also tackled a question about the "link" of these shapes.

The Analogy: Imagine a spiderweb. The "link" is what the web looks like if you cut out a tiny circle around a single knot. Usually, mathematicians expect this tiny circle to look like a simple bouquet of spheres (like a bunch of balloons tied together).
The Discovery: The authors built a "messy" tropical shape where the link does not look like a simple bouquet of balloons. It's a more complicated, twisted shape. This answers a question that had been open for a while, showing that tropical shapes can be much stranger than we thought if they aren't "well-behaved."

Summary

The Goal: Check if a famous geometry rule works for tropical (skeleton-like) shapes.
The Finding: Yes, it works for "nice" (H-regular) shapes, thanks to a local property where extra holes disappear.
The Warning: No, it fails for "messy" shapes. The authors even built a specific "messy" example to prove this.
The Takeaway: In the world of tropical geometry, being "well-behaved" (H-regular) is the difference between the math working out perfectly and the math breaking down completely.

Technical Summary: Topology and Euler Characteristics of Tropical Varieties

Problem Statement
The paper addresses the topological properties of subvarieties within tropical abelian varieties, specifically focusing on the Euler characteristic. The authors seek a tropical analogue of a classical theorem by Green and Lazarsfeld ([GL87]), which states that for a smooth subvariety $X$ of a complex abelian variety, the signed Euler characteristic satisfies $(-1)^{\dim X}\chi(X, \mathcal{O}_X) \geq 0$ . In the tropical setting, where $\chi(X)$ is related to tropical homology Hodge numbers via $\chi(X) = \sum (-1)^q h^{0,q}(X)$ , the authors investigate whether a similar inequality, $(-1)^d \chi(X) \geq 0$ , holds for tropical subvarieties of dimension $d$ .

Methodology
The authors employ a combination of tropical geometry, toric geometry, mixed Hodge theory, and Morse theory.

H-Regularity: The core of the analysis relies on the notion of H-regular tropical varieties. A tropical fan is H-regular if it arises as the tropicalization of an H-regular subvariety $U \subset (\mathbb{C}^*)^n$ . An algebraic variety $U$ is H-regular if it admits a smooth projective toric compactification where the closure intersects every torus orbit transversely and the intersection with any orbit is either empty or connected.
Local Vanishing Theorem: The proof strategy is motivated by the approach in [LMW21] and utilizes Morse theory. The central technical input is a local vanishing theorem (Theorem 2.8) for H-regular tropical fans. This theorem establishes that for a $d$ -dimensional H-regular tropical fan $T$ and a linear function $\ell$ non-vanishing on rays, the reduced homology of the link of the non-positive part $T_{\leq 0}$ vanishes in all degrees except $d-1$ .
Algebraic Geometry Tools: To prove the local vanishing theorem, the authors generalize arguments from [Hac08] and [Pay13]. They construct partial compactifications of the algebraic variety $U$ using toric modifications (specifically iterated star subdivisions). They then utilize the theory of mixed Hodge modules (Saito's theory) and the decomposition theorem to analyze the weight filtration of the cohomology of these compactifications. Specifically, they prove a vanishing theorem for the top weights of cohomology for varieties admitting a proper birational map to an affine variety (Proposition 4.1).
Dual Complexes and Links: The authors relate the topology of the tropical link $L(T_{\leq 0})$ to the dual complex of the boundary divisor in the compactification. Using the Gysin sequence and properties of rationally smooth varieties, they show that the homology of this dual complex vanishes in degrees other than $d-1$ (Corollary 5.2).
Morse-Theoretic Argument: Finally, the global Euler characteristic inequality is deduced by applying circle-valued Morse theory to the tropical subvariety. The local vanishing of the link homology ensures that the contribution of critical points (vertices) to the Euler characteristic has the correct sign.

Key Contributions and Results

Main Theorem (Theorem 1.1): The authors prove that for any $d$ -dimensional H-regular subvariety $X$ of a tropical abelian variety, the signed Euler characteristic is nonnegative: $(-1)^d \chi(X) \geq 0$ . This serves as the tropical analogue of the Green–Lazarsfeld theorem.
Local Vanishing Theorem (Theorem 2.8): A significant technical result establishing that the reduced homology of the link of the non-positive part of an H-regular tropical fan vanishes in all degrees $k \neq d-1$ .
Lefschetz-Type Theorem (Theorem 1.4): The paper derives a Lefschetz-type result for affine H-regular tropical varieties, showing that the relative homology $H_k(X, X \cap H; \mathbb{Q})$ vanishes for $k \neq d$ , where $H$ is a general affine hyperplane.
Matroid Applications (Corollary 1.3): The results are applied to Bergman fans and augmented Bergman fans of matroids realizable over $\mathbb{C}$ . This provides a new proof of a result related to [AB21] and answers a question posed by Mikhalkin and Ziegler regarding the homotopy type of links for realizable matroids.
Necessity of H-Regularity: The authors demonstrate that the H-regularity assumption is necessary. In Example 2.11, they construct a 2-dimensional tropical cycle in a tropical abelian variety (derived from a genus 2 curve) where the signed Euler characteristic is negative ( $\chi(X) = -4$ ).
Counterexample to General Vanishing: In Section 8, the authors construct a 3-dimensional tropical fan (the tropicalization of a specific projection of a linear space) whose link is not homotopy equivalent to a bouquet of 2-spheres. This addresses a question in [Hac08] by providing an example where the vanishing property fails for non-H-regular varieties.

Significance and Claims
The paper claims to establish a rigorous topological constraint on a specific class of tropical varieties (H-regular ones), mirroring deep results in complex algebraic geometry. The significance lies in:

Bridging Complex and Tropical Geometry: It successfully translates a complex geometric inequality (Green–Lazarsfeld) into the tropical setting, provided the tropical variety satisfies the H-regularity condition.
Clarifying the Scope of Hacking's Results: The paper clarifies that the homological vanishing properties observed by Hacking for "Schön" varieties require the stronger H-regularity condition to hold in the generality presented, and explicitly constructs examples where these properties fail without it.
Methodological Advancement: The use of mixed Hodge modules and toric modifications to study tropical links offers a new toolkit for analyzing the topology of tropical varieties, moving beyond purely combinatorial arguments.

The authors remain modest regarding the generality of their results, noting that the inequality fails for general tropical subvarieties and that extending these results to arbitrary matroids or varieties with weaker connectivity properties remains an open question. They also propose future directions, such as using combinatorial Hodge theory for arbitrary matroids and exploring tropical Fourier–Mukai transforms.