pith. sign in

arxiv: 2512.20456 · v3 · submitted 2025-12-23 · 🧮 math.CO · math.AG

Sign-reversing involutions in moduli spaces of curves

Vance Blankers , Maria Gillespie , Jake Levinson This is my paper

Pith reviewed 2026-05-16 20:21 UTC · model grok-4.3

classification 🧮 math.CO math.AG
keywords moduli spaces of curvespsi classesintersection theorysign-reversing involutionsdecorated diagramsacyclic orientationsgraphical moduli spacesgenus zero
0
0 comments X

The pith

Sign-reversing involutions on decorated diagrams produce explicit formulas for psi-class intersection products on genus-zero multicolored moduli spaces of curves.

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

The paper constructs sign-reversing involutions to evaluate arbitrary products of psi classes on the spaces of genus-zero curves with multiple groups of marked points. It derives a direct combinatorial expression for these products and gives a matching condition on graphs that determines precisely when a given product is nonzero. The same involution technique is then applied to graphical moduli spaces with two distinguished vertices, reducing the tropical Euler characteristic computation to a count of acyclic orientations on the remaining graph. These results turn geometric intersection problems into cancellations on finite sets of diagrams and graphs. Readers care because psi intersections encode enumerative invariants that appear across algebraic geometry and combinatorial enumeration.

Core claim

We give an explicit combinatorial formula for arbitrary ψ class intersection products on the genus zero multicolored spaces M̄_{0,[r₁,…,rₘ]} using a novel sign reversing involution on decorated diagrams. As an application, we give a necessary and sufficient condition for when these intersection products are nonzero in terms of matchings on graphs. We also calculate the analog of the tropical Euler characteristic for the graphical moduli spaces M̄_{0,Γ} for graphs with two dominant vertices P, Q, by constructing two new sign-reversing involutions to simplify the sum, showing that (up to sign) it is the number of acyclic orientations of Γ∖{P,Q}.

What carries the argument

Sign-reversing involution on decorated diagrams that pairs most terms so their signed contributions cancel, leaving only the fixed points that encode the intersection number.

If this is right

  • The psi product on M̄_{0,[r₁,…,rₘ]} equals a signed count of certain decorated trees or diagrams that survive the involution.
  • The product is nonzero exactly when the graph admits a matching whose degrees match the psi exponents.
  • The tropical Euler characteristic of M̄_{0,Γ} with two dominant vertices equals (up to sign) the number of acyclic orientations of Γ minus those vertices.
  • The same cancellation technique applies uniformly for any choice of colors and any psi monomial of the correct total degree.

Where Pith is reading between the lines

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

  • The matching criterion for nonvanishing might translate into a positivity statement inside the tropical compactification.
  • Similar diagram involutions could be tried on other tautological classes such as kappa or lambda classes.
  • The reduction to acyclic orientations suggests a possible link with dimer models or perfect matchings on the same graphs.

Load-bearing premise

The sign-reversing involutions on decorated diagrams and on the graphical spaces must be well-defined and cancel every term except those that produce the stated formula and orientation count.

What would settle it

Compute the psi intersection number directly for the smallest nontrivial case, such as two colors with r1=r2=2 and total psi degree equal to the dimension of the space, then check whether the result matches the count produced by the involution formula.

read the original abstract

We use sign-reversing involutions to solve two computational problems that arise naturally in the geometry of moduli spaces of curves. In particular, we give an explicit combinatorial formula for arbitrary $\psi$ class intersection products on the genus zero multicolored spaces $\overline{M}_{0,[r_1,\ldots,r_m]}$ using a novel sign reversing involution on decorated diagrams. As an application, we give a necessary and sufficient condition for when these intersection products are nonzero in terms of matchings on graphs. We also calculate the analog of the tropical Euler characteristic for the graphical moduli spaces $\overline{M}_{0,\Gamma}$ for graphs with two dominant vertices $P, Q$, by constructing two new sign-reversing involutions to simplify the sum. We show that (up to sign) it is the number of acyclic orientations of $\Gamma \smallsetminus \{P, Q\}$.

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

0 major / 3 minor

Summary. The paper develops explicit combinatorial formulas for arbitrary ψ-class intersection products on the genus-zero multicolored moduli spaces M̄_{0,[r1,…,rm]} via a novel sign-reversing involution on decorated diagrams, together with a matching-based criterion for non-vanishing. As a second application it computes the analog of the tropical Euler characteristic on the graphical spaces M̄_{0,Γ} with two dominant vertices P,Q, showing (up to sign) that the quantity equals the number of acyclic orientations of Γ∖{P,Q} by means of two additional sign-reversing involutions.

Significance. If the constructions are valid, the work supplies a purely combinatorial route to these intersection numbers and Euler-characteristic counts, which are otherwise obtained by algebraic or geometric methods. The explicit fixed-point analysis and cancellation arguments constitute a concrete strength, and the resulting formulas are parameter-free and directly falsifiable by enumeration on small graphs.

minor comments (3)
  1. [§2.3] §2.3, Definition 2.7: the precise rule for assigning signs to decorated diagrams is stated only by reference to an earlier paper; a self-contained one-sentence recap would improve readability.
  2. [§4.2] §4.2, proof of Theorem 4.4: the pairing induced by the second involution is described combinatorially but the verification that every non-fixed term appears exactly once is left to the reader; adding a short diagram or small example would make the cancellation explicit.
  3. [Figure 3] Figure 3: the two dominant vertices P and Q are not labeled in the caption, making it difficult to match the figure to the statement of the Euler-characteristic result.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, recognition of the combinatorial strength of the sign-reversing involutions, and recommendation of minor revision. We will incorporate any editorial or minor clarifications in the revised version.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivations rely on explicit constructions of sign-reversing involutions on decorated diagrams for ψ-class products and on graphical spaces for the Euler characteristic analog. These are combinatorial cancellation arguments: the involutions are defined directly on the objects, their fixed points or surviving terms are enumerated independently, and the resulting counts are shown to equal the target geometric quantities via direct bijection or orientation counting. No step reduces a claimed result to a fitted parameter, self-definition, or prior self-citation that itself assumes the outcome. The approach is self-contained against standard moduli-space facts and graph theory, with no load-bearing imported uniqueness theorems or ansatzes.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the geometric definitions of the moduli spaces M̄_{0,[r1,…]} and M̄_{0,Γ} together with the intersection theory of psi classes; the paper adds new combinatorial constructions but introduces no new free parameters or postulated entities.

axioms (1)
  • domain assumption Standard properties of the Deligne-Mumford compactification of the moduli space of genus-zero curves and the definition of psi classes as cotangent line bundles.
    The paper invokes these to set up the intersection products whose values are computed combinatorially.

pith-pipeline@v0.9.0 · 5447 in / 1401 out tokens · 49488 ms · 2026-05-16T20:21:06.526478+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

  1. [1]

    Michael Guy,Moduli of weighted stable maps and their gravitational descendants, Journal of the Institute of Mathematics of Jussieu7(2008), no

    4 [AG08] Valery Alexeev and G. Michael Guy,Moduli of weighted stable maps and their gravitational descendants, Journal of the Institute of Mathematics of Jussieu7(2008), no. 3, 425–456, MR 2427420. 2, 6, 7 [AJ19] Per Alexandersson and Linus Jordan,Enumeration of Border-Strip Decompositions and Weil-Petersson Volumes, Journal of Integer Sequences22(2019), ...

    work page 2008

  2. [2]

    6, 7 [BELL25] Joshua Brakensiek, Christopher Eur, Matt Larson, and Shiyue Li,Kapranov degrees, International Math- ematics Research Notices2025(2025), no

    5, 6 [BC20] Vance Blankers and Renzo Cavalieri,Wall-Crossings for Hassett Descendant Potentials, International Mathematics Research Notices (2020), 898–927, rnaa077. 6, 7 [BELL25] Joshua Brakensiek, Christopher Eur, Matt Larson, and Shiyue Li,Kapranov degrees, International Math- ematics Research Notices2025(2025), no. 20, rnaf306. 2, 3, 4, 31 [BN20] Oliv...

    work page 2020

  3. [3]

    28 [CGM21] Renzo Cavalieri, Maria Gillespie, and Leonid Monin,Projective embeddings of M0,n and parking functions, Journal of Combinatorial Theory, Series A182(2021), 105471. 2, 3 [CHMR16] Renzo Cavalieri, Simon Hampe, Hannah Markwig, and Dhruv Ranganathan,Moduli spaces of rational weighted stable curves and tropical geometry, Forum of Mathematics, Sigma4...

    work page 2021

  4. [4]

    1, 2, 5, 6 [GGL23a] Maria Gillespie, Sean T

    2, 3 [Fry23] Andy Fry,Tropical moduli space of rational graphically stable curves, Electronic Journal of Combinatorics 30(2023), P4.44. 1, 2, 5, 6 [GGL23a] Maria Gillespie, Sean T. Griffin, and Jake Levinson,Degenerations and multiplicity-free formulas for products ofψandωclasses on M0,n, Math. Z.304(2023), no. 4,

    work page 2023

  5. [5]

    Theory3(2023), no

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

    work page 2023

  6. [6]

    2, 316–352

    MR 4565290 2 [Has03] Brendan Hassett,Moduli spaces of weighted pointed stable curves, Advances in Mathematics173(2003), no. 2, 316–352. 5 [HM98] Joe Harris and Ian Morrison,Moduli of curves, Graduate Texts in Mathematics, vol. 187, Springer,

    work page 2003

  7. [7]

    4 [Joy81] Andr´ e Joyal,Une th´ eorie combinatoire des s´ eries formelles, Advances in Mathematics42(1981), no. 1, 1–82. 18 [Kap93] Mikhail M Kapranov,Chow quotients of Grassmannians. I, IM Gel’fand Seminar, vol. 16, 1993, pp. 29–

    work page 1981

  8. [8]

    2 [KMZ96] Ralph Kaufmann, Yu Manin, and D Zagier,Higher weil-petersson volumes of moduli spaces of stable n-pointed curves, Communications in mathematical physics181(1996), no

    5 [KKL21] Siddarth Kannan, Dagan Karp, and Shiyue Li,Chow rings of heavy/light hassett spaces via tropical geometry, Journal of Combinatorial Theory, Series A178(2021), 105348. 2 [KMZ96] Ralph Kaufmann, Yu Manin, and D Zagier,Higher weil-petersson volumes of moduli spaces of stable n-pointed curves, Communications in mathematical physics181(1996), no. 3, ...

    work page 2021

  9. [9]

    Losev and Y

    8 [LM00] A. Losev and Y. Manin,New moduli spaces of pointed curves and pencils of flat connections., Michigan Math. J.48(2000), no. 1, 443–472. 2, 5, 6 [Pan12] Rahul Pandharipande,Theκring of the moduli of curves of compact type, Acta Math.208(2012), no. 2, 335–388. MR 2931383 29 [RB25] Andrew Reimer-Berg,Insertion algorithms and pattern avoidance on tree...

    work page 2000

  10. [10]

    8 32 VANCE BLANKERS, MARIA GILLESPIE, AND JAKE LEVINSON [Sil22] Rob Silversmith,Cross-ratio degrees and perfect matchings, Proc. Amer. Math. Soc.150(2022), no. 12, 5057–5072. MR 4494586 2, 4, 31 [Smy13] David Smyth,Towards a classification of modular compactifications ofM g,n, Inventiones Mathematicae 192(2013), no. 2, 459–503. 1, 5 [Vak08] Ravi Vakil,The...

    work page 2022