E-Strings and Four-Manifolds

TL;DR

This paper explores the E-string theory's partition function on four-manifolds, revealing its modular properties and potential as a new smooth invariant that encodes subtle topological information and extends beyond existing gauge theory invariants.

Contribution

It demonstrates that the E-string theory's partition function acts as a topological invariant of 4-manifolds, with modularity properties linked to Seiberg-Witten invariants and the simple-type conjecture.

Findings

Partition function has integral coefficients and is modular.

Partition function can be lifted to a topological modular form.

Potential to define new smooth invariants for 4-manifolds.

Abstract

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.