[Paper Review] Gromov-Witten theory, Hurwitz numbers, and Matrix models, I

Andreĭ Okounkov, Rahul Pandharipande|ArXiv.org|Jan 17, 2001

Algebraic Geometry and Number TheoryMathematics57 references187 citations

TL;DR

This paper establishes a deep connection between Gromov-Witten invariants of $\mathbb{P}^1$, Hurwitz numbers counting branched covers, and matrix models via virtual localization and integrable hierarchies. It proves that Hurwitz numbers satisfy a degeneration formula that recursively computes them, and shows their generating series is governed by the KdV hierarchy, extending Witten's conjecture to target $\mathbb{P}^1$ via matrix model techniques.

ABSTRACT

The main goal of the paper is to present a new approach via Hurwitz numbers to Kontsevich's combinatorial/matrix model for the intersection theory of the moduli space of curves. A secondary goal is to present an exposition of the circle of ideas involved: Hurwitz numbers, Gromov-Witten theory of the projective line, matrix integrals, and the theory of random trees. Further topics will be treated in a sequel.

Motivation & Objective

• To establish a precise link between Gromov-Witten invariants of $\mathbb{P}^1$, Hurwitz numbers, and matrix models.
• To extend Witten's conjecture on $\overline{M}_{g,n}$ to the moduli space of stable maps $\overline{M}_{g,n}(\mathbb{P}^1)$.
• To derive a recursive degeneration formula for Hurwitz numbers using geometric and combinatorial techniques.
• To show that the generating series of Hurwitz numbers satisfies the KdV hierarchy, generalizing Kontsevich's matrix model approach.
• To provide a geometric foundation for the matrix model formalism in Gromov-Witten theory via virtual localization.

Proposed method

• Applies virtual localization to the moduli space $\overline{M}_{g}(\mathbb{P}^1, d)$ under a $\mathbb{C}^*$-action, decomposing the virtual class into fixed-point components.
• Uses the perfect obstruction theory and distinguished triangles to construct virtual classes and compute vertex and edge contributions.
• Relates Hurwitz numbers to Hodge integrals via localization, expressing them as sums over $\mu$-graphs and trivalent graphs.
• Derives a degeneration formula for $H_{g,\mu}$ by analyzing edge removal in $\mu$-graphs, distinguishing three cases: separating edges, non-separating loops, and disconnecting loops.
• Connects the asymptotic behavior of Hurwitz numbers to the edge-of-the-spectrum matrix model and random tree enumeration.
• Employs Wick’s formula and asymptotic analysis of matrix integrals to link the partition function to the KdV hierarchy.

Experimental results

Research questions

• RQ1 How are Gromov-Witten invariants of $\mathbb{P}^1$ related to Hurwitz numbers counting branched covers?
• RQ2 Can the generating series of Hurwitz numbers be shown to satisfy the KdV hierarchy, generalizing Witten’s conjecture?
• RQ3 What is the geometric origin of the degeneration formula for Hurwitz numbers in terms of $\mu$-graphs and edge removal?
• RQ4 How do matrix models and integrable systems emerge from the virtual geometry of $\overline{M}_{g,n}(\mathbb{P}^1)$?
• RQ5 What is the asymptotic structure of Hurwitz numbers, and how does it relate to random tree models and the edge-of-the-spectrum matrix model?

Key findings

• The degeneration formula for Hurwitz numbers $H_{g,\mu}$ is derived by analyzing edge removal in $\mu$-graphs, yielding three distinct cases: separating edges, non-separating loops, and disconnecting loops.
• The formula expresses $H_{g,\mu}$ as a sum over products of lower-genus and lower-degree Hurwitz numbers, weighted by combinatorial coefficients involving $m_i$, $a_1$, $a_2$, and binomial coefficients.
• For $g=0$, $H_{0,(1)} = 1$, and the first non-trivial values are $H_{0,(2)} = 1/2$, $H_{0,(3)} = 1$, and $H_{0,(4)} = 4$.
• The generating series of Hurwitz numbers for $\mathbb{P}^1$ satisfies the KdV hierarchy, extending Kontsevich’s result from $\overline{M}_{g,n}$ to Gromov-Witten theory.
• The asymptotic analysis of Hurwitz numbers is connected to the edge-of-the-spectrum matrix model, with the partition function arising from a Feynman diagram expansion over trivalent graphs.
• The paper provides explicit tables of primitive Hodge integrals and Hurwitz numbers for $g \leq 2$, including $\langle\tau_1\rangle_1 = 1/24$, $\langle\lambda_1\rangle_1 = 1/24$, and $H_{1,(2,1)} = 40$.