ELSV formula: Hurwitz numbers as Hodge integrals

Intuition Beginner

A branched cover of the sphere is a map from one Riemann surface to the sphere that wraps it some fixed number of times $d$ (the degree) and is locally a copy of $z\mapsto z^k$ near a finite set of branch points where sheets pinch together. A Hurwitz number counts such covers. The simplest case asks: how many degree-$d$ covers of the sphere by a smooth genus-$g$ surface have one prescribed ramification pattern over the north pole and only the mildest ramification (one pair of sheets exchanged) over each of finitely many other branch points? This count is the simple Hurwitz number $H_g(\mu )$, with the partition $\mu$ recording the ramification pattern over the north pole.

The ELSV formula reveals a startling identity: this combinatorial branched-cover count equals an integral on the moduli space of stable pointed curves, a different geometric object entirely. The right-hand side is a number obtained by integrating tautological classes — Chern classes of certain natural vector bundles on the moduli space — against the fundamental class of the moduli space. The bridge between the two sides is enumerative geometry; what looks like a problem about counting maps to the sphere turns out to be a problem about integrating natural cohomology classes on a moduli space.

Why does anyone care? Because Hurwitz numbers are easy to enumerate combinatorially but very hard to package into closed-form generating functions. Hodge integrals are hard to enumerate combinatorially but obey a rich web of equations, including the Mumford relation that the even Chern characters of the Hodge bundle vanish and the topological recursion of Chekhov-Eynard-Orantin. ELSV translates a hard combinatorial counting problem into a different hard problem with much more structure, and the two together are easier than either alone.

Visual Beginner

A two-panel diagram. The left panel shows a branched cover: a smooth genus-$g$ surface mapped down to the sphere ${\mathbb{P}}^1$ by a degree-$d$ map, with one heavily-ramified branch point at the north pole carrying the ramification pattern given by the partition $\mu =({\mu }_1,{\mu }_2,\dots ,{\mu }_n)$, and $r$ further branch points each carrying a single transposition. The Riemann-Hurwitz formula counts $r=2g-2+n+d$. The right panel shows the moduli space ${\overline{\mathcal{M}}}_{g,n}$ of stable $n$-pointed curves, with the Hodge bundle $\mathbb{E}$ and the cotangent line bundles ${\mathbb{L}}_i$ drawn schematically as natural vector bundles on the moduli space. An arrow labelled "ELSV" connects the two panels.

Worked example Beginner

Take the simplest non-degenerate case: genus $g=0$, partition $\mu =(1,1)$. A degree-$d=2$ cover of the sphere by a sphere is a double cover, branched at two points. With ramification pattern $(1,1)$ over the north pole — meaning the two sheets are separate there, so the north pole is not a branch point — branching happens elsewhere. The Riemann-Hurwitz count gives $r=2(0)-2+2+2=2$ simple branch points. There is one degree-$2$ cover of ${\mathbb{P}}^1$ branched at any two points (up to the deck involution), so $H_0(1,1)=1/2$, with the $1/2$ coming from the automorphism group of $(1,1)$.

Step 1. Apply the genus-zero ELSV identity. For $g=0$ the Hodge bundle has rank zero, so the leading factor is $1$ and the integrand on ${\overline{\mathcal{M}}}_{0,n}$ simplifies to the product $1/(1-{\mu }_1{\psi }_1)(1-{\mu }_2{\psi }_2)\cdots$. For $n=2$ the dimension of the moduli space is $3\cdot 0-3+2=-1$, below zero; the moduli space is empty, and the formula is then read as a formal limit from the lowest case $n=3$ at $g=0$.

Step 2. Bump to a small calculable case: $g=0$, $\mu =(2)$ a single marked point with double ramification. Then $d=2$, $n=1$, and $r=-2+1+2=1$ — a single simple branch point. The double cover of ${\mathbb{P}}^1$ totally ramified at one point and simply branched at one other point is the $z\mapsto z^2$ map, unique up to choice of branch locus. The Hurwitz count is $H_0(2)=1/2$, with the half coming from the automorphism of the cover.

Step 3. What the ELSV side computes. The right-hand side reads, formally, the combinatorial prefactor $(r!/|\mathrm{Aut}(\mu )|)\cdot (2^2/2!)$ times an integral of $1/(1-2{\psi }_1)$ over ${\overline{\mathcal{M}}}_{0,1}$. The moduli space ${\overline{\mathcal{M}}}_{0,1}$ is empty (the dimension $3(0)-3+1=-2$ is negative), and the integral is set to be $1/d$ in the limit by the standard formal extension; one recovers $H_0(2)=1/2$ once the prefactor is included.

The pattern holds: ELSV reads the same number off the moduli side as off the cover side. The next cases $\mu =(3)$ and $\mu =(1,1,1)$ live on ${\overline{\mathcal{M}}}_{0,1}$ and ${\overline{\mathcal{M}}}_{0,3}$, both with predictable dimensions, and ELSV reproduces the combinatorial counts $H_0(3)$ and $H_0(1,1,1)$ given by the genus-zero closed form.

What this tells us: a count of branched covers and an integral of cohomology classes on a moduli space agree, and the agreement is not a coincidence — it reflects a deep enumerative identity that organises infinitely many such counts into a single closed formula.

Check your understanding Beginner

Formal definition Intermediate+

Let $k=\mathbb{C}$ throughout (the ELSV statement is naturally a complex-geometric theorem, though admissible-covers compactifications work in greater generality). Fix integers $g\ge 0$ and $n\ge 1$, a partition $\mu =({\mu }_1,\dots ,{\mu }_n)$ of an integer $d={\sum }_{i=1}^n{\mu }_i\ge 1$, and write $|\mathrm{Aut}(\mu )|$ for the order of the stabiliser of $\mu$ under the action of $S_n$ permuting the parts.

Definition (simple Hurwitz number). The simple Hurwitz number $H_g(\mu )$ is the weighted count of equivalence classes of degree-$d$ branched covers $f:C\to {\mathbb{P}}^1$ from a smooth connected genus-$g$ Riemann surface $C$ such that:

• the ramification profile of $f$ over $\infty \in {\mathbb{P}}^1$ is the partition $\mu$, with the preimage $f^{-1}(\infty )=\{p_1,\dots ,p_n\}$ as labelled marked points and $f$ totally ramified to order ${\mu }_i$ at $p_i$;
• $f$ has $r=2g-2+n+d$ further branch points $b_1,\dots ,b_r\in {\mathbb{P}}^1\setminus \{\infty \}$, fixed in general position, with the ramification profile over each $b_j$ a single transposition (one pair of sheets swapped, $r-2$ sheets unramified);
• two such covers are equivalent if they differ by an isomorphism of $C$ over ${\mathbb{P}}^1$ fixing the labelled marked points;
• each equivalence class is counted with weight $1/|\mathrm{Aut}(f)|$.

The Riemann-Hurwitz formula 04.04.02 forces $r=2g-2+n+d$: the total ramification contribution is ${\sum }_i({\mu }_i-1)+r\cdot 1=(d-n)+r$, and equating to $2g-2+2d$ yields the count.

Definition (Hodge bundle and Hodge classes). Let $\pi :{\overline{\mathcal{C}}}_{g,n}\to {\overline{\mathcal{M}}}_{g,n}$ be the universal curve over the moduli space of stable $n$-pointed curves 04.10.26, and let ${\omega }_{\pi }$ be the relative dualising sheaf. The Hodge bundle $\mathbb{E}={\pi }_{\ast }{\omega }_{\pi }$ is a rank-$g$ vector bundle on ${\overline{\mathcal{M}}}_{g,n}$ whose fibre over a smooth point $[C;p_1,\dots ,p_n]$ is the space $H^0(C,{\omega }_C)$ of holomorphic differentials on $C$. The Hodge classes are ${\lambda }_j=c_j(\mathbb{E})\in H^{2j}({\overline{\mathcal{M}}}_{g,n};\mathbb{Q})$ for $0\le j\le g$. The total Hodge class is $$ \Lambda_g^\vee(1) = \sum_{j = 0}^g (-1)^j \lambda_j = c_g(\mathbb{E}^\vee) + \cdots + (-c_1(\mathbb{E})) + 1, $$ the Chern polynomial of the dual Hodge bundle ${\mathbb{E}}^{\vee }$ evaluated at $1$ (with sign conventions matching Mumford's). Equivalently, ${\Lambda }_g^{\vee }(1)=c({\mathbb{E}}^{\vee })$ viewed as an inhomogeneous cohomology class.

Definition ($\psi$-classes). For each marked point label $i\in \{1,\dots ,n\}$, the cotangent line bundle at $p_i$ is the line bundle ${\mathbb{L}}_i$ on ${\overline{\mathcal{M}}}_{g,n}$ whose fibre over $[C;p_1,\dots ,p_n]$ is $T_{p_i}^{\ast }C$, the cotangent line of $C$ at the $i$-th marked point. The $\psi$-class at $i$ is ${\psi }_i=c_1({\mathbb{L}}_i)\in H^2({\overline{\mathcal{M}}}_{g,n};\mathbb{Q})$.

Definition (ELSV integrand). The ELSV integrand for partition $\mu$ is the inhomogeneous cohomology class $$ \frac{\Lambda_g^\vee(1)}{\prod_{i = 1}^n (1 - \mu_i \psi_i)} = \Lambda_g^\vee(1) \cdot \prod_{i = 1}^n \sum_{k_i \geq 0} \mu_i^{k_i} \psi_i^{k_i}, $$ where the geometric-series expansion is valid because ${\psi }_i$ is nilpotent on ${\overline{\mathcal{M}}}_{g,n}$ (cup-product nilpotency in the finite-dimensional cohomology of a smooth proper Deligne-Mumford stack of dimension $3g-3+n$). The integral ${\int }_{{\overline{\mathcal{M}}}_{g,n}}$ of this expression selects the dimension-$3g-3+n$ piece and integrates it as a rational number.

Counterexamples to common slips

• The Hurwitz number $H_g(\mu )$ counts smooth covers — covers where the source curve $C$ is smooth and connected. There is a parallel notion of disconnected Hurwitz number that allows disconnected source curves; the two are related by exponentiation of generating series and should not be confused.
• The ramification profile $\mu$ over $\infty$ is an ordered tuple corresponding to labelled marked points; the symmetry $|\mathrm{Aut}(\mu )|$ in the prefactor accounts for the parts of $\mu$ that are equal and so produce equivalent covers under permuting the labels.
• The class ${\Lambda }_g^{\vee }(1)$ is the Chern polynomial of ${\mathbb{E}}^{\vee }$ evaluated at $1$ in the sense ${\sum }_j(-1{)}^j{\lambda }_j$, not the Chern class of a single line bundle. The notation comes from ${\Lambda }_g^{\vee }(t)={\sum }_j{t}^{g-j}(-1{)}^j{\lambda }_j$ being the Chern polynomial of ${\mathbb{E}}^{\vee }$; setting $t=1$ gives the alternating sum.
• The integral ${\int }_{{\overline{\mathcal{M}}}_{g,n}}$ is the proper-pushforward to the point of the dimension-$3g-3+n$ component of the integrand; for $g=0$ the formula reads on ${\overline{\mathcal{M}}}_{0,n}$ which has dimension $n-3$, so the lowest meaningful $n$ is $3$. For $n=1,2$ at $g=0$ the formula is interpreted by analytic continuation of the closed-form genus-zero count.

Key theorem with proof Intermediate+

Theorem (ELSV formula; Ekedahl-Lando-Shapiro-Vainshtein, Invent. Math. 146, 2001). Let $g\ge 0$, let $n\ge 1$, let $\mu =({\mu }_1,\dots ,{\mu }_n)$ be a partition of $d\ge 1$, and let $r=2g-2+n+d\ge 0$. The simple Hurwitz number satisfies $$ H_g(\mu) = \frac{r!}{|\mathrm{Aut}(\mu)|} \prod_{i = 1}^n \frac{\mu_i^{\mu_i}}{\mu_i!} \int_{\overline{\mathcal{M}}{g, n}} \frac{\Lambda_g^\vee(1)}{\prod{i = 1}^n (1 - \mu_i \psi_i)}. $$ (The integral selects the dimension-$3g-3+n$ piece of the inhomogeneous integrand and is a rational number; the equality is in $\mathbb{Q}$.)

Proof. The proof has three principal moves: a parameterisation of the Hurwitz space by an almost-fibration over the moduli space of pointed stable curves with a branch divisor, a virtual-dimension calculation matching the count $r!/|\mathrm{Aut}(\mu )|$ to a top-form integral, and an identification of the integrand with the Hodge–$\psi$ expression. The original argument of Ekedahl-Lando-Shapiro-Vainshtein constructs a particular compactification of the Hurwitz space and a forgetful morphism to ${\overline{\mathcal{M}}}_{g,n}$; we give the structure of the proof, with the geometric core spelled out and the technical compactification arguments referenced.

Step 1: Hurwitz space and forgetful map. Let ${\mathcal{H}}_{g,\mu }$ be the moduli space of degree-$d$ smooth simple Hurwitz covers $f:C\to {\mathbb{P}}^1$ with ramification $\mu$ over $\infty$, $r$ simple branch points elsewhere, and a labelling of the marked points $f^{-1}(\infty )=\{p_1,\dots ,p_n\}$ in the order given by $\mu$. There is a "branch morphism" $\mathrm{br}:{\mathcal{H}}_{g,\mu }\to {\mathrm{Sym}}^r({\mathbb{P}}^1\setminus \{\infty \})$ recording the unordered $r$-tuple of simple branch points. There is also a forgetful map $\mathrm{src}:{\mathcal{H}}_{g,\mu }\to {\mathcal{M}}_{g,n}$ recording the source curve with its marked points.

By the Riemann-Hurwitz count $r=2g-2+n+d$, the branch morphism is finite of degree $H_g(\mu )\cdot r!/|\mathrm{Aut}(\mu )|$ over a generic fibre, because each unordered tuple of $r$ simple branch points and the fixed ramification profile $\mu$ over $\infty$ correspond to $r!/|\mathrm{Aut}(\mu )|$ ordered configurations and, by the original Hurwitz count, to $H_g(\mu )$ labelled covers (each weighted by $1/|\mathrm{Aut}(f)|$, absorbed into the count). After compactifying to admissible covers in the sense of Harris-Mumford 1982 (Invent. Math. 67), the branch morphism extends to a proper morphism $\overline{\mathrm{br}}:{\overline{\mathcal{H}}}_{g,\mu }\to ({\mathbb{P}}^1{)}^r/S_r$, and the source morphism extends to $\overline{\mathrm{src}}:{\overline{\mathcal{H}}}_{g,\mu }\to {\overline{\mathcal{M}}}_{g,n}$.

Step 2: degree of the source morphism and the prefactor $r!/|\mathrm{Aut}(\mu )|$. The composition of $\overline{\mathrm{src}}:{\overline{\mathcal{H}}}_{g,\mu }\to {\overline{\mathcal{M}}}_{g,n}$ with integration on ${\overline{\mathcal{M}}}_{g,n}$ equals integration on ${\overline{\mathcal{H}}}_{g,\mu }$ pulled back along $\overline{\mathrm{src}}$. The Hurwitz count $H_g(\mu )$ extracts the degree of $\overline{\mathrm{br}}$ over a generic point, equivalently the integral over ${\overline{\mathcal{H}}}_{g,\mu }$ of the pullback of a point class. By proper pushforward, this is the integral over ${\overline{\mathcal{M}}}_{g,n}$ of the pushforward of ${\overline{\mathrm{br}}}^{\ast }[\mathrm{pt}]$. The Riemann-Hurwitz dimension count $\dim {\overline{\mathcal{H}}}_{g,\mu }=r$ matches the dimension $r=2g-2+n+d$ of $({\mathbb{P}}^1{)}^r$, so the branch morphism is generically finite, and the prefactor $r!/|\mathrm{Aut}(\mu )|$ records the discrepancy between ordered $r$-tuples (where $\overline{\mathrm{br}}$ naturally lives after dividing by $S_r$) and the labelling convention on $\mu$.

Step 3: identifying the pushforward as a Hodge-$\psi$ integrand. The source morphism $\overline{\mathrm{src}}:{\overline{\mathcal{H}}}_{g,\mu }\to {\overline{\mathcal{M}}}_{g,n}$ exhibits the compactified Hurwitz space as a projectivisation of a bundle whose total Chern class encodes the cohomological data of the branched-cover problem. Specifically, the ramification data $\mu$ over $\infty$ determines a rank-$r$ vector bundle $V_{\mu }\to {\overline{\mathcal{M}}}_{g,n}$ whose total Chern class is computed by Riemann-Roch on the universal curve, and the pushforward of the fundamental class of ${\overline{\mathcal{H}}}_{g,\mu }$ along $\overline{\mathrm{src}}$ equals the top-Segre class $s_{\mathrm{top}}(V_{\mu })$, equivalently $c_{\mathrm{top}}(V_{\mu }^{\vee })$. The Riemann-Roch computation identifies this top-Chern class with ${\Lambda }_g^{\vee }(1)/{\prod }_i(1-{\mu }_i{\psi }_i)$ multiplied by the combinatorial prefactor ${\prod }_i{\mu }_i^{{\mu }_i}/{\mu }_i!$.

The Riemann-Roch identification is the technical heart of the original ELSV paper. The bundle $V_{\mu }$ is constructed by considering, on the universal curve $\pi :{\overline{\mathcal{C}}}_{g,n}\to {\overline{\mathcal{M}}}_{g,n}$ with universal marked sections ${\sigma }_i:{\overline{\mathcal{M}}}_{g,n}\to {\overline{\mathcal{C}}}_{g,n}$, the pushforward ${\pi }_{\ast }{\mathcal{L}}_{\mu }$ of an appropriate line bundle ${\mathcal{L}}_{\mu }={\mathcal{O}}_{\overline{\mathcal{C}}}({\sum }_i{\mu }_i{\sigma }_i)$ recording the ramification divisor. The Grothendieck-Riemann-Roch formula on $\pi$ produces a Chern-character expression involving $\mathrm{ch}(\mathbb{E})$ and the relative-cotangent classes ${\sigma }_i^{\ast }{\omega }_{\pi }={\mathbb{L}}_i$. Mumford's relation ${\mathrm{ch}}_{2k}(\mathbb{E})=0$ for all $k\ge 1$ (Mumford 1983 Arithmetic and Geometry vol. II) simplifies the Chern-character expansion: the only Hodge-class contribution that survives is the total class ${\Lambda }_g^{\vee }(1)=c({\mathbb{E}}^{\vee })$ itself. Combined with the geometric-series expansion $1/(1-{\mu }_i{\psi }_i)={\sum }_k{\mu }_i^k{\psi }_i^k$ coming from the relative-cotangent inverse, the integrand assembles into $$ \frac{\Lambda_g^\vee(1)}{\prod_{i = 1}^n (1 - \mu_i \psi_i)} $$ with the combinatorial prefactor ${\prod }_i{\mu }_i^{{\mu }_i}/{\mu }_i!$ coming from the explicit local model of ${\mathcal{L}}_{\mu }$ near the marked points. Multiplying by the count $r!/|\mathrm{Aut}(\mu )|$ from Step 2 produces the stated formula. $\square$

Bridge. The ELSV formula builds toward the Bouchard-Mariño conjecture and Eynard-Mulase-Safnuk's topological recursion, and the central insight is that the simple Hurwitz number $H_g(\mu )$ is exactly the Hodge integral $r!/|\mathrm{Aut}(\mu )|\cdot {\prod }_i{\mu }_i^{{\mu }_i}/{\mu }_i!\cdot \int {\Lambda }_g^{\vee }(1)/\prod (1-{\mu }_i{\psi }_i)$ on the moduli space of stable pointed curves. This identifies the combinatorial enumeration of branched covers with the intersection theory of tautological classes on ${\overline{\mathcal{M}}}_{g,n}$ 04.10.26. This bridge appears again in 04.10.22 (stable curve / Deligne-Mumford stability), where the compactification by stable pointed curves is the very space on which ELSV's integral is defined, and is dual to the admissible-covers compactification of Harris-Mumford on the Hurwitz space side. The foundational reason the identification holds is Riemann-Roch on the universal curve combined with Mumford's relation ${\mathrm{ch}}_{2k}(\mathbb{E})=0$, and the bridge is that what looks like a combinatorial counting problem is exactly an integral of natural cohomology classes. Putting these together, ELSV generalises the genus-zero closed form of Hurwitz 1891 into a structural result that organises infinitely many Hurwitz numbers across all genera, identifies them with Hodge integrals that obey the Mumford-Witten-Kontsevich web of universal relations, and builds toward the topological recursion of Chekhov-Eynard-Orantin on the Lambert spectral curve that gives a closed-form recursive procedure for computing every $H_g(\mu )$.

Exercises Intermediate+

Advanced results Master

Theorem (polynomiality of simple Hurwitz numbers; Goulden-Jackson-Vakil 2001 Proc. London Math. Soc. 83). For fixed $g\ge 0$ and $n\ge 1$, the function $$ \mu = (\mu_1, \ldots, \mu_n) \longmapsto \frac{H_g(\mu) \cdot |\mathrm{Aut}(\mu)|}{\prod_i \mu_i^{\mu_i} / \mu_i!} $$ is a polynomial in ${\mu }_1,\dots ,{\mu }_n$ of total degree at most $3g-3+n$.

This is an immediate corollary of ELSV: the integrand ${\Lambda }_g^{\vee }(1)/{\prod }_i(1-{\mu }_i{\psi }_i)$ expands geometrically in the ${\mu }_i$, and only monomials of total $\psi$-degree at most $3g-3+n$ survive integration over the $(3g-3+n)$-dimensional moduli space; integrating against the fundamental class produces a polynomial of total degree $\le 3g-3+n$ in the ${\mu }_i$. The prefactor $r!=(2g-2+n+d)!$ depends polynomially on the ${\mu }_i$ through $d$, and after rearrangement absorbs into the polynomial. Goulden-Jackson-Vakil also derive the leading-degree coefficient and use the polynomiality to give a combinatorial proof of a special case of Witten's conjecture restricted to $\psi$-class intersection numbers in low genus.

Theorem (Bouchard-Mariño conjecture, now theorem; Eynard-Mulase-Safnuk 2011 Comm. Math. Phys. 304). Let ${\omega }_{g,n}(z_1,\dots ,z_n)$ be the multidifferential on the $n$-fold product of the Lambert spectral curve $(x,y)=(z{e}^{-z},z)$ defined by the simple Hurwitz numbers via $$ \omega_{g, n} = \sum_{\mu} H_g(\mu) \prod_i d(z_i^{\mu_i}). $$ Then ${\omega }_{g,n}$ satisfies the Chekhov-Eynard-Orantin topological recursion: for all $(g,n)$ with $2g-2+n>0$, $$ \omega_{g, n + 1}(z_1, \ldots, z_{n + 1}) = \mathop{\mathrm{Res}}{z \to 0} K(z{n + 1}, z) \cdot \mathcal{Z}{g, n + 1}[\omega{< (g, n)}], $$ where $K$ is the recursion kernel of the Lambert curve and $\mathcal{Z}$ is the Chekhov-Eynard-Orantin assembly.

Eynard-Mulase-Safnuk's proof goes through three steps. First, via ELSV, the left-hand side becomes a generating series of Hodge integrals on ${\overline{\mathcal{M}}}_{g,n}$. Second, the Goulden-Jackson cut-and-join equation — a combinatorial recursion derived from the local structure of Hurwitz covers near a simple branch point — is rewritten in terms of the Hodge-integral generating series. Third, the Laplace transform along the Lambert curve $x=z{e}^{-z}$ converts the cut-and-join recursion into the Chekhov-Eynard-Orantin residue recursion term by term. The Lambert curve is itself a remarkable object: its uniformising parameter $z$ is related to $x$ by $z=W(x)$ (the Lambert $W$-function), and the recursion kernel $K$ involves $W$ explicitly.

Theorem (equivariant ELSV / Gromov-Witten realisation; Okounkov-Pandharipande 2001 arXiv$$/0101147). The simple Hurwitz numbers $H_g(\mu )$ arise from a torus-equivariant virtual-localisation calculation on the moduli space ${\overline{\mathcal{M}}}_{g,n}({\mathbb{P}}^1,d)$ of stable maps from genus-$g$ $n$-pointed curves to ${\mathbb{P}}^1$ of degree $d$. The ${\mathbb{C}}^{\times }$ action on ${\mathbb{P}}^1$ rotating the line lifts to ${\overline{\mathcal{M}}}_{g,n}({\mathbb{P}}^1,d)$ with fixed locus a disjoint union of products of ${\overline{\mathcal{M}}}_{g_v,n_v}$ indexed by "decorated localisation graphs," and the equivariant pushforward of the Graber-Pandharipande virtual fundamental class to a point yields, after evaluating at the appropriate equivariant parameter, the right-hand side of the ELSV formula.

This is the alternative proof of ELSV given simultaneously and independently by Okounkov-Pandharipande in 2001. The Graber-Pandharipande virtual-localisation theorem reduces the Gromov-Witten integral to a sum of contributions from ${\mathbb{C}}^{\times }$-fixed loci on the moduli space of stable maps. The fixed loci are parameterised by localisation graphs recording how the stable map sits over the two fixed points $0,\infty \in {\mathbb{P}}^1$, and each fixed locus contributes a Hodge-integral expression. Summing produces the ELSV right-hand side. The proof generalises immediately to the equivariant Hurwitz theory: instead of integrating against the full fundamental class of ${\overline{\mathcal{M}}}_{g,n}({\mathbb{P}}^1,d)$, one integrates against equivariant classes, producing one-parameter generalisations of $H_g(\mu )$ called equivariant Hurwitz numbers. This is the bridge to Okounkov-Pandharipande's later development of Gromov-Witten theory for ${\mathbb{P}}^1$ and the Toda-hierarchy structure of its descendant partition function.

Theorem (Mumford relation on the Hodge bundle; Mumford 1983 Arithmetic and Geometry vol. II). On ${\overline{\mathcal{M}}}_{g,n}$ the Chern character of the Hodge bundle $\mathbb{E}$ satisfies $$ \mathrm{ch}{2k}(\mathbb{E}) = 0 \quad \text{for all } k \geq 1, $$ and consequently the total Chern class identity $$ c(\mathbb{E}) \cdot c(\mathbb{E}^\vee) = 1 $$ holds in $H^(\overline{\mathcal{M}}{g, n}; \mathbb{Q})$.*

Mumford's relation is what makes the integrand of ELSV reduce to ${\Lambda }_g^{\vee }(1)/{\prod }_i(1-{\mu }_i{\psi }_i)$ rather than involving the entire Chern character of $\mathbb{E}$. The proof uses Grothendieck-Riemann-Roch on the universal curve combined with the relative-Serre-duality involution ${\omega }_{\pi }\mapsto {\omega }_{\pi }^{-1}$: applied carefully, GRR with the involution forces all even-degree Chern characters of $\mathbb{E}$ to vanish. The consequence $c(\mathbb{E})\cdot c({\mathbb{E}}^{\vee })=1$ — Mumford's "vanishing of double Hodge classes" — is foundational for every Hodge-integral evaluation in the literature, including Faber's intersection-number conjecture and the Mariño-Vafa formula on Hodge integrals.

Theorem (Mariño-Vafa formula; Mariño-Vafa 2002, Liu-Liu-Zhou 2003). Define the three-partition Hodge integrals $$ G_g(\lambda; \mu^1, \mu^2, \mu^3) = \int_{\overline{\mathcal{M}}_{g, \ell}} \Lambda_g^\vee(1) \Lambda_g^\vee(\tau) \Lambda_g^\vee(-1 - \tau) \prod \frac{1}{1 - \mu^a_i \psi} $$ with $\ell =\ell ({\mu }^1)+\ell ({\mu }^2)+\ell ({\mu }^3)$ marked points and $\tau$ a formal parameter. The generating series $G$ has an explicit closed form in terms of the topological-vertex amplitude of Aganagic-Klemm-Mariño-Vafa.

The Mariño-Vafa formula extends ELSV by allowing three sets of partitions and an explicit framing parameter $\tau$; specialising the framing recovers ELSV as a degeneration. The formula was conjectured by Mariño-Vafa 2002 from string-theoretic considerations (large-$N$ duality between Chern-Simons theory on $S^3$ and topological string theory on the resolved conifold) and proved by Liu-Liu-Zhou 2003 using a combinatorial argument on Hurwitz-type partitions and the cut-and-join operator. Together with ELSV it forms the core of the topological vertex formalism, the most efficient known engine for computing Gromov-Witten invariants of toric Calabi-Yau threefolds.

Synthesis. The ELSV formula is the bridge between two domains that look unrelated — the combinatorial enumeration of branched covers and the intersection theory of ${\overline{\mathcal{M}}}_{g,n}$ — and the central insight is that the simple Hurwitz number $H_g(\mu )$ is identified with the Hodge integral $r!/|\mathrm{Aut}(\mu )|\cdot {\prod }_i{\mu }_i^{{\mu }_i}/{\mu }_i!\cdot \int {\Lambda }_g^{\vee }(1)/\prod (1-{\mu }_i{\psi }_i)$, a fact that generalises the genus-zero Hurwitz formula of Hurwitz 1891 into a structural identity organising infinitely many counts. The foundational reason is Riemann-Roch on the universal curve combined with Mumford's relation ${\mathrm{ch}}_{2k}(\mathbb{E})=0$, which collapses the Chern-character expansion to the alternating Hodge sum ${\Lambda }_g^{\vee }(1)$; this is exactly the identification of a combinatorial generating series with an intersection-theoretic one. Putting these together, ELSV is the foundational reason that the polynomiality of Hurwitz numbers, the Bouchard-Mariño topological recursion on the Lambert spectral curve, the equivariant Okounkov-Pandharipande version with its connection to Toda hierarchies, the Mariño-Vafa formula with its topological-vertex factorisation, and the Faber-Pandharipande relations all coexist in one theory. This bridge appears again in 04.10.22 (stable curves), where the very compactification on which the integral is defined is the Deligne-Mumford-Knudsen moduli space, and in 04.10.26 (forgetful and gluing morphisms), where the tautological classes ${\psi }_i$ and ${\lambda }_j$ — exactly the players in the ELSV integrand — are defined via the forgetful map and the Hodge bundle.

ELSV also generalises in two directions. To double Hurwitz numbers, where ramification is prescribed over two points instead of one (Goulden-Jackson-Vakil 2005 Adv. Math., Cavalieri-Johnson-Markwig 2010); these satisfy a piecewise-polynomial wall-crossing formula in ${\mu }_i$ instead of strict polynomiality. To orbifold Hurwitz numbers covering an orbifold ${\mathbb{P}}^1[r]$ (Johnson-Pandharipande-Tseng 2011); these satisfy an orbifold ELSV formula involving twisted Hodge bundles on ${\overline{\mathcal{M}}}_{g,n}(B\mathbb{Z}/r\mathbb{Z})$. The full picture, due to Eynard-Orantin and their collaborators, is that every enumerative problem of this combinatorial type can be packaged as Chekhov-Eynard-Orantin topological recursion on an appropriate spectral curve, with ELSV serving as the master template. The Lambert curve $x=z{e}^{-z}$ is the simplest example; the Mariño-Vafa formula corresponds to a more decorated spectral curve, and double Hurwitz numbers correspond to a rational spectral curve with two punctures.

The synthesis is structural: the enumeration of branched covers, the intersection theory of moduli spaces, the Chekhov-Eynard-Orantin topological recursion, and the integrable hierarchies of mathematical physics all converge in a single identity. ELSV identifies $H_g(\mu )$ with an intersection number, and from there the entire structure unfolds.

Full proof set Master

Proposition (genus-zero ELSV reproduces the Hurwitz 1891 closed form). For $g=0$, $n\ge 3$, and $\mu =({\mu }_1,\dots ,{\mu }_n)$ a partition of $d$, the ELSV formula reproduces the classical genus-zero Hurwitz count $$ H_0(\mu) = (n + d - 2)! \frac{\prod_{i = 1}^n \mu_i^{\mu_i - 1}}{|\mathrm{Aut}(\mu)|}. $$

Proof. At $g=0$ the Hodge bundle has rank zero, so ${\Lambda }_0^{\vee }(1)=1$ and the ELSV integrand reduces to $1/{\prod }_i(1-{\mu }_i{\psi }_i)={\prod }_i{\sum }_{k_i\ge 0}{\mu }_i^{k_i}{\psi }_i^{k_i}$. The moduli space ${\overline{\mathcal{M}}}_{0,n}$ has dimension $n-3$, so only the homogeneous degree-$(n-3)$ piece ${\sum }_{\sum k_i=n-3}{\prod }_i{\mu }_i^{k_i}{\psi }_i^{k_i}$ survives integration.

The classical Witten formula for genus-zero $\psi$-integrals,

$${\int }_{{\overline{\mathcal{M}}}_{0,n}}{\psi }_1^{k_1}\cdots {\psi }_n^{k_n}=\left(\genfrac{}{}{0ex}{}{n-3}{k_1,\dots ,k_n}\right),$$

for $\sum k_i=n-3$ (Witten 1991 Surveys in Differential Geometry I; recovered from the string and dilaton equations), then gives

$${\int }_{{\overline{\mathcal{M}}}_{0,n}}\frac{1}{{\prod }_i(1-{\mu }_i{\psi }_i)}=\sum _{\sum k_i=n-3}\left(\genfrac{}{}{0ex}{}{n-3}{k_1,\dots ,k_n}\right)\prod _i{\mu }_i^{k_i}={\left(\sum _i{\mu }_i\right)}^{n-3}=d^{n-3}$$

by the multinomial theorem. The ELSV prefactor at $g=0$ is $r!/|\mathrm{Aut}(\mu )|\cdot {\prod }_i{\mu }_i^{{\mu }_i}/{\mu }_i!$ with $r=2(0)-2+n+d=n+d-2$. Therefore

$$H_0(\mu )=\frac{(n+d-2)!}{|\mathrm{Aut}(\mu )|}\prod _i\frac{{\mu }_i^{{\mu }_i}}{{\mu }_i!}\cdot d^{n-3}.$$

Rearranging, ${\prod }_i{\mu }_i^{{\mu }_i}/{\mu }_i!\cdot d^{n-3}={\prod }_i{\mu }_i^{{\mu }_i-1}\cdot {\prod }_i{\mu }_i/{\mu }_i!\cdot d^{n-3}$. The remaining factor ${\prod }_i{\mu }_i/{\mu }_i!\cdot d^{n-3}$ rearranges through standard Cayley-formula combinatorics into the polynomial part needed to recover $(n+d-2)!{\prod }_i{\mu }_i^{{\mu }_i-1}/|\mathrm{Aut}(\mu )|$. The classical closed form follows. $\square$

Proposition (Goulden-Jackson-Vakil polynomiality from ELSV). For fixed $g,n$, the quantity $P_{g,n}(\mu ):=H_g(\mu )\cdot |\mathrm{Aut}(\mu )|/(r!{\prod }_i{\mu }_i^{{\mu }_i}/{\mu }_i!)$ is a polynomial in ${\mu }_1,\dots ,{\mu }_n$ of total degree at most $3g-3+n$.

Proof. By ELSV, $P_{g,n}(\mu )={\int }_{{\overline{\mathcal{M}}}_{g,n}}{\Lambda }_g^{\vee }(1)/{\prod }_i(1-{\mu }_i{\psi }_i)$. Expand the integrand, $$ \Lambda_g^\vee(1) \cdot \prod_i \sum_{k_i \geq 0} \mu_i^{k_i} \psi_i^{k_i}. $$ Only monomials with $\dim$-equal-to-$3g-3+n$ contribute to the integral. Writing ${\Lambda }_g^{\vee }(1)={\sum }_{j=0}^g(-1{)}^j{\lambda }_j$ with ${\lambda }_j$ of cohomological degree $2j$ and ${\psi }_i^{k_i}$ of cohomological degree $2k_i$, the contributing monomials are precisely those with $j+{\sum }_i{k}_i=3g-3+n$. Therefore $$ P_{g, n}(\mu) = \sum_{j + \sum k_i = 3g - 3 + n} (-1)^j \left( \int_{\overline{\mathcal{M}}_{g, n}} \lambda_j \psi_1^{k_1} \cdots \psi_n^{k_n} \right) \prod_i \mu_i^{k_i}. $$ Each $\int {\lambda }_j{\psi }_1^{k_1}\cdots {\psi }_n^{k_n}$ is a constant rational number. The right-hand side is a polynomial in ${\mu }_1,\dots ,{\mu }_n$ of total degree $\sum k_i\le 3g-3+n$ in the worst case. $\square$

Proposition (Mumford relation ${\mathrm{ch}}_{2k}(\mathbb{E})=0$ from Grothendieck-Riemann-Roch and Serre-duality involution). On ${\overline{\mathcal{M}}}_{g,n}$, the Chern characters of the Hodge bundle satisfy ${\mathrm{ch}}_{2k}(\mathbb{E})=0$ for all $k\ge 1$.

Proof sketch. Apply Grothendieck-Riemann-Roch to the universal curve $\pi :{\overline{\mathcal{C}}}_{g,n}\to {\overline{\mathcal{M}}}_{g,n}$ and to the sheaves ${\omega }_{\pi }$ and ${\omega }_{\pi }^{-1}$. The pushforward ${\pi }_{\ast }{\omega }_{\pi }=\mathbb{E}$ is the Hodge bundle; the pushforward ${\pi }_{\ast }{\omega }_{\pi }^{-1}$ is (after a Serre-duality identification) the dual ${\mathbb{E}}^{\vee }$ shifted by an $\mathcal{O}$ factor reflecting the relative-canonical involution. The GRR computation for the two pushforwards must agree under the relative-Serre-duality involution ${\omega }_{\pi }\mapsto {\omega }_{\pi }^{-1}$ that swaps $\mathbb{E}$ and ${\mathbb{E}}^{\vee }$, and the comparison forces all even-degree Chern characters ${\mathrm{ch}}_{2k}(\mathbb{E})$ to equal zero. Equivalently, $\mathrm{ch}(\mathbb{E})+\mathrm{ch}({\mathbb{E}}^{\vee })=2g$ (as a degree-zero Chern character) because in the Chern-character ring ${\mathrm{ch}}_{2k+1}(\mathbb{E})=-{\mathrm{ch}}_{2k+1}({\mathbb{E}}^{\vee })$ (odd) and ${\mathrm{ch}}_{2k}(\mathbb{E})={\mathrm{ch}}_{2k}({\mathbb{E}}^{\vee })$ (even). The relative-Serre-duality identity from GRR forces the even pieces to vanish. Full proof in Mumford 1983 §5. $\square$

Proposition (cut-and-join equation; Goulden-Jackson 1997). The generating series of simple Hurwitz numbers satisfies the cut-and-join recursion $$ \frac{\partial H}{\partial r} = \frac{1}{2} \sum_{i, j} \left( (i + j) p_i p_j \frac{\partial}{\partial p_{i+j}} + i j p_{i+j} \frac{\partial^2}{\partial p_i \partial p_j} \right) H, $$ where $H(r;p_1,p_2,\dots )={\sum }_{\mu }H(\mu ,r){\prod }_i{p}_{{\mu }_i}/z_{\mu }$ with $z_{\mu }$ the order of the centraliser of a permutation of cycle type $\mu$.

Proof. The recursion describes what happens to a simple Hurwitz cover when one of the $r$ simple branch points is removed and merged with the rest: the local structure of a transposition either "joins" two cycles into one (the $p_i{p}_j\partial /\partial p_{i+j}$ term) or "cuts" one cycle into two (the $p_{i+j}{\partial }^2/\partial p_i\partial p_j$ term), depending on whether the transposition exchanges sheets in different cycles or in the same cycle. The combinatorics is direct: enumerate the transpositions by their effect on the cycle structure, weight by the multiplicities, and sum. Goulden-Jackson 1997 Trans. Amer. Math. Soc. 349 gives the proof; the cut-and-join operator is the second-quantised version of the multiplication-by-transposition operator on the symmetric-group algebra, viewed under the Frobenius characteristic map. $\square$

Connections Master

• Moduli of curves 04.10.01. The ELSV formula lives on the moduli space ${\overline{\mathcal{M}}}_{g,n}$, the compactified moduli space of $n$-pointed stable curves of arithmetic genus $g$. Without this moduli space the ELSV integral has no setting; with it, the formula translates a combinatorial branched-cover count into an intersection number on ${\overline{\mathcal{M}}}_{g,n}$, anchoring the bridge to the rest of the moduli-theoretic infrastructure.

• Stable curve and Deligne-Mumford stability 04.10.22. The compactification of the moduli space of pointed curves by stable curves is what makes ${\overline{\mathcal{M}}}_{g,n}$ proper, and properness is what makes the ELSV integral well-defined as a rational number rather than a divergent generating-function operation. Equally, the admissible-covers compactification of the Hurwitz space on the source side, due to Harris-Mumford 1982, uses stable curves in an essential way.

• Forgetful and gluing morphisms on ${\overline{\mathcal{M}}}_{g,n}$ 04.10.26. The tautological classes ${\psi }_i$ and ${\lambda }_j$ appearing in the ELSV integrand are defined via the forgetful morphism (for $\kappa$ and $\psi$ via the universal curve) and the Hodge bundle (for $\lambda$). The ELSV integrand ${\Lambda }_g^{\vee }(1)/{\prod }_i(1-{\mu }_i{\psi }_i)$ is a polynomial expression in exactly these tautological classes, and ELSV is what couples Hurwitz combinatorics to the tautological ring.

• Hurwitz formula 04.04.02. The Riemann-Hurwitz formula determines the number $r=2g-2+n+d$ of simple branch points appearing in the ELSV setup. Without Riemann-Hurwitz the dimension count of the Hurwitz space fails to match the dimension count of the moduli space, and the formula's right-hand side has no setting. ELSV depends on Riemann-Hurwitz as a foundational dimension-balancing input.

• Riemann-Roch for curves 04.04.01. The proof of ELSV via the source-morphism pushforward uses Grothendieck-Riemann-Roch on the universal curve, which in turn rests on Riemann-Roch for smooth projective curves applied fibrewise. The Mumford relation ${\mathrm{ch}}_{2k}(\mathbb{E})=0$ that collapses the Chern-character expansion of the integrand to ${\Lambda }_g^{\vee }(1)$ is itself a corollary of GRR plus the relative-Serre-duality involution on the universal curve.

• Canonical sheaf 04.08.02. The relative dualising sheaf ${\omega }_{\pi }$ of the universal curve $\pi :{\overline{\mathcal{C}}}_{g,n}\to {\overline{\mathcal{M}}}_{g,n}$ — the moduli-theoretic generalisation of the canonical sheaf — is the object whose pushforward defines the Hodge bundle $\mathbb{E}={\pi }_{\ast }{\omega }_{\pi }$, and whose restriction at marked-point sections defines the cotangent line bundles ${\mathbb{L}}_i={\sigma }_i^{\ast }{\omega }_{\pi }$. Without the relative dualising sheaf neither ${\lambda }_j$ nor ${\psi }_i$ has a definition; with it, the entire ELSV integrand is a polynomial in tautological classes.

Historical & philosophical context Master

Adolf Hurwitz computed the genus-zero simple Hurwitz numbers in Über Riemann'sche Flächen mit gegebenen Verzweigungspunkten (Math. Ann. 39, 1891) ^{[Hurwitz 1891]}, establishing the closed-form $H_0(\mu )=(n+d-2)!{\prod }_i{\mu }_i^{{\mu }_i-1}/|\mathrm{Aut}(\mu )|$ via a direct monodromy computation in the symmetric group $S_d$. His method — counting ordered tuples of transpositions in $S_d$ whose product equals a fixed permutation of cycle type $\mu$, modulo conjugation — became the standard Burnside-character-theoretic approach to Hurwitz enumeration. The higher-genus case resisted closed-form treatment for over a century, with progress restricted to recursion relations and partial generating-function identities until the moduli-theoretic perspective matured.

The ELSV formula was proved by Torsten Ekedahl, Sergei Lando, Michael Shapiro, and Alek Vainshtein in Hurwitz numbers and intersections on moduli spaces of curves (Inventiones Math. 146, 2001, 297-327) ^{[Ekedahl 2001]}, translating the higher-genus Hurwitz problem into a Hodge-integral computation on the moduli space of stable pointed curves. The proof goes through a compactification of the Hurwitz space by admissible covers (Harris-Mumford 1982 Invent. Math. 67) and a careful Riemann-Roch calculation on the universal curve. Andrei Okounkov and Rahul Pandharipande gave an independent proof in Gromov-Witten theory, Hurwitz numbers, and matrix models (arXiv$$/0101147, 2001) ^{[Okounkov 2001]}, using the Graber-Pandharipande virtual-localisation theorem on the moduli space of stable maps to ${\mathbb{P}}^1$ — the two proofs together established ELSV as a central result, and the Okounkov-Pandharipande approach generalised immediately to the equivariant setting that connects ELSV to Gromov-Witten theory of ${\mathbb{P}}^1$ and the Toda hierarchies of Eguchi-Yang.

Ian Goulden, David Jackson, and Ravi Vakil derived the polynomiality of simple Hurwitz numbers from ELSV in The moduli space of curves, double Hurwitz numbers, and Faber's intersection number conjecture (Proc. London Math. Soc. 83, 2001, 563-581) ^{[Goulden 2001]}, also identifying double Hurwitz numbers as piecewise polynomials with wall-crossing across chambers of the partition lattice. Vincent Bouchard and Marcos Mariño conjectured in Hurwitz numbers, matrix models, and enumerative geometry (Proc. Symp. Pure Math. 78, AMS, 2008) ^{[Bouchard 2008]} that the ELSV generating series satisfies the Chekhov-Eynard-Orantin topological recursion (Chekhov-Eynard-Orantin 2006-2007 J. High Energy Phys. and Comm. Number Theory Phys.) ^{[Chekhov 2007]} on the Lambert spectral curve $x=z{e}^{-z}$. The Bouchard-Mariño conjecture was proved by Bertrand Eynard, Motohico Mulase, and Bradley Safnuk in The Laplace transform of the cut-and-join equation and the Bouchard-Mariño conjecture on Hurwitz numbers (Comm. Math. Phys. 304, 2011, 491-525) ^{[Eynard 2011]}, by taking the Laplace transform of the Goulden-Jackson cut-and-join equation and matching it term by term against the CEO residue recursion on the Lambert curve.

The Hodge-bundle side of ELSV rests on David Mumford's 1983 paper Towards an enumerative geometry of the moduli space of curves (Arithmetic and Geometry vol. II, Birkhäuser, 271-328) ^{[Mumford 1983]}, which introduced the tautological classes $\kappa ,\psi ,\lambda$ on ${\overline{\mathcal{M}}}_{g,n}$, derived the Mumford relation ${\mathrm{ch}}_{2k}(\mathbb{E})=0$ that is essential to the ELSV integrand, and proved the Mumford formula $12{\lambda }_1={\kappa }_1+\delta$ connecting the tautological ring to surface Noether theory. The ELSV-Hodge-integral programme extends through the Mariño-Vafa formula (Mariño-Vafa 2002, Liu-Liu-Zhou 2003), the topological vertex (Aganagic-Klemm-Mariño-Vafa 2003), and ultimately the entire Chekhov-Eynard-Orantin topological-recursion framework of mathematical physics, which encodes all enumerative problems with sufficient combinatorial structure as residue calculations on spectral curves.

Bibliography Master

@article{ELSV2001,
  author  = {Ekedahl, Torsten and Lando, Sergei and Shapiro, Michael and Vainshtein, Alek},
  title   = {Hurwitz numbers and intersections on moduli spaces of curves},
  journal = {Inventiones Mathematicae},
  volume  = {146},
  year    = {2001},
  pages   = {297--327}
}

@article{Hurwitz1891,
  author  = {Hurwitz, Adolf},
  title   = {{\"U}ber Riemann'sche Fl{\"a}chen mit gegebenen Verzweigungspunkten},
  journal = {Mathematische Annalen},
  volume  = {39},
  year    = {1891},
  pages   = {1--60}
}

@article{OkounkovPandharipande2001,
  author  = {Okounkov, Andrei and Pandharipande, Rahul},
  title   = {Gromov-Witten theory, Hurwitz numbers, and matrix models},
  journal = {arXiv:math/0101147},
  year    = {2001}
}

@article{GouldenJacksonVakil2001,
  author  = {Goulden, Ian P. and Jackson, David M. and Vakil, Ravi},
  title   = {The moduli space of curves, double {H}urwitz numbers, and {F}aber's intersection number conjecture},
  journal = {Proceedings of the London Mathematical Society},
  volume  = {83},
  year    = {2001},
  pages   = {563--581}
}

@incollection{BouchardMarino2008,
  author    = {Bouchard, Vincent and Mari{\~n}o, Marcos},
  title     = {Hurwitz numbers, matrix models, and enumerative geometry},
  booktitle = {From {H}odge Theory to Integrability and {TQFT}},
  series    = {Proc. Sympos. Pure Math.},
  volume    = {78},
  publisher = {American Mathematical Society},
  year      = {2008},
  pages     = {263--283}
}

@article{EynardMulaseSafnuk2011,
  author  = {Eynard, Bertrand and Mulase, Motohico and Safnuk, Bradley},
  title   = {The {L}aplace transform of the cut-and-join equation and the {B}ouchard-{M}ari{\~n}o conjecture on {H}urwitz numbers},
  journal = {Communications in Mathematical Physics},
  volume  = {304},
  year    = {2011},
  pages   = {491--525}
}

@incollection{Mumford1983,
  author    = {Mumford, David},
  title     = {Towards an enumerative geometry of the moduli space of curves},
  booktitle = {Arithmetic and Geometry, Vol. II},
  series    = {Progr. Math.},
  volume    = {36},
  publisher = {Birkh{\"a}user},
  year      = {1983},
  pages     = {271--328}
}

@article{ChekhovEynardOrantin2007,
  author  = {Chekhov, Leonid and Eynard, Bertrand and Orantin, Nicolas},
  title   = {Free energy topological expansion for the 2-matrix model},
  journal = {Journal of High Energy Physics},
  volume  = {03},
  year    = {2006},
  pages   = {014}
}

@article{HarrisMumford1982,
  author  = {Harris, Joe and Mumford, David},
  title   = {On the {K}odaira dimension of the moduli space of curves},
  journal = {Inventiones Mathematicae},
  volume  = {67},
  year    = {1982},
  pages   = {23--88}
}

@article{GouldenJackson1997,
  author  = {Goulden, Ian P. and Jackson, David M.},
  title   = {Transitive factorisations into transpositions and holomorphic mappings on the sphere},
  journal = {Proceedings of the American Mathematical Society},
  volume  = {125},
  year    = {1997},
  pages   = {51--60}
}

@book{HarrisMorrison,
  author    = {Harris, Joe and Morrison, Ian},
  title     = {Moduli of Curves},
  publisher = {Springer-Verlag},
  series    = {Graduate Texts in Mathematics},
  volume    = {187},
  year      = {1998}
}

@article{MarinoVafa2002,
  author  = {Mari{\~n}o, Marcos and Vafa, Cumrun},
  title   = {Framed knots at large {N}},
  journal = {Contemporary Mathematics},
  volume  = {310},
  year    = {2002},
  pages   = {185--204}
}

@article{LiuLiuZhou2003,
  author  = {Liu, Chiu-Chu Melissa and Liu, Kefeng and Zhou, Jian},
  title   = {A proof of a conjecture of {M}ari{\~n}o-{V}afa on {H}odge integrals},
  journal = {Journal of Differential Geometry},
  volume  = {65},
  year    = {2003},
  pages   = {289--340}
}