# Do all $\mathcal{N}=2$ Gauge Theories "Descend" from String Theory?

I'm thinking about the beautiful story of "geometrical engineering" by Vafa, Hollowood, Iqbal (https://arxiv.org/abs/hep-th/0310272) where various types of $\mathcal{N}=2$ SYM gauge theories on $\mathbb{R}^{4} = \mathbb{C}^{2}$ arise from considering string theory on certain local, toric Calabi-Yau threefolds.

More specifically, the topological string partition function (from Gromov-Witten or Donaldson-Thomas theory via the topological vertex) equals the Yang-Mills instanton partition function which is essentially the generating function of the elliptic genera of the instanton moduli space. (In various settings you replace elliptic genus with $\chi_{y}$ genus, $\chi_{0}$ genus, Euler characteristic, or something more fancy.)

From my rough understanding of the Yang-Mills side, we can generalize this in a few ways. Firstly, we can consider more general $\mathcal{N}=2$ quiver gauge theories where I think the field content of the physics is encoded into the vertices and morphisms of a quiver. And there are various chambers where one can define instanton partition functions in slightly different ways, though they are expected to agree in a non-obvious way. For a very mathy account see (https://arxiv.org/abs/1410.2742) Of course, the second way to generalize is to consider not $\mathbb{R}^{4}$, but more general four dimensional manifolds like a K3 surface, a four-torus, or the ALE spaces arising from blowing up the singularities of $\mathbb{R}^{4}/\Gamma$.

My questions are the following:

Is it expected that this general class of $\mathcal{N}=2$ quiver gauge theories comes from string theory? In the sense that their partition functions may equal Gromov-Witten or Donaldson-Thomas theory on some Calabi-Yau threefold. If not, are there known examples or counter-examples? Specifically, I'm interested in instantons on the ALE spaces of the resolved $\mathbb{R}^{4}/\Gamma$.

In a related, but slightly different setting, Vafa and Witten (https://arxiv.org/abs/hep-th/9408074) showed that the partition function of topologically twisted $\mathcal{N}=4$ SYM theory on these ALE manifolds give rise to a modular form. Now I know Gromov-Witten and Donaldson-Thomas partition functions often have modularity properties related to S-duality. So I'm wondering, does this Vafa-Witten partition function equal one of these string theory partition functions? Or are they related?

The answer to the question in the title is no.

Everything comes to the idea of the swampland in the string theory context. Not every effective QFT can be UV-completed to a string theory, in particular that appears to be the case for $$\mathcal{N}=2$$ theories in four dimensions.

One of the swampland conjectures explicitly locate $$\mathcal{N}=2,d=4$$ supergravities without vector multiplets and theta angle different from $$0$$ or $$\pi$$ on the swampland. Reference: Theta-problem and the String Swampland.

Some clarifications are needed to answer the case of four dimensional quiver gauge theories. Strictly speaking the answer is no. Take as a counterexample the case of type IIA superstrings on a Taub-NUT space $$\ TN_{n}$$ which locally has the same singularity structure than $$\mathbb{C}^{2} / \mathbb{Z}_{n}$$ in order to realize an interacting $$SU(N)$$ theory in four dimensions. The problem is there is no compact Calbi-Yau twofold with such kind of singularities if $$n$$ is large enough. Reference: Sec. 2.3 of the paper The String Landscape, the Swampland, and the Missing Corner

A very different question is whether a four dimensional supersymmetric field theory can be engineered in the topological string setup. That question is very different since string theory predicts gravity and in topological strings the graviton vertex operator is BRST-exact. Although there is no proof, the answer is more or less yes. In principle there is no obstruction to realize a given toric variety (and the geometrical engeeniering procedure) as the target space for a topological sigma model.

Concerning $$\mathcal{N}=4,d=4$$ SYM. Again the answer is no. $$\mathcal{N}=4$$ SYM in $$d=4$$ is inconsistent with string theory if the rank of its group is bigger than 22. Reference: Four Dimensional N=4 SYM and the Swampland

Finally, what is the relationship between the Vafa-Witten partition function and topological strings? The answer is that the Vafa-Witten partition function (in some limits) can be computed by adding $$D4$$-branes wrapping ample divisors to the Donaldson-Thomas counting of ideal sheaves in a given toric threefold by counting restricted plane partitions. Reference: Crystals and intersecting branes

• This doesn’t really answer the question, since you are considering theories coupled to gravity. $N=4$ SYM is not inconsistent with string theory, since it really is a 10d theory (the statement is that it is not consistent as a 4d EFT coupled to gravity, but it is perfectly consistent as a large N holographic theory). That aside, a very optimistic hope would be that all SCFTs decend from 6d (2,0) via some compactification. But that’s a very difficult thing to show. May 21, 2021 at 6:01
• Thanks for your comment @AdolfoHolguin, I'm happy to receive comments. Unfortunately, I still don't see your point. The class of theories I'm considering are not coupled to gravity. My main examples were general $\mathcal{N}=2$ theories arising from type II theories compactified on CY threefolds in the limit $g_{s},\mathcal{l}_{s} \rightarrow 0$, that limit is precisely the one in which gravity is decoupled (see page 53, section B.3 arxiv.org/abs/1711.00864). My argument was that, in principle, you can "modify" the local CY geometry by, for example, adding extra cycles. 1/2 May 22, 2021 at 0:12
• @AdolfoHolguin Those theories are still acceptable $\mathcal{N}=2$ theories at the QFT level. However, they are ruled out by swampland conjectures (in our example the "the number of fields is bounded" criteria is the one violated). In other words, we can create perfectly fine gauge theories in the local CY limit that cannot be coupled to full string theory, geometrically, they cannot be engenieered in compact CY spaces (the limit in which string theory is coupled to gravity). May 22, 2021 at 0:17
• @AdolfoHolguin I agree with your comments about $N=4$ SYM. I should say " we cannot consistently couple twisted $N=4$ SYM to gravity if the rank of its gauge group is bigger that 22"; my statement is incorrect for the non-twisted theory. Thanks for that valuable remark. May 22, 2021 at 0:27
• I’m somewhat suspicious that these might not come from consistent compactifications to 4d, but from brane constructions. May 23, 2021 at 4:02