pith. sign in

arxiv: 2604.15511 · v1 · submitted 2026-04-16 · 🧮 math.AG

Degenerations in tropical compactifications and tropical intersection theory of overline{M}_(0,n)

Sean T. Griffin , Jake Levinson , Rohini Ramadas , Rob Silversmith This is my paper

Pith reviewed 2026-05-10 09:33 UTC · model grok-4.3

classification 🧮 math.AG
keywords tropical compactificationsdegeneration formulatropical intersection theorymoduli space of rational curvespsi-classesKapranov mapstropical psi-hypersurfaceslimit cycles
0
0 comments X p. Extension

The pith

A formula computes the limit cycle of degenerating subvarieties inside tropical compactifications as a tropical intersection cycle.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper gives an explicit formula that converts the algebraic limit of a one-parameter family of subvarieties in a tropical compactification into a sum of tropical intersection products. The result extends earlier formulas that worked only for toric varieties or simpler embeddings. The authors apply the formula to the moduli space of stable rational curves with n marked points. They first describe how the Kapranov maps tropicalize with respect to a suitable torus, then introduce a new notion of tropical psi-hypersurfaces in genus zero. These objects let them compute the limiting intersections of psi-classes via a combinatorial firework algorithm.

Core claim

The central claim is a degeneration formula that expresses the limit cycle of a 1-parameter family of subvarieties of a tropical compactification in terms of tropical intersections. This generalizes results of Dickenstein-Feichtner-Sturmfels and Katz. When specialized to the moduli space of stable marked rational curves, the formula produces a method for computing limits of intersections of psi-classes by using newly defined tropical psi-hypersurfaces obtained from the tropicalization of the Kapranov maps, together with an explicit firework algorithm that performs the intersection computation.

What carries the argument

The degeneration formula for limit cycles, which reduces the algebraic limit to a sum of tropical intersection products on the tropical compactification.

If this is right

  • The limit cycle of any such family is determined combinatorially from the tropical data of the family and the ambient compactification.
  • Intersections of psi-classes on the moduli space of rational curves can be computed by intersecting the corresponding tropical psi-hypersurfaces and applying the degeneration formula.
  • The new tropical psi-hypersurfaces differ from earlier definitions and provide an independent combinatorial model for psi-classes in genus zero.
  • The firework algorithm gives an explicit, step-by-step procedure for performing these intersection calculations.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same degeneration technique could be tested on other moduli spaces or on families not coming from Kapranov embeddings to see whether the formula still holds.
  • If the tropical psi-hypersurfaces extend naturally to higher genus, the method might supply a new route to compute limits of psi-intersections or other tautological classes on higher-genus moduli spaces.
  • The combinatorial output of the firework algorithm could be compared directly with existing software that computes psi-class intersections algebraically, providing a cross-check on both approaches.

Load-bearing premise

The one-parameter family must sit inside a tropical compactification with a torus chosen so the Kapranov maps tropicalize in the expected way and the new tropical psi-hypersurfaces are well-defined with intersections behaving as claimed.

What would settle it

Run the firework algorithm on a low-n case such as the intersection of two psi-classes on Mbar_0,5 or Mbar_0,6 and compare the resulting multiplicity and support to the known algebraic intersection number; any mismatch in the cycle would falsify the formula.

Figures

Figures reproduced from arXiv: 2604.15511 by Jake Levinson, Rob Silversmith, Rohini Ramadas, Sean T. Griffin.

Figure 1
Figure 1. Figure 1: Translating Trop(X2) yields transverse intersection points, from Example 1.1. which are defined as indices of certain sublattices of the integer lattice in R 2 , times the weights of the intersecting cones, see [MS15, Sec. 3.6]. By [MS15, Thm. 3.6.1], possibly after acting on X2 by a general element of T, X1 ∩ X2 consists of ten points counted with multiplicity. The limit of the above “intersection-after-g… view at source ↗
Figure 2
Figure 2. Figure 2: Computing the cycle [X0] by intersecting Trop(Xt) with cones of the fan Σ of P 2 , from Example 1.2. cycle [(X)0] as a sum [(X)0] = P σ aσ[Yσ] of m-dimensional torus orbit closures, the coefficient aσ is the tropical intersection number of Trop(Xt) with the codimension-m cone σ. 1.3. Part 1: Degenerations in tropical compactifications. Our main theorem generalizes Katz’s results to describe “degenerating s… view at source ↗
Figure 3
Figure 3. Figure 3: A schematic picture of a firework. The central point is the cone point of Mtrop 0,n , the outgoing rays from this point are all along different rays of Mtrop 0,n , the secondary offshoots are all in different 2-dimensional cones on Mtrop 0,n , and so on. of a recursive procedure. At the 0-th step, FW0 is the cone point of Mtrop 0,n , a singleton set. At step r = 1, we “shoot out a large distance in many di… view at source ↗
Figure 4
Figure 4. Figure 4: A schematic illustration of the multiplicity multΓ(Trop(X), Σr; Σ) appearing in Theorem A. The point Γ (green) is an isolated intersection point of Trop(X) (blue) with the 1-skeleton (r = 1) of Σ, lying in the relative interior of the cone σ (red) of dimension r = 1. The local geometry of Σ near Γ is shown. The multiplicity multΓ(Trop(X), Σr; Σ) = 4 is found by translating σ into a nearby maximal cone ζ of… view at source ↗
Figure 5
Figure 5. Figure 5: The tropicalization Trop(X) ⊆ R 3 of the variety in Example 1.9. never locally affine-linear along Σr in our application. It would be interesting to know whether this idea has other applications/generalizations beyond Theorem A. Example 1.9. Let M = V (x+y +z + 1) ⊆ T = (C ∗ ) 3 with YΣ = P 3 \Z where Z is the set of four coordinate points, which are the T-fixed points under the action scaling the first th… view at source ↗
Figure 6
Figure 6. Figure 6: Assigning each lattice point in Newt(f) a height according to the valuation of its coefficient, then projecting the lower faces of the upper convex hull to get a subdivision of Newt(f), as in Example 2.10. (2) If X = V (f) ⊆ TK is a hypersurface, with defining equation f = P u cux u ∈ K[x ± 1 , . . . , x± n ], the tropicalization Trop(X) is combinatorially equivalent to the (negative of the) dual polyhedra… view at source ↗
Figure 7
Figure 7. Figure 7: Left: A finite scheme Z ⊂ Uσ with lenK(Z) = 6 and flat limit supported at P ∈ Mσ. Here Trop(Z) ∩ σ consists of three distinct points {Γ1, Γ2, Γ3}, with lenK ZΓi = i for each i. Right: Acting by t −Γ2 moves the limits of the points with tropicalization Γ2 back into the torus T ⊂ Uσ. We have inΓ2 (ZΓi ) = ∅ for i ̸= 2, so inΓ2 (Z) = inΓ2 (ZΓ2 ) ⊆ T. Let Z ⊆ WR ∩ X be the connected component containing P. We … view at source ↗
Figure 8
Figure 8. Figure 8: Applying the tropical forgetful map π trop {1,3,6,7} by taking the convex hull of the legs 1, 3, 6, 7 in a tree. Since legs have infinite length, the 10 disappears. of τ ; we denote by Mtrop 0,S (τ ) ∼= (R≥0) Edges(τ) the resulting cone. We note that Mtrop 0,S (τ ) has a natural integral structure, namely the lattice points (Z≥0) |Edges(τ)| ⊂ (R≥0) |Edges(τ)| corresponding to metric trees with integer edge… view at source ↗
Figure 9
Figure 9. Figure 9: This figure depicts the image of the tropical Kapranov map Ψ1 rel 2 : Mtrop 0,5 → R 2 . The coordinates on R 2 = R 3/R are (x, y) = (d4 −d3, d5 −d3), where dℓ is as in Equation (6.5). We have labeled each region/ray by the the combinatorial type of tree obtained by contracting a tropical curve Γ ∈ Mtrop 0,n onto the convex hull of its legs 1 and 2. The tropical hyperplane Trop(H) of Example 6.14 appears in… view at source ↗
Figure 10
Figure 10. Figure 10: A three-dimensional view of the tropical Kapranov map Ψ1 rel 2 : Mtrop 0,5 → R 2 of [PITH_FULL_IMAGE:figures/full_fig_p034_10.png] view at source ↗
read the original abstract

The main result of this paper is a formula for the limit cycle of a 1-parameter family of subvarieties of a tropical compactification, expressed in terms of tropical intersections. Our theorem generalizes results of Dickenstein-Feichtner-Sturmfels and Katz to the case of tropical compactifications. In the second part of the paper, we apply our formula to the moduli space $\overline{M}_{0, n}$ of stable marked rational curves. We describe the tropicalization of the Kapranov maps $\overline{M}_{0, n}\to\mathbb{P}^{n-3}$, whose hyperplane pullbacks are the $\psi$-classes, with respect to a suitable choice of torus. We introduce tropical $\psi$-hypersurfaces (in genus zero). These are different from the standard definition of Mikhalkin and Kerber-Markwig, and may be of independent interest. We demonstrate our main result by giving a "firework algorithm" that computes limits of intersections of $\psi$-hypersurfaces.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper establishes a formula for the limit cycle of a 1-parameter family of subvarieties inside a tropical compactification, expressed in terms of tropical intersections; this generalizes results of Dickenstein-Feichtner-Sturmfels and Katz. The second part applies the formula to the moduli space of stable rational curves by describing the tropicalization of the Kapranov maps with respect to a suitable torus, introducing a new notion of tropical ψ-hypersurfaces (distinct from the Mikhalkin and Kerber-Markwig definitions), and presenting a firework algorithm that computes limits of intersections of these hypersurfaces.

Significance. If the central degeneration formula holds under the stated assumptions and the tropicalization of the Kapranov maps commutes with the ψ-pullbacks as claimed, the work supplies a concrete computational tool for psi-class intersections on Mbar_{0,n} via tropical methods. The explicit firework algorithm and the new definition of genus-zero tropical ψ-hypersurfaces are strengths that could be of independent interest beyond the degeneration application.

major comments (2)
  1. [§2] §2 (main degeneration theorem): the formula for the limit cycle is stated to hold for families inside tropical compactifications, but the proof must explicitly verify that the balancing condition on the new tropical ψ-hypersurfaces produces no extra multiplicity corrections when the torus is chosen so that the Kapranov maps tropicalize as expected; without this check the application in §5 is not load-bearing.
  2. [§5] §5 (application to Mbar_{0,n}): the claim that the firework algorithm assembles the correct limit cycle from intersections of the newly defined tropical ψ-hypersurfaces relies on an implicit compatibility between the chosen torus, the Kapranov tropicalization, and the ψ-pullbacks; a concrete example (e.g., for small n) showing that the computed limit matches the known algebraic intersection number is needed to confirm the absence of valuation mismatches.
minor comments (2)
  1. The definition of the new tropical ψ-hypersurfaces should be compared more explicitly (with a table or list of differences) to the Mikhalkin and Kerber-Markwig constructions to clarify why the new version is required for the degeneration formula.
  2. [§5] Notation for the firework algorithm would benefit from a short pseudocode block or flowchart in §5 to make the assembly of the limit cycle from local intersections easier to follow.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We are grateful to the referee for their thorough review and insightful comments on our manuscript. We address each major comment below and outline the revisions we will make to strengthen the paper.

read point-by-point responses

  1. Referee: [§2] §2 (main degeneration theorem): the formula for the limit cycle is stated to hold for families inside tropical compactifications, but the proof must explicitly verify that the balancing condition on the new tropical ψ-hypersurfaces produces no extra multiplicity corrections when the torus is chosen so that the Kapranov maps tropicalize as expected; without this check the application in §5 is not load-bearing.

    Authors: We thank the referee for highlighting this point. The proof of the main degeneration theorem (Theorem 2.1) relies on the general properties of tropical compactifications and the balancing condition, which is maintained in our definition of the tropical ψ-hypersurfaces. To ensure the application in §5 is robust, we will explicitly verify in the revised proof that, for the specific torus choice making the Kapranov maps tropicalize appropriately, no extra multiplicity corrections are needed due to the balancing. This clarification will be added to §2. revision: yes

  2. Referee: [§5] §5 (application to Mbar_{0,n}): the claim that the firework algorithm assembles the correct limit cycle from intersections of the newly defined tropical ψ-hypersurfaces relies on an implicit compatibility between the chosen torus, the Kapranov tropicalization, and the ψ-pullbacks; a concrete example (e.g., for small n) showing that the computed limit matches the known algebraic intersection number is needed to confirm the absence of valuation mismatches.

    Authors: We agree that an explicit example would provide valuable confirmation. In the revised manuscript, we will include a concrete computation for a small value of n (for instance, n=5, where the intersection numbers of ψ-classes on Mbar_{0,5} are well-known). We will demonstrate that the firework algorithm produces the limit cycle whose degree matches the algebraic intersection number, thereby verifying the compatibility of the torus choice, tropicalization, and ψ-pullbacks without valuation mismatches. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation generalizes external results and applies independently to new tropical objects

full rationale

The paper states its main theorem as a generalization of the external results of Dickenstein-Feichtner-Sturmfels and Katz to tropical compactifications, with the limit-cycle formula expressed in terms of tropical intersections. The second part introduces distinct tropical ψ-hypersurfaces for genus zero and demonstrates the theorem via a firework algorithm on intersections of these hypersurfaces after tropicalizing Kapranov maps. No quoted step reduces by construction to a fitted input, self-definition, or load-bearing self-citation chain; the claims rest on the generalized formula applied to the newly defined objects without renaming or smuggling ansatzes from prior author work.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Only the abstract is available, so the ledger is necessarily incomplete. The work relies on the established framework of tropical compactifications and intersection theory from the cited papers.

axioms (1)
  • domain assumption Standard properties of tropical compactifications and tropical intersection theory as developed in the literature cited (Dickenstein-Feichtner-Sturmfels, Katz).
    The main theorem is explicitly a generalization of those results.
invented entities (1)
  • tropical ψ-hypersurfaces (genus zero) no independent evidence
    purpose: To serve as the tropical counterparts of psi-classes for the firework algorithm that computes their intersection limits.
    Explicitly introduced as different from the standard definitions of Mikhalkin and Kerber-Markwig.

pith-pipeline@v0.9.0 · 5491 in / 1394 out tokens · 52760 ms · 2026-05-10T09:33:00.575708+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

15 extracted references · 2 canonical work pages

  1. [1]

    [ACP15] Dan Abramovich, Lucia Caporaso, and Sam Payne,The tropicalization of the moduli space of curves, Ann. Sci. ´Ec. Norm. Sup´ er. (4)48(2015), no. 4, 765–809. [AR10] Lars Allermann and Johannes Rau,First steps in tropical intersection theory, Math. Z.264(2010), no. 3, 633–670. [BELL25] Joshua Brakensiek, Christopher Eur, Matt Larson, and Shiyue Li,Ka...

    2015

  2. [2]

    Bogart, A

    [BJS+07] T. Bogart, A. N. Jensen, D. Speyer, B. Sturmfels, and R. R. Thomas,Computing tropical varieties, J. Symbolic Comput.42(2007), no. 1-2, 54–73. [BLM+16] Matthew Baker, Yoav Len, Ralph Morrison, Nathan Pflueger, and Qingchun Ren,Bitangents of tropical plane quartic curves, Math. Z.282(2016), no. 3-4, 1017–1031. MR 3473655 [BPR16] Matthew Baker, Sam ...

    2007

  3. [3]

    48 [CGM21] Renzo Cavalieri, Maria Gillespie, and Leonid Monin,Projective embeddings of M 0,n and parking functions, J

    [CG24] Renzo Cavalieri and Andreas Gross,Tropicalization ofψclasses, 2024, arXiv:2412.02817. 48 [CGM21] Renzo Cavalieri, Maria Gillespie, and Leonid Monin,Projective embeddings of M 0,n and parking functions, J. Combin. Theory Ser. A182(2021), Paper No. 105471,

    work page arXiv 2024

  4. [4]

    Topol.26(2022), no

    [CGM22] Renzo Cavalieri, Andreas Gross, and Hannah Markwig,Tropicalψclasses, Geom. Topol.26(2022), no. 8, 3421–

    2022

  5. [5]

    Sigma4(2016), Paper No

    [CHMR16] Renzo Cavalieri, Simon Hampe, Hannah Markwig, and Dhruv Ranganathan,Moduli spaces of rational weighted stable curves and tropical geometry, Forum Math. Sigma4(2016), Paper No. e9,

    2016

  6. [6]

    Geom.69(2023), no

    [CM23] Maria Angelica Cueto and Hannah Markwig,Combinatorics and real lifts of bitangents to tropical quartic curves, Discrete Comput. Geom.69(2023), no. 3, 597–658. MR 4555866 [DFS07] Alicia Dickenstein, Eva Maria Feichtner, and Bernd Sturmfels,Tropical discriminants, J. Amer. Math. Soc.20 (2007), no. 4, 1111–1133. [FS97] William Fulton and Bernd Sturmfe...

    2023

  7. [7]

    Griffin, and Jake Levinson,Degenerations and multiplicity-free formulas for products of ψandωclasses on M 0,n, Math

    [GGL23a] Maria Gillespie, Sean T. Griffin, and Jake Levinson,Degenerations and multiplicity-free formulas for products of ψandωclasses on M 0,n, Math. Z.304(2023), no. 4, Paper No. 56,

    2023

  8. [8]

    Theory3(2023), no

    [GGL23b] ,Lazy tournaments and multidegrees of a projective embedding of M 0,n, Comb. Theory3(2023), no. 1, Paper No. 3,

    2023

  9. [9]

    [GGS20] Matteo Gallet, Georg Grasegger, and Josef Schicho,Counting realizations of Laman graphs on the sphere, Electron. J. Combin.27(2020), no. 2, Paper No. 2.5,

    2020

  10. [10]

    Math.145(2009), no

    [GKM09] Andreas Gathmann, Michael Kerber, and Hannah Markwig,Tropical fans and the moduli spaces of tropical curves, Compos. Math.145(2009), no. 1, 173–195. [Gol20] Christoph Goldner,Generalizing tropical Kontsevich’s formula to multiple cross-ratios, Electron. J. Combin.27 (2020), no. 4, Paper No. 4.26,

    2009

  11. [11]

    Z.297(2021), no

    [Gol21] ,Counting tropical rational curves with cross-ratio constraints, Math. Z.297(2021), no. 1-2, 133–174. [Gro66] A. Grothendieck, ´El´ ements de g´ eom´ etrie alg´ ebrique. IV.´Etude locale des sch´ emas et des morphismes de sch´ emas. III, Inst. Hautes ´Etudes Sci. Publ. Math. (1966), no. 28,

    2021

  12. [12]

    MR 217086 [Gro18] Andreas Gross,Intersection theory on tropicalizations of toroidal embeddings, Proc. Lond. Math. Soc. (3)116 (2018), no. 6, 1365–1405. MR 3816384 [Gub13] Walter Gubler,A guide to tropicalizations, Algebraic and combinatorial aspects of tropical geometry, Contemp. Math., vol. 589, Amer. Math. Soc., Providence, RI, 2013, pp. 125–189. [Has03...

    2018

  13. [13]

    Math.18(2013), 121–175

    [OP13] Brian Osserman and Sam Payne,Lifting tropical intersections, Doc. Math.18(2013), 121–175. [PMPR24] Andr´ es Jaramillo Puentes, Hannah Markwig, Sabrina Pauli, and Felix R¨ ohrle,Arithmetic counts of tropical plane curves and their properties, Adv. Geom.24(2024), no. 4, 553–576. MR 4813080 [Poo93] Bjorn Poonen,Maximally complete fields, Enseign. Math...

    2013

  14. [14]

    49 [Sil22] Rob Silversmith,Cross-ratio degrees and perfect matchings, Proc

    MR 4540954 [RS24] Bernhard Reinke and Rob Silversmith,Stable curves and chromatic polynomials, 2024, arXiv:2411.17551. 49 [Sil22] Rob Silversmith,Cross-ratio degrees and perfect matchings, Proc. Amer. Math. Soc.150(2022), no. 12, 5057–5072. [Sil24] ,Cross-ratio degrees and triangulations, Bull. Lond. Math. Soc.56(2024), no. 11, 3518–3529. [Spe] David Spey...

    work page arXiv 2024

  15. [15]

    [Tev07] Jenia Tevelev,Compactifications of subvarieties of tori, Amer. J. Math.129(2007), no. 4, 1087–1104. Department of Mathematics, University of North Texas, Denton, TX, USA, 76203 Email address:sean.griffin@unt.edu D´epartement de math´ematiques et de statistique, Universit´e de Montr´eal, Montr´eal, QC, Canada, H3T 1J4 Email address:jake.levinson@um...

    2007