arXiv++ Combinatorics

We introduce the moduli space of metric Möbius graphs, which extend ribbon graphs to the non-orientable world. This space contains both the moduli space of Riemann surfaces and the moduli space of non-orientable Klein surfaces. Each metric Möbius graph is equipped with a measure of non-orientability. We count lattice points in this moduli space, weighted by the measure of non-orientability, and prove a refined version of Norbury's recursion for this count. Taking the limit as the mesh becomes finer, we deduce a recursion for the Euclidean volumes, yielding a refined version of the Witten--Kontsevich recursion. As an application, we give a geometric definition of the refined Euler characteristic of the moduli space and compute it explicitly, thereby answering a question of Goulden, Harer, and Jackson.

We prove that single $G$-weighted $\mathfrak{b}$-Hurwitz numbers with internal faces are computed by refined topological recursion on a rational spectral curve, for certain rational weights $G$. Consequently, the $\mathfrak{b}$-Hurwitz generating function analytically continues to a rational curve. In particular, our results cover the cases of $\mathfrak{b}$-monotone Hurwitz numbers, and the enumeration of maps and bipartite maps (with internal faces) on non-oriented surfaces. As an application, we prove that the correlators of the Gaussian, Jacobi and Laguerre $β$-ensembles are computed by refined topological recursion.

We show that $b$-Hurwitz numbers with a rational weight are obtained by taking an explicit limit of a Whittaker vector for the $\mathcal{W}$-algebra of type $A$. Our result is a vast generalization of several previous results that treated the monotone case, and the cases of quadratic and cubic polynomial weights. It also provides an interpretation of the associated Whittaker vector in terms of generalized branched coverings that might be of independent interest. Our result is new even in the special case $b=0$ that corresponds to classical hypergeometric Hurwitz numbers, and implies that they are governed by the topological recursion of Eynard-Orantin. This gives an independent proof of the recent result of Bychkov-Dunin-Barkowski-Kazarian-Shadrin.