Currents, Stress Tensor, and Bulk Gauge and Metric Fields

A boundary conserved current is sourced by the leading boundary value of a bulk gauge field; the stress tensor is sourced by the boundary metric. Bulk Gauss and momentum constraints become boundary Ward identities. Their two-point normalizations scale respectively as $L^{d-3}/g_{d+1}^2$ and $L^{d-1}/G_{d+1}$, with dimension-dependent coefficients fixed only after action, generator, source, and stress-tensor conventions are declared.

Required background. The GKPW generating-functional dictionary supplies source variation, and conserved currents and the stress tensor supplies the boundary shortening conditions. Helpful background. Current and stress-tensor CFT data supplies standard tensor structures and normalization comparisons.

Gauge sources and the current Ward identity

Use the Lorentzian bulk action

$$S_A=-\frac{1}{4g_{d+1}^2}\int_M\mathrm d^{d+1}x\sqrt{\lvert g\rvert} \,F^a_{MN}F^{aMN},$$

with Hermitian generators normalized locally by $\operatorname{tr}(T^aT^b)=T_R\delta^{ab}$. In radial gauge and for $d>2$,

$$A_i^a(z,x)=A_{(0)i}^a(x)+z^{d-2}A_{(d-2)i}^a(x)+\cdots.$$

$A_{(0)}$ is the source connection, following the gauge-field form of the original boundary-value dictionary Witten 1998, §§2–3. The renormalized canonical momentum gives

$$\langle J^{ia}\rangle =\frac{(d-2)L^{d-3}}{g_{d+1}^2}A_{(d-2)}^{ia} +\text{local terms}$$

in this field normalization. A residual bulk gauge transformation induces a boundary gauge transformation of $A_{(0)}$. Gauge invariance of the renormalized generating functional gives

$$D_i\langle J^i\rangle=\mathcal A_{\mathrm{gauge}},$$

where $\mathcal A_{\mathrm{gauge}}$ is present only when the boundary symmetry has an anomaly represented by corresponding bulk terms. Thus conservation and anomaly are radial constraints, not optional properties appended after the correlator calculation.

At zero source in a parity-even CFT,

$$\langle J_i^a(x)J_j^b(0)\rangle =\frac{C_J\delta^{ab}}{\lvert x\rvert^{2(d-1)}} \left(\delta_{ij}-2\frac{x_ix_j}{x^2}\right)$$

in Euclidean signature, and $C_J\propto L^{d-3}/g_{d+1}^2$. The proportionality coefficient changes if $T^a$, $A_{(0)}^a$, or the current is rescaled. The invariant comparison keeps the source term $\int A_{(0)i}^aJ^{ia}$ fixed.

The boundary metric and the stress tensor

For Einstein gravity include the Gibbons–Hawking term and local counterterms. Define the Euclidean stress tensor by

$$\langle T^{ij}\rangle =\frac{2}{\sqrt{g_{(0)}}} \frac{\delta S_{E,\mathrm{ren}}}{\delta g_{(0)ij}},$$

which corresponds to a specified sign in the Euclidean source coupling. In Fefferman–Graham gauge, for odd boundary dimension and no additional sources,

$$\langle T_{ij}\rangle =\frac{dL^{d-1}}{16\pi G_{d+1}}g_{(d)ij}.$$

Even $d$ adds local anomaly terms, and matter sources add known local and response contributions. Radial diffeomorphism constraints imply

$$\nabla_i\langle T^{ij}\rangle =F^{j}{}_{i}\langle J^i\rangle +\sum_A\langle\mathcal O_A\rangle\nabla^jJ_A,$$

while Weyl transformations give the trace Ward identity. The gravitational kinetic coefficient fixes $C_T\propto L^{d-1}/G_{d+1}$. Holographic counterterms and the anomaly were derived explicitly by Henningson and Skenderis 1998, §§2–3 and de Haro, Solodukhin, and Skenderis 2001, §§4–5.

First application: matching current and stress-tensor normalizations

Varying the renormalized Maxwell action twice with respect to $A_{(0)}$ produces the current two-point tensor structure; varying the gravitational action twice with respect to $g_{(0)}$ produces the transverse-traceless stress-tensor structure. A reproducible match records:

Quantity	Bulk input	Boundary check
$C_J$	$g_{d+1}$, generator trace, gauge-field normalization	current Ward identity and reflection positivity
$C_T$	$G_{d+1}$, metric-source variation, curvature and boundary-term signs	diffeomorphism Ward identity and positive energy normalization
anomaly coefficients	logarithmic counterterms and topological terms	Weyl or gauge anomaly polynomial
contact terms	finite local counterterms	scheme-aware Ward identities

Thus source variations match the current and stress-tensor normalizations to the two bulk kinetic terms, while the constraint equations independently check the result.

Adversarial check: rescaling and improvement

Rescale the Maxwell action by $q$ without rescaling the source. Then every connected current correlator from that sector scales by $q$. Claiming the old $C_J$ while keeping the new action fails immediately. Rescaling both $A_{(0)}$ and $J$ so that their source pairing is invariant can describe the same physics, but the charge lattice must be translated too.

For the stress tensor, omitting an allowed improvement or a finite curvature counterterm may alter contact terms and the local response on curved space. It cannot arbitrarily alter the separated-point $C_T$ while preserving all Ward identities. If current normalization, stress normalization, and Ward identities cannot be satisfied simultaneously, the strongest surviving result is an unnormalized tensor structure—not a completed dictionary.

Controlled limits and handoff

The kinetic-term scalings determine separated-point two-point normalizations at the classical saddle; anomaly coefficients, finite counterterms, and higher derivatives require the full renormalized action. Boundary Global Symmetry, Bulk Gauge Symmetry, and Global Form adds charge lattices and bundles that local Ward identities cannot see, while the next chapter supplies finite one-point functions.

Exercise

Why does a bulk gauge transformation whose boundary value is nonzero act as a source transformation rather than a redundancy of fixed-source GKPW data?

Solution

A gauge transformation nonzero at the boundary changes $A_{(0)}$. The generating functional transforms according to the boundary global-symmetry Ward identity, including any anomaly. Only transformations that vanish suitably at the boundary are redundancies at fixed source. Whether a nonzero transformation is gauged or global also depends on the chosen boundary condition.

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.

References

• de Haro, Sebastian, Sergey N. Solodukhin, and Kostas Skenderis. “Holographic Reconstruction of Spacetime and Renormalization in the AdS/CFT Correspondence.” Communications in Mathematical Physics 217 (2001): 595–622. arXiv. DOI.
• Henningson, Måns, and Kostas Skenderis. “The Holographic Weyl Anomaly.” Journal of High Energy Physics 1998, 023 (1998). arXiv. DOI.
• Witten, Edward. “Anti-de Sitter Space and Holography.” Advances in Theoretical and Mathematical Physics 2 (1998): 253–291. arXiv. DOI.