Fate of classical string backgrounds under the leading α′ correction: non-Kähler Ricci-flat compactifications, gravitational collapse, and the all-orders structure of the higher-curvature corrections (open core of the Gross–Witten 1986 problem)

In 1986 Gross and Witten determined the leading classical correction of type II string theory to Einstein's equations: a quartic-in-Riemann invariant $Y = t_8 t_8 R^4$ with coefficient proportional to ζ(3), whose variation changes the dilaton equation to $\Box\phi = Y$ and invalidates generic Ricci-flat solutions while preserving Ricci-flat Kähler (Calabi–Yau-type) backgrounds up to a small deformation. The open core is threefold: (i) the dynamical fate of Ricci-flat non-Kähler compactifications that fail the corrected equations (the $\Box\phi = Y$ obstruction admits no static four-dimensionally Poincaré-invariant solution when $\int_K Y \neq 0$, and the subsequent evolution and endpoint are undetermined); (ii) whether higher-curvature corrections prevent or qualitatively modify horizon and singularity formation in gravitational collapse, a dynamical question beyond the stationary perturbative treatments available (Dabholkar; Sen; Moura); and (iii) a closed all-orders understanding of the sigma-model beta functions and the tower of higher-curvature corrections, beyond the order-by-order and duality-constrained results available (Metsaev–Tseytlin; Bershadsky–Cecotti–Ooguri–Vafa; Green–Vanhove; Hohm–Zwiebach; Marques–Nuñez).

Background

String theory replaces point particles by one-dimensional objects whose quantization introduces a fundamental length, encoded in the parameter α′ (the Regge slope, equal to the square of the string length). At distances large compared to the string length, the massless modes of the closed string — the graviton $g_{\mu\nu}$, an antisymmetric two-form $B_{\mu\nu}$, and a scalar dilaton φ — are governed by an effective action that reduces to Einstein's general relativity at leading order and is corrected by higher-derivative terms organized as an expansion in α′ (i.e., in powers of the spacetime curvature relative to the string scale) and in the string coupling. Determining these corrections, and the modified equations of motion they imply for classical solutions, is the problem of string-theoretic modifications of Einstein's equations.

The seminal step was taken by Gross and Witten in 1986 for type II superstrings (the two closed, spacetime-supersymmetric string theories, IIA and IIB, whose bosonic fields include the graviton, two-form, and dilaton). Expanding the tree-level four-graviton scattering amplitude at low energy, they fixed the first purely gravitational correction: a local term quartic in the Riemann curvature tensor, conventionally written $Y = t_8 t_8 R^4$ — a specific trace contraction of four Riemann tensors, where the tensor $t_8$ arises from saturating worldsheet fermion zero modes — with coefficient proportional to ζ(3), the Riemann zeta value. (The same analysis fixed the leading $F^4$-type correction for open, type I strings.) Varying the corrected action modifies the classical equations: schematically the dilaton equation becomes $\Box\phi = Y$ ($\Box$ the spacetime Laplacian), and the Einstein equations acquire curvature-derivative terms. The consequences are stark. A generic Ricci-flat manifold — one with vanishing Ricci tensor $R_{\mu\nu} = 0$, the condition solving the leading-order equations — does not solve the corrected equations, since generically $Y \neq 0$ and the functional derivative $\delta Y/\delta g$ does not vanish. Ricci-flat Kähler manifolds — complex manifolds of holonomy contained in SU(N), i.e., Calabi–Yau-type spaces, then newly established as candidate internal spaces for compactifications of the form four-dimensional spacetime × internal manifold — do survive: the corrected equations are satisfied after an order-$\alpha'^3$ Kähler deformation of the metric, which absorbs the correction.

In the worldsheet formulation, a string background is admissible when the two-dimensional nonlinear sigma model describing string propagation in it is conformally (Weyl) invariant; the deviation from conformal invariance is measured by the sigma-model beta functions, computed as an expansion in loops of the two-dimensional theory, each loop counting a power of curvature. Through three loops, supersymmetric sigma models on Ricci-flat targets have vanishing beta functions. The Gross–Witten result translates into the statement that the sigma model with N=1 worldsheet supersymmetry (a single independent supersymmetry of the two-dimensional theory) on a Ricci-flat target acquires a nonzero beta function at four loops. The heterotic counterpart of the quartic action — the heterotic string being the closed-string theory whose worldsheet combines superstring and bosonic modes, yielding spacetime gauge fields in addition to gravity — was not yet known and was left as future work, together with the fate of the invalidated generic Ricci-flat solutions, the implications for gravitational collapse and black-hole formation, and the all-orders structure of the corrections. The heterotic item is excluded from the open core (refs 2, 7); the remaining items, stated precisely below, define the open problem.

Problem Statement

Consider the type II string effective action including the Gross-Witten order-$\alpha'^3$ quartic-curvature correction $Y = t_8 t_8 R^4$ (with its coefficient proportional to ζ(3)) and the associated corrected field equations, whose dilaton component is $\Box\phi = Y$. The open problem is the set of unresolved consequences of this correction for classical solutions; it has three parts, posed independently of one another:

1. Dynamical fate of generic Ricci-flat backgrounds. For compactifications of the form four-dimensional spacetime × K where K is Ricci-flat but not Kähler, so that Y does not vanish and typically $\int_K Y \neq 0$, no static, four-dimensionally Poincaré-invariant solution of the corrected equations exists. Determine the subsequent classical evolution and its endpoint: does the background evolve toward a new stationary stringy configuration (possibly with nonzero B-field or dilaton gradients), undergo runaway time dependence, or develop another instability? The determination must hold for any precisely specified class of Ricci-flat non-Kähler compactification manifolds for which the treatment is internally consistent and scheme-aware.

2. Gravitational collapse and horizons. Determine whether the higher-curvature corrections that invalidate generic Ricci-flat solutions prevent or qualitatively modify the formation of event horizons and singularities in classical gravitational collapse, relative to the predictions of the two-derivative Einstein equations. This is a dynamical question requiring analysis beyond stationary perturbation theory; existing stationary α′-corrected black hole solutions do not answer it.

3. All-orders structure. Establish a systematic, closed understanding of the sigma-model beta functions and of the complete tower of higher-curvature corrections to the string effective action — a statement valid to all orders in α′, with its assumptions and its field-redefinition scheme made explicit, that subsumes and goes beyond the order-by-order amplitude results, duality constraints, and duality-covariant double-field-theory frameworks currently available — together with the backreaction of that tower on compactification backgrounds.

The heterotic-string analog of the leading quartic action is excluded from the open core as already determined (Gross-Sloan 1987; Bergshoeff-de Roo 1989); heterotic corrections to compactifications lie outside the scope of this problem.

References

1. D. J. Gross and E. Witten, 'Superstring Modifications of Einstein's Equations', Nuclear Physics B 277 (1986) 1-10. DOI: 10.1016/0550-3213(86)90429-3. URL: https://doi.org/10.1016/0550-3213(86)90429-3
2. D. J. Gross and J. H. Sloan, 'The Quartic Effective Action for the Heterotic String', Nuclear Physics B 291 (1987) 41-89. DOI: 10.1016/0550-3213(87)90465-2. URL: https://doi.org/10.1016/0550-3213(87)90465-2
3. M. T. Grisaru, A. E. M. van de Ven and D. Zanon, 'Four-Loop Divergences for the N=1 Supersymmetric Non-Linear Sigma-Model in Two Dimensions', Nuclear Physics B 277 (1986) 409-428. DOI: 10.1016/0550-3213(86)90449-9. URL: https://doi.org/10.1016/0550-3213(86)90449-9
4. M. T. Grisaru, A. E. M. van de Ven and D. Zanon, 'Four-Loop β-Function for the N=1 and N=2 Supersymmetric Non-Linear Sigma Model in Two Dimensions', Physics Letters B 173 (1986) 423-428. DOI: 10.1016/0370-2693(86)90408-9. URL: https://doi.org/10.1016/0370-2693(86)90408-9
5. D. Nemeschansky and A. Sen, 'Conformal Invariance of Supersymmetric Sigma Models on Calabi-Yau Manifolds', Physics Letters B 178 (1986) 365-369. DOI: 10.1016/0370-2693(86)91394-8. URL: https://doi.org/10.1016/0370-2693(86)91394-8
6. R. R. Metsaev and A. A. Tseytlin, 'Order α′ (Two-Loop) Equivalence of the String Equations of Motion and the σ-Model Weyl Invariance Conditions', Nuclear Physics B 293 (1987) 385-419. DOI: 10.1016/0550-3213(87)90077-0. URL: https://doi.org/10.1016/0550-3213(87)90077-0
7. E. A. Bergshoeff and M. de Roo, 'The Quartic Effective Action of the Heterotic String and Supersymmetry', Nuclear Physics B 328 (1989) 439-468. DOI: 10.1016/0550-3213(89)90336-2. URL: https://doi.org/10.1016/0550-3213(89)90336-2
8. M. Bershadsky, S. Cecotti, H. Ooguri and C. Vafa, 'Kodaira-Spencer Theory of Gravity and Exact Results for Quantum String Amplitudes', Communications in Mathematical Physics 165 (1994) 311-428. DOI: 10.1007/BF02099774. URL: https://doi.org/10.1007/BF02099774
9. H. Lu, C. N. Pope and K. S. Stelle, 'Generalised Holonomy for Higher-Order Corrections to Supersymmetric Backgrounds in String and M-Theory', Nuclear Physics B 741 (2006) 17-33. arXiv:hep-th/0509057. DOI: 10.1016/j.nuclphysb.2006.01.042. URL: https://arxiv.org/abs/hep-th/0509057
10. K. Becker, M. Becker and D. Robbins, 'The α′-Expansion of Calabi-Yau Compactifications', arXiv preprint arXiv:1510.05713 (2015). URL: https://arxiv.org/abs/1510.05713
11. K. Becker, M. Becker and D. Robbins, 'String Corrected Spacetimes and SU(N)-Structure Manifolds', Nuclear Physics B 898 (2015) 715-735. arXiv:1503.04237. DOI: 10.1016/j.nuclphysb.2015.04.012. URL: https://arxiv.org/abs/1503.04237
12. M. B. Green and P. Vanhove, 'Duality and Higher Derivative Terms in M Theory', Journal of High Energy Physics 01 (2006) 093. arXiv:hep-th/0510027. DOI: 10.1088/1126-6708/2006/01/093. URL: https://arxiv.org/abs/hep-th/0510027
13. O. Hohm and B. Zwiebach, 'Double Field Theory at Order α′', Journal of High Energy Physics 11 (2014) 075. arXiv:1407.3803. DOI: 10.1007/JHEP11(2014)075. URL: https://arxiv.org/abs/1407.3803
14. D. Marques and C. A. Nuñez, 'T-duality and α′-Corrections', Journal of High Energy Physics 10 (2015) 084. arXiv:1507.00652. DOI: 10.1007/JHEP10(2015)084. URL: https://arxiv.org/abs/1507.00652
15. A. Dabholkar, 'Exact Counting of Supersymmetric Black Hole Microstates', Physical Review Letters 94 (2005) 241301. arXiv:hep-th/0409148. DOI: 10.1103/PhysRevLett.94.241301. URL: https://arxiv.org/abs/hep-th/0409148
16. A. Sen, 'Logarithmic Corrections to Schwarzschild and Other Non-extremal Black Hole Entropy in Different Dimensions', Journal of High Energy Physics 04 (2013) 156. arXiv:1205.0971. DOI: 10.1007/JHEP04(2013)156. URL: https://arxiv.org/abs/1205.0971
17. F. Moura, 'Dilatonic Black Holes in Superstring Gravity', Physical Review D 99 (2019) 086008. arXiv:1811.04809. DOI: 10.1103/PhysRevD.99.086008. URL: https://arxiv.org/abs/1811.04809
18. A. Strominger, 'Superstrings with Torsion', Nuclear Physics B 274 (1986) 253-284. DOI: 10.1016/0550-3213(86)90286-5. URL: https://doi.org/10.1016/0550-3213(86)90286-5