Divisorial motivic zeta functions for marked stable curves

Madeline Brandt; Martin Ulirsch

arxiv: 1907.05125 · v1 · pith:WDA3OV7Pnew · submitted 2019-07-11 · 🧮 math.AG

Divisorial motivic zeta functions for marked stable curves

Madeline Brandt , Martin Ulirsch This is my paper

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

classification 🧮 math.AG

keywords motivic zeta functionsstable curvesmarked pointsdual graphsrationalityKapranov zeta functionalgebraic geometry

0 comments

The pith

A divisorial motivic zeta function for marked stable curves agrees with Kapranov's version on smooth unmarked curves, is rational, and equals an explicit dual-graph formula.

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

The paper introduces a divisorial motivic zeta function that extends Kapranov's original definition from smooth unmarked curves to the broader setting of stable curves with marked points. The authors prove that this new function is always rational and supply a closed-form expression depending only on the dual graph of the curve. A reader cares because the extension preserves the original function exactly where it was already defined while making the zeta function computable in degenerate cases that arise in moduli problems. The construction therefore supplies a uniform algebraic invariant across the entire moduli space of stable marked curves.

Core claim

We define a divisorial motivic zeta function for stable curves with marked points which agrees with Kapranov's motivic zeta function when the curve is smooth and unmarked. We show that this zeta function is rational, and give a formula in terms of the dual graph of the curve.

What carries the argument

The divisorial motivic zeta function, defined so that it recovers Kapranov's function on smooth unmarked curves and is expressed by a formula on the dual graph.

If this is right

The zeta function is rational for every stable curve with marked points.
An explicit formula computes the zeta function directly from the dual graph.
The definition is compatible with Kapranov's function precisely on smooth unmarked curves.
The same rationality statement holds uniformly across all strata of the moduli space of stable marked curves.

Where Pith is reading between the lines

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

The dual-graph formula may simplify explicit calculations of motivic invariants when curves degenerate in families.
Similar divisorial extensions could be tested on other moduli spaces where Kapranov-style zeta functions are already defined.
The rationality result supplies a concrete test case for conjectures that link graph combinatorics to motivic measures on curve moduli.

Load-bearing premise

A consistent extension of Kapranov's motivic zeta function to marked stable curves exists that remains rational and admits an explicit dual-graph formula.

What would settle it

A specific marked stable curve on which every candidate divisorial extension either fails to match Kapranov's function on the smooth unmarked case or produces a non-rational power series.

read the original abstract

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

This paper defines a divisorial motivic zeta function for marked stable curves that matches Kapranov's on smooth unmarked cases, proves rationality, and gives an explicit dual-graph formula.

read the letter

The main thing your colleague should know is that this paper introduces a divisorial motivic zeta function for stable curves with marked points. The definition is set up to agree with Kapranov's motivic zeta function precisely when the curve is smooth and unmarked. They then prove that this new function is rational and supply an explicit formula expressed in terms of the dual graph of the curve. What the paper does well is to provide a consistent extension that reduces the computation to graph data. This is a legitimate new contribution because the marked case was not covered before, and the dual-graph formula gives a way to calculate it without staying in the full moduli space. The reduction to the known smooth case is a strong check on the definition. The soundness looks reasonable from the abstract. There are no equations shown, but the claims are stated without self-reference or circular steps. The weakest assumption is that such a divisorial extension exists and yields the graph formula, but since they claim to have constructed it, the paper stands or falls on whether that construction works as described. Soft spots are limited. The main one is that without the full proof, it is hard to see how much new machinery is needed for the marked points. If the proof is short and direct, that is fine; if it requires heavy lifting, the paper might benefit from more examples or verification on low-genus cases. But nothing in the stated claims suggests a load-bearing flaw. This work is for readers who already know Kapranov's motivic zeta function and are interested in extending it to singular or marked curves. It is specialized, so a general audience in algebraic geometry might not engage, but within the subfield it adds a usable invariant. I would bring this to a reading group if the group has people working on moduli or motivic methods. I would not cite it in my own work unless I needed the specific formula for marked curves. It deserves peer review because the result is concrete and the consistency with prior work is clear.

Referee Report

0 major / 0 minor

Summary. The paper defines a divisorial motivic zeta function for stable curves with marked points. This definition is constructed to agree with Kapranov's motivic zeta function precisely when the curve is smooth and unmarked. The manuscript proves that the new zeta function is rational and supplies an explicit formula expressed in terms of the dual graph of the curve.

Significance. If the claims hold, the work supplies a consistent extension of motivic zeta functions from the smooth unmarked case to the broader setting of marked stable curves, together with a rationality statement and a dual-graph formula that reduces computations to combinatorial data. Such an extension could be useful for motivic invariants on moduli spaces of curves.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their accurate summary of the manuscript, which correctly identifies the definition of the divisorial motivic zeta function, its agreement with Kapranov's construction in the smooth unmarked case, the rationality proof, and the explicit dual-graph formula. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper defines a divisorial motivic zeta function extending Kapranov's on the smooth unmarked case, then proves rationality via an explicit dual-graph formula. The abstract and stated claims contain no equations, no fitted parameters renamed as predictions, and no load-bearing self-citations or uniqueness theorems that reduce the central result to its own inputs by construction. The derivation is self-contained: the extension is by definition, the rationality and graph formula constitute independent mathematical content, and no step collapses to tautology or prior author work invoked as an external fact.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no information on free parameters, axioms, or invented entities.

pith-pipeline@v0.9.0 · 5554 in / 1090 out tokens · 28769 ms · 2026-05-24T23:00:26.860694+00:00 · methodology

Divisorial motivic zeta functions for marked stable curves

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)