Skip to content

Stress Tensor and the Metric

The metric is the source for the stress tensor. This is one of the most important entries in the AdS/CFT dictionary because it is where ordinary geometry becomes the generator of energy, momentum, pressure, trace anomalies, and gravitational response in the boundary theory.

For a scalar operator, the source is a scalar function J(x)J(x). For a conserved current, the source is a background gauge field Ai(x)A_i(x). For the stress tensor, the source is the background metric g(0)ij(x)g_{(0)ij}(x) on which the boundary QFT is placed:

boundary metric g(0)ijbulk metric GMN\boxed{ \text{boundary metric } g_{(0)ij} \quad \longleftrightarrow \quad \text{bulk metric } G_{MN} }

and

bulk gravitonCFT stress tensor Tij\boxed{ \text{bulk graviton} \quad \longleftrightarrow \quad \text{CFT stress tensor } T_{ij} }

This page explains the metric/stress-tensor dictionary at the first working level. The full machinery is holographic renormalization, which begins in the next unit. Here the aim is to understand what is being varied, what is held fixed, why counterterms are necessary, and what information in the near-boundary metric becomes Tij\langle T_{ij}\rangle.

The boundary metric sources the CFT stress tensor, while the same boundary metric is Dirichlet data for the bulk metric. Varying the renormalized on-shell action gives the holographic stress tensor.

The metric/stress-tensor dictionary. The boundary metric g(0)ijg_{(0)ij} is a source in the CFT and a Dirichlet boundary condition for the bulk metric. The renormalized Brown–York tensor, including counterterms, computes Tij\langle T_{ij}\rangle.

The stress tensor is not just another operator. It is the operator associated with spacetime symmetries. It measures local energy density, momentum density, pressure, and stress. Its correlation functions encode transport, sound modes, viscosity, central charges, conformal anomalies, and the response of the theory to changes in geometry.

On the gravity side, the metric is not just another field either. It is the field that defines distances, horizons, causal structure, and black-hole thermodynamics. Thus the entry

g(0)ijTijg_{(0)ij} \quad \longleftrightarrow \quad T_{ij}

is the part of the dictionary that turns gravitational geometry into QFT energy-momentum data.

Three later topics depend directly on this page:

  1. Holographic renormalization. The stress tensor is the cleanest place to see why the Brown–York tensor must be supplemented by counterterms.
  2. Thermal holography. Black-brane metrics encode the energy density and pressure of thermal CFT states.
  3. Hydrodynamics. Retarded correlators GTijTklRG^R_{T_{ij}T_{kl}} are obtained by solving linearized gravitational perturbations.

The metric dictionary is also the reason why the spin-two bulk graviton is dual to the boundary stress tensor.

A local QFT can be coupled to nondynamical background sources. For the operators relevant here, the generating functional has the schematic form

ZCFT[g(0),A,J]=[DΦ]exp ⁣(SCFT[Φ;g(0)]ddxg(0)JOddxg(0)AiJi),Z_{\mathrm{CFT}}[g_{(0)},A,J] = \int [D\Phi]\,\exp\! \left( -S_{\mathrm{CFT}}[\Phi;g_{(0)}] -\int d^d x\sqrt{|g_{(0)}|}\,J\mathcal O -\int d^d x\sqrt{|g_{(0)}|}\,A_iJ^i \right),

in Euclidean signature. We write

WCFT[g(0),A,J]=logZCFT[g(0),A,J].W_{\mathrm{CFT}}[g_{(0)},A,J]=\log Z_{\mathrm{CFT}}[g_{(0)},A,J].

The boundary metric g(0)ijg_{(0)ij} is not integrated over in ordinary AdS/CFT with Dirichlet boundary conditions. It is a source. Varying it defines the stress tensor.

In this course we use the convention

δWCFT=12ddxg(0)Tijδg(0)ij+ddxg(0)JiδAi+ddxg(0)OδJ+.\delta W_{\mathrm{CFT}} = \frac12\int d^d x\sqrt{|g_{(0)}|}\, \langle T^{ij}\rangle\,\delta g_{(0)ij} + \int d^d x\sqrt{|g_{(0)}|}\, \langle J^i\rangle\delta A_i + \int d^d x\sqrt{|g_{(0)}|}\, \langle \mathcal O\rangle\delta J + \cdots .

Therefore

Tij(x)=2g(0)δWCFTδg(0)ij(x)\boxed{ \langle T^{ij}(x)\rangle = \frac{2}{\sqrt{|g_{(0)}|}} \frac{\delta W_{\mathrm{CFT}}}{\delta g_{(0)ij}(x)} }

with this sign convention. In the classical Euclidean gravity saddle,

WCFT[g(0),A,J]Sren,on-shell[g(0),A,J],W_{\mathrm{CFT}}[g_{(0)},A,J] \simeq -S_{\text{ren,on-shell}}[g_{(0)},A,J],

so

Tij(x)2g(0)δSren,on-shellδg(0)ij(x)\boxed{ \langle T^{ij}(x)\rangle \simeq -\frac{2}{\sqrt{|g_{(0)}|}} \frac{\delta S_{\text{ren,on-shell}}}{\delta g_{(0)ij}(x)} }

in Euclidean signature. In Lorentzian signature the factors of ii and signs are convention-dependent. The invariant lesson is simple: the one-point function of the stress tensor is the response of the renormalized on-shell action to a change of boundary metric.

Near the conformal boundary, an asymptotically locally AdS metric can be written in Fefferman–Graham gauge:

ds2=L2z2(dz2+gij(z,x)dxidxj),z0.ds^2 = \frac{L^2}{z^2} \left( dz^2+g_{ij}(z,x)dx^i dx^j \right), \qquad z\to0.

The leading term in the expansion of gij(z,x)g_{ij}(z,x) defines the boundary metric:

gij(z,x)=g(0)ij(x)+.g_{ij}(z,x) = g_{(0)ij}(x)+\cdots .

More precisely, AdS/CFT fixes a boundary conformal class [g(0)][g_{(0)}], because a different choice of defining function near the boundary can Weyl-rescale g(0)g_{(0)}. Choosing a representative g(0)ijg_{(0)ij} is like choosing a conformal frame for the CFT.

For a small perturbation around flat space,

g(0)ij(x)=ηij+h(0)ij(x),g_{(0)ij}(x)=\eta_{ij}+h_{(0)ij}(x),

the CFT source term is, to first order,

δWCFT=12ddxTij(x)h(0)ij(x).\delta W_{\mathrm{CFT}} = \frac12\int d^d x\,\langle T^{ij}(x)\rangle h_{(0)ij}(x).

Thus h(0)ijh_{(0)ij} is the source for TijT^{ij}. The corresponding bulk field is the metric perturbation hMNh_{MN}, usually called the graviton. This is the spin-two version of the scalar dictionary:

ϕ(0)O,A(0)iJi,g(0)ijTij.\phi_{(0)} \leftrightarrow \mathcal O, \qquad A_{(0)i} \leftrightarrow J^i, \qquad g_{(0)ij} \leftrightarrow T^{ij}.

The gravitational action and the Brown–York tensor

Section titled “The gravitational action and the Brown–York tensor”

For Dirichlet boundary conditions on the metric, the gravitational action is not just the Einstein–Hilbert action. One must include the Gibbons–Hawking–York boundary term:

Sgrav=116πGd+1Mdd+1xG(R2Λ)+18πGd+1MddxγK+Sct.S_{\mathrm{grav}} = \frac{1}{16\pi G_{d+1}} \int_M d^{d+1}x\sqrt{|G|}\,(R-2\Lambda) + \frac{1}{8\pi G_{d+1}} \int_{\partial M}d^d x\sqrt{|\gamma|}\,K +S_{\mathrm{ct}}.

Here

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

γij\gamma_{ij} is the induced metric on a cutoff surface z=ϵz=\epsilon, and KijK_{ij} is its extrinsic curvature. The term SctS_{\mathrm{ct}} is a sum of local counterterms built from γij\gamma_{ij} and boundary values of matter fields.

Before adding counterterms, the variation of the Einstein–Hilbert plus Gibbons–Hawking–York action gives the Brown–York tensor on the cutoff surface:

TijBY=18πGd+1(KijKγij),T^{\mathrm{BY}}_{ij} = \frac{1}{8\pi G_{d+1}} \left(K_{ij}-K\gamma_{ij}\right),

up to the sign determined by the orientation convention for the outward normal. This tensor is natural, but it is not yet the CFT stress tensor. It diverges as the cutoff surface is taken to the AdS boundary.

The renormalized cutoff stress tensor is instead

TijBY+ct=2γδδγij(Sbulk+SGHY+Sct),T^{\mathrm{BY+ct}}_{ij} = \frac{2}{\sqrt{|\gamma|}} \frac{\delta}{\delta \gamma^{ij}} \left(S_{\mathrm{bulk}}+S_{\mathrm{GHY}}+S_{\mathrm{ct}}\right),

again with sign depending on whether one varies with respect to γij\gamma_{ij} or γij\gamma^{ij}. A standard first part of the counterterm contribution is

TijBY+ct=18πGd+1(KijKγijd1Lγij+Ld2Gij[γ]+),T^{\mathrm{BY+ct}}_{ij} = \frac{1}{8\pi G_{d+1}} \left( K_{ij}-K\gamma_{ij} -\frac{d-1}{L}\gamma_{ij} +\frac{L}{d-2}G_{ij}[\gamma] +\cdots \right),

for d>2d>2, where Gij[γ]G_{ij}[\gamma] is the Einstein tensor of the cutoff metric and the ellipsis denotes higher-curvature and matter counterterms. This formula is meant as a representative convention, not as a universal sign oracle. The next unit will give the systematic prescription.

The CFT stress tensor is obtained by rescaling from the cutoff metric to the boundary metric and removing the cutoff:

Tij=limϵ0(Lϵ)d2TijBY+ct(ϵ)\boxed{ \langle T_{ij}\rangle = \lim_{\epsilon\to0} \left(\frac{L}{\epsilon}\right)^{d-2} T^{\mathrm{BY+ct}}_{ij}(\epsilon) }

for covariant components in Fefferman–Graham coordinates. The power is fixed by the fact that TijT_{ij} has scaling dimension dd but carries two lower metric indices.

Fefferman–Graham expansion and the stress tensor

Section titled “Fefferman–Graham expansion and the stress tensor”

The most useful way to see where Tij\langle T_{ij}\rangle lives is the Fefferman–Graham expansion. For pure gravity, the near-boundary metric takes the form

gij(z,x)=g(0)ij(x)+z2g(2)ij(x)++zdg(d)ij(x)+zdlogz2h(d)ij(x)+.g_{ij}(z,x) = g_{(0)ij}(x) +z^2g_{(2)ij}(x) +\cdots +z^d g_{(d)ij}(x) +z^d\log z^2\,h_{(d)ij}(x) +\cdots .

The logarithmic term is present only in special cases, especially when the boundary dimension dd is even. It is tied to the conformal anomaly.

The Einstein equations determine the coefficients g(2),g(4),,g(d2)g_{(2)},g_{(4)},\ldots,g_{(d-2)} locally from the source metric g(0)g_{(0)}. They also determine the trace and divergence of g(d)g_{(d)}. But the transverse-traceless part of g(d)g_{(d)} is not fixed locally by g(0)g_{(0)}. It is state data.

Schematically,

Tij=dLd116πGd+1g(d)ij+Xij[g(0)]\boxed{ \langle T_{ij}\rangle = \frac{dL^{d-1}}{16\pi G_{d+1}}g_{(d)ij} +X_{ij}[g_{(0)}] }

where Xij[g(0)]X_{ij}[g_{(0)}] is a local functional of the source metric. It is nonzero when curvature counterterms, logarithmic terms, or conformal anomalies contribute.

For a flat boundary metric and no extra sources, the local term often vanishes, and the formula simplifies to

Tij=dLd116πGd+1g(d)ij.\langle T_{ij}\rangle = \frac{dL^{d-1}}{16\pi G_{d+1}}g_{(d)ij}.

In AdS5_5/CFT4_4, this becomes

Tij=L34πG5g(4)ij+Xij[g(0)].\langle T_{ij}\rangle = \frac{L^3}{4\pi G_5}g_{(4)ij} +X_{ij}[g_{(0)}].

This is one of the most useful practical formulas in classical holography.

The radial components of Einstein’s equations are constraints rather than dynamical radial evolution equations. Holographically, these constraints become Ward identities for the boundary stress tensor.

If the CFT is coupled to a background gauge field AiA_i and scalar sources JIJ^I, diffeomorphism invariance gives

iTij=FjiJi+IOIjJI\boxed{ \nabla_i\langle T^{ij}\rangle = F^j{}_{i}\langle J^i\rangle +\sum_I \langle \mathcal O_I\rangle \nabla^j J^I }

with the sign depending on the source convention used in the definition of WW. The meaning is physical: stress-tensor conservation is modified when background sources inject momentum into the system.

If all sources are constant and the background is flat, this reduces to ordinary conservation:

iTij=0.\partial_i\langle T^{ij}\rangle=0.

The trace Ward identity has the schematic form

Tii=A[g(0),A,J]+I(dΔI)JIOI\boxed{ \langle T^i{}_i\rangle = \mathcal A[g_{(0)},A,J] +\sum_I (d-\Delta_I)J^I\langle \mathcal O_I\rangle }

where A\mathcal A is the conformal anomaly. If the boundary dimension dd is odd and the theory is placed on a smooth background without explicit scale-breaking sources, there is no local Weyl anomaly. If dd is even, a Weyl anomaly can appear on curved backgrounds.

For a pure CFT on flat space with no sources,

Tii=0.\langle T^i{}_i\rangle=0.

This is the field-theory reason why the thermal stress tensor of a CFT must obey an equation of state such as

ϵ=(d1)p\epsilon=(d-1)p

in a homogeneous isotropic state.

Consider pure AdS in Poincare coordinates:

ds2=L2z2(dz2+ηijdxidxj).ds^2 = \frac{L^2}{z^2} \left(dz^2+\eta_{ij}dx^i dx^j\right).

Here

g(0)ij=ηij,g(d)ij=0,g_{(0)ij}=\eta_{ij}, \qquad g_{(d)ij}=0,

and all local curvature terms vanish. Therefore

Tij=0.\langle T_{ij}\rangle=0.

This is the vacuum of the CFT on flat space. It is important that this statement depends on the conformal frame. The same physical bulk spacetime written with a boundary cylinder rather than a flat boundary can have a nonzero Casimir energy.

Global AdS has boundary geometry

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

For even-dimensional boundary CFTs, the vacuum stress tensor on the cylinder can contain a Casimir energy. In AdS5_5/CFT4_4, global AdS gives the vacuum energy of N=4\mathcal N=4 SYM on S3S^3.

The result in standard normalization is

Evac=3πL232G5=3N216LE_{\mathrm{vac}} = \frac{3\pi L^2}{32G_5} = \frac{3N^2}{16L}

at large NN, using

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

This is not an excitation above the cylinder vacuum. It is the vacuum stress tensor in a curved conformal frame.

Example 3: planar black brane stress tensor

Section titled “Example 3: planar black brane stress tensor”

The planar AdS black brane is dual to a thermal CFT state on flat space. Its metric can be written as

ds2=L2z2(f(z)dt2+dx2+dz2f(z)),f(z)=1(zzh)d.ds^2 = \frac{L^2}{z^2} \left( -f(z)dt^2+d\vec x^{\,2}+\frac{dz^2}{f(z)} \right), \qquad f(z)=1-\left(\frac{z}{z_h}\right)^d.

This is not in Fefferman–Graham gauge, but one can transform it near the boundary and extract g(d)ijg_{(d)ij}. The resulting stress tensor has the perfect-fluid form

Tμν=diag(ϵ,p,p,,p),\langle T_{\mu\nu}\rangle = \operatorname{diag}(\epsilon,p,p,\ldots,p),

with

p=Ld116πGd+11zhd,ϵ=(d1)p.p = \frac{L^{d-1}}{16\pi G_{d+1}}\frac{1}{z_h^d}, \qquad \epsilon = (d-1)p.

The trace vanishes:

Tμμ=ϵ+(d1)p=0,\langle T^\mu{}_{\mu}\rangle =-\epsilon+(d-1)p=0,

as required for a CFT in flat space. The horizon temperature is

T=d4πzh,T=\frac{d}{4\pi z_h},

so the energy density scales as

ϵTd.\epsilon\propto T^d.

That is exactly what dimensional analysis predicts for a dd-dimensional conformal theory.

The one-point function comes from the first variation of the renormalized on-shell action. The two-point function comes from the second variation:

Tij(x)Tkl(y)c=4g(0)(x)g(0)(y)δ2WCFTδg(0)ij(x)δg(0)kl(y).\langle T^{ij}(x)T^{kl}(y)\rangle_c = \frac{4}{\sqrt{|g_{(0)}(x)|}\sqrt{|g_{(0)}(y)|}} \frac{\delta^2 W_{\mathrm{CFT}}} {\delta g_{(0)ij}(x)\delta g_{(0)kl}(y)}.

In the gravity approximation this means solving the linearized Einstein equations for metric perturbations with boundary value h(0)ijh_{(0)ij} and expanding the on-shell action to quadratic order:

Sren[g(0)+h(0)]=Sren[g(0)]+Sren(1)[h(0)]+Sren(2)[h(0)]+.S_{\mathrm{ren}}[g_{(0)}+h_{(0)}] = S_{\mathrm{ren}}[g_{(0)}] +S^{(1)}_{\mathrm{ren}}[h_{(0)}] +S^{(2)}_{\mathrm{ren}}[h_{(0)}] +\cdots .

The quadratic term Sren(2)S^{(2)}_{\mathrm{ren}} generates TT\langle TT\rangle. In a CFT, the normalization of the stress-tensor two-point function is often called CTC_T. In holographic CFTs with an Einstein gravity dual,

CTLd1Gd+1,C_T\propto \frac{L^{d-1}}{G_{d+1}},

with a dimension-dependent numerical coefficient fixed by conventions. For AdS5_5/CFT4_4 Einstein gravity gives

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

at leading large NN.

This is why the dimensionless combination Ld1/Gd+1L^{d-1}/G_{d+1} counts the number of boundary degrees of freedom.

Boundary statementBulk statement
Put the CFT on background metric g(0)ijg_{(0)ij}Impose asymptotic boundary metric g(0)ijg_{(0)ij} for GMNG_{MN}
Source h(0)ijh_{(0)ij}Non-normalizable metric perturbation
Stress tensor TijT_{ij}Bulk graviton hMNh_{MN}
Tij\langle T_{ij}\rangleRenormalized Brown–York tensor
Conservation of TijT_{ij}Momentum constraint of Einstein equations
Trace Ward identityRadial/Weyl constraint plus anomaly terms
TTTT correlatorQuadratic on-shell action for metric perturbations
Central charge or CTC_TAdS radius in Planck units, Ld1/Gd+1L^{d-1}/G_{d+1}
Thermal energy density and pressureAsymptotic data of an AdS black brane

“The boundary metric is dynamical because the bulk metric is dynamical.”

Section titled ““The boundary metric is dynamical because the bulk metric is dynamical.””

Not in the standard Dirichlet formulation of AdS/CFT. The bulk metric is dynamical in the interior, but its leading boundary value g(0)ijg_{(0)ij} is held fixed as a source. The CFT is usually defined on a fixed background spacetime. Making the boundary metric dynamical is a different problem with different boundary conditions.

“The Brown–York tensor alone is the CFT stress tensor.”

Section titled ““The Brown–York tensor alone is the CFT stress tensor.””

Almost, but not quite. The Brown–York tensor on a cutoff surface diverges as the cutoff approaches the AdS boundary. The CFT stress tensor is the renormalized limit of Brown–York plus local counterterm contributions.

“The coefficient g(d)ijg_{(d)ij} is always exactly Tij\langle T_{ij}\rangle.”

Section titled ““The coefficient g(d)ijg_{(d)ij}g(d)ij​ is always exactly ⟨Tij⟩\langle T_{ij}\rangle⟨Tij​⟩.””

Only in simple cases. In general,

Tij=dLd116πGd+1g(d)ij+Xij[g(0)],\langle T_{ij}\rangle = \frac{dL^{d-1}}{16\pi G_{d+1}}g_{(d)ij} +X_{ij}[g_{(0)}],

where XijX_{ij} contains local curvature, anomaly, and scheme-dependent contributions. Flat-boundary examples often hide this subtlety.

“Tracelessness means the stress tensor always vanishes.”

Section titled ““Tracelessness means the stress tensor always vanishes.””

No. Tracelessness is the condition

Tii=0,\langle T^i{}_i\rangle=0,

not Tij=0\langle T_{ij}\rangle=0. A thermal CFT in flat space has nonzero energy density and pressure, but its stress tensor is traceless because ϵ=(d1)p\epsilon=(d-1)p.

“A metric perturbation is always a state.”

Section titled ““A metric perturbation is always a state.””

The leading metric perturbation h(0)ijh_{(0)ij} is a source. The normalizable part of the bulk metric perturbation is related to the response Tij\langle T_{ij}\rangle and to the state. Source and state are conceptually distinct, even though both appear in the asymptotic expansion of the same bulk field.

Exercise 1: Derive the stress-tensor definition

Section titled “Exercise 1: Derive the stress-tensor definition”

Assume the generating functional satisfies

δW[g]=12ddxgTijδgij.\delta W[g] = \frac12\int d^d x\sqrt{|g|}\,\langle T^{ij}\rangle\delta g_{ij}.

Show that

Tij(x)=2g(x)δWδgij(x).\langle T^{ij}(x)\rangle = \frac{2}{\sqrt{|g(x)|}}\frac{\delta W}{\delta g_{ij}(x)}.
Solution

By definition of the functional derivative,

δW[g]=ddxδWδgij(x)δgij(x).\delta W[g] = \int d^d x\,\frac{\delta W}{\delta g_{ij}(x)}\delta g_{ij}(x).

Comparing this with

δW[g]=12ddxgTijδgij,\delta W[g] = \frac12\int d^d x\sqrt{|g|}\,\langle T^{ij}\rangle\delta g_{ij},

we identify

δWδgij(x)=12g(x)Tij(x).\frac{\delta W}{\delta g_{ij}(x)} = \frac12\sqrt{|g(x)|}\,\langle T^{ij}(x)\rangle.

Therefore

Tij(x)=2g(x)δWδgij(x).\langle T^{ij}(x)\rangle = \frac{2}{\sqrt{|g(x)|}}\frac{\delta W}{\delta g_{ij}(x)}.

Exercise 2: Diffeomorphism Ward identity with a scalar source

Section titled “Exercise 2: Diffeomorphism Ward identity with a scalar source”

Let

δW=12gTijδgij+gOδJ.\delta W = \frac12\int \sqrt{|g|}\,T^{ij}\delta g_{ij} + \int \sqrt{|g|}\,\mathcal O\delta J.

Under an infinitesimal diffeomorphism generated by ξi\xi^i,

δgij=iξj+jξi,δJ=ξiiJ.\delta g_{ij}=\nabla_i\xi_j+\nabla_j\xi_i, \qquad \delta J=\xi^i\nabla_iJ.

Assuming δW=0\delta W=0, derive the Ward identity.

Solution

Substitute the variations:

δW=gTijiξj+gOξjjJ.\delta W = \int\sqrt{|g|}\,T^{ij}\nabla_i\xi_j + \int\sqrt{|g|}\,\mathcal O\xi^j\nabla_jJ.

Integrating the first term by parts gives

gTijiξj=g(iTij)ξj,\int\sqrt{|g|}\,T^{ij}\nabla_i\xi_j = -\int\sqrt{|g|}\,(\nabla_iT^{ij})\xi_j,

ignoring boundary terms. Therefore

δW=g(iTijOjJ)ξj.\delta W = -\int\sqrt{|g|}\, \left(\nabla_iT^{ij}-\mathcal O\nabla^jJ\right)\xi_j.

Since ξj\xi_j is arbitrary and δW=0\delta W=0,

iTij=OjJ.\nabla_iT^{ij}=\mathcal O\nabla^jJ.

After taking expectation values,

iTij=OjJ.\nabla_i\langle T^{ij}\rangle =\langle\mathcal O\rangle\nabla^jJ.

Exercise 3: CFT equation of state from tracelessness

Section titled “Exercise 3: CFT equation of state from tracelessness”

A homogeneous isotropic thermal state in flat dd-dimensional Minkowski space has

Tμν=diag(ϵ,p,p,,p).\langle T^\mu{}_{\nu}\rangle = \operatorname{diag}(-\epsilon,p,p,\ldots,p).

Use tracelessness to derive the relation between ϵ\epsilon and pp.

Solution

The trace is

Tμμ=ϵ+(d1)p.\langle T^\mu{}_{\mu}\rangle =-\epsilon+(d-1)p.

For a CFT in flat space with no sources and no anomaly,

Tμμ=0.\langle T^\mu{}_{\mu}\rangle=0.

Therefore

ϵ+(d1)p=0,-\epsilon+(d-1)p=0,

so

ϵ=(d1)p.\epsilon=(d-1)p.

This is exactly the equation of state obtained from the planar AdS black brane.

Exercise 4: Identify source and response for the metric

Section titled “Exercise 4: Identify source and response for the metric”

In Fefferman–Graham gauge, suppose the near-boundary metric has the expansion

gij(z,x)=g(0)ij(x)+zdg(d)ij(x)+g_{ij}(z,x) = g_{(0)ij}(x)+z^d g_{(d)ij}(x)+\cdots

with a flat boundary metric and no anomaly terms. Which coefficient is the source, and which coefficient determines the stress-tensor expectation value?

Solution

The source is the leading coefficient g(0)ij(x)g_{(0)ij}(x). It specifies the background metric of the CFT, up to conformal frame.

For a flat boundary metric with no local anomaly terms, the response is determined by g(d)ij(x)g_{(d)ij}(x):

Tij=dLd116πGd+1g(d)ij.\langle T_{ij}\rangle = \frac{dL^{d-1}}{16\pi G_{d+1}}g_{(d)ij}.

In more general situations, this formula is corrected by local terms Xij[g(0)]X_{ij}[g_{(0)}].

The next unit develops this page into a systematic algorithm: regulate the asymptotically AdS spacetime, add covariant counterterms, vary the renormalized action, and remove the cutoff.