ABSTRACT
Motivated by M-theory, we study rank n K-theoretic Donaldson-Thomas theory on a toric threefold X. In the presence of compact four-cycles, we discuss how to include the contribution of D4-branes wrapping them. Combining this with a simple assumption on the (in)dependence on Coulomb moduli in the 7d theory, we show that the partition function factorizes and, when X is Calabi-Yau and it admits an ADE ruling, it reproduces the 5d master formula for the geometrically engineered theory on A n - 1 ALE space, thus extending the usual geometric engineering dictionary to n > 1 . We finally speculate about implications for instanton counting on Taub-NUT.
ABSTRACT
We determine the 2-group structure constants for all the six-dimensional little string theories (LSTs) geometrically engineered in F-theory without frozen singularities. We use this result as a consistency check for T-duality: the 2-groups of a pair of T-dual LSTs have to match. When the T-duality involves a discrete symmetry twist, the 2-group used in the matching is modified. We demonstrate the matching of the 2-groups in several examples.