Double Hurwitz numbers: polynomiality, topological recursion and intersection theory
Gaëtan Borot, Norman Do, Maksim Karev, Danilo Lewański, Ellena Moskovsky
备注：
44 pages; v2: This version corrects the statements of Theorem 1.5 (ELSV-like formula) and Theorem 1.6 (vanishing), as well as adding new results on intersection numbers involving Chiodo classes
Double Hurwitz numbers enumerate branched covers of $\mathbb{CP}^1$ with prescribed ramification over two points and simple ramification elsewhere. In contrast to the single case, their underlying geometry is not well understood. In previous work by the second- and third-named authors, the double Hurwitz numbers were conjectured to satisfy a polynomiality structure and to be governed by the topological recursion, analogous to existing results concerning single Hurwitz numbers. In this paper, we resolve these conjectures by a careful analysis of the semi-infinite wedge representation for double Hurwitz numbers, by pushing further methods previously used for other Hurwitz problems. We deduce a preliminary version of an ELSV-like formula for double Hurwitz numbers, by deforming the Johnson-Pandharipande-Tseng formula for orbifold Hurwitz numbers and using properties of the topological recursion under variation of spectral curves. In the course of this analysis, we unveil certain vanishing properties of the Chiodo classes.
We prove quasi-polynomiality for monotone and strictly monotone orbifold Hurwitz numbers. The second enumerative problem is also known as enumeration of a special kind of Grothendieck's dessins d'enfants or $r$-hypermaps. These statements answer positively two conjectures proposed by Do-Karev and Do-Manescu. We also apply the same method to the usual orbifold Hurwitz numbers and obtain a new proof of the quasi-polynomiality in this case. In the second part of the paper we show that the property of quasi-polynomiality is equivalent in all these three cases to the property that the $n$-point gen…
In this paper we present an example of a derivation of an ELSV-type formula using the methods of topological recursion. Namely, for orbifold Hurwitz numbers we give a new proof of the spectral curve topological recursion, in the sense of Chekhov, Eynard, and Orantin, where the main new step compared to the existing proofs is a direct combinatorial proof of their quasi-polynomiality. Spectral curve topological recursion leads to a formula for the orbifold Hurwitz numbers in terms of the intersection theory of the moduli space of curves, which, in this case, appears to coincide with a special ca…
We study rational double Hurwitz cycles, i.e. loci of marked rational stable curves admitting a map to the projective line with assigned ramification profiles over two fixed branch points. Generalizing the phenomenon observed for double Hurwitz numbers, such cycles are piecewise polynomial in the entries of the special ramification; the chambers of polynomiality and wall crossings have an explicit and "modular" description. A main goal of this paper is to simultaneously carry out this investigation for the corresponding objects in tropical geometry, underlining a precise combinatorial duality …
We describe double Hurwitz numbers as intersection numbers on the moduli space of curves. Assuming polynomiality of the Double Ramification Cycle (which is known in genera 0 and 1), our formula explains the polynomiality in chambers of double Hurwitz numbers, and the wall crossing phenomenon in terms of a variation of correction terms to the ψ classes. We interpret this as suggestive evidence for polynomiality of the Double Ramification Cycle.
In this paper we give a new proof of the ELSV formula. First, we refine an argument of Okounkov and Pandharipande in order to prove (quasi-)polynomiality of Hurwitz numbers without using the ELSV formula (the only way to do that before used the ELSV formula). Then, using this polynomiality we give a new proof of the Bouchard-Mariño conjecture. After that, using the correspondence between the Givental group action and the topological recursion coming from matrix models, we prove the equivalence of the Bouchard-Mariño conjecture and the ELSV formula (it is a refinement of an argument by Eynard).
We derive explicit formulae for the generating series of mixed Grothendieck dessins d'enfant/monotone/simple Hurwitz numbers, via the semi-infinite wedge formalism. This reveals the strong piecewise polynomiality in the sense of Goulden-Jackson-Vakil, generalising a result of Johnson, and provides a new explicit proof of the piecewise polynomiality of the mixed case. Moreover, we derive wall-crossing formulae for the mixed case. These statements specialise to any of the three types of Hurwitz numbers, and to the mixed case of any pair.
Hurwitz numbers count genus $g$, degree $d$ covers of the complex projective line with fixed branched locus and fixed ramification data. An equivalent description is given by factorisations in the symmetric group. Simple double Hurwitz numbers are a class of Hurwitz-type counts of specific interest. In recent years a related counting problem in the context of random matrix theory was introduced as so-called monotone Hurwitz numbers. These can be viewed as a desymmetrised version of the Hurwitz-problem. A combinatorial interpolation between simple and monotone double Hurwitz numbers was introdu…
Using Atiyah-Bott localization on the space of stable maps to the stack quotient $[\mathbb{P}^1/\mathbb{Z}_2]$, we find recursions that determine all Hodge integrals with descendent insertions at one marked point on the hyperelliptic locus $\overline{\mathcal{H}}_{g, 2g + 2} \subseteq \overline{\mathcal{M}}_{g, 2g + 2}$. The initial conditions required for our recursions are gravitational descendents at one marked point, which are known to be $\frac{1}{2}$. We discover a new structure concerning these intersection numbers: for a fixed monomial of $λ$-classes, the resulting family of hyperellip…
Single Hurwitz numbers enumerate branched covers of the Riemann sphere with specified genus, prescribed ramification over infinity, and simple branching elsewhere. They exhibit a remarkably rich structure. In particular, they arise as intersection numbers on moduli spaces of curves and are governed by the topological recursion of Chekhov, Eynard and Orantin. Double Hurwitz numbers are defined analogously, but with prescribed ramification over both zero and infinity. Goulden, Jackson and Vakil have conjectured that double Hurwitz numbers also arise as intersection numbers on moduli spaces. In t…
We analyze Chiodo's formulas for the Chern classes related to the r-th roots of the suitably twisted integer powers of the canonical class on the moduli space of curves. The intersection numbers of these classes with psi-classes are reproduced via the Chekhov-Eynard-Orantin topological recursion. As an application, we prove that the Johnson-Pandharipande-Tseng formula for the orbifold Hurwitz numbers is equivalent to the topological recursion for the orbifold Hurwitz numbers. In particular, this gives a new proof of the topological recursion for the orbifold Hurwitz numbers.
The KP and 2D Toda tau-functions of hypergeometric type that serve as generating functions for weighted single and double Hurwitz numbers are related to the topological recursion programme. A graphical representation of such weighted Hurwitz numbers is given in terms of weighted constellations. The associated classical and quantum spectral spectral curves are derived, and these are interpreted combinatorially in terms of the graphical model. The pair correlators are given a finite Christoffel-Darboux representation and determinantal expressions are obtained for the multipair correlators. The g…
We prove that a generalisation of simple Hurwitz numbers due to Johnson, Pandharipande and Tseng satisfy the topological recursion of Eynard and Orantin. This generalises the Bouchard-Marino conjecture and places Hurwitz-Hodge integrals, which arise in the Gromov--Witten theory of target curves with orbifold structure, in the context of the Eynard-Orantin topological recursion.
In this paper, we discuss the properties of the generating functions of spin Hurwitz numbers. In particular, for spin Hurwitz numbers with arbitrary ramification profiles, we construct the weighed sums which are given by Orlov's hypergeometric solutions of the 2-component BKP hierarchy. We derive the closed algebraic formulas for the correlation functions associated with these tau-functions, and under reasonable analytical assumptions we prove the loop equations (the blobbed topological recursion). Finally, we prove a version of topological recursion for the spin Hurwitz numbers with the spin …
Simple Hurwitz numbers enumerate branched morphisms between Riemann surfaces with fixed ramification data. In recent years, several variants of this notion for genus $0$ base curves have appeared in the literature. Among them are so-called monotone Hurwitz numbers, which are related to the HCIZ integral in random matrix theory and strictly monotone Hurwitz numbers which count certain Grothendieck dessins d'enfants. We generalise the notion of Hurwitz numbers to interpolations between simple, monotone and strictly monotone Hurwitz numbers to any genus and any number of arbitrary but fixed ramif…
We calculate the Laplace transform of the cut-and-join equation of Goulden, Jackson and Vakil. The result is a polynomial equation that has the topological structure identical to the Mirzakhani recursion formula for the Weil-Petersson volume of the moduli space of bordered hyperbolic surfaces. We find that the direct image of this Laplace transformed equation via the inverse of the Lambert W-function is the topological recursion formula for Hurwitz numbers conjectured by Bouchard and Marino using topological string theory.
We present several recent developments on ELSV-type formulae and topological recursion concerning Chiodo classes and several kind of Hurwitz numbers. The main results appeared in D. Lewanski, A. Popolitov, S. Shadrin, D. Zvonkine, "Chiodo formulas for the r-th roots and topological recursion", Lett. Math. Phys. (2016).
We give a short and direct proof of the $λ_g$-Conjecture. The approach is through the Ekedahl-Lando-Shapiro-Vainshtein theorem, which establishes the ``polynomiality'' of Hurwitz numbers, from which we pick off the lowest degree terms. The proof is independent of Gromov-Witten theory. We briefly describe the philosophy behind our general approach to intersection numbers and how it may be extended to other intersection number conjectures.
Hurwitz spaces parameterizing covers of the Riemann sphere can be equipped with a Frobenius structure. In this review, we recall the construction of such Hurwitz Frobenius manifolds as well as the correspondence between semisimple Frobenius manifolds and the topological recursion formalism. We then apply this correspondence to Hurwitz Frobenius manifolds by explaining that the corresponding primary invariants can be obtained as periods of multidifferentials globally defined on a compact Riemann surface by topological recursion. Finally, we use this construction to reply to the following questi…
Double Hurwitz numbers count branched covers of the projective line with fixed branch points, with simple branching required over all but two points 0 and infinity, and the branching over 0 and infinity specified by partitions of the degree (with m and n parts respectively). Single Hurwitz numbers have a rich structure, explored by authors in many fields. The ELSV formula relates single Hurwitz numbers to intersection theory on the moduli space of curves, and has led to many consequences. We determine the structure of double Hurwitz numbers using geometry, algebra, and representation theory. O…
We derive an algorithm to produce explicit formulas for certain generating functions of double Hurwitz numbers. These formulas generalize a formula of Goulden, Jackson and Vakil for one part double Hurwitz numbers. Immediate consequences include a new proof that double Hurwitz numbers are piecewise polynomial, an understanding of the chamber structure and wall crossing for these polynomials, and a proof of the Goulden, Jackson and Vakil's Strong Piecewise Polynomiality conjecture. The method is a straightforward application of Okounkov's expression for double Hurwitz numbers in terms of operat…
Multiparametric families of hypergeometric $τ$-functions of KP or Toda type serve as generating functions for weighted Hurwitz numbers, providing weighted enumerations of branched covers of the Riemann sphere. A graphical interpretation of the weighting is given in terms of constellations mapped onto the covering surface. The theory is placed within the framework of topological recursion, with the Baker function at ${\bf t} ={\bf 0}$ shown to satisfy the quantum spectral curve equation, whose classical limit is rational. A basis for the space of formal power series in the spectral variable is …
We perform a key step towards the proof of Zvonkine's conjectural $r$-ELSV formula that relates Hurwitz numbers with completed $(r+1)$-cycles to the geometry of the moduli spaces of the $r$-spin structures on curves: we prove the quasi-polynomiality property prescribed by Zvonkine's conjecture. Moreover, we propose an orbifold generalization of Zvonkine's conjecture and prove the quasi-polynomiality property in this case as well. In addition to that, we study the $(0,1)$- and $(0,2)$-functions in this generalized case and we show that these unstable cases are correctly reproduced by the spectr…
We derive a closed-form expression for all genus 1 Hurwitz numbers, and give a simple new graph-theoretic interpretation of Hurwitz numbers in genus 0 and 1. (Hurwitz numbers essentially count irreducible genus g covers of the sphere, with arbitrary specified branching over one point, simple branching over other specified points, and no other branching. The problem is equivalent to counting transitive factorisations of permutations into transpositions.) These results prove a conjecture of Goulden and Jackson, and extend results of Hurwitz and many others.
We study mirror symmetry for orbifold Hurwitz numbers. We show that the Laplace transform of orbifold Hurwitz numbers satisfy a differential recursion, which is then proved to be equivalent to the integral recursion of Eynard and Orantin with spectral curve given by the r-Lambert curve. We argue that the r-Lambert curve also arises in the infinite framing limit of orbifold Gromov-Witten theory of [C3/(Z/rZ)]. Finally, we prove that the mirror model to orbifold Hurwitz numbers admits a quantum curve.
In this paper, we collect a number of facts about double Hurwitz numbers, where the simple branch points are replaced by their more general analogues --- completed (r+1)-cycles. In particular, we give a geometric interpretation of these generalised Hurwitz numbers and derive a cut-and-join operator for completed (r+1)-cycles. We also prove a strong piecewise polynomiality property in the sense of Goulden-Jackson-Vakil. In addition, we propose a conjectural ELSV/GJV-type formula, that is, an expression in terms of some intrinsic combinatorial constants that might be related to the intersection …
The classical Hurwitz numbers which count coverings of a complex curve have an analog when the curve is endowed with a theta characteristic. These "spin Hurwitz numbers", recently studied by Eskin, Okounkov and Pandharipande, are interesting in their own right. By the authors' previous work, they are also related to the Gromov-Witten invariants of Kahler surfaces. We prove a recursive formula for spin Hurwitz numbers, which then gives the dimension zero GW invariants of Kahler surfaces with positive geometric genus. The proof uses a degeneration of spin curves, an invariant defined by the spec…
Various generating functions of simple Hurwitz numbers of the projective line are known to satisfy many properties. They include a heat equation, the Eynard-Orantin topological recursion, an infinite-order differential equation called a quantum curve equation, and a Schroedinger like partial differential equation. In this paper we generalize these properties to simple Hurwitz numbers with an arbitrary base curve.
We study double Hurwitz numbers in genus zero counting the number of covers $\CP^1\to\CP^1$ with two branching points with a given branching behavior. By the recent result due to Goulden, Jackson and Vakil, these numbers are piecewise polynomials in the multiplicities of the preimages of the branching points. We describe the partition of the parameter space into polynomiality domains, called chambers, and provide an expression for the difference of two such polynomials for two neighboring chambers. Besides, we provide an explicit formula for the polynomial in a certain chamber called totally n…
Hurwitz numbers, which count certain covers of the projective line (or, equivalently, factorizations of permuations into transpositions), have been extensively studied for over a century. The Gromov-Witten potential F of a point, the generating series for Hodge integrals on the moduli space of curves, has been a central object of study in Gromov-Witten theory. We define a slightly enriched Gromov-Witten potential G (including integrals involving one "lambda-class"), and show that after a non-trivial change of variables, G=H in positive genus, where H is a generating series for Hurwitz numbers.…
We give a new proof of the cut-and-join equation for the monotone Hurwitz numbers, derived first by Goulden, Guay-Paquet, and Novak. Our proof in particular uses a combinatorial technique developed by Han. The main interest in this particular equation is its close relation to the quadratic loop equation in the theory of spectral curve topological recursion, and we recall this motivation giving a new proof of the topological recursion for monotone Hurwitz numbers, obtained first by Do, Dyer, and Mathews.
We propose a new, conjectural recursion solution for Hurwitz numbers at all genera. This conjecture is based on recent progress in solving type B topological string theory on the mirrors of toric Calabi-Yau manifolds, which we briefly review to provide some background for our conjecture. We show in particular how this B-model solution, combined with mirror symmetry for the one-leg, framed topological vertex, leads to a recursion relation for Hodge integrals with three Hodge class insertions. Our conjecture in Hurwitz theory follows from this recursion for the framed vertex in the limit of infi…
Although powers of the Young-Jucys-Murphya elements X_i = (1 i) + ... +(i-1 i), i = 1, ..., n, in the symmetric group S_n acting on {1, ...,n} do not lie in the centre of the group algebra of S_n, we show that transitive powers, namely the sum of the contributions from elements that act transitively on {1, >...,n}, are central. We determine the coefficients, which we call star factorization numbers, that occur in the resolution of transitive powers with respect to the class basis of the centre of S_n, and show that they have a polynomiality property. These centrality and polynomiality properti…
The Eynard-Orantin recursion formula provides an effective tool for certain enumeration problems in geometry. The formula requires a spectral curve and the recursion kernel. We present a uniform construction of the spectral curve and the recursion kernel from the unstable geometries of the original counting problem. We examine this construction using four concrete examples: Grothendieck's dessins d'enfants (or higher-genus analogue of the Catalan numbers), the intersection numbers of tautological cotangent classes on the moduli stack of stable pointed curves, single Hurwitz numbers, and the st…
In this ``experimental'' research, we use known topological recursion relations in genera-zero, -one, and -two to compute the n-point descendant Gromov-Witten invariants of P^1 for arbitrary degrees and low values of n. The results are consistent with the Virasoro conjecture and also lead to explicit computations of all Hodge integrals in these genera. We also derive new recursion relations for simple Hurwitz numbers similar to those of Graber and Pandharipande.
In this note, we use the method of [3] to give a simple proof of famous Witten conjecture. Combining the coefficients derived in our note and this method, we can derive more recursion formulas of Hodge integrals.
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.
Hurwitz numbers count ramified genus $g$, degree $d$ coverings of the projective line with with fixed branch locus and fixed ramification data. Double Hurwitz numbers count such covers, where we fix two special profiles over $0$ and $\infty$ and only simple ramification else. These objects feature insteresting structural behaviour and connections to geometry. In this paper, we introduce the notion of pruned double Hurwitz numbers, generalizing the notion of pruned simple Hurwitz numbers in \cite{DN13}. We show that pruned double Hurwitz numbers, similar to usual double Hurwitz numbers, satisfy…
We prove that topological recursion applied to the spectral curve of colored HOMFLY-PT polynomials of torus knots reproduces the n-point functions of a particular partition function called the extended Ooguri-Vafa partition function. This generalizes and refines the results of Brini-Eynard-Marino and Borot-Eynard-Orantin. We also discuss how the statement of spectral curve topological recursion in this case fits into the program of Alexandrov-Chapuy-Eynard-Harnad of establishing the topological recursion for general weighted double Hurwitz numbers partition functions (a.k.a. KP tau-functions o…
We establish a polynomial recursion formula for linear Hodge integrals. It is obtained as the Laplace transform of the cut-and-join equation for the simple Hurwitz numbers. We show that the recursion recovers the Witten-Kontsevich theorem when restricted to the top degree terms, and also the combinatorial factor of the lambda_g formula as the lowest degree terms.
The main objects under consideration in this thesis are called maps, a certain class of graphs embedded on surfaces. Our problems have a powerful relatively recent tool in common, the so-called topological recursion (TR) introduced by Chekhov, Eynard and Orantin. We call a map fully simple if it has non self-intersecting disjoint boundaries, and ordinary if such a restriction is not imposed. We study the combinatorial relation between fully simple and ordinary maps with the topology of a disk or a cylinder, which reproduces relations between moments and free cumulants established in the contex…
Edge-contraction operations form an effective tool in various graph enumeration problems, such as counting Grothendieck's dessins d'enfants and simple and double Hurwitz numbers. These counting problems can be solved by a mechanism known as topological recursion, which is a mirror B-model corresponding to these counting problems. We show that for the case of orbifold Hurwitz numbers, the mirror objects, i.e., the spectral curve and the differential forms on it, are constructed solely from the edge-contraction operations of the counting problem in genus $0$ and one marked point. This forms a pa…
