Towards the geometry of double Hurwitz numbers

• Published in: Advances in mathematics (New York. 1965) Vol. 198; no. 1; pp. 43 - 92
• Main Authors: Goulden, I.P., Jackson, D.M., Vakil, R.
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.12.2005
• Subjects: Hurwitz numbers; Moduli of curves; Picard variety; Picard variety; primary 14H10; Moduli of curves; secondary 05E05; 14K30; Hurwitz numbers
• ISSN: 0001-8708; 1090-2082
• DOI: 10.1016/j.aim.2005.01.008

Double Hurwitz numbers count branched covers of CP 1 with fixed branch points, with simple branching required over all but two points 0 and ∞ , and the branching over 0 and ∞ specified by partitions of the degree (with m and n parts, respectively). Single Hurwitz numbers (or more usually, Hurwitz numbers) have a rich structure, explored by many authors in fields as diverse as algebraic geometry, symplectic geometry, combinatorics, representation theory, and mathematical physics. The remarkable ELSV formula relates single Hurwitz numbers to intersection theory on the moduli space of curves. This connection has led to many consequences, including Okounkov and Pandharipande's proof of Witten's conjecture. In this paper, we determine the structure of double Hurwitz numbers using techniques from geometry, algebra, and representation theory. Our motivation is geometric: we give evidence that double Hurwitz numbers are top intersections on a moduli space of curves with a line bundle (a universal Picard variety). In particular, we prove a piecewise-polynomiality result analogous to that implied by the ELSV formula. In the case m = 1 (complete branching over one point) and n is arbitrary, we conjecture an ELSV-type formula, and show it to be true in genus 0 and 1. The corresponding Witten-type correlation function has a richer structure than that for single Hurwitz numbers, and we show that it satisfies many geometric properties, such as the string and dilaton equations, and an Itzykson–Zuber-style genus expansion ansatz. We give a symmetric function description of the double Hurwitz generating series, which leads to explicit formulae for double Hurwitz numbers with given m and n, as a function of genus. In the case where m is fixed but not necessarily 1, we prove a topological recursion on the corresponding generating series, which leads to closed-form expressions for double Hurwitz numbers and an analogue of the Goulden–Jackson polynomiality conjecture (an early conjectural variant of the ELSV formula). In a later paper (Faber's intersection number conjecture and genus 0 double Hurwitz numbers, 2005, in preparation), the formulae in genus 0 will be shown to be equivalent to the formulae for “top intersections” on the moduli space of smooth curves M g . For example, three formulae we give there will imply Faber's intersection number conjecture (in: Moduli of Curves and Abelian Varieties, Aspects of Mathematics, vol. E33, Vieweg, Braunschweig, 1999, pp. 109–129) in arbitrary genus with up to three points.