Tropical Degeneration in Algebraic Geometry

• Tropical degeneration is a framework that uses combinatorial, polyhedral structures to reformulate and study algebraic degenerations.
• It enables the extraction of algebraic invariants like intersection numbers and cohomological data via tropical complexes and Newton subdivisions.
• This approach plays a significant role in mirror symmetry, toric degenerations, and enumerative geometry, offering practical computational techniques.

Tropical degeneration refers to the family of techniques and concepts in algebraic and arithmetic geometry in which intricate algebraic-geometric degenerations (typically families with singular special fibers over a discrete or non-Archimedean-valued base) are controlled, studied, or reconstructed through combinatorial data arising from tropical, polyhedral, or piecewise-linear (PL) objects. The synthetic replacement of algebraic spaces by their tropical or polyhedral avatars allows for powerful reductions: cohomological invariants, intersection numbers, rationality properties, and enumerative counts can all, in favorable contexts, be recovered or bounded from purely combinatorial or polyhedral computations. Tropical degeneration plays a central role in modern algebraic geometry, mirror symmetry, and the study of moduli of varieties and their degenerations.

1. Foundations: From Algebraic Degenerations to Tropical Varieties

Tropical degeneration begins with a flat, proper scheme $\mathcal{X} \to \Spec R$ over a rank-1 valuation ring $R$. The special fiber $\mathcal{X}_0$ is typically a reduced normal crossing divisor, and the intersection data of its irreducible components are encoded in the dual (intersection) complex $\Delta$, a regular $\Delta$-complex whose vertices correspond to components of $\mathcal{X}_0$ and simplices to their strata of intersection. To this raw combinatorial data, tropical geometry adds structure:

• Structure constants $\alpha(v,r)$, defined via intersection numbers $-\left(C_v \cdot C_r\right)$ between an irreducible component $C_v$ and a codimension-one stratum $C_r$, endow $R$0 with an intersection-theoretic enrichment.
• When the local intersection matrices at codimension-two simplices have exactly one positive eigenvalue—the "bigness" condition—the pair $R$1 is a tropical complex (Cartwright, 2015, Cartwright, 2013).
• For toric or very regular degenerations, further data arises from Newton polytope subdivisions, monomial valuations, and associated polyhedral decompositions (Nicaise et al., 2019, Katz et al., 2010).

This framework extends to the study of degenerations of curves (tropical curves as metric graphs), higher-dimensional varieties, and also to cluster varieties and flag varieties via interlocking polyhedral cones and fans that model degenerations and degeneracy loci (Baker et al., 2015, Fang et al., 2017, Makhlin, 4 Aug 2025).

2. Tropicalization, Initial Degenerations, and Polyhedral Structures

Given a subvariety $R$2 over a non-Archimedean field $R$3 (with valuation $R$4), its tropicalization $R$5 is the set of weight vectors $R$6 such that the associated initial degeneration $R$7 is non-empty. Here, for $R$8 (the algebraic torus), $R$9 is defined as the flat limit of $\mathcal{X}_0$0 over the residue field. In the context of hypersurfaces or complete intersections, the tropicalization is the limit locus of vanishing of tropical polynomials determined by the leading coefficients and exponents of the original polynomials (Katz et al., 2010, Nicaise et al., 2019, Yamamoto, 2024).

Polyhedral complexes (and related dual polytopal decompositions) serve as "combinatorial skeleta" that organize strata, degenerations, and cohomological invariants. Each face $\mathcal{X}_0$1 of the tropical complex is associated to a stratum $\mathcal{X}_0$2 in the central fiber. This organization reduces the computation of motivic, cohomological, or intersection-theoretic invariants to a weighted sum over polyhedral data, with weights determined by ranks or multiplicities derived from the associated algebraic or tropical geometry.

For cluster varieties, flag varieties, and their degenerations, the tropicalization is governed by explicit Gröbner bases, fans, and their dual complexes, which control toric degenerations and variations of moduli (Fang et al., 2017, Bossinger, 2022, Makhlin, 4 Aug 2025).

3. Tropical Degeneration and Invariants: Specialization, Intersection Theory, and Cohomology

Tropical degeneration theory provides systematic methods to extract algebraic invariants from polyhedral data:

• Specialization maps: Divisors, cycles, and rational functions on the generic fiber specialize via closure and intersection numbers to (balanced) cycles on the tropical complex. The Baker specialization inequality, generalized to higher dimension, constrains the dimension of linear series on the generic fiber by those computed in the tropical complex:

$\mathcal{X}_0$3

where $\mathcal{X}_0$4 encodes minimal vanishing properties at tropical rational points (Cartwright, 2015, Cartwright, 2013).

• Intersection theory: In favorable circumstances (numerical faithfulness), the intersection numbers computed on the tropical complex, using Cartier divisors defined from piecewise-linear functions, match those of the algebraic cycles on the generic fiber:

$\mathcal{X}_0$5

as shown in worked examples for degenerations of $\mathcal{X}_0$6 and K3 surfaces (Cartwright, 2015, Cartwright, 2013).

• Motivic nearby fiber and cohomology: For schön (Newton non-degenerate) degenerations, the motivic nearby fiber—encoding the limit Hodge structure—admits a purely combinatorial formula in terms of the polyhedral structure of the tropicalization. Individual (limit) Hodge numbers and Euler characteristics are computable via Ehrhart polynomials and matroidal data of faces:

$\mathcal{X}_0$7

(Katz et al., 2010).

4. Degeneration Structures: Toric, Toroidal, and Cluster Degenerations

Tropical degeneration often proceeds via specialized forms:

• Toric degenerations: By subdividing the Newton polytope (coherent polyhedral subdivision), one constructs toroidal degenerations where each maximal cell gives rise to a toric stratum. This underlies the methodology for the study of rationality, as alternating sum formulas for the stable birational volume involve the stable types of strata contributed by each cell (Nicaise et al., 2019).
• Tropical expansions and bundles: General toroidal (not just toric) degenerations can be induced by polyhedral subdivisions of tropicalizations. Each irreducible component of the expanded central fiber admits a collapsing map to a stratum, and, over interiors, carries a natural toric bundle structure, built as fiberwise GIT quotients over Artin fan bases (Carocci et al., 2022).
• Cluster and flag variety degenerations: The combinatorial data of cluster algebra seeds, together with their associated $\mathcal{X}_0$8-vectors and valuation cones, parametrize maximal prime cones in the tropicalization. This maps directly to families of toric degenerations (e.g., FFLV degenerations for flag varieties), with the tropical and cluster-theoretic data giving congruent combinatorial fans (Fang et al., 2017, Bossinger, 2022).

5. Applications: Enumerative, Arithmetic, and Geometric Implications

The reach of tropical degeneration is broad:

• Enumerative geometry: Counts of rational space curves satisfying cross-ratio conditions become tractable combinatorial sums over floor diagrams and cross-ratio decorated weighted graphs, facilitated by tropical degeneration to floor decompositions (Goldner, 2020).
• Stable rationality: Detection of stable irrationality of hypersurfaces or complete intersections is reduced to a combinatorial non-cancellation problem for the alternating sum of stable types contributed by the faces of a Newton subdivision, as expressed in the tropical volume formula (Nicaise et al., 2019).
• Mirror symmetry and SYZ fibrations: In the Batyrev-Borisov and Gross-Siebert programs, tropical degeneration provides the dual intersection complex—an integral affine manifold with singularities—as the "base" of a non-Archimedean SYZ fibration, constructed via contraction maps from the tropical variety to the dual complex, with singular fibers over a codimension-two discriminant locus (Yamamoto, 2024, Yamamoto, 2021).

6. Extensions: Tropical Initial Degeneration for Differential Equations

Generalizations of tropical degeneration have been formulated for algebraic and differential equations:

• For algebraic differential equations with coefficients in a field of multivariate Laurent series, the tropical valuation extends to the construction of a Bézout domain of integral elements. The translation map along a vector of weights ("$\mathcal{X}_0$9-translation") produces initial degenerations controlled by monomial orders, mirroring the classical Gröbner theory in the differential setting. The resulting stratification into initial degenerations is controlled by a polyhedral Gröbner complex, and flatness, dimension, and multiplicativity properties are preserved (Bossinger et al., 2023).

7. Summary Table: Key Notions and Their Tropical Analogues

Algebraic Geometry Object	Tropical Degeneration Counterpart	Reference
Scheme over DVR, semistable degeneration	Dual/intersection complex $\Delta$0	(Cartwright, 2015, Cartwright, 2013)
Cycle/divisor, rational function	Balanced polyhedral cycles, PL function	(Cartwright, 2013, Cartwright, 2015)
Linear series, complete linear system	Combinatorial $\Delta$1 on tropical complex	(Cartwright, 2015, Baker et al., 2015)
Newton polytope, polyhedral subdivision	Polyhedral complex/fan, Newton subdivision	(Nicaise et al., 2019, Katz et al., 2010)
Hodge-Deligne, motivic nearby fiber	Combinatorial formula via polyhedral data	(Katz et al., 2010)
Toric/toroidal degeneration	Polyhedral subdivision, Artin fans	(Carocci et al., 2022)
Initial degeneration, Gröbner basis	Initial forms, polyhedral Gröbner complex	(Bossinger et al., 2023, Fang et al., 2017, Makhlin, 4 Aug 2025)
SYZ fibration base	Integral affine manifold with singularities	(Yamamoto, 2024, Yamamoto, 2021)

The tropical approach to degeneration provides a unifying combinatorial language for analyzing degenerating families, allowing explicit computation of invariants, toric and cluster-theoretic degenerations, and applications across arithmetic, enumerative, and geometric problems. The deep connection between algebraic, analytic, and tropical viewpoints enables the translation of subtle geometric phenomena into rigorous polyhedral or combinatorial structures.