Skip to content

Conserved Currents and the Stress Tensor

Conserved currents and the stress tensor are short conformal multiplets with additional normalization data fixed by Ward identities. Representation theory fixes their dimensions, ΔJ=d1\Delta_J=d-1 and ΔT=d\Delta_T=d, but it does not fix the choice of internal generators, the normalization of the conserved charges, improvement terms, contact terms, or the two-point coefficients CJC_J and CTC_T. Those choices must be aligned before an OPE coefficient or central-charge ratio can be compared between sources.

Required background. Primaries, Descendants, and Conformal Multiplets supplies shortening and descendants. Localized Transformations and Ward–Takahashi Identities supplies distributional Ward identities. Helpful background. Unitarity Bounds and Null States derives the positive-energy shortening bounds. Contact Terms, Equal-Time Commutators, and Schwinger Terms supplies the contact-term qualifications.

Let JμaJ_\mu^a be a spin-one primary in a reflection-positive d3d\geq3 CFT. The spin-one bound and its saturation condition are

ΔJd1,ΔJ=d1μJμa=0,\Delta_J\geq d-1, \qquad \Delta_J=d-1 \quad\Longleftrightarrow\quad \partial^\mu J_\mu^a=0,

where the reverse implication assumes an ordinary irreducible positive-energy conformal module. The null state is the level-one scalar PμJμaP^\mu\lvert J_\mu^a\rangle. The index aa labels a basis of the internal Lie algebra and is independent of spacetime spin.

Similarly, a conformal stress tensor is a symmetric traceless spin-two primary satisfying

Tμν=Tνμ,δμνTμν=0,μTμν=0,ΔT=d.T_{\mu\nu}=T_{\nu\mu}, \qquad \delta^{\mu\nu}T_{\mu\nu}=0, \qquad \partial^\mu T_{\mu\nu}=0, \qquad \Delta_T=d.

Conservation removes the level-one vector divergence. Symmetry and tracelessness select the spin-two irrep at level zero. In a theory initially presented only with a conserved symmetric tensor whose trace is a double derivative, an improvement may be needed before this conformal primary is obtained.

The equivalence between saturation and conservation is representation-theoretic Poland, Rychkov, and Vichi 2019, § III.E. The existence of a current with a specified charge, or of a stress tensor generating translations, is dynamical input encoded by Ward identities. A conserved spin-one operator that integrates to zero on every physical state is not automatically a nontrivial global-symmetry current.

Away from other insertions, conservation is an operator equation. At coincident points it becomes a distributional statement. Choose internal generators tat^a by δaOi=(ta)ijOj\delta^a\mathcal O_i=(t^a)_i{}^j\mathcal O_j. With the Euclidean sign convention used here,

μJμa(x)k=1nOk(xk)=k=1nδ(d)(xxk)O1(taOk)(xk)On.\partial^\mu \left\langle J_\mu^a(x)\prod_{k=1}^n\mathcal O_k(x_k)\right\rangle =-\sum_{k=1}^n\delta^{(d)}(x-x_k) \left\langle \mathcal O_1\cdots(t^a\mathcal O_k)(x_k)\cdots\mathcal O_n \right\rangle.

Integrating over a small sphere gives the charge action. If Sd=2πd/2/Γ(d/2)S_d=2\pi^{d/2}/\Gamma(d/2) is the area of the unit (d1)(d-1)-sphere, the leading current–operator OPE is

Jμa(x)Oi(0)xμSdxd(ta)ijOj(0)+.J_\mu^a(x)\mathcal O_i(0) \sim -\frac{x_\mu}{S_d\,\lvert x\rvert^d} (t^a)_i{}^j\mathcal O_j(0)+\cdots.

Changing the sign used to define δa\delta^a changes both displayed signs and no observable conclusion. Rescaling tat^a rescales JaJ^a and therefore CJC_J; a quoted CJC_J is meaningless without the generator normalization.

For translations, the Ward identity is

μTμν(x)kOk(xk)=kδ(d)(xxk)xkνkOk(xk)\partial^\mu \left\langle T_{\mu\nu}(x)\prod_k\mathcal O_k(x_k)\right\rangle =-\sum_k\delta^{(d)}(x-x_k)\partial_{x_k^\nu} \left\langle\prod_k\mathcal O_k(x_k)\right\rangle

for scalar insertions; spinning insertions add the local rotation response under a general metric variation. Dilatation and special-conformal identities follow by contracting TμνT_{\mu\nu} with the corresponding conformal Killing vector when the improved trace vanishes. Osborn and Petkou give the general separated-point forms together with the contact analysis in Osborn and Petkou 1994, §§ 2–4.

Define the inversion tensor

Iμν(x)=δμν2xμxνx2I_{\mu\nu}(x)=\delta_{\mu\nu}-2\frac{x_\mu x_\nu}{x^2}

and the symmetric-traceless projector transported between two points,

Iμν,ρσ(x)=12(IμρIνσ+IμσIνρ)1dδμνδρσ.\mathcal I_{\mu\nu,\rho\sigma}(x) =\frac12\left(I_{\mu\rho}I_{\nu\sigma} +I_{\mu\sigma}I_{\nu\rho}\right) -\frac1d\delta_{\mu\nu}\delta_{\rho\sigma}.

At separated Euclidean points, conformal symmetry fixes

Jμa(x)Jνb(0)=CJκabIμν(x)(x2)d1,\langle J_\mu^a(x)J_\nu^b(0)\rangle =C_J\,\kappa^{ab}\frac{I_{\mu\nu}(x)}{(x^2)^{d-1}},

where κab\kappa^{ab} is the declared invariant metric on the internal algebra, and

Tμν(x)Tρσ(0)=CTIμν,ρσ(x)(x2)d.\langle T_{\mu\nu}(x)T_{\rho\sigma}(0)\rangle =C_T\frac{\mathcal I_{\mu\nu,\rho\sigma}(x)}{(x^2)^d}.

Reflection positivity gives CJ>0C_J>0 for nonzero Hermitian currents in a positive internal channel and CT>0C_T>0 for a nonzero stress tensor. Some literature extracts factors of Sd2S_d^{-2} from these definitions; numerical values must be converted before comparison. Unlike a freely rescalable current basis, the stress tensor normalization is fixed by the translation Ward identity, so CTC_T is physical once coordinates and the metric-response convention

δS=12ddxgTμνδgμν\delta S=-\frac12\int d^dx\,\sqrt g\, T_{\mu\nu}\,\delta g^{\mu\nu}

are fixed. The standard two-point conventions are reviewed in Simmons-Duffin 2017, § 5.

The scalar–scalar–stress-tensor coefficient

Section titled “The scalar–scalar–stress-tensor coefficient”

Let a scalar primary have

ϕ(x)ϕ(0)=Cϕ(x2)Δ.\langle\phi(x)\phi(0)\rangle =\frac{C_\phi}{(x^2)^\Delta}.

For rij=xixjr_{ij}=\lvert x_i-x_j\rvert, define

Zμ=(x13)μx132(x23)μx232.Z_\mu=\frac{(x_{13})_\mu}{x_{13}^2} -\frac{(x_{23})_\mu}{x_{23}^2}.

Conformal symmetry permits one parity-even ϕϕT\phi\phi T structure,

ϕ(x1)ϕ(x2)Tμν(x3)=fϕϕTZμZνδμνZ2/dr122Δd+2r23d2r31d2.\left\langle\phi(x_1)\phi(x_2)T_{\mu\nu}(x_3)\right\rangle =f_{\phi\phi T} \frac{Z_\mu Z_\nu-\delta_{\mu\nu}Z^2/d} {r_{12}^{2\Delta-d+2}r_{23}^{d-2}r_{31}^{d-2}}.

Integrate xνTμνx^\nu T_{\mu\nu} over a small sphere around one scalar. With the outward-normal convention for the punctured correlator, the dilatation Ward identity fixes

fϕϕT=dΔ(d1)SdCϕ.\boxed{ f_{\phi\phi T} =-\frac{d\Delta}{(d-1)S_d}C_\phi. }

Equivalently, the leading stress-tensor–scalar OPE is

Tμν(x)ϕ(0)dΔ(d1)Sdxμxνδμνx2/d(x2)(d+2)/2ϕ(0)+.T_{\mu\nu}(x)\phi(0) \sim -\frac{d\Delta}{(d-1)S_d} \frac{x_\mu x_\nu-\delta_{\mu\nu}x^2/d}{(x^2)^{(d+2)/2}} \phi(0)+\cdots.

The sphere integral of xνTμν-x^\nu T_{\mu\nu} is then Δ\Delta on ϕ\phi. This directly checks the sign and factor d/(d1)d/(d-1). For Cϕ=1C_\phi=1 and the unit-normalized operator T^=T/CT\widehat T=T/\sqrt{C_T} in the two-point convention above, the corresponding OPE coefficient is

λϕϕT^=dΔ(d1)SdCT.\lambda_{\phi\phi\widehat T} =-\frac{d\Delta}{(d-1)S_d\sqrt{C_T}}.

Thus the magnitude of the stress-tensor contribution is not independent CFT data: it is fixed by Δ\Delta and CTC_T. The derivation and formula appear in Simmons-Duffin 2017, Eqs. (74)–(75).

A conserved symmetric stress tensor can be shifted by the scalar improvement

Tμν=Tμν+(μνδμν2)L.T'_{\mu\nu} =T_{\mu\nu} +\left(\partial_\mu\partial_\nu -\delta_{\mu\nu}\partial^2\right)L.

The added term is identically conserved, while its trace is (d1)2L-(d-1)\partial^2L. If

Tμμ=(d1)2L,T^\mu{}_{\mu}=(d-1)\partial^2L,

then TT' is traceless. Such an improvement exists only if the theory contains an appropriate scalar operator LL of dimension d2d-2 with the required locality and symmetry properties. It is not licensed merely because the integrated trace vanishes. The improved stress tensor and its renormalization role originate in Callan, Coleman, and Jackiw 1970.

Likewise,

Jμa=Jμa+νBνμa,Bνμa=Bμνa,J'^a_\mu=J^a_\mu+\partial^\nu B^a_{\nu\mu}, \qquad B^a_{\nu\mu}=-B^a_{\mu\nu},

is identically conserved. Under boundary conditions for which the surface term vanishes, it generates the same integrated charge, but local correlators and contact terms can change. Stress-tensor improvements can also change separated-point CTC_T if they mix TT with another dimension-dd primary descendant; one must first choose the conformal primary that obeys the Ward normalization.

Separated points, contact terms, and anomalies

Section titled “Separated points, contact terms, and anomalies”

The formulas for CJC_J, CTC_T, and fϕϕTf_{\phi\phi T} are separated-point statements. Coincident correlators may contain derivatives of delta functions. Their coefficients can depend on local counterterms, while anomaly coefficients can be scheme independent under the allowed counterterms. In even dimensions, Weyl anomalies modify trace Ward identities on curved backgrounds even when Tμμ=0T^\mu{}_{\mu}=0 at separated points in flat space. In parity-violating odd-dimensional theories, parity-odd contact terms may be quantized only modulo counterterm shifts.

Consequently, a complete comparison records:

QuantityRequired conventionWhat can alter it
CJC_JInternal generator metric κab\kappa^{ab} and current two-point prefactorRescaling generators or mixing currents
CTC_TStress response to the metric and whether Sd2S_d^{-2} is extractedStress-tensor improvement and convention conversion
fϕϕTf_{\phi\phi T}Scalar two-point coefficient, TT Ward normalization, tensor-structure signOnly linked convention changes; it is Ward fixed
Contact termsDistributional extension and local counterterm schemeFinite local counterterms and improvements
Anomaly coefficientBackground fields, allowed counterterms, parity and dimensionScheme changes only within the appropriate cohomology class

Scale versus Conformal Invariance tests whether a virial current permits the required stress-tensor improvement. Spinning Correlators and Tensor Structures carries CJC_J, CTC_T, and Ward-fixed OPE coefficients into correlators, while the general derivation of Ward identities and anomaly contact terms remains in Symmetry and Gauge Structure.

Conservation means zero divergence inside every correlator. It holds at separated points. Ward identities require delta-function terms when the current crosses charged insertions.

A dimension-dd spin-two primary is automatically the stress tensor. It is conserved under the unitary shortening hypotheses, but it generates translations only if its Ward identity has the required normalization. Product CFTs can contain several conserved spin-two operators while the physical stress tensor is the sum that translates all sectors.

CJC_J values can be compared without generator conventions. Rescaling the internal generators and currents changes CJC_J. Specify κab\kappa^{ab} or a charge normalization first.

Improvements are harmless at every level. They preserve integrated charges under suitable boundary conditions, but can change local correlators, contact terms, and which operator is a conformal primary.

Recover the coefficient in the leading Tμν(x)ϕ(0)T_{\mu\nu}(x)\phi(0) OPE by integrating the dilatation charge.

Solution

Assume the coefficient is AA multiplying (xμxνδμνx2/d)/(x2)(d+2)/2(x_\mu x_\nu-\delta_{\mu\nu}x^2/d)/(x^2)^{(d+2)/2}. On a sphere of radius rr,

nμxν(xμxν1dδμνx2)=r3d1d.n^\mu x^\nu \left(x_\mu x_\nu-\frac1d\delta_{\mu\nu}x^2\right) =r^3\frac{d-1}{d}.

The denominator and area element cancel the remaining powers of rr, leaving ASd(d1)/dA S_d(d-1)/d. The charge is dSμxνTμν-\int dS^\mu x^\nu T_{\mu\nu} in the chosen convention, so setting its action equal to Δ\Delta gives A=dΔ/[(d1)Sd]A=-d\Delta/[(d-1)S_d].

Show that the scalar improvement is identically conserved and compute its trace.

Solution

Commuting derivatives gives

μ(μνδμν2)L=0.\partial^\mu(\partial_\mu\partial_\nu-\delta_{\mu\nu}\partial^2)L=0.

Contracting indices gives (1d)2L(1-d)\partial^2L. Therefore a trace (d1)2L(d-1)\partial^2L is removed by adding the displayed improvement.

  • Callan, Curtis G., Sidney Coleman, and Roman Jackiw. “A New Improved Energy–Momentum Tensor.” Annals of Physics 59 (1970): 42–73. DOI
  • Osborn, Hugh, and Andreas Petkou. “Implications of Conformal Invariance in Field Theories for General Dimensions.” Annals of Physics 231 (1994): 311–362. DOI; Open PDF
  • Poland, David, Slava Rychkov, and Alessandro Vichi. “The Conformal Bootstrap: Theory, Numerical Techniques, and Applications.” Reviews of Modern Physics 91 (2019): 015002. DOI; Open PDF
  • Simmons-Duffin, David. “TASI Lectures on the Conformal Bootstrap.” In New Frontiers in Fields and Strings, 1–74. Singapore: World Scientific, 2017. DOI; Open PDF