The u-plane integral, mock modularity and enumerative geometry

We revisit the low-energy effective U(1) action of topologically twisted 𝒩=2 SYM theory with gauge group of rank one on a generic oriented smooth four-manifold X with nontrivial fundamental group. After including a specific new set of 𝒬-exact operators to the known action, we express the integrand of the path integral of the low-energy U(1) theory as an anti-holomorphic derivative. This allows us to use the theory of mock modular forms and indefinite theta functions for the explicit evaluation of correlation functions of the theory, thus facilitating the computations compared to previously used methods. As an explicit check of our results, we compute the path integral for the product ruled surfaces X=Σ_g × ℂℙ¹ for the reduction on either factor and compare the results with existing literature. In the case of reduction on the Riemann surface Σ_g, via an equivalent topological A-model on ℂℙ¹, we will be able to express the generating function of genus zero Gromov–Witten invariants of the moduli space of flat rank one connections over Σ_g in terms of an indefinite theta function, whence we would be able to make concrete numerical predictions of these enumerative invariants in terms of modular data, thereby allowing us to derive results in enumerative geometry from number theory.