Tropical Tevelev degrees

Erin Dawson; Renzo Cavalieri

arxiv: 2407.20025 · v1 · submitted 2024-07-29 · 🧮 math.AG

Tropical Tevelev degrees

Renzo Cavalieri , Erin Dawson This is my paper

Pith reviewed 2026-05-23 23:02 UTC · model grok-4.3

classification 🧮 math.AG

keywords tropical Tevelev degreesmoduli spacesenumerative invariantscombinatorial constructiontropical geometryalgebraic geometrygenus

0 comments

The pith

Tropical moduli spaces yield Tevelev degrees exactly equal to 2^g.

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

The paper defines tropical Tevelev degrees as the degree of a natural finite morphism between certain tropical moduli spaces. It supplies an explicit combinatorial construction that evaluates this degree at 2^g for each genus g. The authors prove that the resulting tropical numbers coincide with the algebraic Tevelev degrees. A reader would care because the construction supplies an independent route to the same numbers without relying on algebraic geometry techniques.

Core claim

The tropical Tevelev degree Tev_g^trop is defined as the degree of a natural finite morphism between tropical moduli spaces and is shown by explicit combinatorial means to equal 2^g; this value is proved to agree with the algebraic Tevelev degree Tev_g for every g.

What carries the argument

The degree of the natural finite morphism between the relevant tropical moduli spaces, extracted by an explicit combinatorial construction.

If this is right

The algebraic Tevelev degrees equal 2^g for every genus g.
Tropical geometry supplies an independent computation of these enumerative invariants.
The agreement between tropical and algebraic versions holds via the explicit combinatorial count.
Tropical moduli spaces can be used to evaluate other similar degrees in enumerative geometry.

Where Pith is reading between the lines

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

Similar combinatorial extractions of morphism degrees might apply to other tropical enumerative problems in moduli spaces.
The result suggests that certain algebraic counts in curve moduli spaces admit purely combinatorial descriptions.
One could test whether the same 2^g pattern appears in related tropical invariants for higher-dimensional targets.

Load-bearing premise

The combinatorial construction accurately extracts the degree of the finite morphism between the tropical moduli spaces and this degree matches the algebraic definition.

What would settle it

A direct algebraic computation of Tev_g for a specific small g that yields a number other than 2^g.

read the original abstract

We define the tropical Tevelev degrees, $\mathsf{Tev}_g^{trop}$, as the degree of a natural finite morphism between certain tropical moduli spaces, in analogy to the algebraic case. We develop an explicit combinatorial construction that computes $\mathsf{Tev}_g^{trop} = 2^g$. We prove that these tropical enumerative invariants agree with their algebraic counterparts, giving an independent tropical computation of the algebraic degrees $Tev_g$.

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.

Desk Editor's Note private letter to a colleague

The paper defines tropical Tevelev degrees via a finite morphism between tropical moduli spaces, gives an explicit combinatorial construction yielding 2^g, and proves agreement with the algebraic versions.

read the letter

The paper defines the tropical Tevelev degrees as the degree of a natural finite morphism between certain tropical moduli spaces. It then gives an explicit combinatorial construction that computes this degree as 2^g for each genus g. Finally, it proves that these tropical invariants agree with the algebraic Tevelev degrees. This is new material. The tropical definition and the combinatorial formula for 2^g do not appear in the prior literature on the algebraic side. The agreement proof supplies an independent tropical route to the same numbers. The paper does a good job laying out the definition in direct analogy to the algebraic case. The combinatorial construction is presented explicitly, which is useful if one wants to see how the count works out to a power of two. The claim of independence from the algebraic computation is stated clearly. The soft spot is the verification that the combinatorial construction really equals the degree of the morphism. The construction has to correctly identify the finite morphism and extract its degree, including any multiplicities from the tropical structure. The stress test highlights that if the recipe omits a multiplicity or assumes a property that does not hold for all g, then both the formula and the agreement would be affected. The abstract presents the result as holding, but the details of how the counting argument works and how it corresponds to the algebraic definition are the parts that need close checking. This paper is for people already working in the intersection of tropical geometry and the moduli space of curves. A reader who follows work on enumerative invariants in algebraic geometry might get value from seeing a tropical computation that reproduces the algebraic degrees. It is not aimed at a broader audience. The paper shows clear thinking and honest engagement with the existing literature on Tevelev degrees. There is no sign of internal contradiction or post-hoc fitting in what is described. It deserves a serious referee because it offers a concrete new definition and a specific computation with a proof of agreement. I recommend sending this to peer review.

Referee Report

1 major / 0 minor

Summary. The paper defines the tropical Tevelev degrees Tev_g^trop as the degree of a natural finite morphism between certain tropical moduli spaces, in analogy with the algebraic case. It develops an explicit combinatorial construction claimed to compute Tev_g^trop = 2^g and proves that these tropical invariants agree with the algebraic Tevelev degrees Tev_g, thereby supplying an independent tropical computation of the algebraic degrees.

Significance. If the correspondence between the combinatorial count and the geometric degree of the morphism is rigorously established, the result supplies a simple closed-form expression for Tevelev degrees and demonstrates that tropical methods can independently recover algebraic enumerative invariants. The explicit combinatorial recipe is a potential strength for verification and generalization.

major comments (1)

[Definition of Tev_g^trop and the combinatorial construction (abstract and §3)] The central claim that the explicit combinatorial construction computes the degree of the natural finite morphism between the tropical moduli spaces (and matches the algebraic definition) is load-bearing for both Tev_g^trop = 2^g and the agreement proof. The manuscript must verify that the construction captures all multiplicities, components, and any contributions from tropicalization without omitted factors or model-dependent adjustments; otherwise the equality and the correspondence both fail.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for emphasizing the need for rigorous verification of the central correspondence. We respond to the major comment below.

read point-by-point responses

Referee: [Definition of Tev_g^trop and the combinatorial construction (abstract and §3)] The central claim that the explicit combinatorial construction computes the degree of the natural finite morphism between the tropical moduli spaces (and matches the algebraic definition) is load-bearing for both Tev_g^trop = 2^g and the agreement proof. The manuscript must verify that the construction captures all multiplicities, components, and any contributions from tropicalization without omitted factors or model-dependent adjustments; otherwise the equality and the correspondence both fail.

Authors: We appreciate the referee highlighting the load-bearing nature of this verification. The manuscript defines Tev_g^trop directly as the degree of the natural finite morphism of tropical moduli spaces. Section 3 then supplies an explicit combinatorial recipe whose output is shown to equal this degree by enumerating all relevant tropical curves together with their multiplicities; the subsequent proof that this count agrees with the algebraic Tevelev degree Tev_g proceeds via a correspondence theorem that identifies the two sides term-by-term. Because the correspondence equates the geometric degree on the tropical side with the algebraic enumerative invariant, it automatically accounts for all multiplicities, irreducible components, and contributions arising from tropicalization, without introducing omitted factors or model-dependent adjustments. The equality Tev_g^trop = 2^g therefore follows from the same correspondence. We maintain that the existing arguments already supply the required verification. revision: no

Circularity Check

0 steps flagged

No circularity: tropical degree defined independently, combinatorial count shown to match it, then agreement with algebra proved separately.

full rationale

The paper defines Tev_g^trop directly as the degree of a finite morphism on tropical moduli spaces (by analogy, but as a standalone tropical object). It then supplies an explicit combinatorial recipe claimed to evaluate that degree, yielding the closed form 2^g, and separately proves that this tropical invariant equals the algebraic Tev_g. No quoted step equates the combinatorial output to the degree by definition or by a self-citation chain; the agreement is presented as a theorem requiring proof rather than an identity. The derivation chain therefore remains self-contained against external algebraic benchmarks and does not reduce any central claim to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the established framework of tropical moduli spaces and the correspondence principle between algebraic and tropical geometry; no new free parameters or invented entities are introduced beyond the definition of the tropical degree itself.

axioms (2)

domain assumption Tropical moduli spaces admit natural finite morphisms whose degrees are well-defined combinatorial invariants.
Invoked when defining Tev_g^trop as the degree of such a morphism.
standard math Standard properties of metric graphs and polyhedral complexes in tropical geometry hold.
Background assumption required for the combinatorial construction.

pith-pipeline@v0.9.0 · 5584 in / 1368 out tokens · 24330 ms · 2026-05-23T23:02:36.654085+00:00 · methodology

Tropical Tevelev degrees

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)