The u-plane integral, mock modularity and enumerative geometry

We revisit the low-energy effective U(1) action of topologically twisted N = 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 Q-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 = Sigma(g) x CP1 for the reduction on either factor and compare the results with existing literature. In the case of reduction on the Riemann surface Sigma(g), via an equivalent topological A-model on CP1, 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 Sigma(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.

Automated summary

This article revisits the low-energy effective U(1) action of topologically twisted N = 2 SYM theory on a generic oriented smooth four-manifold with nontrivial fundamental group. By introducing a specific set of Q-exact operators, the integrand of the path integral of the low-energy theory is expressed as an anti-holomorphic derivative, allowing for explicit evaluation of correlation functions using the theory of mock modular forms and indefinite theta functions. The results are compared with existing literature and concrete numerical predictions are made.