Eskin and Okounkov (2001) computed the volumes of all strata of Abelian differentials by identifying them with the asymptotic enumeration of branched coverings of a torus, and in an explicit 'Some open problems' subsection posed two problems: separate the volumes of the connected components of a stratum, and compute the volumes of the analogously defined strata of quadratic differentials. The component problem for Abelian strata has since been resolved — Chen, Möller, Sauvaget and Zagier (2020) express the volume of every spin and hyperelliptic component as an intersection number — while the quadratic problem has been reduced to a sharp conjecture: Chen, Möller and Sauvaget conjecture an intersection-theoretic formula for the Masur–Veech volume of every stratum of quadratic differentials with at most simple poles, proven so far only for odd zero orders and for the principal strata, with exact genus-zero values known from the work of Athreya–Eskin–Zorich. Volumes of general quadratic strata are currently known only through lattice-point counting algorithms and numerical tables (exact values up to complex dimension 10, due to Goujard), exact hyperelliptic-component formulas, and recursions in the odd/principal sector. The open problem is to determine, by a proven exact formula valid for arbitrary singularity data (including even-order zeros, i.e. relative periods), the Masur–Veech volumes of all strata of quadratic differentials — equivalently, to prove the Chen–Möller–Sauvaget conjecture in full generality; the March 2026 survey of Chen and Mullane records the general formula as its Problem 3.9.

Background

A holomorphic (Abelian) differential ω\omega on a Riemann surface Σ\Sigma defines a flat metric with conical singularities at the zeros of ω\omega; away from the zeros, integrating ω\omega gives charts whose transition maps are translations, and the pair (Σ,ω)(\Sigma,\omega) is called a translation surface. Fixing the multiplicities μ=(μ1,…,μn)\mu=(\mu_1,\dots,\mu_n) of the zeros, with ∑μi=2g−2\sum\mu_i=2g-2, cuts out a stratum H(μ)\mathcal{H}(\mu) inside the moduli space of pairs (curve, differential). A stratum carries period coordinates — the integrals of ω\omega over a basis of the relative homology H1(Σ,{zeros})H_1(\Sigma,\{\text{zeros}\}) form a local coordinate system — so Lebesgue measure in these coordinates is well defined up to a lattice. After restricting to the area-one hypersurface H1(μ)\mathcal{H}_1(\mu), where the area is i2∫ω∧ωˉ\tfrac{i}{2}\int\omega\wedge\bar\omega, and passing to the induced cone measure, Masur and Veech proved independently that the total volume ν(H1(μ))\nu(\mathcal{H}_1(\mu)) is finite. This Masur–Veech volume is the fundamental normalization constant of the SL(2,R)SL(2,\mathbb{R}) action and the Teichmüller geodesic flow on the stratum: it enters the Siegel–Veech constants, i.e. the quadratic growth rates of counts of flat cylinders or saddle connections (geodesic segments for the flat metric joining two singularities with none in their interior) on a typical surface, which in turn govern renormalization statistics for billiards in rational polygons and interval exchange transformations (piecewise-translation maps of an interval defined by finitely many subinterval permutations).

Eskin and Okounkov (2001) computed these volumes for all strata of Abelian differentials. Their starting point is the interpretation, due to Kontsevich–Zorich and independently Masur–Eskin, of the volume as the leading asymptotics of a weighted count of connected branched coverings of a torus of fixed ramification type — equivalently, of square-tiled surfaces, i.e. translation surfaces tiled by finitely many unit squares. The relevant generating functions are quasimodular forms (polynomials in the classical Eisenstein series of modular-forms theory), and Eskin–Okounkov extracted the q→1q\to 1 asymptotics through the asymptotic analysis of sums over partitions, obtaining an effective algorithm for every volume constant together with the rationality statement π−2gν(H1(μ))∈Q\pi^{-2g}\nu(\mathcal{H}_1(\mu))\in\mathbb{Q}, conjectured earlier by Kontsevich and Zorich.

Two issues were explicitly left open in the paper's subsection 'Some open problems'. First, strata can be disconnected: by the Kontsevich–Zorich classification, a stratum H(μ)\mathcal{H}(\mu) whose entries are all even has up to three components, distinguished by the parity of the spin structure that the differential induces on the curve — a theta characteristic, i.e. a square root of the canonical line bundle, whose parity is a Z/2\mathbb{Z}/2-valued invariant constant on connected components — and, in two exceptional families, by hyperellipticity (existence of a central involution whose quotient is a sphere); the Eskin–Okounkov formulas give only the total volume of H1(μ)\mathcal{H}_1(\mu), not the volume of each component, although component volumes are the quantities relevant for ergodic-theoretic applications (small-genus component volumes had been determined by Zorich). Second, the paper treats only holomorphic 1-forms: 'Another problem important for applications is to compute the volumes of similarly defined moduli spaces of quadratic differentials.'

A meromorphic quadratic differential qq with at most simple poles (order −1-1) and prescribed zero/pole orders di≥−1d_i\geq -1 with ∑di=4g−4\sum d_i=4g-4 defines a half-translation surface: flat charts whose transition maps identify only up to sign, a simple pole appearing as a cone point of angle π\pi. The strata Q(d1,…,dn)\mathcal{Q}(d_1,\dots,d_n) of such qq carry period coordinates on the canonical double cover (the translation surface obtained by taking a square root of qq), hence a Masur–Veech measure and volume of their own; quadratic strata are the natural setting for billiards in arbitrary rational polygons. The counting counterpart of Eskin–Okounkov's torus covers is pillowcase covers — covers of the pillowcase orbifold, the quotient of a square torus by its elliptic involution z↦−zz\mapsto -z — whose counting functions Eskin–Okounkov (2006) proved to be quasimodular, making quadratic-stratum volumes computable in principle from lattice-point counting. Strata of quadratic differentials with at most simple poles are connected or split into hyperelliptic and non-hyperelliptic connected components (classification of Lanneau).

The decisive later development is the intersection-theoretic reinterpretation of volumes. Strata admit modular compactifications (Bainbridge–Chen–Gendron–Grushevsky–Möller), on which one can integrate tautological classes, i.e. the natural cohomology classes given as Chern classes of the standard bundles: the class ξ=c1(O(1))\xi=c_1(\mathcal{O}(1)) of the Hodge bundle (whose fiber records the cohomology class of the differential), its quadratic analogue ζ\zeta, and the ψ\psi-classes, the first Chern classes of the cotangent line bundles at the marked points. Chen–Möller–Sauvaget–Zagier (2020) proved that for every stratum of Abelian differentials the Masur–Veech volume is, up to an explicit factor, one such intersection number, that the same formula and an effective recursion hold for every spin and hyperelliptic component (resolving Eskin–Okounkov's first open problem, up to a technical metric-extension assumption on minimal strata), and derived the large-genus limits conjectured by Eskin–Zorich. For quadratic differentials, Chen–Möller–Sauvaget proved the analogous intersection formula for strata with odd zero orders and for the principal strata (simple zeros), where it reduces to linear Hodge integrals, and conjectured it in general; Goujard had earlier computed explicit volume values for all quadratic strata of complex dimension at most 10 by pillowcase counting, together with exact closed formulas for hyperelliptic components; Athreya–Eskin–Zorich computed the genus-zero strata exactly. What remains open is the general case — strata containing even-order zeros, i.e. with relative periods — in closed, proven form.

Problem Statement

Let g≥0g\geq 0 and let (μ,ν)(\mu,\nu) be a partition of 4g−44g-4 into even parts μ=(2m1,…,2mr)\mu=(2m_1,\dots,2m_r) and odd parts ν=(2n1−1,…,2ns)\nu=(2n_1-1,\dots,2n_s), with mi,nj≥0m_i,n_j\geq 0 (an entry nj=0n_j=0 is a simple pole of order −1-1; an entry mi=0m_i=0 is an ordinary marked point). Denote by Qg,r+s(μ,ν)\mathcal{Q}_{g,r+s}(\mu,\nu) the stratum of meromorphic quadratic differentials on genus-gg Riemann surfaces with these singularity orders, all zeros, poles, and marked points labeled (the convention of Chen–Möller–Sauvaget; only simple poles are allowed), and by vol⁡(Qg,r+s(μ,ν))\operatorname{vol}(\mathcal{Q}_{g,r+s}(\mu,\nu)) its Masur–Veech volume, i.e. the total cone measure of the area hypersurface of the stratum (in the Chen–Möller–Sauvaget convention, the hypersurface of half-translation surfaces of area 1/21/2, so that the canonical double cover has area one), in any of the standard normalizations (Eskin–Okounkov, Athreya–Eskin–Zorich, Goujard, or Chen–Möller–Sauvaget), converted to one another explicitly.

Determine vol⁡(Qg,r+s(μ,ν))\operatorname{vol}(\mathcal{Q}_{g,r+s}(\mu,\nu)) for arbitrary data (μ,ν)(\mu,\nu) by a proven exact formula. The recognized precise form of this target is Conjecture 1.1 of Chen–Möller–Sauvaget:

vol⁡(Qg,r+s(μ,ν))=2 r−s+3 (2πi) 2g−2+s(2g−3+r+s)!∫PQ‾g,r+s(μ,ν)ζ 2g+s−3 ψ1⋯ψr\operatorname{vol}\bigl(\mathcal{Q}_{g,r+s}(\mu,\nu)\bigr)=\frac{2^{\,r-s+3}\,(2\pi i)^{\,2g-2+s}}{(2g-3+r+s)!}\int_{\overline{\mathbb{P}\mathcal{Q}}_{g,r+s}(\mu,\nu)}\zeta^{\,2g+s-3}\,\psi_1\cdots\psi_r

where the integral is over the closure of the projectivized stratum PQg,r+s(μ,ν)=Qg,r+s(μ,ν)/C∗\mathbb{P}\mathcal{Q}_{g,r+s}(\mu,\nu)=\mathcal{Q}_{g,r+s}(\mu,\nu)/\mathbb{C}^* in its incidence-variety compactification (the compactification of Bainbridge–Chen–Gendron–Grushevsky–Möller in which a stratum with its labeled singularities closes up), ζ=c1(O(1))\zeta=c_1(\mathcal{O}(1)) is the first Chern class of the universal line bundle O(1)\mathcal{O}(1) on the projectivized stratum (the quadratic analogue of the Hodge class), and ψ1,…,ψr\psi_1,\dots,\psi_r are the cotangent line classes at the even-order zeros. The target is to prove this formula for all singularity data, in particular the case r≥1r\geq 1 of even-order zeros (relative periods), which contains every case still open; the formula is known for odd zero orders (Chen–Möller–Sauvaget, Theorem 1.2), for the principal strata, and, in genus-zero form, from the work of Athreya–Eskin–Zorich. Refuting the conjecture would resolve it negatively without determining the volumes. The expected principal application — not a required deliverable — is a proof of the conjectural large-genus asymptotics for arbitrary quadratic strata (Aggarwal–Delecroix–Goujard–Zograf–Zorich), currently proven only for principal strata.

References

  1. Alex Eskin and Andrei Okounkov (2001). Asymptotics of numbers of branched coverings of a torus and volumes of moduli spaces of holomorphic differentials. Inventiones mathematicae 145(1), 59–103. DOI: 10.1007/s002220100142, https://doi.org/10.1007/s002220100142 (arXiv:math/0006171, https://arxiv.org/abs/math/0006171)
  2. Howard Masur (1982). Interval exchange transformations and measured foliations. Annals of Mathematics 115(1), 169–200. DOI: 10.2307/1971341, https://doi.org/10.2307/1971341
  3. William A. Veech (1982). Gauss measures for transformations on the space of interval exchange maps. Annals of Mathematics 115(2), 201–242. DOI: 10.2307/1971391, https://doi.org/10.2307/1971391
  4. M. Kontsevich and A. Zorich (2003). Connected components of the moduli spaces of Abelian differentials with prescribed singularities. Inventiones mathematicae 153(3), 631–678. DOI: 10.1007/s00222-003-0303-x, https://doi.org/10.1007/s00222-003-0303-x
  5. A. Eskin, H. Masur, and A. Zorich (2003). Moduli spaces of Abelian differentials: the principal boundary, counting problems, and the Siegel–Veech constants. Publications Mathématiques de l'IHÉS 97, 61–179. DOI: 10.1007/s10240-003-0015-1, https://doi.org/10.1007/s10240-003-0015-1
  6. A. Eskin and A. Okounkov (2006). Pillowcases and quasimodular forms. In: Algebraic Geometry and Number Theory (ed. V. Ginzburg), Progress in Mathematics 253, Birkhäuser, 1–25. DOI: 10.1007/978-0-8176-4532-8_1, https://doi.org/10.1007/978-0-8176-4532-8_1
  7. A. Eskin, A. Okounkov, and R. Pandharipande (2008). The theta characteristic of a branched covering. Advances in Mathematics 217(3), 873–888. DOI: 10.1016/j.aim.2006.08.001, https://doi.org/10.1016/j.aim.2006.08.001
  8. Erwan Lanneau (2008). Connected components of the strata of the moduli spaces of quadratic differentials. Annales scientifiques de l'École Normale Supérieure 41(1), 1–56. DOI: 10.24033/asens.2062, https://doi.org/10.24033/asens.2062
  9. Alex Eskin and Anton Zorich (2015). Volumes of strata of Abelian differentials and Siegel–Veech constants in large genera. Arnold Mathematical Journal 1(4), 481–488. DOI: 10.1007/s40598-015-0028-0, https://doi.org/10.1007/s40598-015-0028-0
  10. Jayadev S. Athreya, Alex Eskin, and Anton Zorich (2016). Right-angled billiards and volumes of moduli spaces of quadratic differentials on CP^1. Annales scientifiques de l'École Normale Supérieure 49(6), 1311–1386. DOI: 10.24033/asens.2310, https://doi.org/10.24033/asens.2310 (arXiv:1212.1660, https://arxiv.org/abs/1212.1660)
  11. Elise Goujard (2016). Volumes of strata of moduli spaces of quadratic differentials: getting explicit values. Annales de l'Institut Fourier 66(6), 2203–2251. DOI: 10.5802/aif.3062, https://doi.org/10.5802/aif.3062 (arXiv:1501.01611, https://arxiv.org/abs/1501.01611)
  12. Adrien Sauvaget (2018). Volumes and Siegel–Veech constants of H(2g−2)\mathcal{H}(2g-2) and Hodge integrals. Geometric and Functional Analysis 28(6), 1756–1779. DOI: 10.1007/s00039-018-0468-5, https://doi.org/10.1007/s00039-018-0468-5 (arXiv:1801.01744, https://arxiv.org/abs/1801.01744)
  13. Matt Bainbridge, Dawei Chen, Quentin Gendron, Samuel Grushevsky, and Martin Möller (2018). Compactification of strata of Abelian differentials. Duke Mathematical Journal 167(12), 2347–2416. DOI: 10.1215/00127094-2018-0012, https://doi.org/10.1215/00127094-2018-0012 (arXiv:1604.08834, https://arxiv.org/abs/1604.08834)
  14. Alex Eskin, Maxim Kontsevich, and Anton Zorich (2014). Sum of Lyapunov exponents of the Hodge bundle with respect to the Teichmüller geodesic flow. Publications Mathématiques de l'IHÉS 120, 207–333. DOI: 10.1007/s10240-013-0060-3, https://doi.org/10.1007/s10240-013-0060-3
  15. Dawei Chen, Martin Möller, Adrien Sauvaget, and Don Zagier (2020). Masur–Veech volumes and intersection theory on moduli spaces of Abelian differentials. Inventiones mathematicae 222(1), 283–373. DOI: 10.1007/s00222-020-00969-4, https://doi.org/10.1007/s00222-020-00969-4 (arXiv:1901.01785, https://arxiv.org/abs/1901.01785)
  16. Amol Aggarwal (2020). Large genus asymptotics for volumes of strata of abelian differentials. Journal of the American Mathematical Society 33(4), 941–989. DOI: 10.1090/jams/947, https://doi.org/10.1090/jams/947
  17. Amol Aggarwal, Vincent Delecroix, Élise Goujard, Peter Zograf, and Anton Zorich (2020). Conjectural large genus asymptotics of Masur–Veech volumes and of area Siegel–Veech constants of strata of quadratic differentials. Arnold Mathematical Journal 6(2), 149–161. DOI: 10.1007/s40598-020-00139-7, https://doi.org/10.1007/s40598-020-00139-7
  18. Vincent Delecroix, Élise Goujard, Peter Zograf, and Anton Zorich (2020). Enumeration of meanders and Masur–Veech volumes. Forum of Mathematics, Pi 8, e4. DOI: 10.1017/fmp.2020.2, https://doi.org/10.1017/fmp.2020.2
  19. Di Yang, Don Zagier, and Youjin Zhang (2020). Masur–Veech volumes of quadratic differentials and their asymptotics. Journal of Geometry and Physics 158, 103870. DOI: 10.1016/j.geomphys.2020.103870, https://doi.org/10.1016/j.geomphys.2020.103870
  20. Maxim Kazarian (2022). Recursion for Masur–Veech volumes of moduli spaces of quadratic differentials. Journal of the Institute of Mathematics of Jussieu 21(4), 1471–1476 (published online 2021). DOI: 10.1017/s1474748020000638, https://doi.org/10.1017/s1474748020000638 (arXiv:1912.10422, https://arxiv.org/abs/1912.10422)
  21. Vincent Delecroix, Élise Goujard, Peter Zograf, and Anton Zorich (2021). Masur–Veech volumes, frequencies of simple closed geodesics and intersection numbers of moduli spaces of curves. Duke Mathematical Journal 170(12), 2633–2718. DOI: 10.1215/00127094-2021-0054, https://doi.org/10.1215/00127094-2021-0054
  22. Amol Aggarwal (2021). Large genus asymptotics for intersection numbers and principal strata volumes of quadratic differentials. Inventiones mathematicae 226(3), 897–1010. DOI: 10.1007/s00222-021-01059-9, https://doi.org/10.1007/s00222-021-01059-9
  23. Vincent Delecroix, Élise Goujard, Peter Zograf, and Anton Zorich (2023). Counting lattice points in moduli spaces of quadratic differentials. In: Proceedings of the International Congress of Mathematicians (ICM 2022), vol. 3, EMS Press, 2196–2211. DOI: 10.4171/icm2022/56, https://doi.org/10.4171/icm2022/56
  24. Dawei Chen, Martin Möller, and Adrien Sauvaget, with an appendix by G. Borot, A. Giacchetto, and D. Lewanski (2023). Masur–Veech volumes and intersection theory: the principal strata of quadratic differentials. Duke Mathematical Journal 172(9), 1735–1779. DOI: 10.1215/00127094-2022-0063, https://doi.org/10.1215/00127094-2022-0063 (arXiv:1912.02267, https://arxiv.org/abs/1912.02267)
  25. Jan-Willem van Ittersum and Adrien Sauvaget (2025). Cylinder counts and spin refinement of area Siegel–Veech constants. Commentarii Mathematici Helvetici 100(3), 559–617. DOI: 10.4171/cmh/590, https://doi.org/10.4171/cmh/590 (arXiv:2210.17374, https://arxiv.org/abs/2210.17374)
  26. Eduard Duryev, Elise Goujard, and Ivan Yakovlev (2025). Volumes of odd strata of quadratic differentials. arXiv:2502.13121, https://arxiv.org/abs/2502.13121
  27. Martin Möller and Miguel Prado (2026). Completed volumes and the DR-cycle. arXiv:2605.27611, https://arxiv.org/abs/2605.27611
  28. Dawei Chen and Scott Mullane (2026). A tale of two volumes of moduli spaces: Weil-Petersson and Masur-Veech. arXiv:2603.07318, https://arxiv.org/abs/2603.07318 (survey; its Problem 3.9 poses proving the general intersection-theoretic volume formula for strata of quadratic differentials as an open problem)