E-Strings and Four-Manifolds

We investigate the physics of the E-string theory and its compactifications as well as their applications to four-dimensional topology. In particular, we compute the partition function of the topologically twisted theory on $M_4\times T^2$, where $M_4$ is a four-manifold. In a range of examples, we verify that this partition function, as a $q$-series, 1) has integral coefficients, 2) is modular, and 3) can be lifted to a topological modular form. Remarkably, the E-string theory "knows" about various subtle aspects of the world of smooth 4-manifolds, as the (topological) modularity of the partition function is contingent on a collection of properties of 4-manifolds and their Seiberg-Witten invariants, including, notably, the simple-type conjecture. Furthermore, both theoretical and empirical evidences indicate that this partition function defines a genuine smooth invariant, even when $b_2^+\le 1$. Therefore, the E-string theory may offer powerful new tools for exploring regions in the geography of 4-manifolds that have been inaccessible to existing invariants obtained from gauge theory and quantum field theory.