Skip to content

The Mass-Dimension Relation

The previous page computed a scalar two-point function from a bulk on-shell action. In that calculation, one fact was used everywhere: the power with which a scalar field approaches the AdS boundary is fixed by its mass. That power becomes the scaling dimension of the dual CFT operator.

For a scalar field in AdSd+1\mathrm{AdS}_{d+1} dual to a scalar primary operator O\mathcal O in a dd-dimensional CFT, the relation is

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

Equivalently,

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

In standard quantization, the operator dimension is usually

Δ=Δ+=d2+d24+m2L2.\Delta=\Delta_+=\frac d2+\sqrt{\frac{d^2}{4}+m^2L^2}.

The other root, Δ\Delta_-, is not an error. It controls the source falloff in standard quantization and, in a special mass window, can itself become the operator dimension in alternate quantization. The next page is devoted to that subtlety.

The scalar mass-dimension relation from the near-boundary indicial equation in AdS.

A scalar field near the AdS boundary has two independent falloffs. The near-boundary wave equation gives α(αd)=m2L2\alpha(\alpha-d)=m^2L^2. In standard quantization, the slower falloff zdΔϕ(0)z^{d-\Delta}\phi_{(0)} is the source and the faster falloff zΔAz^\Delta A is the response, with m2L2=Δ(Δd)m^2L^2=\Delta(\Delta-d).

A CFT has no particle masses. Its local operators are labeled by quantum numbers under the conformal group: spin, global charges, and scaling dimension. A gravitational theory in AdS, by contrast, has fields propagating on a curved spacetime. These fields have masses, spins, and interactions.

The mass-dimension relation is the bridge:

bulk scalar mass in AdS unitsCFT scalar operator dimension.\boxed{ \text{bulk scalar mass in AdS units} \quad \longleftrightarrow \quad \text{CFT scalar operator dimension} }.

The phrase “in AdS units” matters. The mass mm is dimensionful, but mLmL is dimensionless. Since Δ\Delta is dimensionless, the scalar dictionary must involve m2L2m^2L^2.

This relation appears whenever we:

  • identify supergravity modes with single-trace operators;
  • decide whether a boundary deformation is relevant, marginal, or irrelevant;
  • compute scalar two-point functions;
  • diagnose possible instabilities of an AdS solution;
  • impose boundary conditions in analytic or numerical holography;
  • build bottom-up holographic models.

A negative m2m^2 does not automatically mean that the AdS background is unstable. The correct lower bound is the Breitenlohner–Freedman bound,

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

which follows already from requiring the square root in Δ±\Delta_\pm to be real. We will return to this bound carefully on the next page.

Use Poincare AdS in d+1d+1 bulk dimensions:

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

The conformal boundary is at z=0z=0. In Euclidean signature, replace ηij\eta_{ij} by δij\delta_{ij}.

Consider a free scalar field with action

Sϕ=12dd+1xg(gMNMϕNϕ+m2ϕ2).S_\phi = \frac12 \int d^{d+1}x\,\sqrt{|g|} \left( g^{MN}\partial_M\phi\,\partial_N\phi + m^2\phi^2 \right).

The equation of motion is

(gm2)ϕ=0.(\Box_g-m^2)\phi=0.

For the Poincare metric,

g=(Lz)d+1,gzz=z2L2,gij=z2L2ηij.\sqrt{|g|} = \left(\frac Lz\right)^{d+1}, \qquad g^{zz}=\frac{z^2}{L^2}, \qquad g^{ij}=\frac{z^2}{L^2}\eta^{ij}.

Using

gϕ=1gM(ggMNNϕ),\Box_g\phi = \frac1{\sqrt{|g|}} \partial_M \left( \sqrt{|g|}g^{MN}\partial_N\phi \right),

we find

z2z2ϕ(d1)zzϕ+z2iiϕm2L2ϕ=0.z^2\partial_z^2\phi -(d-1)z\partial_z\phi + z^2\partial_i\partial^i\phi - m^2L^2\phi = 0.

The near-boundary behavior is encoded in this equation.

Near z=0z=0, the term z2iiϕz^2\partial_i\partial^i\phi is subleading for smooth boundary dependence and finite boundary momentum. The leading radial equation is

z2z2ϕ(d1)zzϕm2L2ϕ0.z^2\partial_z^2\phi -(d-1)z\partial_z\phi - m^2L^2\phi \simeq 0.

Try a power-law solution

ϕ(z,x)zαf(x).\phi(z,x)\sim z^\alpha f(x).

Then

zzϕ=αϕ,z2z2ϕ=α(α1)ϕ.z\partial_z\phi=\alpha\phi, \qquad z^2\partial_z^2\phi=\alpha(\alpha-1)\phi.

Substituting gives

α(α1)(d1)αm2L2=0.\alpha(\alpha-1)-(d-1)\alpha-m^2L^2=0.

Therefore

α(αd)=m2L2.\alpha(\alpha-d)=m^2L^2.

The two roots are

α=Δ±=d2±d24+m2L2.\alpha=\Delta_\pm = \frac d2 \pm \sqrt{\frac{d^2}{4}+m^2L^2}.

Thus a scalar field behaves near the boundary as

ϕ(z,x)zΔα(x)+zΔ+β(x),\phi(z,x) \sim z^{\Delta_-}\alpha(x) + z^{\Delta_+}\beta(x),

where α(x)\alpha(x) and β(x)\beta(x) are the two independent asymptotic coefficients.

Since

Δ+Δ+=d,\Delta_-+\Delta_+=d,

we can write the standard-quantization expansion as

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

This gives the central result:

m2L2=Δ(Δd).\boxed{ m^2L^2=\Delta(\Delta-d). }

The derivation above gives two radial powers. Why should one of them be a CFT scaling dimension?

The reason is that AdS isometries act as conformal transformations at the boundary. In Poincare coordinates, the bulk transformation

xiΛxi,zΛzx^i\to\Lambda x^i, \qquad z\to\Lambda z

leaves the metric invariant. This is the boundary dilatation.

In standard quantization,

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

Because zdΔz^{d-\Delta} scales as ΛdΔ\Lambda^{d-\Delta}, the coefficient ϕ(0)\phi_{(0)} transforms as a source of dimension

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

The CFT source coupling is

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

For this term to be dimensionless, O\mathcal O must have dimension

[O]=Δ.[\mathcal O]=\Delta.

Thus the radial falloff has become the CFT scaling law.

The lesson is

radial falloff in AdSscale transformation on the boundaryoperator dimension.\boxed{ \text{radial falloff in AdS} \quad \longrightarrow \quad \text{scale transformation on the boundary} \quad \longrightarrow \quad \text{operator dimension}. }

Source and response in standard quantization

Section titled “Source and response in standard quantization”

For most scalar calculations in this course, we use standard quantization:

Δ=Δ+,Δ=dΔ.\Delta=\Delta_+, \qquad \Delta_-=d-\Delta.

Then

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

The dictionary is

ϕ(0)(x)=source for O(x),A(x)=response data.\boxed{ \phi_{(0)}(x) = \text{source for }\mathcal O(x), \qquad A(x) = \text{response data}. }

More precisely, after holographic renormalization,

O(x)=constant×A(x)+local terms in ϕ(0).\langle\mathcal O(x)\rangle = \text{constant}\times A(x) + \text{local terms in }\phi_{(0)}.

The local terms depend on counterterm choices and are responsible for contact terms in correlators. The nonlocal part of the response is fixed by the bulk solution.

The same exponents appear in the exact Euclidean momentum-space solution. Fourier transform along the boundary:

ϕ(z,x)=ddk(2π)deikxϕk(z).\phi(z,x) = \int\frac{d^d k}{(2\pi)^d} e^{ik\cdot x} \phi_k(z).

The radial equation becomes

z2ϕk(d1)zϕk(k2z2+m2L2)ϕk=0.z^2\phi_k'' - (d-1)z\phi_k' - (k^2z^2+m^2L^2)\phi_k = 0.

The solution regular in the Euclidean interior is

ϕk(z)=zd/2Kν(kz),ν=d24+m2L2,\phi_k(z) = z^{d/2}K_\nu(kz), \qquad \nu = \sqrt{\frac{d^2}{4}+m^2L^2},

up to normalization. Near z=0z=0,

zd/2Kν(kz)c(k)zd/2ν+c+(k)zd/2+ν+.z^{d/2}K_\nu(kz) \sim c_-(k)z^{d/2-\nu} + c_+(k)z^{d/2+\nu} + \cdots.

Thus the full regular solution contains the same two powers,

Δ=d2ν,Δ+=d2+ν.\Delta_-=\frac d2-\nu, \qquad \Delta_+=\frac d2+\nu.

When the regular solution is inserted into the renormalized on-shell action, the nonlocal momentum-space two-point function scales as

O(k)O(k)k2ν.\langle\mathcal O(k)\mathcal O(-k)\rangle \propto k^{2\nu}.

Fourier transformation gives

O(x)O(0)1xd+2ν=1x2Δ+.\langle\mathcal O(x)\mathcal O(0)\rangle \propto \frac{1}{|x|^{d+2\nu}} = \frac{1}{|x|^{2\Delta_+}}.

This is exactly the conformal two-point function for a scalar primary of dimension Δ+\Delta_+.

There is another useful way to see the formula. In global AdS, the boundary is the cylinder

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

The CFT Hamiltonian on this cylinder is the dilatation operator. A primary operator of dimension Δ\Delta creates a cylinder state of energy

EL=Δ.EL=\Delta.

A scalar field in global AdS has normal-mode frequencies

ωn,L=Δ+2n+,n=0,1,2,,=0,1,2,.\omega_{n,\ell}L = \Delta+2n+\ell, \qquad n=0,1,2,\ldots, \qquad \ell=0,1,2,\ldots.

The lowest normal mode has

ω0L=Δ.\omega_0L=\Delta.

So the mass-dimension relation can also be read as

lowest global AdS energy=CFT scaling dimension of the primary.\boxed{ \text{lowest global AdS energy} = \text{CFT scaling dimension of the primary}. }

Boundary derivatives acting on the primary create descendants. In the bulk, these correspond to higher global normal modes with extra energy 2n+2n+\ell.

If m2=0m^2=0, then

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

The roots are

Δ+=d,Δ=0.\Delta_+=d, \qquad \Delta_-=0.

In standard quantization, a massless scalar is dual to a marginal scalar operator of dimension dd. In the canonical AdS5/CFT4\mathrm{AdS}_5/\mathrm{CFT}_4 example, the dilaton couples to the Yang–Mills Lagrangian density, an operator of dimension 44.

For d=4d=4,

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

If

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

then

Δ=2.\Delta=2.

This saturates the BF bound in AdS5\mathrm{AdS}_5.

If

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

then

Δ+=3,Δ=1.\Delta_+=3, \qquad \Delta_-=1.

The Δ=1\Delta_-=1 root sits at the scalar unitarity bound in four dimensions, so it is an endpoint case requiring care.

For d=3d=3,

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

If

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

then

Δ+=2,Δ=1.\Delta_+=2, \qquad \Delta_-=1.

Both choices are allowed in the alternate-quantization window. This example appears frequently in AdS4/CFT3\mathrm{AdS}_4/\mathrm{CFT}_3 and in holographic condensed-matter models.

Relevant, marginal, and irrelevant operators

Section titled “Relevant, marginal, and irrelevant operators”

In a dd-dimensional CFT, a scalar deformation by O\mathcal O is

δS=ddxJO.\delta S = \int d^d x\,J\mathcal O.

The classification is

Δ<d:relevant,Δ=d:marginal,Δ>d:irrelevant.\begin{array}{ccl} \Delta<d &:& \text{relevant},\\ \Delta=d &:& \text{marginal},\\ \Delta>d &:& \text{irrelevant}. \end{array}

Using standard quantization,

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

Therefore:

  • marginal scalar operators with Δ=d\Delta=d correspond to m2=0m^2=0;
  • relevant scalar operators with d/2<Δ<dd/2<\Delta<d correspond to negative m2m^2 above the BF bound;
  • irrelevant scalar operators with Δ>d\Delta>d correspond to positive m2m^2.

This is an excellent sanity check when building holographic models. Choosing a scalar mass is choosing the UV dimension of the dual operator.

The square root

ν=d24+m2L2\nu=\sqrt{\frac{d^2}{4}+m^2L^2}

is real only if

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

This is the Breitenlohner–Freedman bound. At the bound,

ν=0,Δ+=Δ=d2.\nu=0, \qquad \Delta_+=\Delta_-=\frac d2.

Below the bound,

Δ=d2±iγ,γ>0,\Delta=\frac d2\pm i\gamma, \qquad \gamma>0,

so the CFT dimensions would be complex. On the bulk side, the AdS background is unstable to this scalar mode. The next page explains the BF bound and alternate quantization more carefully.

The scalar relation is the simplest because the Klein–Gordon equation is second order and has two visible radial falloffs. Other fields obey analogous but different relations.

A massless bulk gauge field is dual to a conserved current,

Δ(Jμ)=d1.\Delta(J^\mu)=d-1.

The bulk metric is dual to the stress tensor,

Δ(Tμν)=d.\Delta(T_{\mu\nu})=d.

A spinor in AdS obeys a first-order equation and has a relation of the rough form

Δ=d2+mL,\Delta=\frac d2+|m|L,

with its own boundary-condition subtleties. The scalar case is the correct first laboratory because it displays sources, responses, the BF bound, and alternate quantization in their cleanest form.

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

(m2)ϕ=0(\Box-m^2)\phi=0

implies

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

where

m2L2=Δ(Δd).\boxed{ m^2L^2=\Delta(\Delta-d). }

In standard quantization,

Δ=Δ+,ϕ(0)(x)=source for O(x),A(x)vev data.\boxed{ \Delta=\Delta_+, \qquad \phi_{(0)}(x)=\text{source for }\mathcal O(x), \qquad A(x)\sim\text{vev data}. }

The exact vev is obtained by varying the renormalized on-shell action, not by reading off AA blindly.

“Negative m2m^2 means the bulk is unstable.”

Section titled ““Negative m2m^2m2 means the bulk is unstable.””

Not in AdS. A scalar is stable if it obeys

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

Negative mass squared often corresponds to a relevant scalar operator.

“The two roots are two different particles.”

Section titled ““The two roots are two different particles.””

No. They are two asymptotic behaviors of the same bulk field. In standard quantization, one is the source falloff and the other is the response falloff. In a special window, one may choose alternate quantization.

“The faster-falling coefficient is automatically the vev.”

Section titled ““The faster-falling coefficient is automatically the vev.””

It is related to the vev, but holographic renormalization is needed. Local counterterms can contribute contact terms and scheme-dependent pieces.

“The relation depends on Poincare coordinates.”

Section titled ““The relation depends on Poincare coordinates.””

No. Poincare coordinates make the derivation short. Global AdS gives the same Δ\Delta as the lowest normal-mode energy.

“A massless scalar is dual to the identity operator.”

Section titled ““A massless scalar is dual to the identity operator.””

No. In standard quantization, a massless scalar has Δ=d\Delta=d. The Δ=0\Delta_-=0 root is the source falloff, not the identity operator.

Starting from

z2z2ϕ(d1)zzϕm2L2ϕ=0,z^2\partial_z^2\phi - (d-1)z\partial_z\phi - m^2L^2\phi = 0,

insert ϕ=zα\phi=z^\alpha and derive the indicial equation.

Solution

For ϕ=zα\phi=z^\alpha,

zϕ=αzα1,z2ϕ=α(α1)zα2.\partial_z\phi=\alpha z^{\alpha-1}, \qquad \partial_z^2\phi=\alpha(\alpha-1)z^{\alpha-2}.

Thus

z2z2ϕ(d1)zzϕm2L2ϕ=[α(α1)(d1)αm2L2]zα.z^2\partial_z^2\phi - (d-1)z\partial_z\phi - m^2L^2\phi = \left[ \alpha(\alpha-1) - (d-1)\alpha - m^2L^2 \right]z^\alpha.

The coefficient must vanish, so

α(αd)=m2L2.\alpha(\alpha-d)=m^2L^2.

Exercise 2: A scalar in AdS5\mathrm{AdS}_5

Section titled “Exercise 2: A scalar in AdS5\mathrm{AdS}_5AdS5​”

For a scalar in AdS5\mathrm{AdS}_5 with m2L2=3m^2L^2=-3, find the two possible exponents.

Solution

For AdS5\mathrm{AdS}_5, the boundary dimension is d=4d=4. The equation is

Δ(Δ4)=3.\Delta(\Delta-4)=-3.

Thus

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

so

(Δ1)(Δ3)=0.(\Delta-1)(\Delta-3)=0.

The roots are

Δ=1,Δ+=3.\Delta_-=1, \qquad \Delta_+=3.

Exercise 3: Relevant operators and negative mass squared

Section titled “Exercise 3: Relevant operators and negative mass squared”

Show that for d/2<Δ<dd/2<\Delta<d, standard quantization gives a negative bulk m2m^2 that still obeys the BF bound.

Solution

The mass is

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

If d/2<Δ<dd/2<\Delta<d, then Δ>0\Delta>0 and Δd<0\Delta-d<0, so m2<0m^2<0.

Rewrite the relation as

m2L2=(Δd2)2d24.m^2L^2 = \left( \Delta-\frac d2 \right)^2 - \frac{d^2}{4}.

The square is nonnegative, so

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

Show that the source coupled to an operator of dimension Δ\Delta through

ddxJ(x)O(x)\int d^d x\,J(x)\mathcal O(x)

has dimension dΔd-\Delta.

Solution

The action is dimensionless. The measure ddxd^d x has mass dimension d-d, and O\mathcal O has dimension Δ\Delta. Therefore

[J]+Δd=0,[J]+\Delta-d=0,

so

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

This matches the standard bulk expansion, where the source multiplies zdΔz^{d-\Delta}.