Skip to content

Bulk Fields and Boundary Operators

For a free scalar on AdSd+1_{d+1}, the radial wave equation fixes two possible boundary weights Δ±\Delta_\pm. A stable standard dictionary uses Δ+\Delta_+; within the Breitenlohner–Freedman window a second, alternate quantization may use Δ\Delta_-. Spin adds representation and gauge constraints, so a formal mass–dimension root is not by itself an admissible operator map.

Required background. Anti-de Sitter geometry supplies the Poincaré metric. Primaries, descendants, and conformal multiplets supplies the boundary representations. Helpful background. Unitarity bounds and null states tests the candidate dimension, while timelike AdS boundary conditions supplies the normalizability analysis.

First application: the scalar indicial equation

Section titled “First application: the scalar indicial equation”

Use Lorentzian Poincaré AdS with signature (+,,,)(+,-,\ldots,-),

ds2=L2z2(ηijdxidxjdz2),\mathrm ds^2=\frac{L^2}{z^2} \left(\eta_{ij}\,\mathrm dx^i\mathrm dx^j-\mathrm dz^2\right),

and scalar action

S=Nϕ2g(gMNMϕNϕm2ϕ2).S=\frac{\mathcal N_\phi}{2}\int\sqrt{\lvert g\rvert} \left(g^{MN}\partial_M\phi\partial_N\phi-m^2\phi^2\right).

The equation is (+m2)ϕ=0(\Box+m^2)\phi=0. Near z=0z=0, boundary derivatives are two powers of zz less important than the radial terms. Substituting ϕ=zδf(x)+\phi=z^\delta f(x)+\cdots gives

1L2δ(δd)zδf+m2zδf=0,-\frac{1}{L^2}\delta(\delta-d)z^\delta f +m^2z^\delta f=0,

hence

δ(δd)=m2L2.\delta(\delta-d)=m^2L^2.

The roots are

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

This derives the requested mass–dimension relation. Reality requires the BF bound

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

It is a stability bound, not the statement that every real root defines every desired quantization. The boundary unitarity bound and the renormalized norm still have to be checked Breitenlohner and Freedman 1982, pp. 259–268.

Write the asymptotic solution as

ϕ=zΔα+zΔ+β+.\phi=z^{\Delta_-}\alpha+z^{\Delta_+}\beta+\cdots.

In standard quantization, α\alpha is the source for an operator O+\mathcal O_+ of dimension Δ+\Delta_+; β\beta contributes to its expectation value. For

0<ν<1,0<\nu<1,

both branches can be normalizable with the appropriate renormalized inner product. Alternate quantization instead treats β\beta as source for O\mathcal O_- of dimension Δ\Delta_-. The endpoint ν=0\nu=0 has logarithms, and ν=1\nu=1 is delicate; neither should be hidden inside the open-window formula. The source/response map follows the original boundary-value prescription Witten 1998, §§2–3, and its Legendre transform was made explicit by Klebanov and Witten 1999, §§2–3.

The operator normalization is not fixed by m2L2m^2L^2: it depends on Nϕ\mathcal N_\phi, the definition of the source, and finite local counterterms. What is fixed kinematically is the conformal weight and representation after a quantization branch has been chosen.

For a totally symmetric spin-s1s\geq1 field in a common mass convention,

m2L2=(Δ+s2)(Δsd+2).m^2L^2=(\Delta+s-2)(\Delta-s-d+2).

The formula must be accompanied by transversality, trace, and gauge conditions. At m2=0m^2=0, the physical root Δ=s+d2\Delta=s+d-2 is a shortened conserved-current representation for s1s\geq1: s=1s=1 gives Δ=d1\Delta=d-1 and s=2s=2 gives the stress tensor with Δ=d\Delta=d. Form fields and mixed Young symmetries require their own Casimir and gauge-complex data; blindly inserting an integer “spin” into the symmetric-tensor formula is invalid.

Adversarial check: crossing the stability and alternate windows

Section titled “Adversarial check: crossing the stability and alternate windows”

If m2L2<d2/4m^2L^2<-d^2/4, then ν\nu is imaginary. The radial behavior oscillates logarithmically and the global energy is unbounded below under the standard assumptions. A formal complex Δ\Delta does not define a unitary CFT primary.

If ν1\nu\geq1, the slower branch is not an admissible alternate mode under the usual scalar norm. Declaring Δ\Delta_- anyway may satisfy the quadratic equation but fails the normalizability or boundary unitarity test. The strongest surviving statement is algebraic: the wave equation has an indicial root. A stable unitary dictionary additionally requires an allowed boundary condition, positive norm, and a boundary representation satisfying its unitarity bound.

The mass–dimension relation is a near-boundary kinematic statement for a fixed AdS radius; interactions determine correlators and can mix fields with identical quantum numbers. Alternate quantization additionally needs the BF-window boundary problem. Spinning Fields, Forms, and Mixed-Symmetry Operators adds constraints and gauge redundancy, while The GKPW Generating-Functional Dictionary fixes the response normalization.

For d=4d=4 and m2L2=3m^2L^2=-3, find Δ±\Delta_\pm and state the window issue.

Solution

ν=43=1\nu=\sqrt{4-3}=1, so Δ=1\Delta_-=1 and Δ+=3\Delta_+=3. This lies at the upper endpoint of the alternate window, where logarithmic or normalizability subtleties require a separate analysis. Standard quantization with Δ=3\Delta=3 is unproblematic; one should not cite the open condition 0<ν<10<\nu<1 as licensing the alternate branch at ν=1\nu=1.

The chapter overview contains the structure diagram and validity and failure diagram. They are embedded there once so that their shared chapter-level context is not repeated on every article.

For the chapter-wide comparison of assumptions, counterevidence, falsifiers, and claim ceilings, see the claim-domain table.

  • Breitenlohner, Peter, and Daniel Z. Freedman. “Stability in Gauged Extended Supergravity.” Annals of Physics 144 (1982): 249–281. DOI.
  • Klebanov, Igor R., and Edward Witten. “AdS/CFT Correspondence and Symmetry Breaking.” Nuclear Physics B 556 (1999): 89–114. arXiv. DOI.
  • Witten, Edward. “Anti-de Sitter Space and Holography.” Advances in Theoretical and Mathematical Physics 2 (1998): 253–291. arXiv. DOI.