Skip to content

Stress Tensor, Primaries, and Conformal Transformations

The free-boson OPEs are local short-distance rules. The stress tensor packages those rules into symmetry. In two-dimensional CFT, T(z)T(z) is not merely a conserved current in the usual sense; it is a meromorphic object whose contour integrals generate conformal transformations.

For string theory this is doubly important. First, conformal symmetry is the residual gauge symmetry left after fixing the worldsheet metric to conformal gauge. Second, the vanishing of the stress tensor is the quantum descendant of the classical Virasoro constraints. Understanding T(z)T(z) is therefore the gateway from free fields to physical string states and scattering amplitudes.

For DD free target-space coordinates XμX^\mu, the Euclidean conformal-gauge action is

SE=12παd2zXμˉXμ.S_E = \frac{1}{2\pi\alpha'} \int d^2z\, \partial X^\mu \bar\partial X_\mu .

The basic OPE is

Xμ(z)Xν(w)α2ημν(zw)2.\partial X^\mu(z)\partial X^\nu(w) \sim -\frac{\alpha'}{2} \frac{\eta^{\mu\nu}}{(z-w)^2}.

The holomorphic and antiholomorphic stress tensors are

T(z)Tzz=1α:XμXμ:,T(z)\equiv T_{zz} = -\frac{1}{\alpha'} :\partial X^\mu\partial X_\mu:,

and

Tˉ(zˉ)Tzˉzˉ=1α:ˉXμˉXμ:.\bar T(\bar z)\equiv T_{\bar z\bar z} = -\frac{1}{\alpha'} :\bar\partial X^\mu\bar\partial X_\mu: .

Classically, conformal invariance implies tracelessness,

Tzzˉ=0.T_{z\bar z}=0.

Conservation then gives

ˉT(z)=0,Tˉ(zˉ)=0,\bar\partial T(z)=0, \qquad \partial \bar T(\bar z)=0,

away from operator insertions. Thus TT is holomorphic and Tˉ\bar T is antiholomorphic except at singularities caused by local operators.

In conformal gauge the stress tensor splits into holomorphic and antiholomorphic components.

Conservation plus tracelessness imply a holomorphic stress tensor T(z)T(z) and an antiholomorphic stress tensor Tˉ(zˉ)\bar T(\bar z). Their singularities near insertions encode conformal transformations.

The holomorphic factorization is what makes two-dimensional CFT so powerful. Symmetry transformations become contour integrals.

Conformal gauge fixes the metric only up to transformations that preserve angles. In complex coordinates these are

zz=f(z),zˉzˉ=fˉ(zˉ).z\longrightarrow z'=f(z), \qquad \bar z\longrightarrow \bar z'=\bar f(\bar z).

Indeed,

dzdzˉ=f(z)fˉ(zˉ)dzdzˉ,dz'\,d\bar z' = f'(z)\bar f'(\bar z)\,dz\,d\bar z,

so the metric changes only by a local scale factor, which can be absorbed by a Weyl transformation. This is the residual gauge symmetry of the string worldsheet in conformal gauge.

A holomorphic map preserves angles locally while rescaling lengths.

A conformal map preserves angles locally. In conformal gauge the induced scale factor can be absorbed by a Weyl transformation.

Infinitesimally,

zz+ϵ(z),zˉzˉ+ϵˉ(zˉ).z\longrightarrow z+\epsilon(z), \qquad \bar z\longrightarrow \bar z+\bar\epsilon(\bar z).

The corresponding variation of a local operator is generated by contour integrals of TT and Tˉ\bar T.

A local field ϕ(z,zˉ)\phi(z,\bar z) is called a primary field of weights (h,hˉ)(h,\bar h) if under a finite conformal map it transforms as

ϕ(z,zˉ)=(zz)h(zˉzˉ)hˉϕ(z,zˉ).\phi'(z',\bar z') = \left(\frac{\partial z'}{\partial z}\right)^{-h} \left(\frac{\partial \bar z'}{\partial \bar z}\right)^{-\bar h} \phi(z,\bar z).

The numbers

h,hˉh,\qquad \bar h

are the holomorphic and antiholomorphic conformal weights. Their sum and difference are

Δ=h+hˉ,s=hhˉ,\Delta=h+\bar h, \qquad s=h-\bar h,

where Δ\Delta is the scaling dimension and ss is the two-dimensional spin.

A primary field transforms with powers of the local Jacobian.

A primary field carries definite conformal weights. A local rescaling by f(z)f'(z) multiplies the field by a fixed power determined by hh and hˉ\bar h.

For example:

Xμ(z)\partial X^\mu(z)

has weights (1,0)(1,0), while

ˉXμ(zˉ)\bar\partial X^\mu(\bar z)

has weights (0,1)(0,1). A product such as

Xμ(z)ˉXν(zˉ)\partial X^\mu(z)\bar\partial X^\nu(\bar z)

has weights (1,1)(1,1).

A primary field is not just a field that scales nicely under dilatations. It must transform covariantly under every local holomorphic coordinate change.

Let ϵ(z)\epsilon(z) be a holomorphic infinitesimal conformal transformation. The associated charge is represented locally by

Qϵ=12πidzϵ(z)T(z).Q_\epsilon = \frac{1}{2\pi i} \oint dz\,\epsilon(z)T(z).

When this contour surrounds a local operator ϕ(w,wˉ)\phi(w,\bar w), the singular part of T(z)ϕ(w,wˉ)T(z)\phi(w,\bar w) determines the transformation of ϕ\phi:

δϵϕ(w,wˉ)=12πiwdzϵ(z)T(z)ϕ(w,wˉ).\delta_\epsilon \phi(w,\bar w) = \frac{1}{2\pi i} \oint_w dz\,\epsilon(z)T(z)\phi(w,\bar w).

The antiholomorphic part is analogous:

δϵˉϕ(w,wˉ)=12πiwdzˉϵˉ(zˉ)Tˉ(zˉ)ϕ(w,wˉ).\delta_{\bar\epsilon} \phi(w,\bar w) = \frac{1}{2\pi i} \oint_w d\bar z\,\bar\epsilon(\bar z)\bar T(\bar z)\phi(w,\bar w).

A contour integral of the stress tensor around an operator generates the conformal transformation of that operator.

The contour integral of TT around ϕ\phi extracts the residues of the singular OPE. Those residues are the infinitesimal conformal transformation of ϕ\phi.

This is the local form of the conformal Ward identity.

The defining local statement for a primary field is

T(z)ϕ(w,wˉ)hϕ(w,wˉ)(zw)2+ϕ(w,wˉ)zw.\boxed{ T(z)\phi(w,\bar w) \sim \frac{h\,\phi(w,\bar w)}{(z-w)^2} + \frac{\partial\phi(w,\bar w)}{z-w}. }

Similarly,

Tˉ(zˉ)ϕ(w,wˉ)hˉϕ(w,wˉ)(zˉwˉ)2+ˉϕ(w,wˉ)zˉwˉ.\bar T(\bar z)\phi(w,\bar w) \sim \frac{\bar h\,\phi(w,\bar w)}{(\bar z-\bar w)^2} + \frac{\bar\partial\phi(w,\bar w)}{\bar z-\bar w}.

To see why this is the correct transformation law, insert the OPE into the contour integral:

12πiwdzϵ(z)[hϕ(w,wˉ)(zw)2+ϕ(w,wˉ)zw].\frac{1}{2\pi i} \oint_w dz\, \epsilon(z) \left[ \frac{h\phi(w,\bar w)}{(z-w)^2} + \frac{\partial\phi(w,\bar w)}{z-w} \right].

Using

12πiwdzϵ(z)zw=ϵ(w),\frac{1}{2\pi i}\oint_w dz\,\frac{\epsilon(z)}{z-w} = \epsilon(w),

and

12πiwdzϵ(z)(zw)2=ϵ(w),\frac{1}{2\pi i}\oint_w dz\,\frac{\epsilon(z)}{(z-w)^2} = \partial\epsilon(w),

we obtain

δϵϕ=ϵϕ+h(ϵ)ϕ.\delta_\epsilon \phi = \epsilon\,\partial\phi + h(\partial\epsilon)\phi .

This is precisely the infinitesimal version of primary-field covariance, up to the usual active/passive sign convention for coordinate transformations.

The stress-tensor OPE with a primary field has double and simple poles.

For a primary field, the double pole measures the conformal weight and the simple pole translates the insertion. More singular poles would signal a non-primary operator.

Let us verify these statements with the free-boson stress tensor

T(z)=1α:XμXμ:.T(z)=-\frac{1}{\alpha'}:\partial X^\mu\partial X_\mu: .

First,

T(z)Xμ(w,wˉ)Xμ(w)zw.T(z)X^\mu(w,\bar w) \sim \frac{\partial X^\mu(w)}{z-w}.

There is no double pole, so locally XμX^\mu behaves as a dimension-zero scalar. The logarithmic two-point function makes XμX^\mu somewhat special globally, but its derivative is a clean primary field.

For Xμ\partial X^\mu we find

T(z)Xμ(w)Xμ(w)(zw)2+2Xμ(w)zw.T(z)\partial X^\mu(w) \sim \frac{\partial X^\mu(w)}{(z-w)^2} + \frac{\partial^2 X^\mu(w)}{z-w}.

Thus

Xμhas weights(h,hˉ)=(1,0).\partial X^\mu \quad \text{has weights} \quad (h,\bar h)=(1,0).

Similarly,

ˉXμhas weights(h,hˉ)=(0,1).\bar\partial X^\mu \quad \text{has weights} \quad (h,\bar h)=(0,1).

These are the simplest examples of primary fields in the string worldsheet theory.

The stress tensor OPE with a primary also determines how TT behaves inside correlation functions. For primary fields ϕi(zi,zˉi)\phi_i(z_i,\bar z_i) of weights (hi,hˉi)(h_i,\bar h_i),

T(z)iϕi(zi,zˉi)=i[hi(zzi)2+1zzizi]iϕi(zi,zˉi).\left\langle T(z)\prod_i \phi_i(z_i,\bar z_i) \right\rangle = \sum_i \left[ \frac{h_i}{(z-z_i)^2} + \frac{1}{z-z_i}\frac{\partial}{\partial z_i} \right] \left\langle \prod_i \phi_i(z_i,\bar z_i) \right\rangle .

This identity is obtained by applying the TϕiT\phi_i OPE near each insertion. It is one of the main computational tools of CFT. The antiholomorphic Ward identity is the same with barred quantities.

A useful way to visualize it is contour deformation. A contour integral of TT can be moved through the correlator. When it crosses an insertion, the OPE supplies a residue.

A stress tensor contour can be deformed around several operator insertions.

Conformal Ward identities follow by deforming a contour of T(z)T(z) through a correlation function and summing residues at operator insertions.

On the Riemann sphere, the globally well-defined holomorphic maps are the Möbius transformations

zaz+bcz+d,adbc0.z\longrightarrow \frac{az+b}{cz+d}, \qquad ad-bc\neq 0.

They form the group SL(2,C)SL(2,\mathbb C) modulo its center. Infinitesimally they are generated by

ϵ(z)=1,ϵ(z)=z,ϵ(z)=z2.\epsilon(z)=1, \qquad \epsilon(z)=z, \qquad \epsilon(z)=z^2 .

These correspond to translation, dilatation/rotation, and special conformal transformation on the complex plane. Later, this three-parameter holomorphic freedom and its antiholomorphic partner will let us fix three insertion points on the sphere when computing closed-string tree amplitudes.

The essential local rule is

T(z)ϕ(w,wˉ)hϕ(w,wˉ)(zw)2+ϕ(w,wˉ)zwT(z)\phi(w,\bar w) \sim \frac{h\phi(w,\bar w)}{(z-w)^2} + \frac{\partial\phi(w,\bar w)}{z-w}

for a primary field. It implies both the infinitesimal conformal transformation law

δϵϕ=ϵϕ+h(ϵ)ϕ\delta_\epsilon \phi = \epsilon\partial\phi+h(\partial\epsilon)\phi

and the conformal Ward identity in correlation functions.

The next page applies this machinery to plane-wave vertex operators and then studies the OPE T(z)T(w)T(z)T(w), whose central term produces the Virasoro algebra.

Exercise 1. Holomorphicity from conservation and tracelessness

Section titled “Exercise 1. Holomorphicity from conservation and tracelessness”

In complex coordinates, explain why conservation of the stress tensor together with Tzzˉ=0T_{z\bar z}=0 implies ˉTzz=0\bar\partial T_{zz}=0.

Solution

Stress-tensor conservation can be written schematically as

zˉTzz+zTzˉz=0.\partial_{\bar z}T_{zz}+\partial_z T_{\bar z z}=0.

Since Tzˉz=TzzˉT_{\bar z z}=T_{z\bar z}, tracelessness in conformal coordinates gives

Tzzˉ=0.T_{z\bar z}=0.

Therefore the second term vanishes and we get

zˉTzz=0.\partial_{\bar z}T_{zz}=0.

Thus Tzz=T(z)T_{zz}=T(z) is holomorphic away from insertions.

Exercise 2. Residues and infinitesimal transformations

Section titled “Exercise 2. Residues and infinitesimal transformations”

Assume

T(z)ϕ(w)hϕ(w)(zw)2+ϕ(w)zw.T(z)\phi(w) \sim \frac{h\phi(w)}{(z-w)^2} + \frac{\partial\phi(w)}{z-w}.

Evaluate

12πiwdzϵ(z)T(z)ϕ(w).\frac{1}{2\pi i} \oint_w dz\,\epsilon(z)T(z)\phi(w).
Solution

Insert the OPE:

12πiwdz[hϵ(z)ϕ(w)(zw)2+ϵ(z)ϕ(w)zw].\frac{1}{2\pi i} \oint_w dz \left[ \frac{h\epsilon(z)\phi(w)}{(z-w)^2} + \frac{\epsilon(z)\partial\phi(w)}{z-w} \right].

The simple-pole residue gives

ϵ(w)ϕ(w).\epsilon(w)\partial\phi(w).

The double-pole residue gives

hϵ(w)ϕ(w).h\,\partial\epsilon(w)\phi(w).

Thus

δϵϕ=ϵϕ+h(ϵ)ϕ.\delta_\epsilon\phi = \epsilon\partial\phi+h(\partial\epsilon)\phi.

Exercise 3. Show that Xμ\partial X^\mu has weight one

Section titled “Exercise 3. Show that ∂Xμ\partial X^\mu∂Xμ has weight one”

Using

T(z)=1α:XρXρ:T(z)=-\frac{1}{\alpha'}:\partial X^\rho\partial X_\rho:

and

Xρ(z)Xμ(w)α2ηρμ(zw)2,\partial X^\rho(z)\partial X^\mu(w) \sim -\frac{\alpha'}{2}\frac{\eta^{\rho\mu}}{(z-w)^2},

derive

T(z)Xμ(w)Xμ(w)(zw)2+2Xμ(w)zw.T(z)\partial X^\mu(w) \sim \frac{\partial X^\mu(w)}{(z-w)^2} + \frac{\partial^2 X^\mu(w)}{z-w}.
Solution

There are two equivalent contractions, one for each X\partial X inside TT. Contracting one field gives

1α2(α21(zw)2)Xμ(z).-\frac{1}{\alpha'} \cdot 2 \left( -\frac{\alpha'}{2}\frac{1}{(z-w)^2} \right) \partial X^\mu(z).

So

T(z)Xμ(w)Xμ(z)(zw)2.T(z)\partial X^\mu(w) \sim \frac{\partial X^\mu(z)}{(z-w)^2}.

Now expand the uncontracted field around ww:

Xμ(z)=Xμ(w)+(zw)2Xμ(w)+.\partial X^\mu(z) = \partial X^\mu(w) + (z-w)\partial^2X^\mu(w) +\cdots .

Therefore

T(z)Xμ(w)Xμ(w)(zw)2+2Xμ(w)zw.T(z)\partial X^\mu(w) \sim \frac{\partial X^\mu(w)}{(z-w)^2} + \frac{\partial^2X^\mu(w)}{z-w}.

This is the primary OPE with h=1h=1.

Exercise 4. Ward identity for one insertion

Section titled “Exercise 4. Ward identity for one insertion”

Let ϕ\phi be a primary of weight hh. Use the Ward identity to find

T(z)ϕ(w,wˉ)\left\langle T(z)\phi(w,\bar w)\right\rangle

in terms of ϕ(w,wˉ)\langle \phi(w,\bar w)\rangle.

Solution

For a single primary insertion, the Ward identity gives

T(z)ϕ(w,wˉ)=[h(zw)2+1zww]ϕ(w,wˉ).\left\langle T(z)\phi(w,\bar w)\right\rangle = \left[ \frac{h}{(z-w)^2} + \frac{1}{z-w}\frac{\partial}{\partial w} \right] \left\langle \phi(w,\bar w)\right\rangle .

On the plane, translational invariance usually forces the one-point function of a non-identity primary to vanish. But the local Ward identity itself is the formula above.

Exercise 5. Weights of a tensor product operator

Section titled “Exercise 5. Weights of a tensor product operator”

Assume Xμ\partial X^\mu has weights (1,0)(1,0) and ˉXν\bar\partial X^\nu has weights (0,1)(0,1). What are the weights, dimension, and spin of

Oμν=XμˉXν?\mathcal O^{\mu\nu}=\partial X^\mu\bar\partial X^\nu?
Solution

Weights add under products, so

(h,hˉ)=(1,0)+(0,1)=(1,1).(h,\bar h)=(1,0)+(0,1)=(1,1).

The scaling dimension is

Δ=h+hˉ=2,\Delta=h+\bar h=2,

and the two-dimensional spin is

s=hhˉ=0.s=h-\bar h=0.

Thus XμˉXν\partial X^\mu\bar\partial X^\nu is a scalar operator on the worldsheet with dimension two.