The structure of Hurwitz numbers with fixed ramification profile and varying genus

Norman Do,Jian He,Heath Robertson

2024-09-11

Abstract:In 1891, Hurwitz introduced the enumeration of genus $g$, degree $d$, branched covers of the Riemann sphere with simple ramification over prescribed points and no branching elsewhere. He showed that for fixed degree $d$, the enumeration possesses a remarkable structure. More precisely, it can be expressed as a linear combination of exponentials $m^{2g-2+2d}$, where $m$ ranges over the integers from $1$ to $\binom{d}{2}$. In this paper, we generalise this structural result to Hurwitz numbers that enumerate branched covers which also have a prescribed ramification profile over one point. Our proof fundamentally uses the infinite wedge space, in particular the connected correlators of products of $\mathcal{E}$-operators. The recent study of Hurwitz numbers has often focussed on their structure with fixed genus and varying ramification profile. Our main result is orthogonal to this, allowing for the explicit calculation and the asymptotic analysis of Hurwitz numbers in large genus. We pose the broad question of which other enumerative problems exhibit analogous structure. We prove that orbifold Hurwitz numbers can also be expressed as a linear combination of exponentials and conjecture that monotone Hurwitz numbers share a similar structure, but with the inclusion of an additional linear term.

Combinatorics,Algebraic Geometry

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: **Study the structure of Hurwitz numbers with a fixed ramification profile and a varying genus**.

Specifically, the Hurwitz number \(H_{g;\mu}\) enumerates the genus - \(g\) branched covers on the complex projective line \(CP^1\) with a specific ramification profile \(\mu\). These covers have a given ramification profile \(\mu\) at the point at infinity \(\infty\in CP^1\) and have simple ramifications at other \(|\mu| + 2g - 2 + n\) points. The main goal of the paper is to reveal the structure of these Hurwitz numbers under a fixed ramification profile \(\mu\) and a varying genus \(g\).

### Main contributions of the paper

1. **Generalize the classical Hurwitz number structure theorem**:
- In 1891, Hurwitz proved that for a fixed degree \(d\) and a varying genus \(g\), the Hurwitz number \(H_{g,d}\) can be expressed as a linear combination of exponential functions. The specific form is:
\[
H_{g,d}=\frac{2}{d!^2}\sum_{1\leq m\leq\left\lfloor\frac{d}{2}\right\rfloor}B(d,m)\cdot m^{2d + 2g - 2}
\]
- This paper generalizes this result to the Hurwitz number \(H_{g;\mu}\) with a fixed ramification profile \(\mu\) and proves that they can also be expressed as a linear combination of exponential functions. The specific form is:
\[
H_{g;\mu}=\frac{2}{d!\prod_{i = 1}^n\mu_i}\sum_{1\leq m\leq\left\lfloor\frac{d}{2}\right\rfloor}C(\mu,m)\cdot m^{d + 2g - 2 + n}
\]

2. **Use the infinite wedge space for proof**:
- The paper uses the infinite wedge space and the E - operators on it to prove the above - mentioned structure theorem. By analyzing the correlators of these operators, the author is able to explicitly calculate the generating function of the Hurwitz numbers and finally prove their structure.

3. **Asymptotic behavior for large genus**:
- The paper also studies the asymptotic behavior of Hurwitz numbers for large genus and obtains the following asymptotic formula:
\[
H_{g;\mu}\sim\frac{2}{d!\prod_{i = 1}^n\mu_i}\left(\frac{d}{2}\right)^{d + 2g - 2 + n}\quad\text{as}\quad g\to\infty
\]

4. **Extension to other enumeration problems**:
- The paper explores whether other enumeration problems also have a similar structure. For example, it is proved that the orbifold Hurwitz numbers also satisfy a similar structure, and a conjecture is proposed that the monotone Hurwitz numbers may have a similar structure.

In conclusion, this paper, by introducing new mathematical tools and techniques, conducts an in - depth study of the structure of Hurwitz numbers and generalizes it to more general situations, providing an important basis for further understanding the properties of these numbers.