Skip to content

One-Point Functions and VEVs

The previous pages established the source side of the scalar dictionary. A bulk scalar of mass mm has two independent near-boundary behaviors,

ϕ(z,x)zdΔϕ(0)(x)+zΔA(x),m2L2=Δ(Δd),\phi(z,x) \sim z^{d-\Delta}\phi_{(0)}(x) + z^\Delta A(x), \qquad m^2L^2=\Delta(\Delta-d),

and in standard quantization the leading coefficient ϕ(0)\phi_{(0)} is the source for a boundary operator O\mathcal O.

This page explains the response side of the same statement. The coefficient A(x)A(x) is not just a decorative subleading term. After the correct counterterms are added, it determines the expectation value O(x)\langle \mathcal O(x)\rangle. The precise rule is not “read off the subleading coefficient by eye.” The precise rule is:

O(x)ϕ(0)=1g(0)(x)δSren,on-shellδϕ(0)(x)\boxed{ \langle \mathcal O(x)\rangle_{\phi_{(0)}} = -\frac{1}{\sqrt{g_{(0)}(x)}} \frac{\delta S_{\text{ren,on-shell}}}{\delta \phi_{(0)}(x)} }

with the Euclidean source convention used in this course. The minus sign follows from

WCFT[ϕ(0)]=logZCFT[ϕ(0)]Sren,on-shell[ϕ(0)].W_{\rm CFT}[\phi_{(0)}] = \log Z_{\rm CFT}[\phi_{(0)}] \approx -S_{\text{ren,on-shell}}[\phi_{(0)}].

The short slogan is useful:

sourceleading asymptotic coefficient,\text{source} \quad\longleftrightarrow\quad \text{leading asymptotic coefficient}, expectation valuerenormalized radial canonical momentum.\text{expectation value} \quad\longleftrightarrow\quad \text{renormalized radial canonical momentum}.

The radial canonical momentum is the safer concept. The subleading coefficient A(x)A(x) is often proportional to it, but local terms, logarithms, anomalies, and scheme choices can modify the naive relation.

A boundary source fixes the leading mode of a bulk field. The regular bulk solution has a subleading response. After counterterms are added, varying the renormalized on-shell action gives the one-point function.

The one-point-function workflow. The source ϕ(0)\phi_{(0)} fixes the leading near-boundary behavior of a bulk field. The bulk equations plus an interior condition determine the response coefficient AA. The finite, renormalized variation of the on-shell action gives O\langle\mathcal O\rangle. The response is therefore a variational object, not merely a raw coefficient in the cutoff expansion.

Correlation functions are obtained by differentiating the generating functional. But the first derivative is already extremely important. It tells us the expectation value of an operator in the state or ensemble being described.

In holography, one-point functions answer questions such as:

  • What is the energy density of a black brane?
  • What charge density is produced by a bulk electric field?
  • Which scalar condensate is present in a deformed or symmetry-breaking state?
  • Which Ward identities does the bulk solution obey?
  • Which boundary state corresponds to a particular normalizable bulk deformation?

A two-point function tells us about linear response. A one-point function tells us what background we are responding around.

This is especially important because the same source can produce different expectation values in different states. The boundary condition at the AdS boundary specifies the QFT source. The interior condition specifies the state, saddle, ensemble, or real-time prescription. The vev is the response of that chosen state to the chosen source.

Let MdM_d be the boundary spacetime with metric representative g(0)ijg_{(0)ij}. Suppose a source J(x)J(x) couples to an operator O(x)\mathcal O(x) through the Euclidean convention

SESEMdddxg(0)J(x)O(x).S_E \to S_E- \int_{M_d} d^d x\sqrt{g_{(0)}}\,J(x)\mathcal O(x).

Then

ZCFT[J]=exp ⁣(ddxg(0)JO),WCFT[J]=logZCFT[J].Z_{\rm CFT}[J] = \left\langle \exp\!\left( \int d^d x\sqrt{g_{(0)}}\,J\mathcal O \right) \right\rangle, \qquad W_{\rm CFT}[J]=\log Z_{\rm CFT}[J].

The one-point function in the presence of the source is

O(x)J=1g(0)(x)δWCFTδJ(x).\langle \mathcal O(x)\rangle_J = \frac{1}{\sqrt{g_{(0)}(x)}} \frac{\delta W_{\rm CFT}}{\delta J(x)}.

For the metric source,

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

up to the usual Euclidean sign convention. For a background gauge field A(0)iA_{(0)i} coupled as

ddxg(0)A(0)iJi,\int d^d x\sqrt{g_{(0)}}\,A_{(0)i}J^i,

the current is

Ji(x)=1g(0)(x)δWCFTδA(0)i(x).\langle J^i(x)\rangle = \frac{1}{\sqrt{g_{(0)}(x)}} \frac{\delta W_{\rm CFT}}{\delta A_{(0)i}(x)}.

These are field-theory definitions. Holography gives a way to compute the same derivatives from the bulk.

Consider a scalar field in Euclidean asymptotically AdSd+1_{d+1} with action

Sϕ=N2dd+1xg(gMNMϕNϕ+m2ϕ2),S_\phi = \frac{\mathcal N}{2} \int d^{d+1}x\sqrt{g}\, \left(g^{MN}\partial_M\phi\partial_N\phi+m^2\phi^2\right),

where N\mathcal N is an overall normalization. For a canonically normalized supergravity field, N\mathcal N typically contains a factor such as Ld1/Gd+1L^{d-1}/G_{d+1} and therefore scales like a power of NN.

Varying the action gives

δSϕ=Ndd+1xg(2ϕ+m2ϕ)δϕ+Nz=ϵddxγnMMϕδϕ.\delta S_\phi = \mathcal N \int d^{d+1}x\sqrt{g}\, (-\nabla^2\phi+m^2\phi)\delta\phi + \mathcal N \int_{z=\epsilon} d^d x\sqrt{\gamma}\,n^M\partial_M\phi\,\delta\phi.

Here γij\gamma_{ij} is the induced metric on the cutoff surface z=ϵz=\epsilon, and nMn^M is the outward-pointing unit normal. On shell, the bulk term vanishes. The variation is a boundary term:

δSreg,on-shell=z=ϵddxγΠϵδϕϵ,\delta S_{\text{reg,on-shell}} = \int_{z=\epsilon} d^d x\sqrt{\gamma}\,\Pi_\epsilon\,\delta\phi_\epsilon,

where

Πϵ=NnMMϕ\Pi_\epsilon = \mathcal N n^M\partial_M\phi

is the regulated radial canonical momentum. This object diverges as ϵ0\epsilon\to0. The divergence is expected: the boundary is at infinite proper distance, and the dual QFT has UV divergences.

The renormalized action is

Sren=limϵ0(Sregzϵ+Sct,ϵ),S_{\rm ren} = \lim_{\epsilon\to0} \left( S_{\rm reg}^{z\ge\epsilon} + S_{{\rm ct},\epsilon} \right),

where Sct,ϵS_{{\rm ct},\epsilon} is a local functional on the cutoff surface. After counterterms are included, the finite variation has the form

δSren,on-shell=ddxg(0)Πren(x)δϕ(0)(x).\delta S_{\text{ren,on-shell}} = \int d^d x\sqrt{g_{(0)}}\,\Pi_{\rm ren}(x)\,\delta\phi_{(0)}(x).

Using WCFT=Sren,on-shellW_{\rm CFT}=-S_{\text{ren,on-shell}} gives

O(x)=Πren(x)\boxed{ \langle \mathcal O(x)\rangle = -\Pi_{\rm ren}(x) }

with the source convention above.

Many authors absorb this sign by defining the source deformation with the opposite sign or by writing the Euclidean generating functional differently. The invariant statement is: the one-point function is the renormalized canonical momentum conjugate to the source, with the sign fixed by the chosen QFT convention.

Reading the scalar vev from the near-boundary expansion

Section titled “Reading the scalar vev from the near-boundary expansion”

In Poincaré coordinates,

ds2=L2z2(dz2+g(0)ijdxidxj+),z0,ds^2 = \frac{L^2}{z^2} \left(dz^2+g_{(0)ij}dx^i dx^j+\cdots\right), \qquad z\to0,

a scalar solution has the schematic expansion

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

The notation ϕ(2Δd)\phi_{(2\Delta-d)} is conventional: it labels the coefficient by its relative power compared with the source branch. In simple non-resonant cases, the coefficients ϕ(2)\phi_{(2)}, ϕ(4)\phi_{(4)}, and so on are determined locally by the source and the boundary metric. The coefficient ϕ(2Δd)\phi_{(2\Delta-d)} is the first genuinely response-like datum.

If there are no logarithmic terms and no subtle mixing with other fields, the scalar one-point function takes the form

O(x)=(2Δd)Nϕ(2Δd)(x)+local terms in sources.\boxed{ \langle \mathcal O(x)\rangle = (2\Delta-d)\mathcal N\,\phi_{(2\Delta-d)}(x) + \text{local terms in sources}. }

The local terms are fixed by counterterms and finite scheme choices. They matter for Ward identities and contact terms. At separated points, the nonlocal dependence of ϕ(2Δd)\phi_{(2\Delta-d)} on ϕ(0)\phi_{(0)} is the physical part that gives ordinary correlators.

A useful special case is a flat boundary, no source derivatives, no logarithmic terms, and vanishing source. Then the local terms often vanish, and one can simply say

Oϕ(2Δd).\langle \mathcal O\rangle \propto \phi_{(2\Delta-d)}.

But this is a special simplification, not the definition.

The source and the vev play different roles.

A source deforms the QFT action or background:

SCFTSCFTϕ(0)O.S_{\rm CFT} \to S_{\rm CFT}-\int \phi_{(0)}\mathcal O.

A vev is an expectation value in a chosen state or ensemble:

O=ΨOΨorOρ=Tr(ρO).\langle\mathcal O\rangle = \langle\Psi|\mathcal O|\Psi\rangle \quad \text{or} \quad \langle\mathcal O\rangle_\rho = {\rm Tr}(\rho\mathcal O).

In the bulk, the source is fixed at the conformal boundary. The state is encoded by normalizable data and by the interior condition. For example:

Boundary situationBulk description
vacuum CFT on flat spacepure Poincaré AdS with regular Euclidean continuation
CFT on R×Sd1\mathbb R\times S^{d-1} in the vacuumglobal AdS with appropriate regularity
thermal stateEuclidean black-hole saddle or Lorentzian black brane
finite charge densitybulk gauge field with electric flux
scalar condensatenormalizable scalar response, possibly with vanishing source

This distinction prevents a common mistake. A normalizable mode is not automatically a source. It can describe a state-dependent expectation value. Conversely, a source is not automatically a vev. It is a deformation or background field.

Suppose ϕ(0)=0\phi_{(0)}=0 and the scalar expansion is

ϕ(z,x)=zΔA(x)+.\phi(z,x)=z^\Delta A(x)+\cdots.

If standard quantization is used and no local source terms contribute, then

O(x)=(2Δd)NA(x).\langle\mathcal O(x)\rangle =(2\Delta-d)\mathcal N A(x).

This is how spontaneous or state-induced expectation values appear in many holographic solutions. A bulk field can be normalizable at the boundary while still being nonzero in the interior. In the boundary theory this corresponds to a state with a nonzero operator expectation value but no explicit source for that operator.

However, the phrase “spontaneous” requires care. To claim spontaneous symmetry breaking, the operator must be charged under a symmetry, the source for the charged operator must be set to zero, and the solution must choose a nonzero vev. Merely finding a subleading scalar coefficient is not enough.

For a bulk Maxwell field,

SA=14gd+12dd+1xgFMNFMN,S_A = \frac{1}{4g_{d+1}^2} \int d^{d+1}x\sqrt{g}\,F_{MN}F^{MN},

the boundary value A(0)iA_{(0)i} sources a conserved current JiJ^i:

ddxg(0)A(0)iJi.\int d^d x\sqrt{g_{(0)}}\,A_{(0)i}J^i.

In radial gauge Az=0A_z=0, a massless gauge field often has the near-boundary expansion

Ai(z,x)=A(0)i(x)++zd2A(d2)i(x)+,A_i(z,x) = A_{(0)i}(x) + \cdots + z^{d-2}A_{(d-2)i}(x) + \cdots,

with possible logarithms in special dimensions. The current expectation value is obtained from the renormalized electric flux:

Ji(x)=1g(0)δWδA(0)i(x)=1g(0)δSrenδA(0)i(x).\langle J^i(x)\rangle = \frac{1}{\sqrt{g_{(0)}}} \frac{\delta W}{\delta A_{(0)i}(x)} = -\frac{1}{\sqrt{g_{(0)}}} \frac{\delta S_{\rm ren}}{\delta A_{(0)i}(x)}.

For a static finite-density solution, one often writes near the boundary

At(z)=μρzd2+.A_t(z)=\mu-\rho z^{d-2}+\cdots.

Then μ\mu is the chemical potential and ρ\rho is proportional to the charge density Jt\langle J^t\rangle, with the proportionality fixed by the Maxwell normalization and by counterterms.

The phrase “proportional to” is doing real work. If the action normalization changes, the numerical value of Jt\langle J^t\rangle changes. The boundary current normalization is part of the dictionary.

The boundary metric g(0)ijg_{(0)ij} sources the stress tensor. The holographic stress tensor is therefore

Tij=2g(0)δWδg(0)ij=2g(0)δSrenδg(0)ij\boxed{ \langle T^{ij}\rangle = \frac{2}{\sqrt{g_{(0)}}} \frac{\delta W}{\delta g_{(0)ij}} = -\frac{2}{\sqrt{g_{(0)}}} \frac{\delta S_{\rm ren}}{\delta g_{(0)ij}} }

with our Euclidean convention. Many gravity references instead define a Brown–York tensor directly from SrenS_{\rm ren} with a sign chosen for Lorentzian signature. The next dedicated stress-tensor page will fix these conventions carefully.

The important conceptual point is simple:

normalizable metric coefficientTij.\text{normalizable metric coefficient} \quad\longleftrightarrow\quad \langle T_{ij}\rangle.

For a planar AdS black brane, the normalizable part of the metric gives the thermal energy density and pressure of the boundary CFT. For global AdS, the holographic stress tensor gives the vacuum energy on R×Sd1\mathbb R\times S^{d-1}, including the Casimir-energy contribution in even boundary dimensions.

Local terms, anomalies, and scheme dependence

Section titled “Local terms, anomalies, and scheme dependence”

A counterterm is local in the sources. For a scalar, examples include terms such as

Sctz=ϵddxγϕ2,Sctz=ϵddxγγijiϕjϕ.S_{\rm ct} \supset \int_{z=\epsilon} d^d x\sqrt{\gamma}\, \phi^2, \qquad S_{\rm ct} \supset \int_{z=\epsilon} d^d x\sqrt{\gamma}\,\gamma^{ij}\partial_i\phi\partial_j\phi.

When varied, these counterterms contribute local functions of the source to O\langle\mathcal O\rangle. Finite local counterterms change these local terms without changing nonlocal separated-point correlators.

This is the holographic version of renormalization-scheme dependence. It is not a flaw. It is the same ambiguity present in ordinary QFT when one defines composite operators in the presence of background sources.

Logarithmic terms are especially important. When the near-boundary expansion contains

zΔlogzϕ~(2Δd)(x),z^\Delta\log z\,\widetilde\phi_{(2\Delta-d)}(x),

the renormalized action depends on a scale, and Weyl transformations can produce anomalies. In the stress-tensor sector, this is the holographic Weyl anomaly.

Thus the full response is better written as

O=(2Δd)Nϕ(2Δd)+Flocal[ϕ(0),g(0)],\langle\mathcal O\rangle = (2\Delta-d)\mathcal N\phi_{(2\Delta-d)} + \mathcal F_{\rm local}[\phi_{(0)},g_{(0)}],

where Flocal\mathcal F_{\rm local} is fixed only after the renormalization scheme is specified.

Ward identities from the renormalized action

Section titled “Ward identities from the renormalized action”

The one-point functions are not independent. They obey Ward identities because SrenS_{\rm ren} is invariant under boundary gauge transformations, diffeomorphisms, and Weyl transformations, up to anomalies.

For a scalar source ϕ(0)\phi_{(0)} and background metric g(0)ijg_{(0)ij}, boundary diffeomorphism invariance gives schematically

iTij=Ojϕ(0)+terms from other sources.\nabla_i\langle T^{ij}\rangle = \langle\mathcal O\rangle\nabla^j\phi_{(0)} + \text{terms from other sources}.

If a background gauge field is present, the stress tensor Ward identity includes the Lorentz-force term:

iTij=F(0)jiJi+Ojϕ(0)+.\nabla_i\langle T^{ij}\rangle = F_{(0)}^{ji}\langle J_i\rangle + \langle\mathcal O\rangle\nabla^j\phi_{(0)} + \cdots.

Gauge invariance gives

iJi=0\nabla_i\langle J^i\rangle=0

when the charged-operator sources vanish. If charged scalar sources are present, the current Ward identity includes their variation under the symmetry.

Weyl transformations give the trace identity

T ii=(dΔ)ϕ(0)O+A[g(0),ϕ(0),],\langle T^i_{\ i}\rangle = (d-\Delta)\phi_{(0)}\langle\mathcal O\rangle + \mathcal A[g_{(0)},\phi_{(0)},\ldots],

where A\mathcal A is the conformal anomaly, present in even boundary dimensions or in the presence of scale-dependent sources.

These identities are powerful checks on holographic calculations. If a proposed one-point function violates the correct Ward identity, either the counterterms, the signs, or the boundary conditions are wrong.

A source explicitly breaks any symmetry under which it transforms. A vev can break the symmetry spontaneously if the source is absent.

Suppose O\mathcal O is charged under a global U(1)U(1) symmetry and is dual to a charged bulk scalar Φ\Phi. Near the boundary,

Φ(z,x)zdΔΦ(0)(x)+zΔAΦ(x).\Phi(z,x) \sim z^{d-\Delta}\Phi_{(0)}(x) + z^\Delta A_\Phi(x).

If

Φ(0)=0,AΦ0,\Phi_{(0)}=0, \qquad A_\Phi\neq0,

then the boundary source for O\mathcal O vanishes but the expectation value can be nonzero. This is the holographic pattern behind many superfluid and superconducting models.

If instead Φ(0)0\Phi_{(0)}\neq0, then the symmetry is explicitly broken by the source. The response may still be interesting, but it is not purely spontaneous.

The same logic applies more broadly. To diagnose a phase, do not simply look for a nonzero field. Identify which coefficient is the source, which coefficient is the response, and which symmetries those coefficients transform under.

Multi-trace deformations and mixed boundary conditions

Section titled “Multi-trace deformations and mixed boundary conditions”

The clean source-response split above is simplest for single-trace sources in standard quantization. If the boundary theory is deformed by a multi-trace term, such as

ΔSCFT=f2ddxO2,\Delta S_{\rm CFT} = \frac f2\int d^d x\,\mathcal O^2,

then the boundary condition is no longer simply “fix ϕ(0)\phi_{(0)}.” Instead, the source and response are related by a mixed boundary condition. Schematically, if α\alpha and β\beta denote the two independent scalar coefficients, one finds a condition of the form

β=fα+J\beta=f\alpha+J

or the inverse relation, depending on the quantization convention.

This is another reason why the variational definition is fundamental. Boundary conditions define which quantity is held fixed, and the vev is obtained by varying the correctly renormalized action appropriate to that boundary condition.

For a scalar one-point function in standard quantization:

  1. Solve the bulk equations near the boundary.
  2. Identify the source coefficient ϕ(0)\phi_{(0)}.
  3. Keep the independent response coefficient ϕ(2Δd)\phi_{(2\Delta-d)}.
  4. Regulate the on-shell action at z=ϵz=\epsilon.
  5. Add local counterterms.
  6. Vary the renormalized action with respect to ϕ(0)\phi_{(0)}.
  7. Only then remove the cutoff and read off O\langle\mathcal O\rangle.

When the simple formula applies,

O=(2Δd)Nϕ(2Δd)+local terms.\langle\mathcal O\rangle =(2\Delta-d)\mathcal N\phi_{(2\Delta-d)}+\text{local terms}.

When it does not apply, the recipe still does.

Boundary conceptBulk concept
source ϕ(0)\phi_{(0)}leading non-normalizable scalar coefficient
vev O\langle\mathcal O\ranglerenormalized radial canonical momentum
response coefficient ϕ(2Δd)\phi_{(2\Delta-d)}normalizable scalar datum
charge density Jt\langle J^t\ranglerenormalized electric flux through the boundary
stress tensor Tij\langle T^{ij}\ranglerenormalized Brown–York metric response
QFT Ward identitiesradial constraint equations and boundary gauge/diffeomorphism invariance
scheme-dependent contact termsfinite local counterterms
anomalylogarithmic divergence and scale dependence of SrenS_{\rm ren}

The safest sentence is:

One-point functions are renormalized canonical momenta conjugate to boundary sources.\boxed{ \text{One-point functions are renormalized canonical momenta conjugate to boundary sources.} }

“The vev is always the coefficient of zΔz^\Delta.”

Section titled ““The vev is always the coefficient of zΔz^\DeltazΔ.””

Only in simple scalar examples, and only after a normalization choice. In general, the vev is obtained by varying SrenS_{\rm ren}. The zΔz^\Delta coefficient contributes to it, but local counterterm pieces, logarithms, mixing with other fields, and finite scheme choices may also appear.

“A nonzero normalizable mode always means a new source.”

Section titled ““A nonzero normalizable mode always means a new source.””

No. In standard quantization, normalizable data usually describe state-dependent expectation values. The source is the non-normalizable coefficient. Mixed boundary conditions and alternate quantization change the story, but they do so by changing the variational problem.

“If the source is zero, all one-point functions vanish.”

Section titled ““If the source is zero, all one-point functions vanish.””

Not necessarily. A state can have nonzero expectation values even when sources vanish. Thermal states have nonzero stress tensors. Finite-density states have nonzero charge density. Symmetry-broken states can have condensates with zero explicit source.

“Counterterms only remove infinities, so they cannot affect finite vevs.”

Section titled ““Counterterms only remove infinities, so they cannot affect finite vevs.””

Divergent counterterms remove infinities, but finite local counterterms are also allowed. They change scheme-dependent local terms in one-point functions. Physical nonlocal data and properly formulated Ward identities remain meaningful.

“The sign of the vev formula is universal.”

Section titled ““The sign of the vev formula is universal.””

The physics is universal; the sign convention is not. The sign depends on whether the Euclidean source is written as SEJOS_E-\int J\mathcal O or SE+JOS_E+\int J\mathcal O, and on the convention for WW versus the on-shell action. This course uses WSren,on-shellW\approx -S_{\text{ren,on-shell}}.

A scalar primary O\mathcal O has scaling dimension Δ\Delta in a dd-dimensional CFT. What is the scaling dimension of its source ϕ(0)\phi_{(0)}?

Solution

The source term is

ddxϕ(0)(x)O(x).\int d^d x\,\phi_{(0)}(x)\mathcal O(x).

The measure has dimension d-d, while O\mathcal O has dimension Δ\Delta. For the action to be dimensionless,

[ϕ(0)]+Δd=0.[\phi_{(0)}]+\Delta-d=0.

Thus

[ϕ(0)]=dΔ.[\phi_{(0)}]=d-\Delta.

This matches the near-boundary behavior zdΔϕ(0)z^{d-\Delta}\phi_{(0)}: the radial coordinate zz has length dimension, so the full bulk field has the appropriate scaling behavior under boundary dilatations.

Exercise 2: Deriving the scalar response factor

Section titled “Exercise 2: Deriving the scalar response factor”

Assume a scalar expansion of the form

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

in Poincaré AdS and ignore all derivative and local counterterm pieces. Why should the vev be proportional to (2Δd)A(2\Delta-d)A rather than simply to AA?

Solution

The canonical momentum involves a radial derivative. The two independent powers differ by

Δ(dΔ)=2Δd.\Delta-(d-\Delta)=2\Delta-d.

After subtracting the divergent piece associated with the source branch, the finite part of the radial canonical momentum is proportional to this difference of exponents. More explicitly, the renormalized variation of the scalar action gives

δSrenN(2Δd)ddxg(0)A(x)δϕ(0)(x),\delta S_{\rm ren} \sim -\mathcal N(2\Delta-d) \int d^d x\sqrt{g_{(0)}}\,A(x)\delta\phi_{(0)}(x),

with the sign depending on the convention for the outward normal and for W=SrenW=-S_{\rm ren}. Therefore

O(2Δd)NA.\langle\mathcal O\rangle \sim (2\Delta-d)\mathcal N A.

The factor is not a mysterious CFT normalization. It comes from the radial canonical momentum.

Exercise 3: Chemical potential and charge density

Section titled “Exercise 3: Chemical potential and charge density”

For a massless bulk gauge field in an asymptotically AdSd+1_{d+1} black-brane geometry, suppose

At(z)=μρzd2+.A_t(z)=\mu-\rho z^{d-2}+\cdots.

Which coefficient is the source, and which coefficient is proportional to the charge density?

Solution

The leading boundary value μ\mu is the source for the charge density operator JtJ^t. In thermodynamic language it is the chemical potential.

The subleading coefficient ρ\rho is proportional to the expectation value Jt\langle J^t\rangle. More precisely, Jt\langle J^t\rangle is the renormalized electric flux at the boundary, so the numerical proportionality factor depends on the Maxwell coupling and normalization conventions.

Exercise 4: Trace Ward identity with a relevant scalar source

Section titled “Exercise 4: Trace Ward identity with a relevant scalar source”

A CFT is deformed by a scalar source ϕ(0)\phi_{(0)} for an operator of dimension Δ\Delta. Ignoring anomalies, what trace Ward identity should you expect?

Solution

The source has dimension dΔd-\Delta. A nonzero source introduces a scale unless Δ=d\Delta=d. The trace Ward identity is

T ii=(dΔ)ϕ(0)O,\langle T^i_{\ i}\rangle = (d-\Delta)\phi_{(0)}\langle\mathcal O\rangle,

up to sign conventions and possible additional source terms. If Δ<d\Delta<d, the deformation is relevant. If Δ=d\Delta=d, the classical source term is marginal and this contribution vanishes, though anomalies or beta functions can still contribute in more general cases.