Skip to content

Why Classical Gravity Emerges

The previous pages derived the canonical D3-brane parameter map

gYM2=4πgs,λ=gYM2N=4πgsN,L4α2=λ.g_{\mathrm{YM}}^2=4\pi g_s, \qquad \lambda=g_{\mathrm{YM}}^2N=4\pi g_sN, \qquad \frac{L^4}{\alpha'^2}=\lambda.

This page explains why that map leads to classical gravity in a special corner of parameter space.

The exact AdS5_5/CFT4_4 statement is not

CFT=classical Einstein gravity.\text{CFT}=\text{classical Einstein gravity}.

It is instead

N=4  SU(N)  super-Yang–Millstype IIB string theory on AdS5×S5.\mathcal N=4\;SU(N)\;\text{super-Yang–Mills} \quad\longleftrightarrow\quad \text{type IIB string theory on }\mathrm{AdS}_5\times S^5.

Classical gravity emerges only after two different effects become small:

G5L31N2,αL2=1λ.\frac{G_5}{L^3}\sim \frac{1}{N^2}, \qquad \frac{\alpha'}{L^2}=\frac{1}{\sqrt{\lambda}}.

The first ratio controls bulk quantum loops. The second controls string-scale corrections to point-particle gravity. Thus the familiar classical-supergravity regime is

N1,λ1,gs=λ4πN1.N\gg1, \qquad \lambda\gg1, \qquad g_s=\frac{\lambda}{4\pi N}\ll1.

A clean weakly coupled type IIB supergravity window is

1λN.1\ll\lambda\ll N.

The exact duality is much larger than this window. Finite NN and finite λ\lambda correspond to quantum string theory in AdS, not to a classical metric.

Regimes in which large N and large lambda suppress quantum loops and stringy corrections.

Classical gravity is a controlled corner of the exact AdS5_5/CFT4_4 duality. Large NN suppresses bulk loops through G5/L3N2G_5/L^3\sim N^{-2}. Large λ\lambda makes the AdS radius large compared with the string length, L/s=λ1/4L/\ell_s=\lambda^{1/4}, suppressing α\alpha' corrections. Keeping gs=λ/(4πN)g_s=\lambda/(4\pi N) small gives weakly coupled type IIB supergravity on AdS5×S5\mathrm{AdS}_5\times S^5.

Most practical uses of holography begin by solving classical equations of motion in a curved spacetime. One solves Einstein’s equation for a black brane, a Maxwell equation for a bulk gauge field, or a scalar wave equation in AdS. It is easy to forget how dramatic this is.

The boundary theory is a quantum field theory. It has no dynamical spacetime metric. It is usually strongly coupled in the regime where gravity is useful. Yet the dual calculation can reduce to a classical boundary-value problem.

That simplification is not magic. It is a saddle-point approximation. The CFT has many degrees of freedom, and the bulk action becomes large in AdS units. At the same time, the AdS curvature becomes small compared with the string scale.

Schematically,

ZCFT[J]=Zstring[J]Zsugra[J]exp(Ssugra,ren,on-shell[J]).Z_{\mathrm{CFT}}[J] = Z_{\mathrm{string}}[J] \longrightarrow Z_{\mathrm{sugra}}[J] \approx \exp\left(-S_{\text{sugra,ren,on-shell}}[J]\right).

The arrow to ZsugraZ_{\mathrm{sugra}} uses large λ\lambda. The saddle-point approximation uses large NN.

Before taking limits, the bulk dual is full type IIB string theory. That means it includes:

  • closed strings, whose massless modes include the graviton;
  • massive string oscillator modes;
  • Ramond–Ramond fields, including the self-dual five-form flux;
  • D-branes and other extended objects;
  • quantum corrections, including string loops;
  • possible sums over bulk topologies, whenever such a formulation is meaningful.

The boundary theory is the quantum CFT. The rank NN is the number of five-form flux units through the S5S^5:

S5F5N.\int_{S^5} F_5 \propto N.

The exact duality is therefore a statement about quantum gravity. Classical supergravity is an approximation to this exact theory, not a replacement for it.

This distinction matters. Many famous holographic formulas are leading terms in an expansion. When we compute an area, an on-shell action, or a classical wave equation, we are usually keeping the leading large-NN, large-λ\lambda answer.

The first emergence mechanism is large-NN factorization.

For normalized single-trace operators, the connected correlators have the schematic scaling

O1O2cN0,\langle \mathcal O_1\mathcal O_2\rangle_c \sim N^0, O1O2O3c1N,\langle \mathcal O_1\mathcal O_2\mathcal O_3\rangle_c \sim \frac{1}{N},

and more generally

O1OkcN2k.\langle \mathcal O_1\cdots\mathcal O_k\rangle_c\sim N^{2-k}.

The precise powers depend on normalization conventions, but the physical message is robust: connected higher-point interactions become weak. If single-trace operators create single-particle bulk states, then large-NN factorization says that bulk particles interact weakly.

The same statement appears in the gravitational action. A five-dimensional Einstein-like action has the form

Sgrav=116πG5d5xg(R+12L2+).S_{\mathrm{grav}} = \frac{1}{16\pi G_5} \int d^5x\sqrt{-g}\left(R+\frac{12}{L^2}+\cdots\right).

A classical AdS-scale solution has a dimensionless action of order

Son-shellL3G5.S_{\text{on-shell}}\sim \frac{L^3}{G_5}.

For AdS5_5/CFT4_4,

L3G5=2N2π\frac{L^3}{G_5}=\frac{2N^2}{\pi}

in the standard normalization. Thus the bulk path integral looks like

ZbulkDΦ  exp(N2I[Φ])Z_{\mathrm{bulk}} \sim \int \mathcal D\Phi\;\exp\left(-N^2 I[\Phi]\right)

in Euclidean signature. The large-NN limit is a stationary-phase limit. The effective bulk Planck constant scales as

bulk,effG5L31N2.\hbar_{\mathrm{bulk,eff}}\sim \frac{G_5}{L^3}\sim\frac{1}{N^2}.

So large NN makes the bulk semiclassical.

Deriving the N2N^2 gravitational prefactor

Section titled “Deriving the N2N^2N2 gravitational prefactor”

The N2N^2 scaling can be seen directly from the ten-dimensional parameters. Type IIB Newton’s constant scales as

G10gs2α4.G_{10}\sim g_s^2\alpha'^4.

The D3-brane radius relation gives

L4gsNα2.L^4\sim g_sN\alpha'^2.

Squaring this relation gives

L8gs2N2α4.L^8\sim g_s^2N^2\alpha'^4.

Therefore

L8G10N2.\frac{L^8}{G_{10}}\sim N^2.

Reducing on the S5S^5, whose volume is of order L5L^5, gives

G5G10L5,L3G5L8G10N2.G_5\sim \frac{G_{10}}{L^5}, \qquad \frac{L^3}{G_5}\sim \frac{L^8}{G_{10}}\sim N^2.

This is the gravitational origin of the N2N^2 scaling of central charges, free energies, and entropy densities in the adjoint gauge theory.

For example, the entropy density of the strongly coupled thermal CFT is computed by a black-brane horizon area:

sL3G5T3N2T3.s\sim \frac{L^3}{G_5}T^3\sim N^2T^3.

The power T3T^3 follows from four-dimensional conformal invariance. The coefficient is dynamical, but the N2N^2 scaling is already visible from the classical gravitational prefactor.

Large λ\lambda suppresses stringy corrections

Section titled “Large λ\lambdaλ suppresses stringy corrections”

Large NN suppresses loops, but it does not make the bulk weakly curved. The second requirement is large ‘t Hooft coupling.

From

L4α2=λ\frac{L^4}{\alpha'^2}=\lambda

we get

Ls=λ1/4,αL2=λ1/2,\frac{L}{\ell_s}=\lambda^{1/4}, \qquad \frac{\alpha'}{L^2}=\lambda^{-1/2},

where s=α\ell_s=\sqrt{\alpha'}.

The curvature scale of AdS5×S5\mathrm{AdS}_5\times S^5 is of order 1/L21/L^2. Stringy corrections compare the string length to this curvature radius:

αRαL2=1λ.\alpha' R \sim \frac{\alpha'}{L^2}=\frac{1}{\sqrt{\lambda}}.

Thus:

  • if λ1\lambda\ll1, the gauge theory may be perturbative, but the bulk is highly stringy;
  • if λ1\lambda\sim1, neither perturbative Yang–Mills nor classical supergravity is generally reliable;
  • if λ1\lambda\gg1, the bulk is weakly curved in string units.

This is one of the central reversals in AdS/CFT:

strong boundary ’t Hooft couplingweakly curved bulk geometry.\text{strong boundary 't Hooft coupling} \quad\longleftrightarrow\quad \text{weakly curved bulk geometry}.

The gravitational description is useful precisely where ordinary gauge-theory perturbation theory is least useful.

The same statement can be phrased in spectral language. A massive string oscillator has mass of order

ms1s.m_s\sim \frac{1}{\ell_s}.

In AdS units,

msLLs=λ1/4.m_sL\sim \frac{L}{\ell_s}=\lambda^{1/4}.

For a heavy bulk field, the dual CFT operator dimension is roughly

ΔmL.\Delta\sim mL.

Therefore stringy single-trace operators acquire dimensions of order

Δstringyλ1/4.\Delta_{\mathrm{stringy}}\sim \lambda^{1/4}.

At large λ\lambda, these stringy operators move far above the low-dimension spectrum. The low-energy bulk theory can then be described by supergravity fields rather than by the full tower of string excitations.

This is the CFT-side signature of a local bulk effective field theory: there is a large gap to stringy higher-spin single-trace operators.

One might guess that the classical gravity limit is simply gs0g_s\to0. That is incomplete.

The string coupling is

gs=λ4πN.g_s=\frac{\lambda}{4\pi N}.

Taking NN\to\infty with fixed λ\lambda sends gs0g_s\to0, so it suppresses string loops. But the curvature in string units is controlled by λ\lambda, not by gsg_s:

sL=λ1/4.\frac{\ell_s}{L}=\lambda^{-1/4}.

Thus a theory can have very small gsg_s and still be highly stringy if λ\lambda is not large.

Conversely, if λ\lambda is made large at fixed NN, the curvature becomes weak in string units, but

gs=λ4πNg_s=\frac{\lambda}{4\pi N}

may become large. Then quantum string effects are not suppressed in the usual perturbative string expansion.

The safest beginner hierarchy is therefore

1λN.1\ll\lambda\ll N.

The first inequality makes the geometry smooth in string units. The second keeps the string coupling small.

Classical string theory versus classical gravity

Section titled “Classical string theory versus classical gravity”

The hierarchy of descriptions is worth making explicit.

For finite NN and finite λ\lambda, the dual bulk is quantum type IIB string theory on AdS5×S5\mathrm{AdS}_5\times S^5. This is the exact but generally difficult description.

In the planar limit

N,λ  fixed,N\to\infty, \qquad \lambda\;\text{fixed},

string loops are suppressed because gsλ/N0g_s\sim\lambda/N\to0. The bulk becomes classical in the genus expansion.

But if λ\lambda is not large, the curvature radius is comparable to the string length. The bulk is tree-level string theory in a curved Ramond–Ramond background, not ordinary supergravity.

When

N1,λ1,N\gg1, \qquad \lambda\gg1,

bulk loops and stringy corrections are both suppressed. The leading bulk dynamics is classical type IIB supergravity.

This is the regime behind the simplest holographic calculations of two-point functions, thermodynamics, Wilson loops at strong coupling, and black-brane transport.

Type IIB supergravity on AdS5×S5\mathrm{AdS}_5\times S^5 is ten-dimensional. A five-dimensional Einstein gravity model is an additional truncation.

The S5S^5 radius equals the AdS radius:

LS5=LAdS.L_{S^5}=L_{\mathrm{AdS}}.

Therefore Kaluza–Klein modes on S5S^5 have masses

mKKL1,m_{\mathrm{KK}}L\sim1,

not masses of order λ1/4\lambda^{1/4}. They do not decouple simply because λ\lambda is large. They are dual to protected operators in the CFT.

Pure five-dimensional Einstein gravity can still be a consistent and useful sector, especially for universal stress-tensor observables. But it is not the whole classical limit of the canonical duality.

A saddle-point derivation of classical equations

Section titled “A saddle-point derivation of classical equations”

The emergence of classical equations can be seen directly from the path integral. Suppose a bulk field ϕ\phi is dual to a CFT operator O\mathcal O, and the boundary value of ϕ\phi is the source JJ.

The bulk partition function is schematically

Zbulk[J]=ϕJDϕ  eS[ϕ].Z_{\mathrm{bulk}}[J] = \int_{\phi\to J}\mathcal D\phi\;e^{-S[\phi]}.

If

S[ϕ]=N2I[ϕ],S[\phi]=N^2 I[\phi],

then at large NN the integral is dominated by stationary points:

δIδϕ=0.\frac{\delta I}{\delta\phi}=0.

Thus the leading answer comes from solving the classical bulk equation of motion with boundary condition ϕJ\phi\to J.

Expanding around a solution,

ϕ=ϕcl+δϕ,\phi=\phi_{\mathrm{cl}}+\delta\phi,

one obtains a loop expansion. After canonically normalizing fluctuations, cubic bulk interactions scale as 1/N1/N, quartic interactions scale as 1/N21/N^2, and loops are suppressed by powers of 1/N21/N^2.

This is the bulk counterpart of large-NN factorization in the CFT.

A CFT with a simple classical gravity dual has several characteristic features.

First, it has many degrees of freedom. In four-dimensional N=4\mathcal N=4 SYM,

a=c=N214.a=c=\frac{N^2-1}{4}.

Holographically,

a=c=πL38G5.a=c=\frac{\pi L^3}{8G_5}.

Thus large central charge means a small Newton constant in AdS units.

Second, connected correlators of normalized single-trace operators factorize at large NN:

O1OkcN2k.\langle \mathcal O_1\cdots\mathcal O_k\rangle_c\sim N^{2-k}.

Third, the spectrum is sparse at low dimensions compared with the string scale. A large gap to higher-spin single-trace operators is what allows a local low-energy bulk derivative expansion.

These features are diagnostics, not a mechanical algorithm. They explain why not every large-NN theory has a simple Einstein gravity dual.

The phrase “gravity emerges” is useful, but it should not be overinterpreted.

It does not mean that the CFT first lives on the boundary of a pre-existing bulk spacetime and then emits a gravitational field into the interior. The CFT is a complete quantum system. In a suitable limit, some collective variables of that system are reorganized as fields propagating in an emergent higher-dimensional geometry.

It also does not mean that the boundary theory becomes classical. The CFT remains a quantum theory. The classical approximation appears in the bulk variables because the bulk action has a large prefactor of order N2N^2.

A good slogan is

many quantum degrees of freedom+large gapclassical local bulk EFT.\text{many quantum degrees of freedom} + \text{large gap} \quad\Longrightarrow\quad \text{classical local bulk EFT}.

In the D3-brane example, “many degrees of freedom” means N21N^2\gg1, and the stringy gap is controlled by λ1/4\lambda^{1/4}.

Classical supergravity is the leading term in a double expansion. A typical large-NN, strong-coupling observable has the schematic form

Q(N,λ)=Qsugra+Qα+Qloops+.\mathcal Q(N,\lambda) = \mathcal Q_{\mathrm{sugra}} +\mathcal Q_{\alpha'} +\mathcal Q_{\mathrm{loops}} +\cdots.

The terms have different physical origins:

Boundary correctionBulk interpretation
finite λ\lambdastringy α\alpha' corrections
finite NNbulk quantum loops
non-planar gauge-theory effectshigher-genus string contributions
anomalous dimensions of stringy operatorsmasses of string excitations in AdS units
large central chargesmall Newton constant in AdS units

For type IIB string theory on AdS5×S5\mathrm{AdS}_5\times S^5, maximal supersymmetry forbids some lower-order higher-derivative corrections. A famous leading correction in the ten-dimensional effective action is schematically

α3R4.\alpha'^3 R^4.

Since R1/L2R\sim1/L^2, such terms often produce corrections of order

(αL2)3λ3/2\left(\frac{\alpha'}{L^2}\right)^3\sim\lambda^{-3/2}

for many observables. The exact first correction depends on the observable, but the organizing principle is always the same: finite λ\lambda is finite string length.

Example: why perturbative Yang–Mills and classical gravity do not overlap

Section titled “Example: why perturbative Yang–Mills and classical gravity do not overlap”

The perturbative gauge-theory regime is

λ1.\lambda\ll1.

The classical supergravity regime is

λ1.\lambda\gg1.

Therefore ordinary perturbative Yang–Mills and classical Einstein gravity are opposite limits of the same exact duality.

This is why AdS/CFT is useful: it gives a weakly coupled description of strongly coupled physics. It is also why the duality is hard to prove directly. The simplest calculations on one side usually correspond to hard calculations on the other side.

The planar limit alone does not remove this tension. Taking

N,λ1N\to\infty, \qquad \lambda\ll1

gives planar perturbative gauge theory, not classical supergravity. The dual bulk is still string-scale curved.

Example: why black-brane entropy scales as N2N^2

Section titled “Example: why black-brane entropy scales as N2N^2N2”

A planar AdS5_5 black brane has entropy density

s=horizon area density4G5.s=\frac{\text{horizon area density}}{4G_5}.

Dimensional analysis in a four-dimensional CFT gives

sL3G5T3.s\propto \frac{L^3}{G_5}T^3.

Using

L3G5N2,\frac{L^3}{G_5}\sim N^2,

we find

sN2T3.s\sim N^2T^3.

This matches the expectation that a deconfined adjoint gauge theory has order N2N^2 degrees of freedom. The numerical coefficient differs from the weak-coupling free gas result, but the scaling is the same.

Boundary statementBulk statement
N1N\gg1bulk loops are suppressed
1/N21/N^2 expansionquantum gravity loop expansion
large central charge CTC_Tsmall GN/Ld1G_N/L^{d-1}
large-NN factorizationweakly interacting bulk particles
λ1\lambda\gg1weak curvature in string units
1/λ1/\sqrt\lambda expansionstringy α\alpha' expansion
large stringy gap Δgap\Delta_{\mathrm{gap}}local bulk EFT below the string scale
planar limit at fixed λ\lambdatree-level string theory, not necessarily supergravity
large NN, large λ\lambda, small gsg_sclassical type IIB supergravity

The most important takeaway is

AdS/CFT is exact quantum/string duality; classical gravity is a controlled corner.\boxed{ \text{AdS/CFT is exact quantum/string duality; classical gravity is a controlled corner.} }

”Large NN is the same as classical gravity.”

Section titled “”Large NNN is the same as classical gravity.””

Not quite. Large NN suppresses bulk loops. It does not suppress string-scale curvature corrections. At large NN and finite λ\lambda, the bulk is better described as tree-level string theory, not necessarily supergravity.

”Strong coupling is the same as classical gravity.”

Section titled “”Strong coupling is the same as classical gravity.””

Also not quite. Large λ\lambda suppresses stringy corrections, but if NN is not large, quantum gravity effects can still be important.

”Einstein gravity is the whole duality.”

Section titled “”Einstein gravity is the whole duality.””

No. The exact dual is quantum string theory. Classical Einstein gravity, or a five-dimensional Einstein truncation, is a leading approximation in a restricted sector.

”The boundary theory becomes classical.”

Section titled “”The boundary theory becomes classical.””

No. The boundary CFT remains quantum. Classicality appears in the bulk variables because the large-NN gravitational action is dominated by saddle points.

No. In the canonical example the S5S^5 has the same radius as AdS5_5. Its Kaluza–Klein modes are part of the ten-dimensional supergravity spectrum. Ignoring them is an additional truncation, not a consequence of λ1\lambda\gg1.

Exercise 1: Derive L3/G5=2N2/πL^3/G_5=2N^2/\pi

Section titled “Exercise 1: Derive L3/G5=2N2/πL^3/G_5=2N^2/\piL3/G5​=2N2/π”

Use

G10=8π6gs2α4,Vol(S5)=π3L5,G5=G10Vol(S5),G_{10}=8\pi^6g_s^2\alpha'^4, \qquad \mathrm{Vol}(S^5)=\pi^3L^5, \qquad G_5=\frac{G_{10}}{\mathrm{Vol}(S^5)},

and

L4=4πgsNα2L^4=4\pi g_sN\alpha'^2

to show that

L3G5=2N2π.\frac{L^3}{G_5}=\frac{2N^2}{\pi}.
Solution

First reduce Newton’s constant on S5S^5:

G5=G10π3L5=8π6gs2α4π3L5=8π3gs2α4L5.G_5 = \frac{G_{10}}{\pi^3L^5} = \frac{8\pi^6g_s^2\alpha'^4}{\pi^3L^5} = \frac{8\pi^3g_s^2\alpha'^4}{L^5}.

Therefore

L3G5=L88π3gs2α4.\frac{L^3}{G_5} = \frac{L^8}{8\pi^3g_s^2\alpha'^4}.

Now square the D3-brane radius relation:

L8=16π2gs2N2α4.L^8=16\pi^2g_s^2N^2\alpha'^4.

Substituting gives

L3G5=16π2gs2N2α48π3gs2α4=2N2π.\frac{L^3}{G_5} = \frac{16\pi^2g_s^2N^2\alpha'^4}{8\pi^3g_s^2\alpha'^4} = \frac{2N^2}{\pi}.

Thus the inverse gravitational coupling in AdS units scales like N2N^2.

Use

Ls=λ1/4\frac{L}{\ell_s}=\lambda^{1/4}

to estimate the AdS energy of a massive string oscillator. What happens to the corresponding CFT operator dimension when λ\lambda\to\infty?

Solution

A typical massive string oscillator has mass

ms1s.m_s\sim\frac{1}{\ell_s}.

Its dimensionless AdS mass is

msLLs=λ1/4.m_sL\sim\frac{L}{\ell_s}=\lambda^{1/4}.

For a heavy bulk field, the dual operator dimension scales roughly as

ΔmL.\Delta\sim mL.

Therefore

Δstringyλ1/4.\Delta_{\mathrm{stringy}}\sim\lambda^{1/4}.

As λ\lambda\to\infty, stringy operators become very heavy in CFT units. This creates a large gap above the low-energy supergravity sector.

Exercise 3: Why large NN alone is not enough

Section titled “Exercise 3: Why large NNN alone is not enough”

Consider

N,λ1  fixed.N\to\infty, \qquad \lambda\ll1\;\text{fixed}.

Which bulk corrections are suppressed, and which are not?

Solution

Since

gs=λ4πN,g_s=\frac{\lambda}{4\pi N},

taking NN\to\infty at fixed λ\lambda suppresses string loops. Equivalently, bulk quantum corrections are suppressed.

However,

αL2=1λ.\frac{\alpha'}{L^2}=\frac{1}{\sqrt\lambda}.

If λ1\lambda\ll1, this is large. The curvature is string-scale or worse, so the two-derivative supergravity approximation is not reliable. The bulk is tree-level string theory in a highly curved background, not classical Einstein gravity.

A holographic observable has the schematic expansion

Q=N2q0+N2q1λ3/2+q2+.\mathcal Q = N^2q_0 + N^2q_1\lambda^{-3/2} +q_2 +\cdots.

Identify the classical supergravity term, the stringy correction, and the bulk loop correction.

Solution

The term

N2q0N^2q_0

is the classical supergravity result.

The term

N2q1λ3/2N^2q_1\lambda^{-3/2}

is a finite-coupling, stringy correction. In the maximally supersymmetric example, powers like λ3/2\lambda^{-3/2} often arise from the leading α3R4\alpha'^3R^4 correction.

The term

q2q_2

is smaller than the leading N2N^2 term by 1/N21/N^2. It is therefore a bulk loop correction.

The next unit turns this approximation into a computational dictionary: boundary sources become boundary values of bulk fields, and CFT correlation functions become variations of renormalized on-shell actions.