Stringy and Quantum Corrections Beyond Supergravity

A supergravity prediction is the first term in several expansions, not a single approximation with one error bar. Higher-derivative $\alpha'$ terms, string loops, Kaluza–Klein exchange, wrapped branes, and nonperturbative exponentials have different parameters and physical meanings. A controlled result identifies which sectors contribute to the chosen observable and bounds each omitted class separately.

Required background. Bulk interaction scaling and effective cutoffs supplies the large-$N$ loop expansion. String spectra and low-energy limits supplies oscillator and compactification thresholds. Consistent truncations distinguishes exact sector closure from low-energy omission.

Helpful background. The curvature-operator basis supplies higher-derivative organization. One-loop quantum gravity as EFT and long-distance quantum corrections supply loop power counting and nonanalytic effects.

Five distinct departures from supergravity

For a background of radius $L$, the local derivative expansion is organized by $\epsilon_{\alpha'}=\alpha'/L^2$. Type-IIB theory first corrects the two-derivative action schematically by $\alpha'^3R^4$ and its supersymmetric completion. Genus corrections are organized by $g_s^2$, or after holographic normalization by powers of $1/N^2$ at fixed ‘t Hooft coupling. These two expansions need not become small together Green, Schwarz, and Witten 1987, Vol. 2.

Kaluza–Klein effects instead depend on $E/m_{\mathrm{KK}}$ and on selection rules. A consistent truncation can remove their classical sourcing for a retained sector even when $m_{\mathrm{KK}}L=O(1)$, but generic string observables still contain the compact tower. Wrapped branes introduce masses proportional to a cycle volume divided by $g_s\ell_s^{p+1}$. D-instantons contribute terms such as $e^{-2\pi/g_s}$, invisible at every order in genus perturbation theory.

First application: an AdS5 four-point expansion

For a normalized connected four-point function of single-trace operators in AdS$_5$/CFT$_4$, a schematic expansion is

$$\mathcal G_{\mathrm{conn}} =\frac1{N^2}\left(\mathcal G_{\mathrm{sugra}} +\lambda^{-3/2}\mathcal G_{R^4}+\cdots\right) +\frac1{N^4}\mathcal G_{\mathrm{1-loop}}+\cdots +\mathcal G_{\mathrm{np}}.$$

The powers depend on operator normalization and the interaction, so the displayed formula is an organizational example rather than a universal coefficient statement. The $R^4$ term is fixed partly by the flat-space type-IIB amplitude and supersymmetry; bulk loops generate logarithms and multi-trace data; nonperturbative terms scale roughly as $e^{-8\pi^2N/\lambda}$ in the weakly coupled IIB frame. Mellin-space organization Penedones 2011 and localization constraints can isolate some coefficients without controlling every term, while D-instanton effects supply an explicitly nonperturbative sector Green and Gutperle 1997.

A truncation to five-dimensional supergravity addresses only which fields appear in $\mathcal G_{\mathrm{sugra}}$ for the selected sector. It does not remove $\alpha'$ corrections to their vertices or quantum loops.

Adversarial control: correct one expansion, fail another

Take $N$ extremely large so that bulk loops are negligible, but set $\lambda=O(1)$. The genus expansion is controlled while the $\alpha'$ expansion fails. Or take $E$ near $m_{\mathrm{KK}}$ and add only the $R^4$ operator: the leading missing effect may be a KK pole, which no finite local curvature series reproduces. Finally, an asymptotic $\alpha'$ series cannot certify the absence of $e^{-1/g_s}$ sectors.

The evidence ceiling is term-specific. A computed coefficient is reliable only within its stated order in $1/N$, $\alpha'/L^2$, $E/m_{\mathrm{KK}}$, and any instanton expansion. Top-down and bottom-up claims uses this error structure to delimit ultraviolet-completion language.

The chapter overview contains the structure diagram and validity and failure diagram. They are embedded there once so that their shared chapter-level context is not repeated on every article.

For the chapter-wide comparison of assumptions, counterevidence, falsifiers, and claim ceilings, see the claim-domain table.

References

• Green, M. B., and Gutperle, M. (1997), “Effects of D-Instantons,” Nuclear Physics B 498, 195–227. arXiv:hep-th/9701093.
• Green, M. B., Schwarz, J. H., and Witten, E. (1987), Superstring Theory, Vol. 2, Cambridge University Press. Cambridge University Press.
• Penedones, J. (2011), “Writing CFT Correlation Functions as AdS Scattering Amplitudes,” Journal of High Energy Physics 2011(03), 025. arXiv:1011.1485.