Instanton-generated multi-fermion F-terms in supersymmetric QCD: the general SU($N_c$) instanton evaluation, their cohomological classification, and criteria for which N=1 theories admit them

In four-dimensional N=1 supersymmetric QCD (SQCD) with gauge group SU($N_c$) and $N_f$ flavors, Beasley and Witten (2005) showed that for $N_f > N_c$ a one-instanton generates on the moduli space of vacua a chiral interaction with $p = N_f - N_c + 1$ fermion pairs — a 'multi-fermion F-term' — generalizing the familiar instanton superpotential ($N_f = N_c - 1$) and the instanton deformation of the moduli-space complex structure ($N_f = N_c$). Their explicit computations were carried out only for SU(2), and they left three linked questions open, none of which are known to have been answered since: (1) the complete semiclassical one-instanton evaluation, including the full collective-coordinate integrals and normalization, and the explicit chiral-operator formulas for general SU($N_c$) with $N_c > 2$ and $N_f > N_c$; (2) a standard mathematical description of the cohomology theory that classifies such F-terms — the anti-chiral supercharge cohomology of sections of the bundle of (0,p)-forms valued in p-fold holomorphic tangent vectors on a Kähler target, modulo the equivalence relation generated by 'three-quarter-superspace' D-terms, and its refinement, in the presence of a superpotential $W$, by the differential $\overline{\partial}+\iota_{dW}$ — the Dolbeault differential plus contraction with the holomorphic one-form $dW$; and (3) a general criterion deciding which N=1 supersymmetric theories admit instanton-generated complex-structure-deforming multi-fermion F-terms. The string-theoretic analog raised in the same paper was resolved positively by the authors' 2006 companion paper and is not part of the open core.

Background

Supersymmetric QCD (SQCD) is the minimal four-dimensional supersymmetric gauge theory — it has N=1 supersymmetry, generated by one supercharge spinor Q and its conjugate — with gauge group SU($N_c$) and $N_f$ flavors, i.e. $N_f$ quark chiral superfields Q and $N_f$ anti-quark superfields. A chiral superfield packages a complex scalar, a Weyl fermion, and auxiliary fields; its interactions are constrained by supersymmetry to organize into 'F-terms' (integrals over half of superspace, the Grassmann coordinates $\theta$ of the superspace formalism) and 'D-terms' (integrals over all of superspace). F-terms include the superpotential W, a holomorphic function of chiral fields; the classic non-renormalization theorems state that F-terms receive no perturbative corrections beyond one loop, so nonperturbative effects dominate them. An instanton is a finite-action, self-dual solution of the Yang-Mills field equations classified by an integer winding number; its effects in SQCD are computable semiclassically in the Higgs-branch regime (the branch of the vacuum moduli space where squarks have large expectation values and the gauge group is broken), by saturating fermion zero modes — extra fermionic solutions of the Dirac equation in the instanton background whose number controls which supersymmetric correlation functions can be nonzero.

The classical moduli space M of SQCD vacua is parametrized by the gauge-invariant mesons (and baryons when $N_f \geq N_c$). The instanton story was long thought complete: for $N_f = N_c - 1$ the one-instanton generates the Affleck–Dine–Seiberg superpotential proportional to $\Lambda^{3N_c - N_f}/\det M$; for $N_f = N_c$ the instanton quantum-modifies the moduli-space constraint, i.e. deforms the complex structure of M. Beasley and Witten (2005) answered what instantons do for $N_f > N_c$: on M they generate a chiral operator built from $p = N_f - N_c + 1$ pairs of fermion legs (non-derivative interactions of $2(N_f - N_c) + 4$ fermions in total, including the two superspace $\theta$'s), called a multi-fermion F-term, $\int d^4x\,d^2\theta\,O_\omega$. The natural home for these objects is the sigma model on M obtained at a generic vacuum: reducing to two dimensions with N=(2,2) supersymmetry, chiral operators correspond to cohomology classes of polyvector fields (B-model chiral ring). Accordingly, the tensor $\omega$ is a section of $\overline{\Omega}^{p}_{\mathcal{M}}\otimes\wedge^{p}T\mathcal{M}$ — anti-holomorphic p-forms valued in holomorphic p-vector fields on the Kähler manifold M (a complex manifold whose metric is locally derived from a potential, here the moduli space). Chirality of $O_\omega$ under the anti-chiral supercharge $\overline{Q}$ requires the Dolbeault condition $\overline{\partial}\,\omega=0$, and $O_\omega$ is defined only modulo $\overline{Q}$-exact operators generated by integrals over 'three quarters of superspace' ($\int d^4x\,d^2\theta\,d\bar\theta$, one extra Grassmann variable) — an equivalence relation that, because of a required symmetrization over the paired fermion legs, differs from the standard Dolbeault cohomology of polyvector-valued forms. Beasley and Witten noted they knew of no example of an operator expressible over three quarters but not all of superspace. In the presence of a superpotential W on M, the chirality condition becomes $\delta\omega = 0$ with $\delta=\overline{\partial}+\iota_{dW}$, the sum of the Dolbeault differential and the interior product with the holomorphic one-form dW; the cohomology of $\delta$ is analogous to Liu's holomorphic equivariant cohomology, but the specific theory for $\overline{\Omega}^{p}_{\mathcal{M}}\otimes\wedge^{p}T\mathcal{M}$ on an arbitrary Kähler manifold had, in the authors' words, no more standard mathematical description they were aware of.

For SU(2) SQCD the enhanced SU($2N_f$) flavor symmetry fixes the operator $O_\omega$ uniquely, and Beasley and Witten verified its generation three ways: a direct one-instanton computation in the Higgs-branch semiclassical regime (the collective coordinates of the instanton are its position, scale size, and gauge orientation, integrated over with the standard measure); a tree-level Feynman diagram in the Seiberg-dual description (Seiberg duality, discovered by Seiberg (1995), maps SU($N_c$) SQCD with $N_f$ flavors to SU($N_f - N_c$) SQCD with dual quarks; for $N_c = 2$, $N_f = 3$ the dual gauge group is trivial, giving a Wess–Zumino model, i.e. a theory of chiral fields with a cubic superpotential); and consistency under renormalization-group flow when masses are given to some flavors, reducing to the known $N_f = N_c$ and $N_f = N_c - 1$ results. For $N_c > 2$ none of these derivations was carried out: the moduli-space geometry is more complicated, the Seiberg dual is interacting, and the instanton collective-coordinate integral is more involved — only the zero-mode counting $p = N_f - N_c + 1$ and the qualitative structure generalize. The same paper suggested that the new viewpoint might give 'a more systematic way to understand ... which N = 1 theories have such a deformation' of the complex structure of their moduli space, but developed no criterion.

Problem Statement

Complete the general theory of instanton-generated multi-fermion F-terms in four-dimensional N=1 supersymmetric gauge theories left open by Beasley–Witten (2005), comprising three linked deliverables that jointly characterize one object — the multi-fermion F-terms on moduli spaces of vacua and their nonperturbative generation:

1. General SU($N_c$) SQCD evaluation. Perform the complete semiclassical one-instanton computation for SU($N_c$) SQCD with $N_c > 2$ and $N_f > N_c$ flavors in the Higgs-branch regime: the fermion zero-mode saturation (with $p=N_f-N_c+1$ fermion pairs absorbed by the chiral operator), the full integration over the instanton collective coordinates (position, scale size, gauge orientation) including the normalization, and thereby the explicit form of the chiral operator $O_\omega$ — equivalently of the tensor $\omega\in\Gamma(\overline{\Omega}^{p}_{\mathcal{M}}\otimes\wedge^{p}T\mathcal{M})$ — and of the coefficient of the resulting F-term $\int d^4x\,d^2\theta\,O_\omega$ on the moduli space $\mathcal{M}$, for general $N_c$ and $N_f$, with verification that it reduces for $N_c=2$ to the Beasley–Witten operator and, under mass deformations, flows to the $N_f=N_c$ quantum-deformed moduli space and the $N_f=N_c-1$ Affleck–Dine–Seiberg superpotential.

2. Cohomological classification. Construct the mathematical cohomology theory that classifies multi-fermion F-terms on a general Kähler target $\mathcal{M}$: the $\overline{Q}$-cohomology of sections of $\overline{\Omega}^{p}_{\mathcal{M}}\otimes\wedge^{p}T\mathcal{M}$ with chirality condition $\overline{\partial}\,\omega=0$, modulo the equivalence relation generated by three-quarter-superspace D-terms (Beasley–Witten eq. (2.34), a symmetrized relation distinct from standard Dolbeault cohomology of polyvector-valued forms), together with its refinement by the differential $\delta=\overline{\partial}+\iota_{dW}$ in the presence of a holomorphic superpotential $W$. The deliverable includes precise definitions, well-definedness, computability in examples, and at least basic structure theorems — among them whether operators exist that can be written as integrals over three quarters of superspace but not over all of superspace, for which no example is currently known.

3. Existence criterion. Formulate and justify a general criterion that decides, for an arbitrary four-dimensional N=1 supersymmetric theory, whether instantons (or other nonperturbative effects) generate complex-structure-deforming multi-fermion F-terms on the moduli space of vacua; the criterion must be validated against all established cases — SU($N_c$) SQCD for all $N_f\ge N_c-1$, Sp(N) SQCD, massive deformations thereof, and the known string-theoretic realizations — with a proof or systematic derivation of its necessity and sufficiency within an explicitly stated domain of validity.

References

1. C. Beasley and E. Witten, 'New Instanton Effects in Supersymmetric QCD', J. High Energy Phys. 0501 (2005) 056, DOI 10.1088/1126-6708/2005/01/056, arXiv:hep-th/0409149, https://arxiv.org/abs/hep-th/0409149
2. C. Beasley and E. Witten, 'New Instanton Effects in String Theory', J. High Energy Phys. 0602 (2006) 060, DOI 10.1088/1126-6708/2006/02/060, arXiv:hep-th/0512039, https://arxiv.org/abs/hep-th/0512039
3. I. Affleck, M. Dine and N. Seiberg, 'Dynamical supersymmetry breaking in supersymmetric QCD', Nucl. Phys. B 241 (1984) 493–534, DOI 10.1016/0550-3213(84)90058-0, https://doi.org/10.1016/0550-3213(84)90058-0
4. N. Seiberg, 'Electric-Magnetic Duality in Supersymmetric Non-Abelian Gauge Theories', Nucl. Phys. B 435 (1995) 129–146, DOI 10.1016/0550-3213(94)00023-8, arXiv:hep-th/9411149, https://arxiv.org/abs/hep-th/9411149
5. K. Liu, 'Holomorphic equivariant cohomology', Math. Ann. 303 (1995) 125–148, DOI 10.1007/BF01460983, https://doi.org/10.1007/BF01460983
6. P. C. Argyres, A. M. Awad, G. A. Braun and F. P. Esposito, 'On Superspace Chern-Simons-like Terms', J. High Energy Phys. 0502 (2005) 006, DOI 10.1088/1126-6708/2005/02/006, arXiv:hep-th/0411081, https://arxiv.org/abs/hep-th/0411081
7. P. C. Argyres and M. Edalati, 'Sp(N) higher-derivative F-terms via singular superpotentials', J. High Energy Phys. 0607 (2006) 021, DOI 10.1088/1126-6708/2006/07/021, arXiv:hep-th/0603025, https://arxiv.org/abs/hep-th/0603025
8. Y. Matsuo, J. Park, C. Ryou and M. Yamamoto, 'D-instanton derivation of multi-fermion F-terms in supersymmetric QCD', J. High Energy Phys. 0806 (2008) 051, DOI 10.1088/1126-6708/2008/06/051, arXiv:0803.0798, https://arxiv.org/abs/0803.0798
9. I. Garcia-Etxebarria, F. Marchesano and A. M. Uranga, 'Non-perturbative F-terms across lines of BPS stability', J. High Energy Phys. 0807 (2008) 028, DOI 10.1088/1126-6708/2008/07/028, arXiv:0805.0713, https://arxiv.org/abs/0805.0713
10. M. Billò, L. Ferro, M. Frau, F. Fucito, A. Lerda and J. F. Morales, 'Non-perturbative effective interactions from fluxes', J. High Energy Phys. 0812 (2008) 102, DOI 10.1088/1126-6708/2008/12/102, arXiv:0807.4098, https://arxiv.org/abs/0807.4098
11. R. Eager, 'Local Operators from the Space of Vacua of Four Dimensional SUSY Gauge Theories', arXiv:1810.01192, https://arxiv.org/abs/1810.01192 (an arXiv-only preprint; it computes standard polyvector-field cohomology on these moduli spaces, but does not construct the modified three-quarter-superspace cohomology or the $\delta=\overline{\partial}+\iota_{dW}$ refinement required in deliverable 2)