Skip to content

First Tests of the Correspondence

The canonical duality is not supported by one miraculous calculation. It is supported by a web of mutually consistent checks:

N=4 SU(N) SYM4type IIB string theory on AdS5×S5 with N units of F5 flux.\mathcal N=4\ SU(N)\ \mathrm{SYM}_4 \quad\longleftrightarrow\quad \text{type IIB string theory on }\mathrm{AdS}_5\times S^5 \text{ with }N\text{ units of }F_5\text{ flux}.

Some checks are kinematical: they compare symmetries, charges, and parameter spaces. Some are protected: supersymmetry and conformal symmetry allow comparison between weakly coupled field theory and strongly curved or weakly curved bulk descriptions. Some are genuinely dynamical strong-coupling predictions: classical gravity computes quantities in a regime where ordinary perturbation theory in the gauge theory is not reliable.

That distinction is essential. A protected equality can be checked directly against weak-coupling field theory. A nonprotected classical-supergravity result is usually not supposed to equal the free-field answer. It is the answer at large NN and large λ\lambda.

First checks of the canonical AdS5/CFT4 duality

A compact evidence matrix for the canonical correspondence. Symmetries and protected data can be matched sharply; nonprotected observables such as Wilson loops and thermal entropy are strong-coupling predictions in the large-NN regime.

The goal of this page is not to prove the duality. A duality between complete quantum theories is not proved by checking a finite list of observables. The goal is to understand why the canonical example became compelling: many independent pieces of physics, each with different assumptions, fit the same dictionary.

A useful test must compare the same observable on the two sides. In practice, this usually means one of the following.

Type of checkCFT sideBulk sideStrength
Symmetryglobal and superconformal symmetriesspacetime isometries and Killing spinorsexact structural test
Parameter dictionaryNN, λ\lambda, τYM\tau_{\mathrm{YM}}flux, radius, axio-dilaton, GNG_Nexact up to conventions
Protected spectrumshort multiplets, chiral primariesKaluza-Klein supergravity modesrobust BPS test
Anomaliesaa, cc, R-symmetry anomaliesholographic renormalizationsharp large-NN test
Protected correlatorsconstrained two- and three-point functionssupergravity couplingsnormalization-sensitive test
Nonlocal probesWilson and ‘t Hooft loopsstrings and D-branesstrong-coupling prediction
Thermal physicsstrongly coupled plasmablack branesstrong-coupling prediction

The most common beginner mistake is to put all rows in the same box. They are not the same kind of evidence. The equality

a=c=N24+O(N0)a=c=\frac{N^2}{4}+O(N^0)

is a protected large-NN comparison. The strong-coupling Wilson-loop potential

V(R)=4π2Γ(1/4)4λRV(R)=-\frac{4\pi^2}{\Gamma(1/4)^4}\frac{\sqrt\lambda}{R}

is not a weak-coupling equality. It is a prediction for the planar, large-λ\lambda gauge theory.

The bosonic conformal group of a four-dimensional CFT in Lorentzian signature is

SO(4,2).SO(4,2).

The isometry group of AdS5\mathrm{AdS}_5 is also SO(4,2)SO(4,2). This is not a loose analogy: the conformal transformations of the boundary are induced by bulk isometries acting on the conformal boundary of AdS.

The six real scalars of N=4\mathcal N=4 SYM transform under the R-symmetry group

SO(6)RSU(4)R.SO(6)_R\simeq SU(4)_R.

The isometry group of the round S5S^5 is precisely

SO(6).SO(6).

Thus the bosonic symmetry match is

SO(4,2)×SO(6)RIsom(AdS5)×Isom(S5).SO(4,2)\times SO(6)_R \quad\longleftrightarrow\quad \mathrm{Isom}(\mathrm{AdS}_5)\times \mathrm{Isom}(S^5).

The full match is stronger. The superconformal algebra of N=4\mathcal N=4 SYM is

psu(2,24),\mathfrak{psu}(2,2|4),

with 1616 Poincaré supercharges and 1616 conformal supercharges. Type IIB string theory on AdS5×S5\mathrm{AdS}_5\times S^5 with self-dual five-form flux preserves the same 3232 supersymmetries. In this sense the near-horizon D3-brane geometry has exactly the right enhanced symmetry to be dual to the superconformal theory on the branes.

This is a structural test, not a dynamical one. Many theories can share a symmetry group. The striking point is that the same symmetry group also organizes the spectrum, correlation functions, protected multiplets, and brane probes.

The parameter dictionary derived earlier is itself a first test:

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

Each entry has a physical interpretation.

CFT quantityBulk quantityMeaning
NNF5F_5 flux through S5S^5rank equals D3-brane charge
λ\lambdaL4/α2L^4/\alpha'^2’t Hooft coupling controls string-scale curvature
1/N21/N^2G5/L3G_5/L^3large-NN expansion controls bulk loops
τYM\tau_{\mathrm{YM}}C0+ieΦC_0+i e^{-\Phi}complex gauge coupling equals IIB axio-dilaton
SL(2,Z)SL(2,\mathbb Z)IIB S-dualityelectric-magnetic duality maps to string duality

The last row is conceptually important. The conjectured SL(2,Z)SL(2,\mathbb Z) duality of N=4\mathcal N=4 SYM is naturally identified with type IIB S-duality. In particular, electric Wilson lines and magnetic ‘t Hooft lines are exchanged in the same way that fundamental strings and D1-strings are exchanged.

A useful way to remember the evidence is this:

Ncounts flux and colors,N\quad\text{counts flux and colors}, λsets the ratio between AdS size and string size,\lambda\quad\text{sets the ratio between AdS size and string size}, τis the same modular parameter on both sides.\tau\quad\text{is the same modular parameter on both sides}.

The dictionary is overconstrained. The same NN that counts gauge degrees of freedom also fixes flux quantization, the five-dimensional Newton constant, the black-brane entropy, and the leading central charge.

Protected local operators and Kaluza-Klein modes

Section titled “Protected local operators and Kaluza-Klein modes”

The simplest protected single-trace operators are chiral primaries built from the six adjoint scalars:

OkI1Ik=Tr ⁣(Φ(I1ΦIk))traces,k=2,3,.\mathcal O_k^{I_1\cdots I_k} = \operatorname{Tr}\!\left(\Phi^{(I_1}\cdots \Phi^{I_k)}\right)-\text{traces}, \qquad k=2,3,\ldots .

They transform in the symmetric traceless representation of SO(6)RSO(6)_R, equivalently the SU(4)RSU(4)_R representation

[0,k,0],[0,k,0],

and their scaling dimensions are protected:

Δ=k.\Delta=k.

On the bulk side, the fields dual to these operators arise from Kaluza-Klein reduction of type IIB supergravity on S5S^5. The relevant scalar modes have masses

mk2L2=k(k4).m_k^2L^2=k(k-4).

Using the scalar mass-dimension relation in AdS5\mathrm{AdS}_5,

Δ(Δ4)=m2L2,\Delta(\Delta-4)=m^2L^2,

one obtains

Δ(Δ4)=k(k4).\Delta(\Delta-4)=k(k-4).

The physical branch for these chiral primaries gives

Δ=k.\Delta=k.

This is a much sharper check than merely matching dimensions. The same modes also carry the same SO(6)RSO(6)_R quantum numbers, sit in the same short supermultiplets, and interact through couplings constrained by the same superconformal representation theory.

There is a small but important subtlety. Not every scalar harmonic on S5S^5 directly has mass k(k4)/L2k(k-4)/L^2. The chiral-primary supergravity modes are particular gauge-invariant mixtures of metric and five-form fluctuations. The mass formula above is the result after diagonalizing the Kaluza-Klein spectrum.

The case k=2k=2 is especially important. The operator

O2IJ=Tr ⁣(Φ(IΦJ))traces\mathcal O_2^{IJ} = \operatorname{Tr}\!\left(\Phi^{(I}\Phi^{J)}\right)-\text{traces}

sits in the same short multiplet as the stress tensor, the SU(4)RSU(4)_R currents, and the supersymmetry currents. On the bulk side, this corresponds to the massless five-dimensional gauged supergravity multiplet obtained from compactifying type IIB supergravity on S5S^5.

For k=2k=2,

m2L2=4,m^2L^2=-4,

which saturates the Breitenlohner-Freedman bound in AdS5\mathrm{AdS}_5:

m2L2d24=4.m^2L^2\geq -\frac{d^2}{4}=-4.

The apparent negative mass is not an instability. It is exactly the value required for a dimension-two protected scalar in a four-dimensional CFT.

The stress tensor itself is dual to the bulk graviton:

Tμνgμν,T_{\mu\nu}\quad\longleftrightarrow\quad g_{\mu\nu},

and the SU(4)RSU(4)_R currents are dual to the gauge fields descending from the isometries of S5S^5:

JμaAμa.J_\mu^{a}\quad\longleftrightarrow\quad A_\mu^a.

This organizes a large fraction of the dictionary into one protected supermultiplet.

Four-dimensional CFTs have Weyl-anomaly coefficients aa and cc. For N=4\mathcal N=4 SYM with gauge algebra su(N)\mathfrak{su}(N),

a=c=dimSU(N)4=N214.a=c=\frac{\dim SU(N)}{4}=\frac{N^2-1}{4}.

The equality a=ca=c follows from extended supersymmetry. The precise value can be computed from the free field content because these anomaly coefficients are protected.

On the gravity side, the same coefficients are extracted from the logarithmic divergence of the renormalized on-shell action in asymptotically AdS5\mathrm{AdS}_5 gravity. For two-derivative Einstein gravity,

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

Using the canonical dictionary

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

we get

a=c=N24.a=c=\frac{N^2}{4}.

This matches the leading large-NN field-theory answer:

N24=N214+O(N0).\frac{N^2}{4} = \frac{N^2-1}{4}+O(N^0).

The missing 1/4-1/4 is not mysterious. Classical supergravity computes the leading O(N2)O(N^2) term. The O(N0)O(N^0) correction comes from quantum effects in the bulk, including the difference between U(N)U(N) and the interacting SU(N)SU(N) sector.

This is one of the cleanest early tests because it connects three ideas at once:

number of colorsNewton constantCFT central charge.\text{number of colors} \quad\longleftrightarrow\quad \text{Newton constant} \quad\longleftrightarrow\quad \text{CFT central charge}.

Conformal symmetry fixes the position dependence of two- and three-point functions of scalar primaries:

Oi(x)Oj(0)=Cijx2Δi,\langle \mathcal O_i(x)\mathcal O_j(0)\rangle =\frac{C_{ij}}{|x|^{2\Delta_i}},

when Δi=Δj\Delta_i=\Delta_j, and

O1(x1)O2(x2)O3(x3)=C123x12Δ1+Δ2Δ3x13Δ1+Δ3Δ2x23Δ2+Δ3Δ1.\langle \mathcal O_1(x_1)\mathcal O_2(x_2)\mathcal O_3(x_3)\rangle = \frac{C_{123}} {|x_{12}|^{\Delta_1+\Delta_2-\Delta_3} |x_{13}|^{\Delta_1+\Delta_3-\Delta_2} |x_{23}|^{\Delta_2+\Delta_3-\Delta_1}}.

The nontrivial data are the normalization constants and OPE coefficients. For half-BPS operators, many of these coefficients are protected or strongly constrained. On the bulk side, they are computed from quadratic and cubic terms in the Kaluza-Klein reduced supergravity action.

Schematically, a cubic interaction

Sbulkg123AdS5d5xgϕ1ϕ2ϕ3S_{\mathrm{bulk}}\supset g_{123}\int_{\mathrm{AdS}_5} d^5x\sqrt g\,\phi_1\phi_2\phi_3

produces a Witten diagram whose coefficient is identified with the CFT OPE coefficient C123C_{123} after choosing consistent normalizations.

This check is more delicate than the symmetry match. The operator normalization, spherical-harmonic normalization on S5S^5, holographic counterterms, and multi-particle mixing all matter. Still, the agreement of protected two- and three-point data was one of the early signs that the dictionary was not just matching spectra but matching interactions.

A Wilson loop is a nonlocal operator. In N=4\mathcal N=4 SYM the natural half-BPS Maldacena-Wilson loop couples both to the gauge field and to the scalars:

W(C)=1NTrPexp ⁣[Cds(ix˙μAμ+x˙nIΦI)],W(C)=\frac{1}{N}\operatorname{Tr}\,P\exp\!\left[ \oint_C ds\,\left(i\dot x^\mu A_\mu+|\dot x|\,n_I\Phi^I\right) \right],

where nIn_I is a unit vector in the scalar space. The bulk dual is a fundamental string worldsheet ending on the contour CC at the AdS boundary:

W(C)exp ⁣[SNGren(C)],\langle W(C)\rangle \sim \exp\!\left[-S_{\mathrm{NG}}^{\mathrm{ren}}(C)\right],

with

SNG=12παd2σdeth.S_{\mathrm{NG}}=\frac{1}{2\pi\alpha'}\int d^2\sigma\sqrt{\det h}.

Since

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

the classical string action scales as λ\sqrt\lambda. For a rectangular loop of temporal extent TT and spatial separation RR, one extracts the heavy-quark potential from

W(R)eTV(R).\langle W(\mathcal R)\rangle\sim e^{-T V(R)}.

Classical string theory in AdS5\mathrm{AdS}_5 gives

V(R)=4π2Γ(1/4)4λRV(R) = -\frac{4\pi^2}{\Gamma(1/4)^4}\frac{\sqrt\lambda}{R}

at leading order in large NN and large λ\lambda.

This result has the correct conformal scaling 1/R1/R, but a strongly coupled coefficient proportional to λ\sqrt\lambda. It is not an area law and therefore not confinement. The theory is conformal, so the potential must be Coulombic. The nontrivial prediction is the strong-coupling coefficient and its geometric origin as a minimal string worldsheet.

This is a good example of how AdS/CFT tests become predictions. The weak-coupling potential begins as a perturbative series in λ/R\lambda/R. The gravity result lives in the opposite regime, λ1\lambda\gg1.

Thermal N=4\mathcal N=4 SYM on R3\mathbb R^3 is dual, at large NN and large λ\lambda, to the planar AdS5_5 black brane. The entropy density is computed from the horizon area:

sstrong=π22N2T3.s_{\mathrm{strong}} = \frac{\pi^2}{2}N^2T^3.

The free-field entropy density of N=4\mathcal N=4 SYM is

sfree=2π23(N21)T3.s_{\mathrm{free}} = \frac{2\pi^2}{3}(N^2-1)T^3.

At large NN the ratio is therefore

sstrongsfree=34.\frac{s_{\mathrm{strong}}}{s_{\mathrm{free}}} =\frac{3}{4}.

This was historically striking. The strong-coupling entropy is close to the free answer, but not equal to it. That is exactly what one should expect for a nonprotected thermodynamic quantity. The entropy changes with the ‘t Hooft coupling. The gravity calculation gives its limiting value at λ\lambda\to\infty and NN\to\infty.

The same black-brane geometry also predicts transport coefficients, quasinormal-mode spectra, screening lengths, and real-time response. Those are not protected checks; they are predictions for strongly coupled plasma physics. We will return to them in the finite-temperature and transport modules.

Another early class of tests came from comparing absorption of bulk fields by D3-branes with correlation functions of worldvolume operators. For example, a dilaton fluctuation couples to a gauge-theory operator schematically of the form

OΦTrF2+.\mathcal O_\Phi\sim \operatorname{Tr}F^2+\cdots .

The absorption cross section computed in supergravity is related to the imaginary part of a retarded two-point function in the brane theory. These calculations were important because they compared dynamical quantities, not just symmetry representations.

Conceptually, this is a precursor to modern real-time holography:

bulk wave absorptionCFT spectral density.\text{bulk wave absorption} \quad\longleftrightarrow\quad \text{CFT spectral density}.

At finite temperature the same logic becomes the statement that infalling boundary conditions at a black-hole horizon compute retarded correlators in the thermal state.

A protected quantity is not merely a quantity that happens to be simple. It is a quantity whose value is constrained by symmetry or topology strongly enough that it can be transported across coupling space.

For example, the dimension of a chiral primary is fixed by its R-charge. It cannot continuously drift with λ\lambda without violating shortening conditions. Thus the same number Δ=k\Delta=k appears at weak coupling and in the supergravity Kaluza-Klein spectrum.

By contrast, the Konishi operator

K=Tr(ΦIΦI)\mathcal K=\operatorname{Tr}(\Phi^I\Phi^I)

is not protected. Its dimension is small at weak coupling but grows at strong coupling. In the bulk it is not a light supergravity mode; it belongs to the stringy spectrum. This is exactly what the parameter dictionary predicts: when

λ1,\lambda\gg1,

string excitations have masses of order

Δλ1/4\Delta\sim \lambda^{1/4}

in AdS units, while protected supergravity modes remain light.

This gives a modern refinement of the original tests. The classical supergravity limit is not supposed to reproduce the entire finite-coupling CFT spectrum. It reproduces the low-dimension protected sector and the large-λ\lambda limit of unprotected observables whose bulk description stays within low-energy gravity.

The first tests are impressive, but they have limitations.

First, symmetry matching alone is never enough. Many distinct theories can share the same symmetry algebra.

Second, protected data are special. They are excellent consistency checks, but they do not by themselves establish the full non-BPS spectrum or arbitrary finite-NN observables.

Third, classical supergravity probes only a corner of the full duality:

N1,λ1,ELλ1/4N\gg1, \qquad \lambda\gg1, \qquad E L\ll \lambda^{1/4}

for low-energy bulk observables. Finite-λ\lambda physics requires stringy α\alpha' corrections. Finite-NN physics requires bulk loops and genuinely quantum gravity effects.

Fourth, the boundary gauge group and global form matter in refined questions. The interacting brane theory is usually taken to be SU(N)SU(N), while the decoupled center-of-mass U(1)U(1) is not part of the interacting AdS throat. Line operators can also depend on the global form of the gauge group and on choices of boundary conditions for bulk gauge fields.

The right conclusion is therefore measured but strong:

The early tests show that the canonical dictionary is deeply overconstrained and internally coherent. They do not reduce the duality to a theorem, but they explain why it became a central nonperturbative definition of quantum gravity in AdS.

When reading the literature, classify each claimed check by the regime in which it lives.

Examples:

SO(4,2)×SO(6)R,psu(2,24),τYMτIIB.SO(4,2)\times SO(6)_R, \qquad \mathfrak{psu}(2,2|4), \qquad \tau_{\mathrm{YM}}\leftrightarrow \tau_{\mathrm{IIB}}.

These are part of the architecture of the duality.

Examples:

ΔBPS=k,[0,k,0],a=c=N24+O(N0).\Delta_{\mathrm{BPS}}=k, \qquad [0,k,0], \qquad a=c=\frac{N^2}{4}+O(N^0).

These can often be compared between weak field theory and strong-coupling gravity.

Level 3: semiclassical strong-coupling predictions

Section titled “Level 3: semiclassical strong-coupling predictions”

Examples:

V(R)λR,s=π22N2T3,ηs=14π.V(R)\propto -\frac{\sqrt\lambda}{R}, \qquad s=\frac{\pi^2}{2}N^2T^3, \qquad \frac{\eta}{s}=\frac{1}{4\pi}.

These are predictions in a controlled but nonperturbative CFT regime.

Examples:

ZCFT[J]=ZIIB[ϕJ]Z_{\mathrm{CFT}}[J] = Z_{\mathrm{IIB}}[\phi\to J]

at finite NN and finite λ\lambda, including all stringy and quantum-gravity corrections. These are the deepest statements and usually cannot be checked by elementary supergravity calculations.

Mistake 1: Comparing classical gravity to free field theory for nonprotected observables

Section titled “Mistake 1: Comparing classical gravity to free field theory for nonprotected observables”

The entropy example teaches the rule. The free answer and strong-coupling answer need not agree:

sstrong=34sfrees_{\mathrm{strong}}=\frac34 s_{\mathrm{free}}

at leading large NN. This is not a discrepancy. It is a strong-coupling prediction.

Mistake 2: Treating all supergravity matches as exact finite-NN matches

Section titled “Mistake 2: Treating all supergravity matches as exact finite-NNN matches”

Classical supergravity gives the leading large-NN answer. For central charges,

N24\frac{N^2}{4}

is the leading part of

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

The difference is subleading in the bulk loop expansion.

Mistake 3: Forgetting that N=4\mathcal N=4 SYM is conformal

Section titled “Mistake 3: Forgetting that N=4\mathcal N=4N=4 SYM is conformal”

The Wilson-loop potential behaves like 1/R1/R, not like RR. The string worldsheet in AdS computes a strongly coupled Coulombic potential, not confinement.

Mistake 4: Confusing Kaluza-Klein modes with arbitrary string states

Section titled “Mistake 4: Confusing Kaluza-Klein modes with arbitrary string states”

Protected KK modes are light at strong coupling. Generic string states are heavy in AdS units when λ1\lambda\gg1. The supergravity spectrum is not the whole CFT spectrum.

Agreement of correlators requires consistent normalizations of operators, spherical harmonics, kinetic terms, and Newton constants. Many apparent mismatches are convention mismatches.

Show that the bosonic symmetry group of the canonical duality is

SO(4,2)×SO(6).SO(4,2)\times SO(6).

Identify which factor comes from which side of the correspondence.

Solution

The conformal group of four-dimensional Minkowski space is SO(4,2)SO(4,2), which is also the isometry group of AdS5\mathrm{AdS}_5. The R-symmetry of N=4\mathcal N=4 SYM rotates the six real scalars and is SO(6)RSU(4)RSO(6)_R\simeq SU(4)_R, which is also the isometry group of the round S5S^5.

Thus

SO(4,2)conf×SO(6)RIsom(AdS5)×Isom(S5).SO(4,2)_{\mathrm{conf}}\times SO(6)_R \quad\longleftrightarrow\quad \mathrm{Isom}(\mathrm{AdS}_5)\times \mathrm{Isom}(S^5).

The full supersymmetric statement enhances this to the supergroup PSU(2,24)PSU(2,2|4).

Exercise 2: Central charge from the Newton constant

Section titled “Exercise 2: Central charge from the Newton constant”

Use

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

and

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

to compute the leading large-NN central charges. Compare with the exact SU(N)SU(N) field-theory result.

Solution

Substitution gives

a=c=π8L3G5=π82N2π=N24.a=c=\frac{\pi}{8}\frac{L^3}{G_5} =\frac{\pi}{8}\frac{2N^2}{\pi} =\frac{N^2}{4}.

The exact SU(N)SU(N) result is

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

The gravity result matches the leading O(N2)O(N^2) term. The 1/4-1/4 difference is an O(N0)O(N^0) correction, so it is invisible in classical supergravity.

Exercise 3: Chiral primaries and the mass-dimension relation

Section titled “Exercise 3: Chiral primaries and the mass-dimension relation”

A tower of scalar supergravity modes dual to chiral primaries has

mk2L2=k(k4).m_k^2L^2=k(k-4).

Use the AdS5\mathrm{AdS}_5 scalar relation

Δ(Δ4)=m2L2\Delta(\Delta-4)=m^2L^2

to show that the protected branch gives Δ=k\Delta=k.

Solution

The mass-dimension equation becomes

Δ(Δ4)=k(k4).\Delta(\Delta-4)=k(k-4).

This can be rewritten as

Δ24Δk2+4k=0,\Delta^2-4\Delta-k^2+4k=0,

or

(Δk)(Δ+k4)=0.(\Delta-k)(\Delta+k-4)=0.

Thus

Δ=korΔ=4k.\Delta=k \qquad\text{or}\qquad \Delta=4-k.

For the standard chiral-primary tower with k2k\geq2, the physical protected branch is

Δ=k.\Delta=k.

For k=2k=2, the mass is m2L2=4m^2L^2=-4, saturating the AdS5\mathrm{AdS}_5 Breitenlohner-Freedman bound.

The free-field entropy density of N=4\mathcal N=4 SYM at large NN is

sfree=2π23N2T3.s_{\mathrm{free}}=\frac{2\pi^2}{3}N^2T^3.

The strong-coupling black-brane result is

sstrong=π22N2T3.s_{\mathrm{strong}}=\frac{\pi^2}{2}N^2T^3.

Compute the ratio and explain why it is not a contradiction.

Solution

The ratio is

sstrongsfree=π2N2T3/22π2N2T3/3=34.\frac{s_{\mathrm{strong}}}{s_{\mathrm{free}}} = \frac{\pi^2N^2T^3/2}{2\pi^2N^2T^3/3} =\frac{3}{4}.

There is no contradiction because entropy is not protected. The free-field result is valid at λ=0\lambda=0, while the black-brane result is valid at N1N\gg1 and λ1\lambda\gg1. The entropy can and does vary with the coupling.

Exercise 5: Protected versus unprotected operators

Section titled “Exercise 5: Protected versus unprotected operators”

Explain why the chiral primary

Tr(Φ(IΦJ))traces\operatorname{Tr}(\Phi^{(I}\Phi^{J)})-\text{traces}

is visible in classical supergravity, while the Konishi operator

Tr(ΦIΦI)\operatorname{Tr}(\Phi^I\Phi^I)

is not a light supergravity mode at large λ\lambda.

Solution

The first operator is a half-BPS chiral primary. Its dimension is protected by the shortening condition of the superconformal algebra, so Δ=2\Delta=2 at all values of the coupling. It belongs to the protected Kaluza-Klein supergravity spectrum.

The Konishi operator is not protected. Its dimension receives anomalous corrections. At strong coupling it corresponds to a stringy excitation whose dimension grows parametrically like a positive power of λ\lambda, schematically Δλ1/4\Delta\sim\lambda^{1/4} at leading string scale. Since classical supergravity keeps only modes with masses of order 1/L1/L, the Konishi operator is not part of the light supergravity spectrum.