Worldsheet Sigma Models and Spacetime Consistency

A perturbative string background is first a two-dimensional quantum field theory, not merely a spacetime metric. Vanishing worldsheet Weyl anomaly translates into target-space equations order by order in $\alpha'$, while modular invariance, critical central charge, and consistent Ramond–Ramond sectors impose additional constraints. This page derives the leading metric condition and marks the boundary of that derivation.

Required background. String theory as a holographic construction interface identifies where worldsheet consistency enters a holographic construction.

Helpful background. Effective field theory as a controlled expansion supplies the logic of a derivative expansion. Dimensions and reality conditions supplies the supersymmetry constraints used in superstring backgrounds.

The nonlinear sigma model

For a bosonic NS–NS background, the Euclidean worldsheet action contains the metric, two-form, and dilaton couplings in the standard normalization Polchinski 1998, Vol. 1, Ch. 3:

$$S_\sigma=\frac{1}{4\pi\alpha'}\int d^2\sigma\sqrt h\, \left[h^{ab}G_{\mu\nu}(X)\partial_aX^\mu\partial_bX^\nu +i\epsilon^{ab}B_{\mu\nu}(X)\partial_aX^\mu\partial_bX^\nu +\alpha'\Phi(X)R^{(2)}\right].$$

The functions $G_{\mu\nu}$, $B_{\mu\nu}$, and $\Phi$ are couplings of this two-dimensional theory. Renormalization makes them scale dependent. A critical string requires their beta functions to vanish, modulo target-space field redefinitions; otherwise the Weyl factor becomes physical and the construction is not a critical background.

At leading nontrivial order,

$$\beta^G_{\mu\nu}=\alpha'\!\left(R_{\mu\nu}-\frac14H_{\mu\rho\sigma}H_\nu{}^{\rho\sigma} +2\nabla_\mu\nabla_\nu\Phi\right)+O(\alpha'^2),$$

where $H=dB$. The corresponding $B$ and dilaton beta functions complete the NS–NS field equations. Thus, when $H=0$ and $\Phi$ is constant, $\beta^G=0$ begins with $R_{\mu\nu}=0$. Friedan’s calculation established this direct connection between sigma-model renormalization and target geometry Friedan 1980; the spacetime effective action reproduces the beta functions up to scheme-dependent field redefinitions Callan et al. 1985.

First application: a curved NS–NS background

Suppose a geometry has curvature radius $L$, slowly varying dilaton, and $H^2\sim L^{-2}$. Every displayed term is then of order $\alpha'/L^2$. Solving the leading equations is predictive only when $\alpha'/L^2\ll1$; higher-loop worldsheet corrections generate higher-curvature terms. Separately, the dilaton fixes the local string coupling $g_s(X)=e^{\Phi(X)}$, so worldsheet genus corrections require $e^{2\Phi}\ll1$ in the region probed.

This calculation checks local equations but not the full string background. One must also impose the correct critical central charge, GSO projection, flux quantization, boundary conditions, and modular consistency. Ramond–Ramond flux is not represented by the elementary bosonic action above; Green–Schwarz, pure-spinor, spacetime supersymmetry, or string-field methods may be needed.

Adversarial control: strongly curved Ramond–Ramond flux

Take a background supported predominantly by Ramond–Ramond flux with $L^2\sim\alpha'$. A supergravity metric can formally solve its leading equations, yet the sigma-model derivative expansion is order one and the displayed beta function is not a controlled test. If in addition no exactly solvable worldsheet formulation is known, “beta functions vanish” has not actually been demonstrated. Supersymmetry can protect selected quantities, but does not generically remove the full tower of $\alpha'$ corrections.

The evidence ceiling is perturbative and background-specific: a verified conformal worldsheet defines a genus expansion about that background, not a nonperturbative theory valid at arbitrary $g_s$ or a proof of holographic duality. String spectra and low-energy limits next determines which spacetime modes survive this construction.

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

• Callan, C. G., Friedan, D., Martinec, E. J., and Perry, M. J. (1985), “Strings in Background Fields,” Nuclear Physics B 262, 593–609. doi:10.1016/0550-3213(85)90506-1.
• Friedan, D. (1980), “Nonlinear Models in $2+\epsilon$ Dimensions,” Physical Review Letters 45, 1057–1060. doi:10.1103/PhysRevLett.45.1057.
• Polchinski, J. (1998), String Theory, Vol. 1: An Introduction to the Bosonic String, Cambridge University Press. doi:10.1017/CBO9780511816079.