Skip to content

AdS/CFT Dictionary

The AdS/CFT correspondence—also called gauge/gravity duality or holography—is the most concrete realization of the idea that a quantum theory of gravity can be equivalent to a non-gravitational quantum field theory in one lower dimension. In its cleanest form, it relates a quantum gravity or string theory on an asymptotically Anti-de Sitter spacetime to a conformal field theory living on the conformal boundary.

The phrase AdS/CFT dictionary means the map between the two descriptions:

bulk databoundary data.\text{bulk data} \quad \longleftrightarrow \quad \text{boundary data}.

Bulk fields map to boundary operators, boundary values of bulk fields map to sources, radial evolution maps to scale dependence, black holes map to thermal states, and geometric areas map to entropies. The exact statement is a quantum equivalence. Most formulas used in calculations are controlled limits of that equivalence, especially the large-NN, large-gap, classical-gravity regime.

The following conventions are used unless stated otherwise.

Symbol or conventionMeaning
ddboundary spacetime dimension
d+1d+1bulk spacetime dimension
M,N=0,,dM,N=0,\ldots,dbulk indices
μ,ν=0,,d1\mu,\nu=0,\ldots,d-1boundary indices
LLAdS radius
Gd+1G_{d+1}Newton constant of the effective (d+1)(d+1)-dimensional bulk theory
zzPoincaré radial coordinate, with boundary at z0z\to0
rralternative radial coordinate, often with boundary at rr\to\infty
gμν(0)g^{(0)}_{\mu\nu}boundary metric representative; only its conformal class is physical in a CFT
ϕ(0)\phi_{(0)}source for the operator dual to a bulk field ϕ\phi
O\langle\mathcal O\ranglerenormalized response or expectation value

Spacetime metrics are written in Lorentzian mostly-plus signature,

ημν=diag(,+,,+),\eta_{\mu\nu}=\mathrm{diag}(-,+,\ldots,+),

unless a Euclidean metric is explicitly displayed. Partition functions and on-shell actions are often written in Euclidean signature, where

ZeIE.Z\sim e^{-I_E}.

The Wick rotation is schematically t=iτt=-i\tau, so ημνδμν\eta_{\mu\nu}\to\delta_{\mu\nu} in flat space. Lorentzian real-time correlators require additional causal prescriptions; they are not obtained by blindly replacing τ\tau by itit.

For the gravitational normalization, the Lorentzian Einstein action is taken to be

Sgrav=116πGd+1Mdd+1xg(R+d(d1)L2)+18πGd+1MddxγK+Sct+Smatter.S_{\mathrm{grav}} = \frac{1}{16\pi G_{d+1}} \int_M d^{d+1}x\sqrt{-g}\left(R+\frac{d(d-1)}{L^2}\right) + \frac{1}{8\pi G_{d+1}} \int_{\partial M} d^d x\sqrt{-\gamma}\,K +S_{\mathrm{ct}}+S_{\mathrm{matter}}.

Equivalently, the cosmological constant is

Λ=d(d1)2L2,\Lambda=-\frac{d(d-1)}{2L^2},

and pure AdS obeys

RMN=dL2gMN,R=d(d+1)L2.R_{MN}=-\frac{d}{L^2}g_{MN}, \qquad R=-\frac{d(d+1)}{L^2}.

Here γμν\gamma_{\mu\nu} is the induced metric on a cutoff surface and KK is the trace of its extrinsic curvature. In Euclidean signature one usually works with the Euclidean action IEI_E, including the corresponding Gibbons-Hawking-York term and counterterms.

For QFT sources, this page uses

ZCFT[J]=exp ⁣(ddxg(0)J(x)O(x)),W[J]=logZ[J].Z_{\mathrm{CFT}}[J] = \left\langle \exp\!\left(\int d^dx\sqrt{g_{(0)}}\,J(x)\mathcal O(x)\right) \right\rangle, \qquad W[J]=\log Z[J].

In the classical Euclidean gravity approximation,

W[J]Iren,onshell[J].W[J]\approx -I_{\mathrm{ren,on-shell}}[J].

Therefore

O(x)J=1g(0)δWδJ(x)=1g(0)δIren,onshellδJ(x).\langle\mathcal O(x)\rangle_J = \frac{1}{\sqrt{g_{(0)}}}\frac{\delta W}{\delta J(x)} = -\frac{1}{\sqrt{g_{(0)}}}\frac{\delta I_{\mathrm{ren,on-shell}}}{\delta J(x)}.

If one instead writes the Euclidean QFT deformation as SESE+JOS_E\to S_E+\int J\mathcal O, all source signs are reversed. This is one of the most common sign-convention traps in holographic calculations.

Bulk sideBoundary sideCareful statement
AdSd+1\mathrm{AdS}_{d+1} isometriesconformal groupSO(2,d)SO(2,d) in Lorentzian signature
conformal boundaryspacetime of the CFTmetric defined up to Weyl rescaling
radial position zzRG or energy scale μ\muroughly μ1/z\mu\sim1/z, with gauge/scheme caveats
bulk field ϕ\philocal operator O\mathcal Ousually single-trace at large NN
leading boundary coefficient ϕ(0)\phi_{(0)}source for O\mathcal Ofixed boundary condition in standard quantization
normalizable coefficientvev or state dataprecise vev from varying IrenI_{\mathrm{ren}}
bulk metric gMNg_{MN}stress tensor TμνT_{\mu\nu}gμν(0)g^{(0)}_{\mu\nu} sources TμνT^{\mu\nu}
bulk gauge field AMA_Mconserved current JμJ^\muAμ(0)A^{(0)}_\mu sources JμJ^\mu
boundary value At(0)A^{(0)}_tchemical potential μ\mugauge-invariantly, μ=At()At(rh)\mu=A_t(\infty)-A_t(r_h) in black-hole backgrounds
bulk gauge symmetryglobal symmetry of CFTboundary gauge field is normally a nondynamical source
bulk diffeomorphismsstress-tensor Ward identitiesradial constraints encode conservation and trace relations
classical saddleleading large-NN physicstree-level bulk computation
bulk loops1/N1/N correctionsquantum gravity corrections
α\alpha' or higher-derivative termsfinite-coupling / finite-gap correctionsstringy corrections
AdS black hole or black branethermal statehorizon area gives entropy at leading order
infalling horizon conditionretarded correlatorLorentzian causal prescription
quasinormal modespoles of retarded correlatorsthermal relaxation and response
string worldsheet ending on boundary loopWilson loopW(C)eSstring\langle W(C)\rangle\sim e^{-S_{\mathrm{string}}} at strong coupling
extremal codimension-2 surfaceentanglement entropyRT/HRT at leading classical order
quantum extremal surfacequantum-corrected entropygeneralized entropy extremization

Claim status: what is exact, what is approximate?

Section titled “Claim status: what is exact, what is approximate?”
LevelBulk statementBoundary statementStatus
exact dualityfull quantum string/M-theory with specified asymptoticscomplete large-NN quantum theory with sourcesexact in known top-down examples, though often not rigorously proven in a mathematical sense
semiclassical bulkbulk path integral dominated by saddlesleading large-NN generating functionalcontrolled when Gd+1/Ld11G_{d+1}/L^{d-1}\ll1
classical string theorystring loops suppressed but string scale may matterplanar large-NN theory at finite couplingrequires N1N\gg1, not necessarily Einstein gravity
classical Einstein gravitytwo-derivative gravity plus light fieldslarge-NN, strong coupling, sparse spectrum / large gapstrongest computational regime
bottom-up holographyeffective gravitational model chosen by symmetries and fieldsphenomenological model of strongly coupled dynamicsuseful but not automatically a UV-complete CFT dual

This distinction is essential. Classical gravity is not AdS/CFT itself; it is a powerful limit of the full correspondence.

A useful definition of Lorentzian AdSd+1\mathrm{AdS}_{d+1} is the hyperboloid

X12X02+X12++Xd2=L2-X_{-1}^2-X_0^2+X_1^2+\cdots+X_d^2=-L^2

embedded in R2,d\mathbb R^{2,d}. This makes the isometry group manifest:

Isom(AdSd+1)=SO(2,d),\mathrm{Isom}(\mathrm{AdS}_{d+1})=SO(2,d),

matching the conformal group of a dd-dimensional Lorentzian CFT.

In Lorentzian Poincaré coordinates,

ds2=L2z2(dz2+ημνdxμdxν),z>0.ds^2 = \frac{L^2}{z^2}\left(dz^2+\eta_{\mu\nu}dx^\mu dx^\nu\right), \qquad z>0.

The conformal boundary is at z0z\to0. The induced metric diverges, but after multiplying by z2/L2z^2/L^2, one obtains the boundary representative ημνdxμdxν\eta_{\mu\nu}dx^\mu dx^\nu.

In Euclidean Poincaré coordinates,

dsE2=L2z2(dz2+δijdxidxj).ds_E^2 = \frac{L^2}{z^2}\left(dz^2+\delta_{ij}dx^i dx^j\right).

Global Lorentzian AdS can be written as

ds2=L2[(1+r2)dt2+dr21+r2+r2dΩd12],r0.ds^2 =L^2\left[-(1+r^2)dt^2+\frac{dr^2}{1+r^2}+r^2d\Omega_{d-1}^2\right], \qquad r\ge0.

Its boundary is conformal to

Rt×Sd1.\mathbb R_t\times S^{d-1}.

This is why global AdS naturally describes the CFT on the cylinder.

Near the boundary of an asymptotically locally AdS spacetime, one can often choose Fefferman-Graham coordinates:

ds2=L2z2(dz2+gμν(z,x)dxμdxν).ds^2 = \frac{L^2}{z^2}\left(dz^2+g_{\mu\nu}(z,x)dx^\mu dx^\nu\right).

The near-boundary expansion has the schematic form

gμν(z,x)=gμν(0)(x)+z2gμν(2)(x)++zdgμν(d)(x)+zdlogz2hμν(d)(x)+.g_{\mu\nu}(z,x) = g^{(0)}_{\mu\nu}(x) +z^2 g^{(2)}_{\mu\nu}(x) +\cdots +z^d g^{(d)}_{\mu\nu}(x) +z^d\log z^2\,h^{(d)}_{\mu\nu}(x) +\cdots .

The leading coefficient gμν(0)g^{(0)}_{\mu\nu} is the boundary metric source for TμνT_{\mu\nu}. The important point is that, for pure Einstein gravity, the coefficients below order zdz^d are locally determined by gμν(0)g^{(0)}_{\mu\nu} and other sources. The dynamical stress-tensor data first appears at order zdz^d.

For flat boundary metric and no additional sources, the standard result is

Tμν=dLd116πGd+1gμν(d).\langle T_{\mu\nu}\rangle = \frac{dL^{d-1}}{16\pi G_{d+1}}\,g^{(d)}_{\mu\nu}.

More generally,

Tμν=dLd116πGd+1gμν(d)+Xμν[g(0),sources],\langle T_{\mu\nu}\rangle = \frac{dL^{d-1}}{16\pi G_{d+1}}\,g^{(d)}_{\mu\nu} +X_{\mu\nu}[g^{(0)},\text{sources}],

where XμνX_{\mu\nu} is a local, scheme-dependent functional determined by holographic renormalization. For even boundary dimension dd, logarithmic terms encode the Weyl anomaly.

The kinematic match is

SO(2,d)AdSConf(R1,d1).SO(2,d)_{\mathrm{AdS}} \cong \mathrm{Conf}(\mathbb R^{1,d-1}).

Additional bulk gauge fields encode boundary global symmetries. For a bulk gauge field AMA_M,

Aμ(0)source for a conserved current Jμ.A^{(0)}_\mu \quad\longleftrightarrow\quad \text{source for a conserved current }J^\mu.

The gauge redundancy in the bulk is not a global symmetry acting on physical bulk states. Rather, it is the bulk description of a global symmetry of the boundary theory. If the boundary gauge field is made dynamical, the boundary theory itself has been changed.

Boundary anomalies are encoded in bulk terms whose gauge or Weyl variation reduces to a boundary contribution. Examples include:

  • Chern-Simons terms for global-symmetry anomalies,
  • logarithmic counterterms for Weyl anomalies,
  • mixed gauge-gravitational Chern-Simons terms for mixed anomalies.

Thus anomaly matching is one of the cleanest checks of the dictionary.

Radial direction and renormalization group

Section titled “Radial direction and renormalization group”

In Poincaré AdS, the boundary is at z=0z=0. Near the boundary,

small zUV physics,\text{small }z \quad\longleftrightarrow\quad \text{UV physics},

while moving deeper into the bulk corresponds roughly to flowing toward the IR:

μ1z.\mu\sim \frac{1}{z}.

A radial cutoff z=ϵz=\epsilon acts as a UV regulator in the boundary theory. Removing the cutoff requires adding local counterterms on the cutoff surface. This is holographic renormalization.

The slogan

radial evolutionRG flow\text{radial evolution}\sim\text{RG flow}

is powerful but not literal in every gauge. A local statement about the radial coordinate can depend on the choice of bulk coordinates. The precise, gauge-invariant content is encoded in asymptotic expansions, radial Hamilton-Jacobi equations, Ward identities, and boundary observables.

The central entry of the dictionary is:

bulk field ϕboundary operator O.\boxed{\text{bulk field }\phi \quad\longleftrightarrow\quad \text{boundary operator }\mathcal O.}

For a single-trace primary operator O\mathcal O, the dual bulk field has matching spin and global quantum numbers. In the large-NN regime, single-trace operators behave like single-particle bulk fields; multi-trace operators behave like multi-particle states or modified boundary conditions.

For a scalar field of mass mm in AdSd+1\mathrm{AdS}_{d+1},

m2L2=Δ(Δd),Δ±=d2±ν,ν=d24+m2L2.m^2L^2=\Delta(\Delta-d), \qquad \Delta_\pm=\frac d2\pm\nu, \qquad \nu=\sqrt{\frac{d^2}{4}+m^2L^2}.

In standard quantization, Δ=Δ+\Delta=\Delta_+. The near-boundary expansion is best written as

ϕ(z,x)=zdΔ(ϕ(0)(x)+)+zΔ(ϕ(2Δd)(x)+).\phi(z,x) = z^{d-\Delta}\left(\phi_{(0)}(x)+\cdots\right) +z^\Delta\left(\phi_{(2\Delta-d)}(x)+\cdots\right).

The first independent coefficient is the source:

ϕ(0)(x)source for O(x).\phi_{(0)}(x) \quad\longleftrightarrow\quad \text{source for }\mathcal O(x).

The second independent coefficient is the response. With the scalar Euclidean bulk action normalized as

Iϕ=Nϕ2dd+1xg[(ϕ)2+m2ϕ2],I_\phi = \frac{\mathcal N_\phi}{2} \int d^{d+1}x\sqrt{g}\left[(\nabla\phi)^2+m^2\phi^2\right],

the renormalized one-point function has the standard form

O(x)=Nϕ(2Δd)ϕ(2Δd)(x)+O(x)local.\boxed{ \langle\mathcal O(x)\rangle = \mathcal N_\phi(2\Delta-d)\,\phi_{(2\Delta-d)}(x) +\langle\mathcal O(x)\rangle_{\mathrm{local}}. }

The local term is fixed by counterterms and vanishes in many simple flat-boundary examples with no sources. The safest definition is always variational:

O(x)=1g(0)δIrenδϕ(0)(x).\langle\mathcal O(x)\rangle = -\frac{1}{\sqrt{g_{(0)}}} \frac{\delta I_{\mathrm{ren}}}{\delta\phi_{(0)}(x)}.

Stability in AdS requires the Breitenlohner-Freedman bound

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

When

d24<m2L2<d24+1,-\frac{d^2}{4}<m^2L^2<-\frac{d^2}{4}+1,

both falloffs can be normalizable. One may then choose alternate quantization, in which the roles of source and response are exchanged. This corresponds to the operator dimension Δ\Delta_-. Double-trace deformations can interpolate between the alternate and standard quantizations.

Bulk fieldBoundary operatorDimension relation
scalar ϕ\phiscalar primary O\mathcal Om2L2=Δ(Δd)m^2L^2=\Delta(\Delta-d)
massless vector AMA_Mconserved current JμJ^\muΔ=d1\Delta=d-1
massive vector AMA_Mnonconserved vector operatorm2L2=(Δ1)(Δ+1d)m^2L^2=(\Delta-1)(\Delta+1-d)
Dirac fermion ψ\psispinor operator Oψ\mathcal O_\psi$\Delta_+=\frac d2+
massless graviton hMNh_{MN}stress tensor TμνT_{\mu\nu}Δ=d\Delta=d
pp-form fieldpp-form current/operatorm2L2=(Δp)(Δ+pd)m^2L^2=(\Delta-p)(\Delta+p-d)

For fermions, the first-order Dirac equation means that one fixes only half of the boundary spinor components as sources. Alternate quantization is possible in an appropriate mass window, commonly mL<1/2|mL|<1/2.

Relevant, marginal, and irrelevant deformations

Section titled “Relevant, marginal, and irrelevant deformations”

Perturbing the boundary theory by

SCFTSCFT+ddxg(0)gOS_{\mathrm{CFT}}\to S_{\mathrm{CFT}}+\int d^dx\sqrt{g_{(0)}}\,g\,\mathcal O

gives the dimension statement below. With the source convention used earlier, this deformation corresponds to J=gJ=-g in Euclidean signature; the sign does not affect the scaling classification.

[g]=dΔ.[g]=d-\Delta.

Thus:

TypeConditionBulk interpretation
relevantΔ<d\Delta<dnon-normalizable scalar source grows toward the IR; often produces domain-wall RG flow
marginalΔ=d\Delta=dmassless scalar or modulus; logarithms may appear quantum mechanically
irrelevantΔ>d\Delta>dsource dominates near the boundary; UV completion must be handled carefully

In a large-NN gauge theory,

OsingleTr()\mathcal O_{\mathrm{single}}\sim\mathrm{Tr}(\cdots)

usually maps to a single-particle bulk field. Products such as

O2,O1O2,\mathcal O^2, \qquad \mathcal O_1\mathcal O_2,

map to multi-particle states or to changes in boundary conditions.

A double-trace deformation

SCFTSCFT+f2ddxg(0)O2S_{\mathrm{CFT}}\to S_{\mathrm{CFT}}+\frac f2\int d^dx\sqrt{g_{(0)}}\,\mathcal O^2

is implemented, at leading large NN, by mixed boundary conditions relating source and response. As with single-trace sources, signs depend on whether the deformation is written in the action or in the exponent of the generating functional. Schematically,

ϕresponsefϕsource,\phi_{\mathrm{response}}\sim f\,\phi_{\mathrm{source}},

with the exact proportionality fixed by normalization and quantization convention.

The Gubser-Klebanov-Polyakov/Witten prescription is the operational heart of the dictionary:

ZCFT[sources]=Zbulk[asymptotic boundary data].\boxed{ Z_{\mathrm{CFT}}[\text{sources}] = Z_{\mathrm{bulk}}[\text{asymptotic boundary data}]. }

For a scalar operator,

ZCFT[ϕ(0)]=Zbulk ⁣[ϕ(z,x)zdΔϕ(0)(x)].Z_{\mathrm{CFT}}[\phi_{(0)}] = Z_{\mathrm{bulk}}\!\left[\phi(z,x)\sim z^{d-\Delta}\phi_{(0)}(x)\right].

At leading order in the classical Euclidean saddle approximation,

Zbulk[ϕ(0)]exp[Iren,onshell[ϕ(0)]],Z_{\mathrm{bulk}}[\phi_{(0)}] \approx \exp\left[-I_{\mathrm{ren,on-shell}}[\phi_{(0)}]\right],

so

WCFT[ϕ(0)]logZCFT[ϕ(0)]Iren,onshell[ϕ(0)].W_{\mathrm{CFT}}[\phi_{(0)}] \equiv \log Z_{\mathrm{CFT}}[\phi_{(0)}] \approx -I_{\mathrm{ren,on-shell}}[\phi_{(0)}].

Connected correlators are obtained by differentiating WW:

O(x1)O(xn)c=1g(0)(x1)g(0)(xn)δnWδϕ(0)(x1)δϕ(0)(xn)ϕ(0)=0.\langle\mathcal O(x_1)\cdots\mathcal O(x_n)\rangle_c = \frac{1}{\sqrt{g_{(0)}(x_1)}\cdots\sqrt{g_{(0)}(x_n)}} \frac{\delta^n W}{\delta\phi_{(0)}(x_1)\cdots\delta\phi_{(0)}(x_n)}\bigg|_{\phi_{(0)}=0}.

With W=IrenW=-I_{\mathrm{ren}}, this is

O(x1)O(xn)c=1g(0)(x1)g(0)(xn)δnIrenδϕ(0)(x1)δϕ(0)(xn)ϕ(0)=0,\langle\mathcal O(x_1)\cdots\mathcal O(x_n)\rangle_c = - \frac{1}{\sqrt{g_{(0)}(x_1)}\cdots\sqrt{g_{(0)}(x_n)}} \frac{\delta^n I_{\mathrm{ren}}}{\delta\phi_{(0)}(x_1)\cdots\delta\phi_{(0)}(x_n)}\bigg|_{\phi_{(0)}=0},

up to contact terms, operator mixing, and source-dependent disconnected pieces. The sign does not alternate as (1)n(-1)^n in this source convention.

Using covariant boundary metric variation,

δW=ddxg(0)(12Tμνδgμν(0)+JμδAμ(0)+Oδϕ(0)).\delta W = \int d^dx\sqrt{g_{(0)}}\left( \frac12\langle T^{\mu\nu}\rangle\delta g^{(0)}_{\mu\nu} +\langle J^\mu\rangle\delta A^{(0)}_\mu +\langle\mathcal O\rangle\delta\phi_{(0)} \right).

Thus, in the classical gravity approximation,

O=1g(0)δIrenδϕ(0),\langle\mathcal O\rangle =-\frac{1}{\sqrt{g_{(0)}}}\frac{\delta I_{\mathrm{ren}}}{\delta\phi_{(0)}} , Jμ=1g(0)δIrenδAμ(0),\langle J^\mu\rangle =-\frac{1}{\sqrt{g_{(0)}}}\frac{\delta I_{\mathrm{ren}}}{\delta A^{(0)}_\mu} , Tμν=2g(0)δIrenδgμν(0).\langle T^{\mu\nu}\rangle =-\frac{2}{\sqrt{g_{(0)}}}\frac{\delta I_{\mathrm{ren}}}{\delta g^{(0)}_{\mu\nu}} .

If one varies with respect to gμνg^{\mu\nu} rather than gμνg_{\mu\nu}, the displayed stress-tensor sign changes in the usual way.

Euclidean regularity computes Euclidean correlators. Lorentzian correlators require a choice of state and contour.

The retarded Green function is

GOOR(t,x)=iθ(t)[O(t,x),O(0)].G^R_{\mathcal O\mathcal O}(t,\mathbf x) = -i\theta(t)\langle[\mathcal O(t,\mathbf x),\mathcal O(0)]\rangle.

In a black-hole or black-brane background, the holographic prescription for GRG^R imposes infalling boundary conditions at the future horizon. Poles of the resulting retarded correlator are quasinormal modes of the bulk perturbation.

Different correlators require different prescriptions:

Boundary correlatorBulk condition
Euclidean vacuum correlatorregularity in Euclidean AdS
thermal Euclidean correlatorsmoothness on Euclidean black-hole cigar
retarded correlatorinfalling at future horizon
advanced correlatoroutgoing at future horizon
Schwinger-Keldysh correlatorsreal-time contour with doubled fields/saddles

On-shell AdS actions diverge because the boundary is at infinite proper distance. Holographic renormalization gives finite variational data.

The standard procedure is:

  1. introduce a cutoff surface z=ϵz=\epsilon;
  2. evaluate the bulk action plus boundary terms on zϵz\ge\epsilon;
  3. add local counterterms on the cutoff surface;
  4. take ϵ0\epsilon\to0;
  5. vary the resulting finite functional with respect to sources.

Symbolically,

Iren=limϵ0(Ibulkzϵ+IGHYz=ϵ+Ictz=ϵ).I_{\mathrm{ren}} = \lim_{\epsilon\to0}\left( I_{\mathrm{bulk}}^{z\ge\epsilon} +I_{\mathrm{GHY}}^{z=\epsilon} +I_{\mathrm{ct}}^{z=\epsilon} \right).

Counterterms are local functionals of the induced fields at z=ϵz=\epsilon. Finite local counterterms change contact terms and scheme-dependent one-point functions, but they do not change separated-point nonlocal correlators.

Bulk constraints imply boundary Ward identities. In the presence of scalar sources ϕ(0)I\phi_{(0)}^I and background gauge fields Aμ(0)A^{(0)}_\mu, the schematic identities are

μJaμ=Aa,\nabla_\mu\langle J^\mu_a\rangle =\mathcal A_a, μTμν=Fνμ(0)aJaμ+IOIνϕ(0)I+Aν,\nabla_\mu\langle T^{\mu}{}_{\nu}\rangle = F^{(0)a}_{\nu\mu}\langle J^\mu_a\rangle +\sum_I \langle\mathcal O_I\rangle\nabla_\nu\phi^I_{(0)} +\mathcal A_\nu,

and

Tμμ=AWeyl+I(dΔI)ϕ(0)IOI+.\langle T^\mu{}_{\mu}\rangle = \mathcal A_{\mathrm{Weyl}} +\sum_I (d-\Delta_I)\phi^I_{(0)}\langle\mathcal O_I\rangle +\cdots .

The anomaly terms vanish in simple flat examples without anomalous sources, but they are essential in curved backgrounds and even boundary dimensions.

The two most important expansions are:

Gd+1Ld11andsL1.\frac{G_{d+1}}{L^{d-1}}\ll1 \qquad\text{and}\qquad \frac{\ell_s}{L}\ll1.

The first suppresses bulk quantum loops. The second suppresses stringy higher-derivative corrections.

In a large-NN holographic CFT, one usually has

Ld1Gd+1N2\frac{L^{d-1}}{G_{d+1}}\sim N^2

for matrix-like adjoint degrees of freedom. In vector-like models the scaling can differ.

A simple Einstein-gravity dual typically requires:

  • large NN or large central charge,
  • a sparse low-dimension single-trace spectrum,
  • a large gap to higher-spin/stringy operators,
  • a consistent set of boundary conditions and counterterms,
  • a controlled state or ensemble.

Large NN alone is not enough. A weakly curved local Einstein bulk is a special corner of holography.

Canonical example: AdS5×S5\mathrm{AdS}_5\times S^5 / N=4\mathcal N=4 SYM

Section titled “Canonical example: AdS5×S5\mathrm{AdS}_5\times S^5AdS5​×S5 / N=4\mathcal N=4N=4 SYM”

The original and best-studied example is

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

With common conventions,

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

The regimes are:

Boundary regimeBulk regime
finite NN, finite λ\lambdafull quantum string theory
N1N\gg1, finite λ\lambdaclassical string theory, generally stringy
N1N\gg1, λ1\lambda\gg1classical type IIB supergravity
1/N1/N correctionsbulk quantum loops
1/λ1/\lambda correctionsα\alpha' corrections

The central charges are

a=c=πL38G5N24a=c=\frac{\pi L^3}{8G_5} \simeq\frac{N^2}{4}

at large NN. In the exact SU(N)SU(N) gauge theory, a=c=(N21)/4a=c=(N^2-1)/4.

Three-dimensional AdS gravity is special because asymptotic symmetries enhance to two copies of the Virasoro algebra. For Einstein gravity on AdS3\mathrm{AdS}_3,

c=3L2G3\boxed{ c=\frac{3L}{2G_3} }

is the Brown-Henneaux central charge.

For a rotating BTZ black hole with mass MM and angular momentum JJ, the CFT weights obey

hc24=12(ML+J),hˉc24=12(MLJ).h-\frac{c}{24}=\frac12(ML+J), \qquad \bar h-\frac{c}{24}=\frac12(ML-J).

For J=0J=0,

Δc12=ML,Δ=h+hˉ.\Delta-\frac{c}{12}=ML, \qquad \Delta=h+\bar h.

The Cardy formula then reproduces the BTZ entropy,

SBTZ=2π[c6(hc24)+c6(hˉc24)]=A4G3.S_{\mathrm{BTZ}} =2\pi\left[ \sqrt{\frac{c}{6}\left(h-\frac{c}{24}\right)} + \sqrt{\frac{c}{6}\left(\bar h-\frac{c}{24}\right)} \right] =\frac{A}{4G_3}.
Bulk backgroundBoundary theoryComment
type IIB on AdS5×S5\mathrm{AdS}_5\times S^54d N=4\mathcal N=4 SYMcanonical example
M-theory on AdS4×S7\mathrm{AdS}_4\times S^7 or quotients3d M2-brane CFTs, including ABJM variantsimportant for AdS4_4/CFT3_3
M-theory on AdS7×S4\mathrm{AdS}_7\times S^46d (2,0)(2,0) theoryno ordinary Lagrangian description in general
type IIB on AdS3×S3×M4\mathrm{AdS}_3\times S^3\times M_42d D1-D5 CFTblack-hole microstates, AdS3_3/CFT2_2
less symmetric compactificationsquiver, defect, flavor, or RG-flow theoriesoften more realistic but harder to control

A state or ensemble in the CFT is represented by a choice of bulk state, geometry, or saddle. Common entries are:

Boundary objectBulk object
CFT vacuum on R1,d1\mathbb R^{1,d-1}Poincaré AdS
CFT vacuum on R×Sd1\mathbb R\times S^{d-1}global AdS
thermal stateAdS black hole or black brane
finite chemical potentialcharged AdS black hole / bulk electric flux
relevant deformationscalar profile and domain-wall geometry
confining-like phasegeometry caps off or has a mass gap
heavy operator/statemassive particle, black hole, or backreacted geometry depending on Δ\Delta

A primary operator of dimension Δ\Delta creates an energy eigenstate on the cylinder:

E=ΔRE=\frac{\Delta}{R}

for a boundary sphere of radius RR. On the bulk side, this is global AdS energy.

A thermal CFT partition function is

Z(β)=TreβH.Z(\beta)=\mathrm{Tr}\,e^{-\beta H}.

In Euclidean gravity, the dominant saddle has a Euclidean time circle of period

β=1T.\beta=\frac1T.

At leading classical order,

F=TlogZTIE,ren,onshell.F=-T\log Z\approx T I_{E,\mathrm{ren,on-shell}}.

For an Einstein-gravity black hole,

Sthermal=Area(H)4Gd+1.S_{\mathrm{thermal}}=\frac{\mathrm{Area}(\mathcal H)}{4G_{d+1}}.

Higher-derivative gravity replaces area by Wald entropy or its appropriate generalization.

A conserved current JμJ^\mu allows a chemical potential μ\mu for charge QQ. In the bulk,

μ=At(0)\mu=A_t^{(0)}

in a simple gauge. In a black-hole background the gauge-invariant statement is

μ=At()At(rh),\mu=A_t(\infty)-A_t(r_h),

and regularity often sets At(rh)=0A_t(r_h)=0 in Euclidean signature. Charge density is extracted from the radial electric flux, equivalently from

Jt=1g(0)δIrenδAt(0).\langle J^t\rangle =-\frac{1}{\sqrt{g_{(0)}}}\frac{\delta I_{\mathrm{ren}}}{\delta A^{(0)}_t}.

In a gauge theory, a Wilson loop is schematically

W(C)=1NTrPexp(iCAμdxμ).W(C)=\frac1N\mathrm{Tr}\,\mathcal P\exp\left(i\oint_C A_\mu dx^\mu\right).

In N=4\mathcal N=4 SYM, the supersymmetric Wilson loop also couples to scalars. Holographically, a fundamental Wilson loop maps to a fundamental string worldsheet ending on the contour CC at the AdS boundary:

W(C)exp[Sstring(C)].\langle W(C)\rangle \sim \exp[-S_{\mathrm{string}}(C)].

At strong coupling the leading term is often the Nambu-Goto action

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

Higher representations can be described by D-branes in appropriate regimes.

Fields in the adjoint representation are naturally part of the closed-string/gravity sector. Fundamental matter is often introduced by adding flavor branes. In the probe limit,

NfN,N_f\ll N,

flavor branes propagate on a fixed background and compute meson spectra, flavor currents, conductivities, and defect observables. Backreaction becomes important when Nf/NN_f/N is not negligible.

For a boundary spatial region AA, the static Ryu-Takayanagi formula is

SA=Area(γA)4Gd+1,γA=A,S_A = \frac{\mathrm{Area}(\gamma_A)}{4G_{d+1}}, \qquad \partial\gamma_A=\partial A,

where γA\gamma_A is the minimal bulk codimension-2 surface homologous to AA.

For time-dependent states, the Hubeny-Rangamani-Takayanagi prescription replaces the minimal surface by an extremal surface:

SA=Area(XA)4Gd+1.S_A = \frac{\mathrm{Area}(X_A)}{4G_{d+1}}.

At the next order in bulk quantum corrections, one uses generalized entropy:

Sgen(X)=Area(X)4Gd+1+Sbulk(ΣX)+.S_{\mathrm{gen}}(X) = \frac{\mathrm{Area}(X)}{4G_{d+1}} +S_{\mathrm{bulk}}(\Sigma_X)+\cdots .

The quantum extremal surface prescription is

SA=minXextXSgen(X),X=A.S_A = \min_{X}\,\mathrm{ext}_{X}\,S_{\mathrm{gen}}(X), \qquad \partial X=\partial A.

In black-hole evaporation and related setups, the same generalized-entropy logic leads to island formulas.

A bottom-up holographic model begins with an effective bulk action chosen to capture symmetries, conserved quantities, relevant operators, and desired IR behavior. Examples include Einstein-Maxwell theory, Einstein-Maxwell-dilaton models, axion models for momentum relaxation, and Einstein-Maxwell-scalar models for holographic superconductors.

Bottom-up models can be powerful, but they should be read with the following labels:

LabelMeaning
top-downderived from a known string/M-theory construction or consistent truncation
consistent truncationevery solution of the lower-dimensional theory uplifts to a solution of the higher-dimensional theory
effective modeldesigned to describe a controlled sector or phenomenon, not necessarily a complete UV dual
phenomenological modeluseful for mechanisms and scaling, but not automatically an exact dual of a known QFT

A useful bottom-up model should state:

  • field content and symmetries,
  • boundary conditions and ensemble,
  • UV asymptotics,
  • IR geometry or horizon behavior,
  • counterterms and variational principle,
  • regime of validity,
  • which observables are robust and which are model-dependent.

No. The boundary is a conformal boundary at infinity. It is not a material shell at finite proper distance.

“The radial direction is literally the RG scale.”

Section titled ““The radial direction is literally the RG scale.””

Only approximately and with caveats. The relation is sharpest near the boundary and in gauge-invariant observables. Local radial statements can be coordinate dependent.

“Classical gravity is the full duality.”

Section titled ““Classical gravity is the full duality.””

No. Classical gravity is a limit. The full duality involves quantum gravity or string/M-theory.

“Every CFT has a simple Einstein dual.”

Section titled ““Every CFT has a simple Einstein dual.””

No. A simple local Einstein bulk requires special large-NN and spectral-gap properties.

“The source is the value of the field at a finite cutoff.”

Section titled ““The source is the value of the field at a finite cutoff.””

Not quite. At finite z=ϵz=\epsilon, the field contains both source and response. The source is defined by the coefficient in the asymptotic expansion after holographic renormalization.

“Normalizable means vev, always and immediately.”

Section titled ““Normalizable means vev, always and immediately.””

Normalizable modes often encode state or response data, but the renormalized one-point function is defined by varying IrenI_{\mathrm{ren}}. Local terms, anomalies, alternate quantization, and operator mixing can modify the naive coefficient.

“Euclidean and Lorentzian correlators are the same calculation.”

Section titled ““Euclidean and Lorentzian correlators are the same calculation.””

No. Euclidean regularity and Lorentzian infalling boundary conditions compute different analytic objects, though they can be related by analytic continuation in controlled situations.

“The z2z^2 Fefferman-Graham coefficient is the stress tensor.”

Section titled ““The z2z^2z2 Fefferman-Graham coefficient is the stress tensor.””

Generally false. In Einstein gravity the stress tensor is encoded in gμν(d)g^{(d)}_{\mu\nu} plus local terms, not generically in gμν(2)g^{(2)}_{\mu\nu}.

“A bottom-up action guarantees a healthy CFT.”

Section titled ““A bottom-up action guarantees a healthy CFT.””

No. A bulk effective action is not automatically UV complete. It may still be useful as a controlled phenomenological model.

The curvature scale of AdS. Curvatures scale as R1/L2R\sim -1/L^2.

A choice of boundary condition, available in certain mass windows, in which the usual source and response roles are exchanged.

A spacetime whose metric approaches AdS near the conformal boundary, allowing a boundary conformal structure and holographic source data.

The stability bound for scalars in AdSd+1\mathrm{AdS}_{d+1}:

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

The quasi-local stress tensor obtained by varying the renormalized gravitational action with respect to the boundary metric. After counterterms, it gives the holographic CFT stress tensor.

The kernel that builds a bulk solution from a boundary source. It is the basic ingredient for tree-level Witten diagrams.

The source for a conserved charge. Holographically it is the boundary value of a bulk gauge potential, modulo gauge choices and horizon regularity.

The boundary obtained after stripping off the divergent AdS conformal factor. The CFT lives on this conformal class, not on a unique metric.

A deformation by an operator such as O2\mathcal O^2. At leading large NN, it is represented by mixed boundary conditions for the dual bulk field.

A near-boundary gauge in which

ds2=L2z2(dz2+gμν(z,x)dxμdxν).ds^2=\frac{L^2}{z^2}(dz^2+g_{\mu\nu}(z,x)dx^\mu dx^\nu).

Useful for holographic renormalization.

The equality of the CFT generating functional and the bulk partition function with matching boundary data:

ZCFT[ϕ(0)]=Zbulk[ϕϕ(0)].Z_{\mathrm{CFT}}[\phi_{(0)}]=Z_{\mathrm{bulk}}[\phi\to\phi_{(0)}].

The procedure of adding local boundary counterterms to obtain a finite on-shell action and finite one-point functions.

The property that connected correlators of suitably normalized single-trace operators are suppressed at large NN. This is the CFT origin of weakly interacting bulk fields.

Near-boundary falloffs of bulk fields. In standard quantization, the leading non-normalizable coefficient is the source and the normalizable coefficient is related to the response or state.

A bulk fluctuation satisfying source-free boundary behavior and infalling horizon behavior. In holography, quasinormal frequencies are poles of retarded correlators.

The bulk codimension-2 minimal or extremal surface used to compute boundary entanglement entropy at leading classical order.

An operator such as Tr(F2)\mathrm{Tr}(F^2) in a large-NN gauge theory. It usually maps to a single-particle bulk field.

An AdS perturbation-theory diagram. Tree-level Witten diagrams compute leading large-NN CFT correlators; bulk loops compute 1/N1/N corrections.

Holographic renormalization and correlators

Section titled “Holographic renormalization and correlators”
  • M. Ammon and J. Erdmenger, Gauge/Gravity Duality: Foundations and Applications.
  • M. Natsuume, AdS/CFT Duality User Guide, arXiv:1409.3575.
  • H. Nastase, Introduction to the AdS/CFT Correspondence.
  • J. Polchinski, Introduction to Gauge/Gravity Duality, arXiv:1010.6134.
  • H. Liu, String Theory and Holographic Duality, MIT OpenCourseWare lecture notes.

Entanglement, black holes, and quantum information

Section titled “Entanglement, black holes, and quantum information”