Unresolved issues in worldsheet-instanton-generated multi-fermion F-terms of heterotic (0,2) compactifications (Beasley–Witten)

Beasley and Witten showed that worldsheet instantons in heterotic Calabi–Yau compactifications with only (0,2) worldsheet supersymmetry generate multi-fermion and higher-derivative F-terms, notably a deformation of the complex structure of the four-dimensional moduli space, and they stated five unresolved issues: (i) it is unproven whether the deformation tensor ω represents a non-trivial class in $H^1(\mathcal M_0, T\mathcal M_0)$, the condition for the deformation to be a genuine global F-term rather than a removable coordinate artifact; (ii) no concrete example exists in which the deformation is globally and explicitly determined; (iii) for rational curves moving in families, it is unknown whether higher-order interactions lift the extra fermion zero modes and thereby generate a superpotential, or whether this is impossible; (iv) the heterotic higher-genus F-term is evaluated only in an abelian (Cartan-subalgebra) simplification, the general non-abelian current correlators being left unevaluated; (v) the coupling of these F-terms to four-dimensional N=1 supergravity is not constructed. None of the five items has been resolved in the literature; the problem remains open.

Background

In perturbative heterotic string compactifications preserving $N=1$ supersymmetry in four dimensions, one studies a Calabi–Yau threefold $X$ — a compact complex threefold with trivial canonical bundle, admitting Ricci-flat Kähler metrics — equipped with a stable holomorphic gauge bundle $V$ (with $c_2(V)=c_2(TX)$ for anomaly cancellation). The generic worldsheet theory of such a compactification has $(0,2)$ supersymmetry, meaning two right-moving and no left-moving worldsheet supercharges. A worldsheet instanton is a Euclidean string worldsheet wrapping a holomorphic curve $C\subset X$; it contributes corrections of order $e^{-\mathrm{Area}(C)/\alpha'}$ to the four-dimensional effective action.

The classic instanton effect is a correction to the superpotential, the holomorphic F-term potential of $N=1$ supersymmetry. Selection rules restrict it severely: superpotential corrections arise only at string tree level (Dine–Seiberg–Wen–Witten), the wrapped curve must be rational (genus zero), and it must be isolated in $X$ so that the instanton carries exactly two right-moving fermion zero modes — the minimum needed to furnish the chiral Grassmann measure $d^2\theta$ of an F-term. Each contribution is weighted by a Pfaffian — the square root of the determinant of the antisymmetrized $\bar\partial$-operator (the Dolbeault operator of anti-holomorphic differentiation) coupled to $V$ on the curve — and sums over curves obey strong cancellations: the residue theorem of Beasley–Witten shows that in $(0,2)$ linear sigma models (two-dimensional gauge-theory descriptions of the compactification) the contributions of isolated rational curves in a fixed homology class cancel, supporting the expected stability of $(0,2)$ vacua (Silverstein–Witten).

Beasley and Witten's 2006 paper initiated the study of a different instanton output. Four-dimensional $N=1$ effective actions also admit chiral multi-fermion F-terms — terms with several fermions and spacetime derivatives, first systematically described in supersymmetric QCD. A term of the form

$$\delta S=\int d^4x\, d^2\theta\;\omega_{i\bar j}\, D^{\alpha}\Phi^i D_{\alpha}\Phi^{\bar j}+\mathrm{c.c.},$$

with $\bar\partial$-closed $\omega$, describes an infinitesimal deformation of the complex structure of the target-space moduli space: by Kodaira–Spencer theory — the theory of infinitesimal complex-structure deformations — such deformations are classified by $H^1(\mathcal M, T\mathcal M)$. Locally on moduli space this F-term can be integrated into a D-term (an integral over the full $d^4\theta$ superspace); only the global non-triviality of the cohomology class makes it a genuine physical effect.

The mechanism found by Beasley–Witten is that curves which fail the superpotential selection rules instead generate these higher F-terms. A curve $C$ that moves in a holomorphic $p$-parameter family in $X$, or has genus $g\ge 1$, carries extra right-moving fermion zero modes (counted by the holomorphic sections $H^0(C,N)$ of the normal bundle $N$ of directions in $X$ transverse to $C$, and by the holomorphic one-forms $H^0(C,K_C)$ on $C$). These extra modes can be soaked up by higher-order worldsheet interactions coupling the right-moving fermions to left-moving currents — the currents of the affine (Kac–Moody) current algebra realized by the heterotic left-movers — producing a multi-fermion F-term of degree $p$ (or $g$). The central case is a one-parameter family of rational curves with normal bundle $N=\mathcal O\oplus\mathcal O(-2)$, which generates precisely the degree-two multi-fermion F-term deforming the complex structure of the moduli space $\mathcal M_0$. Here $\mathcal M_0$ is the $\alpha'$-corrected moduli space: because of the anomalous Green–Schwarz transformation of the $B$-field (the antisymmetric two-form gauge field of the string) under Lorentz and gauge transformations, the complexified Kähler moduli fiber non-trivially over the complex-structure and bundle moduli already in worldsheet perturbation theory, so $\mathcal M_0$ is not a product. The computation is organized on a 'universal' space $\mathcal U$, a bundle over $\mathcal M_0$ whose fiber is the parameter space of the family, with careful bookkeeping of determinant and Pfaffian line bundles; in a local model with $N=2$ supersymmetry the deformation tensor takes the compact form $\omega=(J\circ J)(\Psi_C)$, where $\Psi_C$ is the worldsheet-instanton partition function and $J$ a differential operator built from the holomorphic three-form. The same framework reproduces known Type IIA A-model (the topological curve-counting sector of the Type IIA string) instanton F-terms.

Within this framework the authors state what remains unresolved, and these five items — the mathematical genuineness of the deformation, its explicit global realization, its boundary against superpotential generation, its full evaluation beyond the abelian case, and its completion with gravity — constitute the present problem.

Problem Statement

Complete the theory of worldsheet-instanton-generated multi-fermion F-terms in heterotic $(0,2)$ Calabi–Yau compactifications, in the five specific directions left open by Beasley–Witten (JHEP 02 (2006) 060):

1. Cohomological non-triviality. Prove or disprove that the instanton-induced tensor $\omega$ generated by a one-parameter family of rational curves represents a non-trivial class in $H^1(\mathcal M_0, T\mathcal M_0)$ — at least in suitable compact examples — where $\mathcal M_0$ is the $\alpha'$-corrected moduli space. This is the condition for the deformation to be a genuine global F-term rather than an artifact removable by a local coordinate change; the source establishes neither direction.
2. Explicit global example. Construct a concrete example in which the instanton-induced deformation of $\mathcal M_0$ is globally and explicitly determined (the paper's local $N=2$ model determines the deformation only locally, via $\omega=(J\circ J)(\Psi_C)$, and cites only orbifold-limit computations of Antoniadis and collaborators in the one-particle-irreducible (1PI) effective action).
3. Zero-mode lifting and the superpotential. For embedded rational curves that move in holomorphic families in $X$, determine whether higher-order interactions of the physical $(0,2)$ worldsheet theory can lift the extra fermion zero modes (sections of the normal bundle) so that the instanton generates a superpotential, or prove that this cannot occur. The authors state they were 'unable to see how this can occur or to prove conclusively that it does not'.
4. Non-abelian higher-genus evaluation. Evaluate the heterotic higher-genus F-term from an isolated genus-$g$ curve beyond the abelianized case: the correlator of $2g$ non-abelian left-moving currents on the curve, with the short-distance (Schwinger) contact terms fixed by the level-$k$ current algebra and the normalization by the period matrix of the genus-$g$ Riemann surface, as it appears in the formal expression (5.17) of the source, of which only the component with all gauge indices in a Cartan subalgebra (the maximal commuting subalgebra of the gauge Lie algebra) and distinct has been evaluated.
5. Supergravity completion. Extend the analysis to include the coupling of these multi-fermion F-terms to four-dimensional $N=1$ supergravity, replacing the non-compact local models by which gravity is currently decoupled.

These five open items jointly serve one common objective: to place the newly discovered instanton-induced higher F-terms on the same footing as the classical instanton superpotential — mathematically well-defined (item 1), explicitly realizable (item 2), with a sharp boundary against superpotential generation (item 3), fully evaluated beyond the abelian limit (item 4), and physically complete including gravity (item 5). Items 1–3 concern the degree-two F-term that deforms the moduli space; item 4 concerns the same instanton mechanism for higher genus; item 5 concerns the supersymmetric completion of the resulting effective action.

References

1. C. Beasley and E. Witten, 'New instanton effects in string theory', JHEP 02 (2006) 060, DOI 10.1088/1126-6708/2006/02/060, arXiv:hep-th/0512039, https://arxiv.org/abs/hep-th/0512039
2. C. Beasley and E. Witten, 'New instanton effects in supersymmetric QCD', JHEP 01 (2005) 056, DOI 10.1088/1126-6708/2005/01/056, arXiv:hep-th/0409149, https://arxiv.org/abs/hep-th/0409149
3. C. Beasley and E. Witten, 'Residues and world sheet instantons', JHEP 10 (2003) 065, DOI 10.1088/1126-6708/2003/10/065, arXiv:hep-th/0304115, https://arxiv.org/abs/hep-th/0304115
4. M. Dine, N. Seiberg, X. G. Wen and E. Witten, 'Nonperturbative effects on the string world sheet', Nucl. Phys. B 278 (1986) 769, DOI 10.1016/0550-3213(86)90418-9, https://doi.org/10.1016/0550-3213(86)90418-9
5. E. Silverstein and E. Witten, 'Criteria for conformal invariance of (0,2) models', Nucl. Phys. B 444 (1995) 161, DOI 10.1016/0550-3213(95)00186-V, arXiv:hep-th/9503212, https://arxiv.org/abs/hep-th/9503212
6. E. I. Buchbinder, 'Derivative F-terms from heterotic M-theory five-brane instantons', Phys. Lett. B 645 (2007) 281, DOI 10.1016/j.physletb.2006.12.039, arXiv:hep-th/0611119, https://arxiv.org/abs/hep-th/0611119
7. N. Halmagyi, I. V. Melnikov and S. Sethi, 'Instantons, hypermultiplets and the heterotic string', JHEP 07 (2007) 086, DOI 10.1088/1126-6708/2007/07/086, arXiv:0704.3308, https://arxiv.org/abs/0704.3308
8. V. Braun, M. Kreuzer, B. A. Ovrut and E. Scheidegger, 'Worldsheet instantons, torsion curves, and non-perturbative superpotentials', Phys. Lett. B 649 (2007) 334, DOI 10.1016/j.physletb.2007.03.066, arXiv:hep-th/0703134, https://arxiv.org/abs/hep-th/0703134
9. G. Curio, 'Perspectives on Pfaffians of heterotic world-sheet instantons', JHEP 09 (2009) 131, DOI 10.1088/1126-6708/2009/09/131, arXiv:0904.2738, https://arxiv.org/abs/0904.2738
10. E. I. Buchbinder and B. A. Ovrut, 'Non-vanishing superpotentials in heterotic string theory and discrete torsion', JHEP 01 (2017) 038, DOI 10.1007/JHEP01(2017)038, arXiv:1611.01922, https://arxiv.org/abs/1611.01922
11. E. I. Buchbinder, L. Lin and B. A. Ovrut, 'Non-vanishing heterotic superpotentials on elliptic fibrations', JHEP 09 (2018) 111, DOI 10.1007/JHEP09(2018)111, arXiv:1806.04669, https://arxiv.org/abs/1806.04669
12. E. I. Buchbinder, A. Lukas, B. A. Ovrut and F. Ruehle, 'Heterotic instantons for monad and extension bundles', JHEP 02 (2020) 081, DOI 10.1007/JHEP02(2020)081, arXiv:1912.07222, https://arxiv.org/abs/1912.07222
13. I. V. Melnikov and S. Sethi, 'Half-twisted (0,2) Landau-Ginzburg models', JHEP 03 (2008) 040, DOI 10.1088/1126-6708/2008/03/040, arXiv:0712.1058, https://arxiv.org/abs/0712.1058
14. J. McOrist and I. V. Melnikov, 'Summing the instantons in half-twisted linear sigma models', JHEP 02 (2009) 026, DOI 10.1088/1126-6708/2009/02/026, arXiv:0810.0012, https://arxiv.org/abs/0810.0012
15. I. Melnikov, S. Sethi and E. Sharpe, 'Recent developments in (0,2) mirror symmetry', SIGMA 8 (2012) 068, DOI 10.3842/SIGMA.2012.068, arXiv:1209.1134, https://arxiv.org/abs/1209.1134
16. P. S. Aspinwall and M. R. Plesser, 'Elusive worldsheet instantons in heterotic string compactifications', Proc. Sympos. Pure Math. 85 (2012) 33, DOI 10.1090/pspum/085/1373, arXiv:1106.2998, https://arxiv.org/abs/1106.2998
17. I. Antoniadis, S. Hohenegger and K. S. Narain, 'N=4 topological amplitudes and string effective action', Nucl. Phys. B 771 (2007) 40, DOI 10.1016/j.nuclphysb.2007.02.011, arXiv:hep-th/0610258, https://arxiv.org/abs/hep-th/0610258
18. I. Antoniadis, S. Hohenegger, K. S. Narain and E. Sokatchev, 'A new class of N=2 topological amplitudes', Nucl. Phys. B 823 (2009) 448, DOI 10.1016/j.nuclphysb.2009.08.006, arXiv:0905.3629, https://arxiv.org/abs/0905.3629
19. D. Baumann and D. Green, 'Supergravity for effective theories', JHEP 03 (2012) 001, DOI 10.1007/JHEP03(2012)001, arXiv:1109.0293, https://arxiv.org/abs/1109.0293
20. X. de la Ossa and E. E. Svanes, 'Holomorphic bundles and the moduli space of N=1 supersymmetric heterotic compactifications', JHEP 10 (2014) 123, DOI 10.1007/JHEP10(2014)123, arXiv:1402.1725, https://arxiv.org/abs/1402.1725
21. R. Donagi, Z. Lu and I. V. Melnikov, 'Global aspects of (0,2) moduli space: toric varieties and tangent bundles', Commun. Math. Phys. 338 (2015) 1197, DOI 10.1007/s00220-015-2394-9, arXiv:1409.4353, https://arxiv.org/abs/1409.4353
22. L. Martucci and T. Weigand, 'Hidden selection rules, M5-instantons and fluxes in F-theory', JHEP 10 (2015) 131, DOI 10.1007/JHEP10(2015)131, arXiv:1507.06999, https://arxiv.org/abs/1507.06999
23. L. B. Anderson, F. Apruzzi, X. Gao, J. Gray and S.-J. Lee, 'Instanton superpotentials, Calabi-Yau geometry, and fibrations', Phys. Rev. D 93 (2016) 086001, DOI 10.1103/PhysRevD.93.086001, arXiv:1511.05188, https://arxiv.org/abs/1511.05188