Double Hurwitz numbers and multisingularity loci in genus 0

Dimitri Zvonkine; Maxim Kazarian; Sergei Lando

Double Hurwitz numbers and multisingularity loci in genus 0

T0 review · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A cohomological identity on strata of rational Hurwitz spaces yields a new differential recursion that determines all genus 0 double Hurwitz numbers.

desk verdict New geometric recursion for genus-0 double Hurwitz numbers, credible and worth refereeing, but the key multiplicity lemma is delegated to a prior paper and needs scrutiny. read the letter →

arxiv 1908.00455 v1 pith:7JSZQVXN submitted 2019-08-01 math.AG

Maxim Kazarian , Sergei Lando , Dimitri Zvonkine This is my paper · ORCID

classification math.AG

keywords locihurwitzfunctionsgivennumbersclassescohomologydeduce

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Double Hurwitz numbers count rational maps from the Riemann sphere to itself with prescribed orders of zeros and poles, and with only simple branch points elsewhere. They are central objects in enumerative geometry and integrable systems, and explicit formulas were already known through Schur functions and the cut-and-join equation. This paper gives a new, geometric way to compute them.

The authors work with Hurwitz spaces, spaces of rational functions with fixed pole orders. Functions whose zeros have prescribed orders form subvarieties, the multisingularity strata. The main cohomological identity says that the class of the stratum where one more derivative vanishes is equal to a Chern class times the class of the previous stratum, minus explicit boundary contributions. The multiplicities of these boundary contributions are computed from local models of degenerating functions.

Integrating this identity against psi-classes and summing into a generating function X turns it into a differential equation, Theorem 1.7. This equation is a recursion: it expresses every stratum degree, hence every genus 0 double Hurwitz number, as a polynomial in simple initial series z_{d,r}(q). The paper lists explicit examples such as h_{(2)}, h_{(3)}, h_{(4)}, and h_{(2,2,2)}. It also proves string and dilaton equations that simplify the recursion, and connects the smooth part of the residual polynomial generator to the KP hierarchy.

Extended reading notes

Core claim

Theorem 1.7: the descendant Hurwitz potential X obeys the differential equation dX/dt_{s+1,m} = dX/dt_{s,m} + s dX/dt_{s,m+1} minus a boundary sum involving Psi_{a,l} and derivatives of X, and these equations provide a recursion that expresses every x_{lambda,nu}(q), hence every genus 0 double Hurwitz number, as a polynomial in the explicit series z_{d,r}(q). The paper states: 'These differential equations provide a recursion for the coefficients of the series X.'

Load-bearing premise

Theorem 3.3(d): the vanishing order of the section f^{(lambda_1)}(x_1) along the boundary stratum P X^{J;sigma_1,...,sigma_l}_{lambda_1,...,lambda_r} equals sigma_1 * ... * sigma_l, computed in Section 3.2 using the local parametrization u_i = zeta_i c^{r_i} bar{u}_i and the normal form (4). The proof is 'rather concise' and defers to Lemma 2.1 of the authors' prior paper [10]. If this multiplicity were wrong, every coefficient of the recursion built from (3) would be wrong, so the entire computation of Hurwitz numbers would shift.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Let me give you the quick take on Kazarian–Lando–Zvonkine. The paper has a genuinely new idea: it derives a recursion for genus-0 double Hurwitz numbers from a cohomological identity on multisingularity strata in Hurwitz spaces, rather than from the usual cut-and-join or Frobenius machinery. The central recursion (Theorem 1.7) and the identity (3) appear to be new, and the derivation is coherent. The paper also proves string and dilaton equations for the descendant potential, and the worked examples (h_(2), h_(3), h_(2,2), etc.) are consistent with known numbers. That is a solid piece of work.

The soft spots are real but manageable. The one that matters is Theorem 3.3(d), the vanishing order σ1···σℓ of the section f^(λ1)(x1) along boundary strata. That multiplicity is load-bearing: every coefficient produced by the recursion is linear in these products. But the proof is explicitly a sketch and defers to Lemma 2.1 of the authors' earlier paper [10]. The local parametrization in §3.2 is plausible, but the published examples do not isolate the case where the branch count σ1···σℓ/K is nontrivial, so the recursion is not independently checked in that delicate regime. I don't think it's wrong, but a referee should insist on a self-contained proof or a precise cite to [10] with the necessary details. There's also a duplicated section header ("Proof of the recursion" appears as 3.3 and 3.4), which is a drafting slip, not a mathematical issue. Theorem 6.1 about the KP hierarchy is more of a remark; it's restricted to smooth fibers and the paper itself admits the pushforward computation is incomplete. I'd treat that as a side claim, not a load-bearing one.

The citation pattern is fine: the reliance on [10] and [3] is legitimate given the subject. The paper is honest about the higher-genus obstacle. On the whole, the central argument holds up, conditional on the deferred lemma. I'd send it to a serious referee. If you work on Hurwitz numbers, it's worth a close read; I'd probably cite it for the approach.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central claim rests on standard moduli theory plus two externally cited computations: the Segre class push-forward formula from [3] and the vanishing order lemma from the authors' own [10]. No parameters are fitted; the initial conditions are explicit closed sums. The list below records the axioms the paper does not prove internally.

assumptions (5)

domain assumption Total Segre class formula for the cone H_{r|kappa} over M_{r+n}: pi_*(1/(1-xi)) = prod_i k_i^{k_i}/(k_i!(1-k_i psi_{r+i}))
Used in Section 2.2 to compute initial conditions x_{(0,...,0),nu}; quoted from [3] without proof.
domain assumption Vanishing order lemma (Lemma 2.1 of [10]) for the lambda_1-th derivative along boundary strata, extended to supplementary marked points
The proof of Theorem 3.3(d) in Section 3.2 defers to [10]; the coefficient sigma_1*...*sigma_l in the cohomological identity (3) rests on it.
standard math Standard intersection numbers of psi-classes on M_{0,n}: integral psi_1^{k_1}...psi_n^{k_n} = (n-3 choose k_1,...,k_n) when the sum is n-3
Used in Proposition 1.5 and Section 2.2; cited to [16] (Witten).
domain assumption Kazarian's multisingularity principle and the representation of universal residual polynomials via Schur polynomials and KP tau functions
Section 6 assumes the residual polynomial machinery from [8] and the KP hierarchy facts for the smooth part; verification of the constants is by examples in [8].
standard math Local product decomposition of deformations of ramification loci (Proposition 3.5)
Proved in Section 3.2 using standard monodromy gluing; underpins the description of boundary divisors and the vanishing order computation.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Double Hurwitz numbers and multisingularity loci in genus 0." pith.science (2026). https://pith.science/paper/7JSZQVXN

@misc{pith2026190800455,
  author       = {Pith},
  title        = {Pith review of: Double Hurwitz numbers and multisingularity loci in genus 0},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7JSZQVXN}},
  note         = {Machine review of arXiv:1908.00455}
}

read the original abstract

In the Hurwitz space of rational functions on CP^1 with poles of given orders, we study the loci of multisingularities, that is, the loci of functions with a given ramification profile over 0. We prove a recursion relation on the Poincare dual cohomology classes of these loci and deduce a differential equation on Hurwitz numbers.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

[10]

Kazarian, S

M. Kazarian, S. Lando, D. Zvonkine, Universal cohomological expressions for singularities in families of genus 0 stable maps , International Mathematics Re- search Notices 22 (2018), 6817–6843, doi.org/10.1093/imrn/rnx070

work page doi:10.1093/imrn/rnx070 2018
[3]

Ekedahl, S

T. Ekedahl, S. K. Lando, M. Shapiro, A. Vainshtein, Hurwitz numbers and in- tersections on moduli spaces of curves , Invent. math., 146, 297–327 (2001) 27

work page 2001
[1]

Albarello, M

E. Albarello, M. Cornalba, P. Griﬃths, Geometry of algebraic curves Vol. II , Springer (2011)

work page 2011
[2]

Bychkov, Degrees of cohomology classes of multsingularities in Hurw itz spaces of rational functions , Funct

B. Bychkov, Degrees of cohomology classes of multsingularities in Hurw itz spaces of rational functions , Funct. Anal. Appl., 53, no. 1, 11–22 (2019)

work page 2019
[4]

W. Fulton. Intersection theory , vol. 2 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Su rveys in Mathematics]. Springer-Verlag, Berlin, second edition, 1998

work page 1998
[5]

I. P. Goulden, D. M. Jackson, Transitive factorisation into transpositions and holomorphic mappings on the sphere , Proc. Amer. Math. Soc., 125, no. 1, 51– 60 (1997)

work page 1997
[6]

Kazarian, Multisingularities, cobordisms, and enumerative geometr y, Uspekhi Mat

M. Kazarian, Multisingularities, cobordisms, and enumerative geometr y, Uspekhi Mat. Nauk, no 4, 58 (2003), 29–88; translation in Russian Math. Surveys, (4) 58 (2003), 665-724

work page 2003
[7]

Kazarian, S

M. Kazarian, S. Lando, On intersection theory on Hurwitz spaces , Izv. Ross. Akad. Nauk Ser. Mat., 68, no. 5, 91–122 (2004); translation in Izv. Math. 68, no. 5, 935–964 (2004)

work page 2004

Show all 17 references

[8]

Kazarian, S

M. Kazarian, S. Lando, Thom polynomials for mappings of curves with isolated singularities, in Tr. Mat. Inst. Steklova (2007) Anal. i Osob. Ch. 1; translated in: Proc. Steklov Inst. Math. (2007), no. 1, 93–106

2007
[9]

Kazarian, S

M. Kazarian, S. Lando, Combinatorial solutions to integrable hirarchies , Uspekhi Mat. Nauk 70 (2015), no. 3 (423), 77–106. English translation: 20 15 Russ. Math. Surv. vol. 70, 453–482

2015
[11]

S. K. Lando, A. K. Zvonkin, Graphs on surfaces and their applications , Springer (2004)

2004
[12]

S. K. Lando, D. Zvonkine, On multiplicities of the Lyashko-Looijenga mapping on strata of the discriminant , Funktsional. Anal. i Prilozhen., 33, no. 3, 21–34, (1999); translation in Funct. Anal. Appl., 33, no. 3, 178–188 (1999)

1999
[13]

S. K. Lando, D. Zvonkine, Counting Ramiﬁed Coverings and Intersection Theory on Spaces of Rational Functions I (Cohomology of Hurwitz Spa ces), Moscow Math. J., 7 (1), 85–107 (2007)

2007
[14]

Okounkov, Toda equations for Hurwitz numbers , Math

A. Okounkov, Toda equations for Hurwitz numbers , Math. Res. Lett. 7 (2000), no. 4, 447–453

2000
[15]

Sauvaget, Cohomology classes of strata of diﬀerentials

A. Sauvaget, Cohomology classes of strata of diﬀerentials. , arXiv:1701.07867

arXiv
[16]

Witten Two-dimensional gravity and intersection theory on moduli space, Sur- veys in diﬀerential geometry (Cambridge, MA, 1990), 243–310, Le high Univ., Bethlehem, PA, 1991

E. Witten Two-dimensional gravity and intersection theory on moduli space, Sur- veys in diﬀerential geometry (Cambridge, MA, 1990), 243–310, Le high Univ., Bethlehem, PA, 1991. 28

1990
[17]

D. Zvonkine, An algebra of power series arising in the intersection theor y of mod- uli spaces of curves and in the enumeration of ramiﬁed coveri ngs of the sphere , math.AG/0403092 (2004) 29 pi xn+1

2004

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [10]

Kazarian, S

M. Kazarian, S. Lando, D. Zvonkine, Universal cohomological expressions for singularities in families of genus 0 stable maps , International Mathematics Re- search Notices 22 (2018), 6817–6843, doi.org/10.1093/imrn/rnx070

work page doi:10.1093/imrn/rnx070 2018

[2] [3]

Ekedahl, S

T. Ekedahl, S. K. Lando, M. Shapiro, A. Vainshtein, Hurwitz numbers and in- tersections on moduli spaces of curves , Invent. math., 146, 297–327 (2001) 27

work page 2001

[3] [1]

Albarello, M

E. Albarello, M. Cornalba, P. Griﬃths, Geometry of algebraic curves Vol. II , Springer (2011)

work page 2011

[4] [2]

Bychkov, Degrees of cohomology classes of multsingularities in Hurw itz spaces of rational functions , Funct

B. Bychkov, Degrees of cohomology classes of multsingularities in Hurw itz spaces of rational functions , Funct. Anal. Appl., 53, no. 1, 11–22 (2019)

work page 2019

[5] [4]

W. Fulton. Intersection theory , vol. 2 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Su rveys in Mathematics]. Springer-Verlag, Berlin, second edition, 1998

work page 1998

[6] [5]

I. P. Goulden, D. M. Jackson, Transitive factorisation into transpositions and holomorphic mappings on the sphere , Proc. Amer. Math. Soc., 125, no. 1, 51– 60 (1997)

work page 1997

[7] [6]

Kazarian, Multisingularities, cobordisms, and enumerative geometr y, Uspekhi Mat

M. Kazarian, Multisingularities, cobordisms, and enumerative geometr y, Uspekhi Mat. Nauk, no 4, 58 (2003), 29–88; translation in Russian Math. Surveys, (4) 58 (2003), 665-724

work page 2003

[8] [7]

Kazarian, S

M. Kazarian, S. Lando, On intersection theory on Hurwitz spaces , Izv. Ross. Akad. Nauk Ser. Mat., 68, no. 5, 91–122 (2004); translation in Izv. Math. 68, no. 5, 935–964 (2004)

work page 2004