A tale of two moduli spaces: logarithmic and multi-scale differentials

David Holmes; Dawei Chen; Johannes Schmitt; Martin M\"oller; Samuel Grushevsky

arxiv: 2212.04704 · v2 · pith:AEGBSNBHnew · submitted 2022-12-09 · 🧮 math.AG · math.GT

A tale of two moduli spaces: logarithmic and multi-scale differentials

Dawei Chen , Samuel Grushevsky , David Holmes , Martin M\"oller , Johannes Schmitt This is my paper

Pith reviewed 2026-05-24 09:58 UTC · model grok-4.3

classification 🧮 math.AG math.GT

keywords moduli spaces of differentialscompactificationsglobal residue conditionblowupsprojectivitydouble ramification cycleincidence variety

0 comments

The pith

Multi-scale differentials and logarithmic differentials are equivalent modulo the global residue condition, with isomorphic coarse moduli stacks.

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

The paper shows that two independently defined compactifications of the moduli space of curves with differentials of prescribed zeros and poles coincide after a single adjustment. One construction uses flat geometry while the other uses a logarithmic approach. Once the global residue condition is imposed to isolate the main components, the resulting objects are the same: their coarse moduli stacks are isomorphic. The paper further identifies both spaces explicitly as blowups, first of the moduli space of stable pointed rational curves when the genus is zero, and then as a global blowup of the incidence variety compactification in all genera; this immediately implies the spaces are projective. A refined double ramification cycle formula is also proposed inside the twisted Hodge bundle.

Core claim

Modulo the global residue condition that isolates the main components of the compactification, multi-scale differentials and logarithmic differentials are equivalent, and their coarse moduli stacks are isomorphic. In genus zero the rubber and multi-scale spaces are explicit blowups of the moduli space of stable pointed rational curves; for arbitrary genera they arise as a global blowup of the incidence variety compactification. This yields projectivity in both cases.

What carries the argument

The global residue condition, which selects the main components and induces the isomorphism between the two moduli stacks of differentials.

If this is right

Both spaces are projective because each is realized as a blowup of a projective base.
In genus zero the spaces coincide with explicit blowups of the moduli space of stable pointed rational curves.
For any genus the spaces arise uniformly as a global blowup of the incidence variety compactification.
A refined double ramification cycle formula holds in the twisted Hodge bundle and interacts with the universal line bundle class.

Where Pith is reading between the lines

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

Results proved in one construction can be transferred to the other via the isomorphism.
The blowup descriptions suggest that similar global blowups might produce compactifications for related objects such as higher-order differentials.
The refined cycle formula may produce new tautological relations once pushed forward to the moduli space of curves.

Load-bearing premise

The two constructions differ only by the global residue condition and otherwise define the same objects on the level of moduli stacks.

What would settle it

An explicit curve with a differential that satisfies the global residue condition in one stack but has no corresponding object in the other stack would show the stacks are not isomorphic.

read the original abstract

Multi-scale differentials were constructed by M.~Bainbridge, D.~Chen, Q.~Gendron, S.~Grushevsky, and M.~M\"oller, from the viewpoint of flat and complex geometry, for the purpose of compactifying moduli spaces of curves together with a differential with prescribed orders of zeros and poles. Logarithmic differentials were constructed by S.~Marcus and J.~Wise, as a generalization of stable rubber maps from Gromov--Witten theory. Modulo the global residue condition that isolates the main components of the compactification, we show that these two kinds of differentials are equivalent, and establish an isomorphism of their (coarse) moduli stacks. Moreover, we describe the rubber and multi-scale spaces as an explicit blowup of the moduli space of stable pointed rational curves in the case of genus zero, and as a global blowup of the incidence variety compactification for arbitrary genera, which implies their projectivity. We also propose a refined double ramification cycle formula in the twisted Hodge bundle which interacts with the universal line bundle class.

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 equates the multi-scale and logarithmic differential compactifications modulo the global residue condition and gives explicit blowup models that imply projectivity.

read the letter

The paper shows that multi-scale differentials and logarithmic differentials coincide once the global residue condition is imposed, yielding an isomorphism of their coarse moduli stacks. Both constructions are realized as blowups: of the moduli space of stable pointed rational curves in genus zero, and of the incidence variety compactification in higher genus. This directly supplies projectivity. They also sketch a refined double ramification cycle in the twisted Hodge bundle. The equivalence organizes two lines of work that had been running separately, and the blowup descriptions are concrete enough to be usable for further calculations. The authors are the right people to make this identification, and the outline is consistent with what was already known about the residue condition isolating the main components. The soft spots are limited. The higher-genus blowup step rests on the incidence variety compactification already being well-behaved, which is plausible but would need checking in the proofs. The refined cycle formula is proposed rather than fully derived here, so its utility depends on follow-up work. No circularity or hidden fitting appears. This is for people already working on moduli of differentials or on tautological classes who need to switch between the two viewpoints or want projectivity for free. A reader who knows one construction will find the translation to the other useful. It is worth sending to a serious referee because the equivalence is a genuine cleanup and the blowup models give new tools.

Referee Report

0 major / 3 minor

Summary. The paper establishes an equivalence between multi-scale differentials (constructed via flat geometry by Bainbridge-Chen-Gendron-Grushevsky-Möller) and logarithmic differentials (constructed via rubber maps by Marcus-Wise), showing that the two coincide modulo the global residue condition and that their coarse moduli stacks are isomorphic. It realizes both spaces explicitly as blowups—of the moduli space of stable pointed rational curves in genus zero, and of the incidence variety compactification in higher genus—thereby proving projectivity, and proposes a refined double ramification cycle formula in the twisted Hodge bundle.

Significance. If the central identification holds, the work unifies two independent compactifications of moduli spaces of differentials, one rooted in flat surfaces and the other in logarithmic Gromov-Witten theory. The explicit blowup descriptions constitute a concrete geometric model and supply an independent route to projectivity; the proposed refined cycle formula offers a potential new tool for intersection theory. The manuscript correctly credits the source constructions and isolates the role of the global residue condition as the sole point of divergence.

minor comments (3)

[§1] §1 (Introduction): the distinction between the fine and coarse moduli stacks is introduced late; an earlier sentence clarifying that the isomorphism is stated only for coarse spaces would prevent reader confusion when the global residue condition is first mentioned.
The statement of the refined double ramification cycle formula (mentioned in the abstract and presumably in §6) is not accompanied by an explicit comparison with the existing formula; adding one sentence indicating the precise modification (e.g., which class is twisted) would make the novelty immediately visible.
Notation: the symbol for the incidence variety compactification is used before its definition; a forward reference or earlier definition would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment, the accurate summary of our results on the equivalence of multi-scale and logarithmic differentials (modulo the global residue condition), the explicit blowup descriptions, and the proposed refined double ramification cycle. The recommendation of minor revision is noted; however, the report contains no specific major comments requiring response.

Circularity Check

0 steps flagged

No significant circularity; independent constructions shown equivalent

full rationale

The paper proves an isomorphism of coarse moduli stacks between multi-scale differentials (defined via flat geometry in Bainbridge-Chen-Gendron-Grushevsky-Möller) and logarithmic differentials (defined via rubber maps in Marcus-Wise), after imposing the global residue condition. Both are realized as explicit blowups (of the moduli space of stable pointed rational curves in genus 0, and of the incidence variety compactification in higher genus). These blowup descriptions are independent of the equivalence claim and supply projectivity. Overlap in authors with the multi-scale construction paper exists but does not reduce the equivalence proof to self-definition, fitted inputs, or a load-bearing self-citation chain; the two objects are constructed separately and the identification is external to either prior definition. No step matches the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities can be extracted from the provided text.

pith-pipeline@v0.9.0 · 5726 in / 1026 out tokens · 21143 ms · 2026-05-24T09:58:42.078692+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Functoriality of logarithmic Hochschild homology of log smooth pairs
math.AG 2026-05 unverdicted novelty 7.0

Logarithmic Hochschild homology is functorial for strong log Fourier-Mukai transforms on smooth proper log pairs, yielding a dg bicategory of logarithmic correspondences with compatible Chern characters and Euler pairings.