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 upgrade the results of Borot--Bouchard--Chidambaram--Creutzig to show that the Gaiotto vector in $4d$ $\mathcal{N} = 2$ pure supersymmetric gauge theory admits an analytic continuation with respect to the energy scale (which can therefore be taken to be finite, instead of infinitesimal), and is computed by topological recursion on the (ramified) half Seiberg--Witten spectral curve. This has a number of interesting consequences for the Gaiotto vector: relations to intersection theory on $\overline{\mathcal{M}}_{g,n}$ in at least two different ways, Hurwitz numbers, quantum curves, and (almost complete) description of the correlators as analytic functions of $\hslash$ (instead of formal series). The same method is used to establish analogous results for the more general Whittaker vector constructed in the recent work of Chidambaram--Doł{ę}ga--Osuga.