Isoresidual curves

Dawei Chen; Guillaume Tahar; Miguel Prado; Quentin Gendron

arxiv: 2412.16810 · v3 · submitted 2024-12-22 · 🧮 math.AG · math.CO· math.GT

Isoresidual curves

Dawei Chen , Quentin Gendron , Miguel Prado , Guillaume Tahar This is my paper

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

classification 🧮 math.AG math.COmath.GT

keywords isoresidual fibrationmeromorphic differentialstranslation structuremulti-scale compactificationEuler characteristicstrata of differentialsRiemann spheregenus zero

0 comments

The pith

For differentials with two zeros on the Riemann sphere, generic isoresidual fibers are complex curves with a canonical translation structure.

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

The paper shows that the isoresidual map, sending a meromorphic differential to its residues at the poles, has fibers that are generically complex curves equipped with a translation structure when there are exactly two zeros. These curves carry discrete invariants including the orders of their singularities and a period central charge that captures how periods depend linearly on the residue configuration. Using intersection theory on the multi-scale compactification of the strata, the authors compute the Euler characteristic of these generic fibers and find that it varies with the partition of poles according to a wall and chamber structure. They further classify the connected components of the fibers in the genus zero case for arbitrary numbers of zeros.

Core claim

Given a partition μ of -2, the stratum H(μ) parametrizes meromorphic differentials on CP^1 with n zeros and p poles prescribed by μ. For n=2, generic isoresidual fibers are complex curves with a canonical translation structure. The orders of singularities and period central charge serve as discrete invariants. The Euler characteristic is computed via intersection theory relying on the multi-scale compactification, revealing a wall and chamber structure in terms of μ. Connected components are classified for genus zero strata with arbitrary zeros.

What carries the argument

The isoresidual fibration assigning residue configurations at poles, together with the multi-scale compactification enabling intersection-theoretic computation of Euler characteristics.

If this is right

The translation structure equips the fibers with singularity orders and period central charges as invariants.
The Euler characteristic of generic isoresidual fibers depends on the partition μ through a wall and chamber decomposition.
Connected components of generic isoresidual fibers can be classified for all genus zero strata.
Quantitative characteristics of the translation structure distinguish the fibers discretely.

Where Pith is reading between the lines

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

The translation structure may permit new computations of dynamical or geometric invariants by integrating over residue space.
Wall and chamber behavior suggests phase transitions in the topology as pole orders vary, testable in low-degree cases.
Classification of components could extend to describe monodromy or covering properties of the fibration.

Load-bearing premise

The multi-scale compactification of the strata provides a boundary on which intersection theory computes the Euler characteristic of the isoresidual fiber curves accurately.

What would settle it

Computing the Euler characteristic directly for a specific partition μ with two zeros, such as μ = (-1,-1,-2) or similar small cases, and finding it differs from the predicted value from the intersection computation would falsify the result.

read the original abstract

Given a partition $\mu$ of $-2$, the stratum $\mathcal{H}(\mu)$ parametrizes meromorphic differential one-forms on the Riemann sphere $\mathbb{CP}^{1}$ with~$n$ zeros and $p$ poles of orders prescribed by $\mu$. The isoresidual fibration is defined by assigning to each differential in $\mathcal{H}(\mu)$ its configuration of residues at the poles. In the case of differentials with $n=2$ zeros, generic isoresidual fibers are complex curves endowed with a canonical translation structure, which we describe extensively in this paper. Quantitative characteristics of the translation structure on isoresidual fiber curves, including the orders of the singularities and a period central charge encapsulating the linear dependence of periods on the underlying configuration of residues, provide rich discrete invariants for these fibers. We also determine the Euler characteristic of generic isoresidual fiber curves from intersection-theoretic computations, relying on the multi-scale compactification of strata of differentials. In particular, we describe a wall and chamber structure for the Euler characteristic of generic isoresidual fiber curves in terms of the partition $\mu$. Additionally, we classify the connected components of generic isoresidual fibers for strata in genus zero with an arbitrary number of zeros.

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 a period central charge for isoresidual fibers with two zeros, computes their Euler characteristics via multi-scale compactification with a wall-chamber structure, and classifies components in genus zero.

read the letter

The core contribution is a period central charge that measures linear dependence of periods on the residue configuration, plus a wall-and-chamber decomposition of the Euler characteristic of generic isoresidual fibers when there are exactly two zeros. They also classify connected components for the genus-zero case with any number of zeros. These are presented as new discrete invariants coming from the translation structure on the fibers. The work applies intersection theory on the multi-scale compactification to extract the Euler numbers, which is a direct extension of existing techniques in the field. That part looks mechanically sound if the boundary intersections are set up correctly, and the abstract indicates they carry it through for the relevant strata. The translation-structure description on the fibers is also concrete and seems new in this setting. The main limitation is narrow scope: everything is restricted to n=2 zeros, so the results stay inside a specialized corner of strata of differentials and do not obviously affect wider questions about higher-zero cases or other compactifications. The wall-chamber structure is new but its value hinges on whether the chambers produce meaningfully different Euler characteristics in practice; the paper will need to show that the jumps are not trivial. No obvious circularity or fitting appears in the stated definitions. This is aimed at people already working on moduli of differentials and translation surfaces. A reader outside that subfield will not get much from it. The claims are specific enough and rest on established tools, so it deserves a serious referee even if revisions are needed on the intersection calculations.

Referee Report

2 major / 2 minor

Summary. The manuscript studies isoresidual fibrations on the strata H(μ) of meromorphic differentials on CP^1, where μ is a partition of -2. For the case of n=2 zeros, generic isoresidual fibers are shown to be complex curves carrying a canonical translation structure; the paper introduces quantitative invariants for these structures (orders of singularities and a period central charge encoding linear dependence of periods on residues), computes the Euler characteristic of generic fibers via intersection theory on the multi-scale compactification of the strata, describes a wall-and-chamber decomposition of this Euler characteristic in terms of μ, and classifies the connected components of the fibers for all genus-zero strata with arbitrary numbers of zeros.

Significance. If the intersection-theoretic computations hold, the work supplies new discrete invariants for isoresidual fibers and determines their topological invariants in a manner that extends existing multi-scale compactification techniques. The wall-chamber structure and the genus-zero component classification constitute concrete, falsifiable contributions that could be used to test conjectures on the geometry of differential strata.

major comments (2)

[abstract (Euler characteristic paragraph)] The central claim that intersection-theoretic computations on the multi-scale compactification determine the Euler characteristic of generic isoresidual fiber curves (abstract, paragraph beginning 'We also determine the Euler characteristic') is load-bearing for the main results, yet the abstract and available description supply no explicit intersection numbers, no list of the relevant divisor classes, and no verification steps; this prevents direct checking of the derivation.
[abstract (quantitative characteristics paragraph)] The definition of the period central charge as 'encapsulating the linear dependence of periods on the underlying configuration of residues' (abstract) is used as a discrete invariant, but without an explicit formula or relation to the residue configuration it is unclear whether the quantity is independent of the choice of basis or reduces tautologically to the residue data.

minor comments (2)

[introduction] The notation for the partition μ and the isoresidual map could be introduced with a short diagram or explicit coordinate description in the introduction to improve readability for readers outside the immediate subfield.
[abstract] The statement that 'generic isoresidual fibers are complex curves endowed with a canonical translation structure' would benefit from a precise reference to the translation structure construction (e.g., via the developing map or residue conditions) rather than leaving it implicit.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive feedback. We address the two major comments point by point below. The revisions we have made focus on improving the clarity of the abstract and introduction while preserving the manuscript's technical content.

read point-by-point responses

Referee: [abstract (Euler characteristic paragraph)] The central claim that intersection-theoretic computations on the multi-scale compactification determine the Euler characteristic of generic isoresidual fiber curves (abstract, paragraph beginning 'We also determine the Euler characteristic') is load-bearing for the main results, yet the abstract and available description supply no explicit intersection numbers, no list of the relevant divisor classes, and no verification steps; this prevents direct checking of the derivation.

Authors: We agree that the abstract, being concise by nature, does not list explicit intersection numbers or divisor classes. The full computations, including the relevant divisor classes on the multi-scale compactification and the intersection numbers yielding the Euler characteristic, appear in Section 4 (specifically Proposition 4.3 and Theorem 4.7), with verification steps given in the proof of Theorem 4.7. To facilitate checking, we have revised the abstract to reference these results explicitly and added a short outline of the intersection-theoretic approach in the introduction. revision: yes
Referee: [abstract (quantitative characteristics paragraph)] The definition of the period central charge as 'encapsulating the linear dependence of periods on the underlying configuration of residues' (abstract) is used as a discrete invariant, but without an explicit formula or relation to the residue configuration it is unclear whether the quantity is independent of the choice of basis or reduces tautologically to the residue data.

Authors: The period central charge receives a precise definition in Definition 3.1 of the manuscript as the positive generator of the ideal of integer linear combinations of periods that vanish on the residue configuration; this makes the invariant independent of basis choice by construction and non-tautological, as it measures the index of the period lattice relative to the residue lattice. We have revised the abstract to include a brief indication of this definition and added an illustrative computation in Section 3.2 to show its relation to a concrete residue configuration. revision: yes

Circularity Check

0 steps flagged

No significant circularity; Euler characteristic derived from external compactification framework

full rationale

The paper's central computation of Euler characteristics for isoresidual fibers relies on intersection theory applied to the multi-scale compactification of strata of differentials, presented as an established prior tool rather than a self-derived object. No equations or definitions in the provided material show a quantity (such as the period central charge or fiber invariants) being defined in terms of itself or a fitted parameter renamed as a prediction. The wall-and-chamber structure and component classification are described as outputs of the analysis, not inputs. This is a standard use of an external compactification result, with no load-bearing self-citation chain or self-definitional reduction exhibited.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit free parameters, axioms, or invented entities. The computations rely on standard background tools (strata of differentials, multi-scale compactification, intersection theory) whose details are not supplied here.

pith-pipeline@v0.9.0 · 5748 in / 1241 out tokens · 30773 ms · 2026-05-23T06:34:50.978250+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages

[1]

Moduli spaces of complex a ﬃne and dilation surfaces

[ABW23] Paul Apisa, Matt Bainbridge, and Jane Wang. Moduli spaces of complex a ﬃne and dilation surfaces. J. Reine Angew. Math. 2023.796 (2023), pp. 229–243. [AM24] Jayadev Athreya and Howard Masur. Translation surfaces. V ol

work page 2023
[2]

Compactiﬁcation of strata of abelian di ﬀerentials

[Bai+18] Matt Bainbridge, Dawei Chen, Quentin Gendron, Samuel Gr ushevsky, and Martin Möller. Compactiﬁcation of strata of abelian di ﬀerentials. Duke Math. J. 167.12 (2018), pp. 2347–

work page 2018
[3]

Strata of k-diﬀerentials

[Bai+19a] Matt Bainbridge, Dawei Chen, Quentin Gendron, Samuel G rushevsky, and Martin Möller. Strata of k-diﬀerentials. Algebr. Geom. 6.2 (2019), pp. 196–233. [Bai+19b] Matt Bainbridge, Dawei Chen, Quentin Gendron, Samuel G rushevsky, and Martin Möller. The moduli space of multi-scale di ﬀerentials

work page 2019
[4]

[Ben23] Frederik Benirschke

arXiv: 1910.13492. [Ben23] Frederik Benirschke. The boundary of linear subvarieties . J. Eur. Math. Soc. (JEMS) 25.11 (2023), pp. 4521–4582. [BDG22] Frederik Benirschke, Benjamin Dozier, and Samuel G rushevsky. Equations of linear subvari- eties of strata of di ﬀerentials. Geom. Topol. 26.6 (2022), pp. 2773–2830. [BG23] Andrei Bogatyrev and Quentin Gendro...

work page arXiv 1910
[5]

Connected components of the strata of the moduli space of mer omorphic diﬀerentials

[Boi15] Corentin Boissy. Connected components of the strata of the moduli space of mer omorphic diﬀerentials. Comment. Math. Helv. 90.2 (2015), pp. 255–286. [BR24] Alexandr Buryak and Paolo Rossi. Counting meromorphic di ﬀerentials on CP1. Lett. Math. Phys. 114.97 (2024). [CMD21] Gabriel Calsamiglia-Mendlewicz and Bertrand Dero in. Isoperiodic meromorphic...

work page arXiv 2015
[6]

T owards a classiﬁcation of connected components of the strata of k-di ﬀerentials

[CG22] Dawei Chen and Quentin Gendron. T owards a classiﬁcation of connected components of the strata of k-di ﬀerentials. Doc. Math. 27 (2022), pp. 1031–1100. [Che+20] Dawei Chen, Möller Martin, Adrien Sauvaget, and Don Zagi er. Masur–V eech volumes and in- tersection theory on moduli spaces of Abelian di ﬀerentials. Invent. Math. 222 (2020), pp. 283–

work page 2022
[7]

[CMZ22] Matteo Costantini, Martin Möller, and Jonathan Zac hhuber

arXiv: 2307.04221. [CMZ22] Matteo Costantini, Martin Möller, and Jonathan Zac hhuber. The Chern classes and Euler char- acteristic of the moduli spaces of Abelian di ﬀerentials. Forum Math. Pi 10 (2022), Paper No. e16,

work page arXiv 2022
[8]

Moduli spaces of Abelian di ﬀerentials: the principal boundary, counting problems, and the Siegel-Vee ch constants

[EMZ03] Alex Eskin, Howard Masur, and Anton Zorich. Moduli spaces of Abelian di ﬀerentials: the principal boundary, counting problems, and the Siegel-Vee ch constants . Publ. Math. Inst. Hautes Études Sci. 97 (2003), pp. 61–179. [FTZ23] Gianluca Faraco, Guillaume Tahar, and Y ongquan Zha ng. Isoperiodic foliation of the stratum H(1, 1, −2)

work page 2003
[9]

[GT21] Quentin Gendron and Guillaume Tahar

arXiv: 2305.06761. [GT21] Quentin Gendron and Guillaume Tahar. Diﬀérentielles abéliennes à singularités prescrites . J. Éc. Polytech., Math. 8 (2021), pp. 1397–1428. [GT22] Quentin Gendron and Guillaume Tahar. Isoresidual ﬁbration and resonance arrangements . Lett. Math. Phys. 112.2 (2022). Id /No

work page arXiv 2021
[10]

The mapping class group orbits in the framings of compact sur faces

[Kaw18] Nariya Kawazumi. The mapping class group orbits in the framings of compact sur faces. Q. J. Math. 69.4 (May 2018), pp. 1287–1302. [KLS21] Igor Krichever, Sergei Lando, and Alexandra Skripc henko. Real-normalized diﬀerentials with a single order 2 pole . Lett. Math. Phys. 111.2 (2021). Id /No 36, p

work page 2018
[11]

Polyhedral Kähler manifolds

[Pan09] Dmitri Panov. Polyhedral Kähler manifolds. Geom. Topol. 13.4 (2009), pp. 2205 –2252. [Sal23] Nick Salter. Stratiﬁed braid groups: monodromy

work page 2009
[12]

Flat surfaces

arXiv: 2304.04627. [Sug17] Toshi Sugiyama. The moduli space of polynomial maps and their ﬁxed-point mul tipliers. Adv. Math. 322 (2017), pp. 132–185. 50 [Tah18] Guillaume Tahar. Counting saddle connections in ﬂat surfaces with poles of hi gher order . Geom. Dedicata 196.1 (2018), pp. 145–186. [Zor06] Anton Zorich. “Flat surfaces.” In: Frontiers in number ...

work page arXiv 2017
[13]

Springer, 2006, pp. 437–583. (Dawei Chen) Boston College, Chesnut Hill, MA 02467, USA Email address: chenvp@bc.edu (Quentin Gendron) I nstituto de Matem´aticas de la UNAM, Ciudad Universitaria, Tenochtitl´an, 04510, M ´exico Email address: quentin.gendron@im.unam.mx (Miguel Prado) G oethe University, Frankfurt am Main, Hessen 60325, Germany Email address:...

work page 2006

[1] [1]

Moduli spaces of complex a ﬃne and dilation surfaces

[ABW23] Paul Apisa, Matt Bainbridge, and Jane Wang. Moduli spaces of complex a ﬃne and dilation surfaces. J. Reine Angew. Math. 2023.796 (2023), pp. 229–243. [AM24] Jayadev Athreya and Howard Masur. Translation surfaces. V ol

work page 2023

[2] [2]

Compactiﬁcation of strata of abelian di ﬀerentials

[Bai+18] Matt Bainbridge, Dawei Chen, Quentin Gendron, Samuel Gr ushevsky, and Martin Möller. Compactiﬁcation of strata of abelian di ﬀerentials. Duke Math. J. 167.12 (2018), pp. 2347–

work page 2018

[3] [3]

Strata of k-diﬀerentials

[Bai+19a] Matt Bainbridge, Dawei Chen, Quentin Gendron, Samuel G rushevsky, and Martin Möller. Strata of k-diﬀerentials. Algebr. Geom. 6.2 (2019), pp. 196–233. [Bai+19b] Matt Bainbridge, Dawei Chen, Quentin Gendron, Samuel G rushevsky, and Martin Möller. The moduli space of multi-scale di ﬀerentials

work page 2019

[4] [4]

[Ben23] Frederik Benirschke

arXiv: 1910.13492. [Ben23] Frederik Benirschke. The boundary of linear subvarieties . J. Eur. Math. Soc. (JEMS) 25.11 (2023), pp. 4521–4582. [BDG22] Frederik Benirschke, Benjamin Dozier, and Samuel G rushevsky. Equations of linear subvari- eties of strata of di ﬀerentials. Geom. Topol. 26.6 (2022), pp. 2773–2830. [BG23] Andrei Bogatyrev and Quentin Gendro...

work page arXiv 1910

[5] [5]

Connected components of the strata of the moduli space of mer omorphic diﬀerentials

[Boi15] Corentin Boissy. Connected components of the strata of the moduli space of mer omorphic diﬀerentials. Comment. Math. Helv. 90.2 (2015), pp. 255–286. [BR24] Alexandr Buryak and Paolo Rossi. Counting meromorphic di ﬀerentials on CP1. Lett. Math. Phys. 114.97 (2024). [CMD21] Gabriel Calsamiglia-Mendlewicz and Bertrand Dero in. Isoperiodic meromorphic...

work page arXiv 2015

[6] [6]

T owards a classiﬁcation of connected components of the strata of k-di ﬀerentials

[CG22] Dawei Chen and Quentin Gendron. T owards a classiﬁcation of connected components of the strata of k-di ﬀerentials. Doc. Math. 27 (2022), pp. 1031–1100. [Che+20] Dawei Chen, Möller Martin, Adrien Sauvaget, and Don Zagi er. Masur–V eech volumes and in- tersection theory on moduli spaces of Abelian di ﬀerentials. Invent. Math. 222 (2020), pp. 283–

work page 2022

[7] [7]

[CMZ22] Matteo Costantini, Martin Möller, and Jonathan Zac hhuber

arXiv: 2307.04221. [CMZ22] Matteo Costantini, Martin Möller, and Jonathan Zac hhuber. The Chern classes and Euler char- acteristic of the moduli spaces of Abelian di ﬀerentials. Forum Math. Pi 10 (2022), Paper No. e16,

work page arXiv 2022

[8] [8]

Moduli spaces of Abelian di ﬀerentials: the principal boundary, counting problems, and the Siegel-Vee ch constants

[EMZ03] Alex Eskin, Howard Masur, and Anton Zorich. Moduli spaces of Abelian di ﬀerentials: the principal boundary, counting problems, and the Siegel-Vee ch constants . Publ. Math. Inst. Hautes Études Sci. 97 (2003), pp. 61–179. [FTZ23] Gianluca Faraco, Guillaume Tahar, and Y ongquan Zha ng. Isoperiodic foliation of the stratum H(1, 1, −2)

work page 2003

[9] [9]

[GT21] Quentin Gendron and Guillaume Tahar

arXiv: 2305.06761. [GT21] Quentin Gendron and Guillaume Tahar. Diﬀérentielles abéliennes à singularités prescrites . J. Éc. Polytech., Math. 8 (2021), pp. 1397–1428. [GT22] Quentin Gendron and Guillaume Tahar. Isoresidual ﬁbration and resonance arrangements . Lett. Math. Phys. 112.2 (2022). Id /No

work page arXiv 2021

[10] [10]

The mapping class group orbits in the framings of compact sur faces

[Kaw18] Nariya Kawazumi. The mapping class group orbits in the framings of compact sur faces. Q. J. Math. 69.4 (May 2018), pp. 1287–1302. [KLS21] Igor Krichever, Sergei Lando, and Alexandra Skripc henko. Real-normalized diﬀerentials with a single order 2 pole . Lett. Math. Phys. 111.2 (2021). Id /No 36, p

work page 2018

[11] [11]

Polyhedral Kähler manifolds

[Pan09] Dmitri Panov. Polyhedral Kähler manifolds. Geom. Topol. 13.4 (2009), pp. 2205 –2252. [Sal23] Nick Salter. Stratiﬁed braid groups: monodromy

work page 2009

[12] [12]

Flat surfaces

arXiv: 2304.04627. [Sug17] Toshi Sugiyama. The moduli space of polynomial maps and their ﬁxed-point mul tipliers. Adv. Math. 322 (2017), pp. 132–185. 50 [Tah18] Guillaume Tahar. Counting saddle connections in ﬂat surfaces with poles of hi gher order . Geom. Dedicata 196.1 (2018), pp. 145–186. [Zor06] Anton Zorich. “Flat surfaces.” In: Frontiers in number ...

work page arXiv 2017

[13] [13]

Springer, 2006, pp. 437–583. (Dawei Chen) Boston College, Chesnut Hill, MA 02467, USA Email address: chenvp@bc.edu (Quentin Gendron) I nstituto de Matem´aticas de la UNAM, Ciudad Universitaria, Tenochtitl´an, 04510, M ´exico Email address: quentin.gendron@im.unam.mx (Miguel Prado) G oethe University, Frankfurt am Main, Hessen 60325, Germany Email address:...

work page 2006