Completed volumes and the DR-cycle
Pith reviewed 2026-06-29 15:24 UTC · model grok-4.3
The pith
Completed volumes agree with the top tautological intersection on the double ramification cycle.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We show that the completed volumes introduced by Duriev-Goujard-Yakovlev as an approximation to compute Masur-Veech volumes via Witten-Kontsevich's combinatorial classes agrees with the top intersection of the tautological class on the double ramification cycle, computable as a coefficient of a Chiodo class. For the proof we describe the components of the double ramification cycle and their excess intersection classes to the extent seen by the top tautological intersection. This gives a recursion computing completed volumes in terms of volumes appearing in a certain set of level graphs, not only for quadratic differentials. It also completes the work of Duriev-Goujard-Yakovlev solving the te
What carries the argument
The double ramification cycle together with its top tautological intersection, identified with completed volumes via Chiodo class coefficients.
If this is right
- Completed volumes satisfy a recursion relating them to volumes on a finite collection of level graphs.
- The recursion applies to strata of quadratic differentials and to strata with two singularities.
- Masur-Veech volume approximations become expressible directly as coefficients in Chiodo classes.
- The identification supplies an intersection-theoretic route to the same numerical values previously obtained by combinatorial methods.
Where Pith is reading between the lines
- The same cycle description may produce recursions for other intersection numbers on the moduli space of curves that are invisible to the top tautological class.
- If the recursion can be solved in closed form for families of level graphs, it would yield explicit formulas for completed volumes in arbitrary genus.
- The link suggests that volume computations for flat surfaces can be recast as questions about the tautological ring of the double ramification cycle.
Load-bearing premise
The components of the double ramification cycle and the excess intersection classes they contribute are the ones that matter for the top tautological intersection.
What would settle it
Pick a concrete stratum with two singularities, compute the completed volume numerically from the Duriev-Goujard-Yakovlev definition, compute the corresponding top tautological intersection on the double ramification cycle via the Chiodo class coefficient, and check whether the two numbers are identical.
read the original abstract
We show that the completed volumes introduced by Duriev-Goujard-Yakovlev as an approximation to compute Masur-Veech volumes via Witten-Kontsevich's combinatorial classes agrees with the top intersection of the tautological class on the double ramification cycle, computable as a coefficient of a Chiodo class. For the proof we describe the components of the double ramification cycle and their excess intersection classes to the extent seen by the top tautological intersection. This gives a recursion computing completed volumes in terms of volumes appearing in a certain set of level graphs, not only for quadratic differentials. It also completes the work of Duriev-Goujard-Yakovlev solving the technically most involved case of strata with two singularities.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that completed volumes (as introduced by Duriev-Goujard-Yakovlev) equal the top intersection of the tautological class on the double ramification cycle; this intersection is further identified as a coefficient of a Chiodo class. The proof strategy consists of enumerating the relevant components (level graphs) of the DR-cycle, computing their excess intersection classes with the tautological class to the extent visible in top degree, and deriving a recursion that expresses completed volumes in terms of volumes on lower strata. The argument is asserted to complete the two-singularity case left open in prior work.
Significance. If the component analysis and excess-intersection computations hold, the result supplies a geometric interpretation of completed volumes inside the tautological ring, yields an explicit recursion usable for computation, and resolves the remaining quadratic-differential case with two singularities. The link to Chiodo-class coefficients offers a potential new computational avenue for Masur-Veech volumes.
major comments (2)
- [Proof strategy (component description and excess intersections)] The central equality rests on the assertion that the listed level-graph components and their excess classes capture every contribution to the top tautological intersection on the DR-cycle. In the two-singularity case (explicitly highlighted as the technically most involved part), an omitted component or an incorrect excess class would invalidate the recursion and the coefficient extraction; the manuscript must therefore supply a complete, case-by-case verification that every admissible level graph appears and that the top-degree part of its excess class is correctly computed.
- [Recursion derivation] The recursion relating completed volumes to volumes on a certain set of level graphs is derived from the excess-intersection calculation. The precise statement of this recursion, the range of level graphs it involves, and the induction or base-case verification that closes the recursion must be stated explicitly; any gap in the two-singularity base case propagates to all higher strata.
minor comments (2)
- Notation for level graphs, excess classes, and the precise definition of the top tautological intersection should be fixed at the first appearance and used consistently thereafter.
- The manuscript should include a short table or diagram summarizing the admissible level graphs that contribute in the two-singularity case.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. The suggestions highlight the need for greater explicitness in the presentation of the component analysis and recursion. We address each major comment below, indicating the revisions that will be incorporated into the next version.
read point-by-point responses
-
Referee: [Proof strategy (component description and excess intersections)] The central equality rests on the assertion that the listed level-graph components and their excess classes capture every contribution to the top tautological intersection on the DR-cycle. In the two-singularity case (explicitly highlighted as the technically most involved part), an omitted component or an incorrect excess class would invalidate the recursion and the coefficient extraction; the manuscript must therefore supply a complete, case-by-case verification that every admissible level graph appears and that the top-degree part of its excess class is correctly computed.
Authors: We agree that a fully explicit case-by-case verification is necessary, particularly for the two-singularity strata. The manuscript enumerates the admissible level graphs and computes the relevant top-degree excess intersections in the proof of the main result. To strengthen the exposition as requested, we will add a dedicated subsection that lists every admissible level graph for the two-singularity case together with the explicit excess-class computation in top degree. This revision will make the completeness of the enumeration transparent without changing the underlying argument. revision: yes
-
Referee: [Recursion derivation] The recursion relating completed volumes to volumes on a certain set of level graphs is derived from the excess-intersection calculation. The precise statement of this recursion, the range of level graphs it involves, and the induction or base-case verification that closes the recursion must be stated explicitly; any gap in the two-singularity base case propagates to all higher strata.
Authors: The recursion appears as Theorem 1.2 and is derived in Section 4 from the excess-intersection formula of Proposition 3.5. The level graphs in question are those with the level structures arising in the boundary of the DR-cycle for the given singularities. The two-singularity base cases are settled by the component analysis. We will revise the theorem statement to define the precise range of level graphs explicitly and add a short paragraph confirming the inductive closure together with the verification of the base cases. This addresses the request for an explicit formulation. revision: yes
Circularity Check
No circularity: equality derived from explicit geometric component analysis of DR-cycle
full rationale
The paper claims the equality between completed volumes and the top tautological intersection on the DR-cycle by describing the components (level graphs) and computing their excess intersections with the tautological class, yielding a recursion and Chiodo coefficient extraction. This is a direct geometric computation rather than any reduction by construction, fitted parameter renamed as prediction, or load-bearing self-citation chain. No quoted step equates a derived quantity to its input via definition or prior author work invoked as uniqueness theorem. The derivation is self-contained via the component analysis and prior external definitions of DR-cycle and Chiodo classes.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard intersection theory and properties of the tautological ring on moduli spaces of curves hold.
- domain assumption Definitions and basic properties of completed volumes, DR-cycle, and level graphs from Duriev-Goujard-Yakovlev and related works.
Reference graph
Works this paper leans on
-
[1]
Conjectural large genus asymptotics of Masur-Veech volumes and of area Siegel-Veech constants of strata of quadratic differentials
[ADGZZ20] A. Aggarwal, V. Delecroix, ´E. Goujard, P. Zograf, and A. Zorich. “Conjectural large genus asymptotics of Masur-Veech volumes and of area Siegel-Veech constants of strata of quadratic differentials”. In:Arnold Math. J.6.2 (2020), pp. 149–161. [Agg20] A. Aggarwal. “Large genus asymptotics for volumes of strata of abelian differentials”. In:J. Am....
2020
-
[2]
[Agg21] A. Aggarwal. “Large genus asymptotics for intersection numbers and principal strata volumes of quadratic differentials”. In:Invent. Math. 226.3 (2021), pp. 897–1010. [BCGGM2] M. Bainbridge, D. Chen, Q. Gendron, S. Grushevsky, and M. M¨ oller. “Strata ofk-differentials”. In:Algebr. Geom.6.2 (2019), pp. 196–233. [BCGGM3] M. Bainbridge, D. Chen, Q. G...
-
[3]
A tale of two moduli spaces: logarithmic and multi-scale differentials
[CGHMS25] D. Chen, S. Grushevsky, D. Holmes, M. M¨ oller, and J. Schmitt. “A tale of two moduli spaces: logarithmic and multi-scale differentials”. In: ´Epijournal de G´ eom. Alg´ ebr., EPIGA9 (2025). Id/No 21, p
2025
-
[4]
Towards an enumerative geometry of the moduli space of twisted curves andrth roots
[CGPT25] D. Chen, Q. Gendron, M. Prado, and G. Tahar.Finite isoresidual covers in strata ofk-differentials. (2025). arXiv:2510.01630. [CH24] A. Chiodo and D. Holmes.The Hodge-Double-Ramification conjec- ture and Mumford’s formula on the universal Picard stack. (2024). arXiv:2407.09086. [Chi08] A. Chiodo. “Towards an enumerative geometry of the moduli spac...
-
[5]
Enumeration of meanders and Masur-Veech volumes
[DGY25] E. Duryev, E. Goujard, and I. Yakovlev.Volumes of odd strata of quadratic differentials. (2025). arXiv:2502.13121. [DGZZ20] V. Delecroix, ´E. Goujard, P. Zograf, and A. Zorich. “Enumeration of meanders and Masur-Veech volumes”. In:Forum Math. Pi8 (2020). Id/No e4, p
-
[6]
[DGZZ21] V. Delecroix, ´E. Goujard, P. Zograf, and A. Zorich. “Masur-Veech volumes, frequencies of simple closed geodesics, and intersection num- bers of moduli spaces of curves”. In:Duke Math. J.170.12 (2021), pp. 2633–2718. [DGZZ22] V. Delecroix, ´E. Goujard, P. Zograf, and A. Zorich. “Large genus asymptotic geometry of random square-tiled surfaces and ...
-
[7]
Volumes of strata of moduli spaces of quadratic differ- entials: getting explicit values
Folge. A Series of Modern Surveys in Mathematics. Springer-Verlag, Berlin, 1998, pp. xiv+470. [Gou16] E. Goujard. “Volumes of strata of moduli spaces of quadratic differ- entials: getting explicit values”. In:Ann. Inst. Fourier66.6 (2016), pp. 2203–2251. [HS21] D. Holmes and J. Schmitt. “Infinitesimal structure of the pluricanon- ical double ramification ...
1998
-
[8]
Volume forms on moduli spaces ofd-differentials
[Ngu22] D.-M. Nguyen. “Volume forms on moduli spaces ofd-differentials”. In:Geom. Topol.26.7 (2022), pp. 3173–3220. [Sau18] A. Sauvaget. “Volumes and Siegel–Veech constants ofH(2g−2) and Hodge integrals”. In:Geom. Funct. Anal.28.6 (2018), pp. 1756–1779. [Sau21] A. Sauvaget. “The large genus asymptotic expansion of Masur-Veech volumes”. In:Int. Math. Res. ...
2022
-
[9]
Flat surfaces
AMS, 1991, pp. 243–310. [Zor06] A. Zorich. “Flat surfaces”. In:Frontiers in number theory, physics, and geometry I. On random matrices, zeta functions, and dynamical systems. Papers from the meeting, Les Houches, France, March 9–21,
1991
-
[10]
Berlin: Springer, 2006, pp. 437–583. Institut f ¨ur Mathematik, Goethe–Universit ¨at Frankfurt, Robert-Mayer-Str. 6–8, 60325 Frankfurt am Main, Germany Email address:moeller@math.uni-frankfurt.de Email address:prado@math.uni-frankfurt.de
2006
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.