Conformal Gauge, Two-Dimensional Gravity, and Vacuum Polarization

The string worldsheet is a two-dimensional generally covariant system. The Polyakov action has a worldsheet metric $g_{ab}$, diffeomorphism symmetry, and Weyl symmetry. Classically these symmetries allow us to choose conformal gauge, where the metric is locally a scalar multiple of the flat metric. What remains is a two-dimensional field theory of free embedding fields $X^\mu$, plus the stress-tensor constraints that remember the variation with respect to the metric.

This page has two intertwined goals. First, we make the conformal-gauge statement concrete: the conditions

$$(\partial_+X)^2=0, \qquad (\partial_-X)^2=0$$

say that the chosen worldsheet coordinates are locally orthogonal and equally scaled on the embedded surface. Second, we prepare the next step: integrating out matter fields in a background gauge field or background metric produces an effective action whose quadratic part is a polarization operator. In QED this is vacuum polarization; in two-dimensional gravity it is the stress-tensor two-point function. Gauge and diffeomorphism Ward identities constrain the two response kernels in parallel ways.

Required background. Lesson 31 supplies the Polyakov action, conformal gauge, and classical Virasoro constraints.

Helpful background. Lesson 24 fixes the $T T$ normalization and central-charge convention used below.

Conformal gauge and classical constraints

Worldsheet complex derivatives and transverse projector

We use Euclidean worldsheet coordinates $\xi^1,\xi^2$ and complex/light-cone combinations

$$\xi^+=\xi^1+i\xi^2, \qquad \xi^- = \xi^1-i\xi^2,$$

with differential and derivative conventions chosen so that

$$d\xi^+d\xi^-=(d\xi^1)^2+(d\xi^2)^2, \qquad \partial_+=\partial_1-i\partial_2, \qquad \partial_- =\partial_1+i\partial_2.$$

These conventions suppress harmless factors of $2$ compared with some CFT books. Since the Virasoro constraints and Ward identities in this page are homogeneous, these factors do not affect the logic. For QED and metric response formulas we use Euclidean momentum $q$ and

$$\delta^\perp_{\mu\nu}(q)=\delta_{\mu\nu}-{q_\mu q_\nu\over q^2}.$$

The Polyakov action is

$$S[X,g]={\mathcal T\over2}\int d^2\xi\,\sqrt g\,g^{ab}\partial_aX\cdot\partial_bX.$$

In two dimensions, every smooth metric is locally conformally flat. After using diffeomorphisms and Weyl transformations, we may write

$$ds^2=e^{\phi(\xi)}d\xi^+d\xi^-.$$

Equivalently,

$$g_{ab}=e^{\phi}\delta_{ab}$$

in local real coordinates. In this gauge the Weyl factor drops out of the classical matter action, because

$$\sqrt g\,g^{ab}=\delta^{ab}.$$

Thus the action reduces locally to

$$S_0[X]\propto \int d^2\xi\,\partial_+X\cdot\partial_-X.$$

The equation of motion is the two-dimensional Laplace equation,

$$\partial_+\partial_-X^\mu=0.$$

The metric equation of motion is the vanishing of the worldsheet stress tensor. In conformal coordinates this becomes

$$T_{++}\propto \partial_+X\cdot\partial_+X=0, \qquad T_{--}\propto \partial_-X\cdot\partial_-X=0.$$

These are the classical Virasoro constraints. They are not equations for $X^\mu$ obtained by varying $X^\mu$; they are constraints obtained by varying the metric before gauge fixing.

Now expand the first constraint in real coordinates:

$$(\partial_+X)^2 =(\partial_1X-i\partial_2X)^2 =(\partial_1X)^2-(\partial_2X)^2-2i\,\partial_1X\cdot\partial_2X.$$

Therefore

$$(\partial_+X)^2=0$$

is equivalent to the pair of real conditions

$$(\partial_1X)^2=(\partial_2X)^2, \qquad \partial_1X\cdot\partial_2X=0.$$

So, for a nondegenerate positive-definite induced metric, the coordinate tangent vectors have equal length and are orthogonal. Geometrically, the parameter grid maps to the surface by local similarities: infinitesimal squares become infinitesimal squares up to an overall scale.

Conformal coordinates preserve angles and one local scale factor. The constraint $(\partial_+X)^2=0$ says that the two real tangent vectors $\partial_1X$ and $\partial_2X$ are orthogonal and have the same squared length.

The conservation of the stress tensor follows directly. Since

$$T_{++}=\partial_+X\cdot\partial_+X,$$

we have

$$\partial_-T_{++} =2\partial_+X\cdot\partial_-\partial_+X=0,$$

using $\partial_+\partial_-X=0$. Similarly,

$$\partial_+T_{--}=0.$$

Thus the two stress-tensor components become chiral:

$$T_{++}=T_{++}(\xi^+), \qquad T_{--}=T_{--}(\xi^-)$$

locally. This is the classical seed of the holomorphic stress tensor in two-dimensional CFT.

The Weyl factor and local curvature

In conformal gauge,

$$ds^2=e^\phi d\xi^+d\xi^-.$$

With the derivative convention above, the scalar curvature is

$$R=-e^{-\phi}\partial_+\partial_-\phi,$$

up to the corresponding convention-dependent factor if one defines $\partial_z$ and $\partial_{\bar z}$ with extra $1/2$ factors. The important point is structural: in two dimensions the curvature of a conformally flat metric is controlled by the Laplacian of the Weyl factor.

Classically, the Weyl factor is pure gauge for the Polyakov action coupled to free scalar fields. Quantum mechanically, this statement becomes delicate. The path-integral measure over matter fields is generally not invariant under Weyl transformations. The failure is the conformal anomaly, and it produces an induced action for $\phi$ or, in covariant form, a nonlocal action involving $R\Box^{-1}R$. That is the central topic of the next page.

For now, we only need the background-field viewpoint. Fix a metric $g_{ab}$ and define the matter partition function

$$Z[g]=\int \mathcal D X\,e^{-S[X,g]}, \qquad W[g]=-\log Z[g].$$

The functional $W[g]$ is the induced gravitational effective action obtained by integrating out the matter fields. If we later integrate over $g_{ab}$ as well, then we are studying matter coupled to two-dimensional gravity:

$$Z_{\rm grav} ={1\over \operatorname{Vol}(\mathrm{Diff}\times \mathrm{Weyl})} \int \mathcal Dg\,\mathcal D X\,e^{-S[X,g]}.$$

Replacing the free fields $X^\mu$ by a minimal CFT gives the family often called minimal models coupled to two-dimensional gravity. The metric is no longer merely a background probe; it becomes part of the fluctuating geometry.

The quotient by Weyl transformations is schematic at the quantum level. Gauge fixing introduces ghosts and moduli, while a nonvanishing total Weyl anomaly makes the conformal factor dynamical rather than removable; these effects are developed on the next page.

Matter coupled to two-dimensional gravity is obtained by integrating over the worldsheet metric as well as the matter fields, modulo diffeomorphisms and Weyl transformations. For embedding fields, the classical saddle describes minimal area; quantum mechanically the path integral sums over fluctuating geometries.

Metric sources and stress-tensor response

Perturb the flat metric by a small light-cone component,

$$ds^2=d\xi^+d\xi^-+h_{++}(d\xi^+)^2.$$

Expanding the action to first order gives a coupling between the metric perturbation and the stress tensor. With our light-cone index convention, the covariant perturbation $h_{++}$ couples to the opposite component $T_{--}$. We write the convention-dependent numerical coefficient as $\kappa$:

$$S[X,h]=S_0[X]+\kappa\int d^2\xi\,h_{++}(\xi)T_{--}(\xi)+\cdots.$$

The generating functional in this background is

$$Z[h]=\int \mathcal D X\,e^{-S[X,h]}, \qquad W[h]=-\log Z[h].$$

The first variation inserts one stress tensor:

$${\delta W\over \delta h_{++}(x)}=\kappa\langle T_{--}(x)\rangle.$$

The second variation inserts two stress tensors:

$${\delta^2 W\over \delta h_{++}(x)\delta h_{++}(y)} =-\kappa^2\langle T_{--}(x)T_{--}(y)\rangle_{\rm conn} +\text{contact terms}.$$

The minus sign follows from differentiating an expectation value in the measure $e^{-S}$ while keeping the displayed plus sign in the source coupling. Reversing the source convention reverses this sign; the Ward identities and nonlocal tensor structure are unchanged.

Consequently the quadratic part of the effective action is schematically

$$W_{2,\mathrm{nonlocal}}[h] =-{\kappa^2\over2}\int {d^2q\over(2\pi)^2}\, h_{++}(q)h_{++}(-q) \langle T_{--}(q)T_{--}(-q)\rangle_{\rm conn}.$$

A small metric deformation $h_{++}$ is a source for $T_{--}$. Up to the stated source convention and local contact terms, the quadratic response of $W[h]$ is the connected stress-tensor two-point function. This is the gravitational analog of vacuum polarization.

The phrase “contact terms” is not a nuisance to be swept away. They encode the local counterterms and the precise definition of the stress tensor. The long-distance, nonlocal part is what will carry universal CFT information, such as the central charge.

Vacuum polarization in QED

The cleanest analogy is ordinary QED in a fixed background gauge field $A_\mu$. Define

$$e^{-W[A]} =\int \mathcal D\psi\,\mathcal D\bar\psi\, \exp\left[-S[\psi,\bar\psi,A]\right].$$

The induced current is

$$\langle J_\mu(q)\rangle_A ={\delta W[A]\over \delta A_\mu(-q)}.$$

To linear order in $A$,

$$\delta J_\mu(q)=\Pi_{\mu\nu}(q)\delta A_\nu(q),$$

where $\Pi_{\mu\nu}$ is the vacuum polarization tensor.

Gauge invariance implies current conservation. In momentum space this gives the Ward identity

$$q_\mu\Pi_{\mu\nu}(q)=0.$$

For the symmetric polarization tensor in a parity-even rotationally invariant vacuum, and for $q\ne0$, transversality fixes the tensor structure:

$$\boxed{ \Pi_{\mu\nu}(q) =q^2\Pi(q^2)\delta^\perp_{\mu\nu}(q), \qquad \delta^\perp_{\mu\nu}=\delta_{\mu\nu}-{q_\mu q_\nu\over q^2}. }$$

The current response tensor $\Pi_{\mu\nu}$ is transverse. Gauge invariance removes the longitudinal response, so the quadratic effective action can only depend on $A_\mu$ through transverse combinations, equivalently through the field strength.

The quadratic effective action is

$$W_2[A]={1\over2}\int {d^dq\over(2\pi)^d}\, A_\mu(q)\Pi_{\mu\nu}(q)A_\nu(-q).$$

Using transversality,

$$A_\mu(q)q^2\delta^\perp_{\mu\nu}A_\nu(-q) ={1\over2}F_{\mu\nu}(q)F_{\mu\nu}(-q),$$

where

$$F_{\mu\nu}(q)=i(q_\mu A_\nu(q)-q_\nu A_\mu(q)).$$

Therefore, if $\Pi(q^2)$ is regular near $q^2=0$, the low-momentum effective action begins as a local Maxwell term,

$$W_2[A]\to {\Pi(0)\over4}\int {d^dq\over(2\pi)^d}\, F_{\mu\nu}(q)F_{\mu\nu}(-q)+\cdots.$$

A pole changes the physics. If

$$\Pi(q^2)\sim {m_\gamma^2\over q^2},$$

then

$$W_2[A]\sim {m_\gamma^2\over2}\int A_\mu\delta^\perp_{\mu\nu}A_\nu ={m_\gamma^2\over4}\int F_{\mu\nu}{1\over q^2}F_{\mu\nu}.$$

This expression is nonlocal when written only in terms of $F_{\mu\nu}$, but it is gauge invariant. Such poles are the response-theory signature of long-range or massless collective degrees of freedom. In superconductors, the same transverse structure underlies the Meissner effect: a gauge-invariant transverse response makes the photon massive inside the medium.

Static response and dielectric screening

In a medium or in a background state, Lorentz invariance need not be present. Then the polarization tensor is not described by a single scalar function. To make the familiar $4\pi$ factors concrete, this subsection uses three spatial dimensions and Gaussian units. At zero frequency, the most familiar component is the density response. Let $\phi=A_0$ be a static scalar potential. Linear response gives

$$\rho_{\rm ind}(k)=\chi_{00}(k,0)\phi(k).$$

To keep the screening denominator transparent, define $\Pi_{00}\equiv-\chi_{00}$. A positive $\Pi_{00}$ then increases the dielectric function, and the induced charge enters the Fourier-space Gauss law as

$$k^2\phi(k)=4\pi\rho_{\rm ext}(k)-4\pi\Pi_{00}(k,0)\phi(k).$$

One then introduces the displacement field by

$$\mathbf D=\varepsilon\mathbf E, \qquad \nabla\cdot\mathbf D=4\pi\rho_{\rm ext}.$$

In momentum space this gives

$$\boxed{ \varepsilon(k)=1+{4\pi\over k^2}\Pi_{00}(k,0). }$$

The screened potential sourced by $\rho_{\rm ext}$ has the form

$$\phi(k)\propto {\rho_{\rm ext}(k)\over k^2\varepsilon(k)}.$$

Poles of $1/[k^2\varepsilon(k)]$ determine static screening lengths. After frequency dependence is restored, zeros of $\varepsilon(\omega,k)$ determine collective plasma modes. The simple Coulomb pole at $k^2=0$ is not sacred; it can be shifted, screened, or replaced by collective singularities.

The density response $\Pi_{00}$ converts an external charge into an induced charge cloud. The same information may be written as a dielectric function $\varepsilon(k)$; its analytic structure controls screening and collective static response.

For spatial currents one similarly decomposes

$$\Pi_{ij}(\omega,\mathbf k) =\Pi_T(\omega,k)\left(\delta_{ij}-{k_ik_j\over k^2}\right) +\Pi_L(\omega,k){k_ik_j\over k^2}.$$

The two scalar functions $\Pi_T$ and $\Pi_L$ are independent susceptibilities when the state selects a rest frame. The relativistic vacuum is more restrictive because Lorentz invariance ties them together.

Gravitational polarization

The metric response is the gravitational analog of vacuum polarization. Perturb flat space by

$$g_{ab}=\delta_{ab}+h_{ab}.$$

The stress tensor is the source conjugate to the metric:

$$\delta W[g] ={1\over2}\int d^2x\,\sqrt g\,\langle T^{ab}\rangle\delta g_{ab}$$

with this page’s sign convention. The quadratic part is

$$W_2[h] ={1\over2}\int {d^2q\over(2\pi)^2}\, h_{ab}(q)\Pi^{ab,cd}(q)h_{cd}(-q),$$

where the normalization and overall sign are fixed by the source convention, and

$$\Pi^{ab,cd}(q) \equiv {\delta^2W\over\delta h_{ab}(q)\delta h_{cd}(-q)} \sim-\langle T^{ab}(q)T^{cd}(-q)\rangle_{\rm conn} +\text{contact terms}.$$

Assuming a diffeomorphism-anomaly-free theory and a translation-invariant background, a pure-gauge metric perturbation

$$\delta h_{ab}(q)=q_a\epsilon_b(q)+q_b\epsilon_a(q)$$

cannot change the effective action. Therefore the non-contact part of the kernel is transverse:

$$q_a\Pi^{ab,cd}(q)=0, \qquad q_c\Pi^{ab,cd}(q)=0.$$

The stress-tensor two-point function is the metric polarization tensor. Diffeomorphism invariance makes it transverse, just as gauge invariance makes $\Pi_{\mu\nu}$ transverse in QED.

In a two-dimensional CFT the holomorphic stress tensor has the universal two-point function

$$\langle T_{++}(x)T_{++}(0)\rangle ={c/2\over (x^+)^4}$$

in the standard normalization of the Virasoro OPE. The coefficient $c$ is the central charge. Thus the central charge is not an abstract decoration of the Virasoro algebra: it measures the size of the stress-tensor polarization response.

The universal $TT$ two-point function is the two-dimensional gravitational polarization response. Its coefficient is the central charge $c$, which becomes the coefficient of the induced gravitational action.

In momentum space this correlator generates the nonlocal part of the induced gravitational action. Covariantly, the result is the Polyakov induced action

$$W_{\rm ind}[g]\propto c\int d^2x\sqrt g\,R{1\over \Box}R,$$

with a conventional overall coefficient and sign. Here $\Box^{-1}$ requires boundary conditions and, on a compact surface, a prescription that removes the constant zero mode. The next page derives how this nonlocal action is tied to the trace anomaly. For the present page, the essential point is the analogy:

$$\text{current response }\langle JJ\rangle \quad\longleftrightarrow\quad \text{stress response }\langle TT\rangle.$$

The former determines induced electrodynamics; the latter determines induced two-dimensional gravity.

The same action becomes local in conformal gauge. With the convention $g_{ab}=e^{\phi}\delta_{ab}$ used throughout this page, expansion around flat space gives $R\sim-\partial^2\phi$. Therefore the quadratic part of the induced action behaves as

$$\int R{1\over \Box}R \sim \int (\partial\phi)^2,$$

up to signs and boundary terms. This is why the conformal factor acquires a kinetic term after matter is integrated out. In gauge-fixed two-dimensional gravity it becomes the Liouville field unless the total anomaly, including ghosts and other sectors, cancels.

The covariant induced action is nonlocal, $R{1\over \Delta}R$, because it records the effect of integrating out massless two-dimensional matter. In conformal gauge it reduces to a local kinetic term for the Weyl factor.

Summary

Conformal gauge turns the Polyakov worldsheet into a two-dimensional field theory with chiral stress-tensor constraints. The conditions $(\partial_\pm X)^2=0$ say geometrically that the worldsheet coordinates are locally conformal: the tangent vectors are orthogonal and equally scaled. The classical Weyl factor decouples from the free scalar action, but the quantum matter measure remembers it through stress-tensor correlations.

The background-field viewpoint makes the next step systematic. A background gauge field couples to a current, and integrating out matter gives a polarization tensor $\Pi_{\mu\nu}$ constrained by $q_\mu\Pi_{\mu\nu}=0$. A background metric couples to the stress tensor, and integrating out matter gives a gravitational polarization tensor constrained by diffeomorphism Ward identities. In two-dimensional CFT, the universal stress-tensor correlator is controlled by the central charge and leads to the induced gravitational action.

Common pitfalls

A conformal-gauge metric is not the same thing as a flat metric. Locally

$$g_{ab}=e^\phi\delta_{ab},$$

but the scalar curvature can be nonzero when $\phi$ varies.

Do not vary the gauge-fixed action and forget the constraints. The equations $T_{++}=T_{--}=0$ come from varying the metric before fixing conformal gauge.

The statement “$h_{++}$ couples to $T_{--}$” is an index statement, not a contradiction. In light-cone coordinates, raising and lowering indices interchanges $+$ and $-$ components.

A transverse quadratic term need not be local in the gauge potential. A structure such as

$$A_\mu\delta^\perp_{\mu\nu}A_\nu$$

is gauge invariant but becomes nonlocal when expressed as $F_{\mu\nu}\Box^{-1}F_{\mu\nu}$.

Do not identify $\delta^2(-\log Z)$ with $+\langle OO\rangle_{\rm conn}$ without checking the source sign. With the plus coupling used here, the nonlocal connected correlator enters with a minus sign; local contact terms remain convention dependent.

Do not infer the unique projector form of a polarization tensor from transversality alone when parity-odd structures or anomalies are allowed. The displayed QED and gravitational decompositions assume the corresponding parity and anomaly conditions stated above.

Exercises

Exercise 1: Geometry of conformal coordinates

Using

$$\partial_+=\partial_1-i\partial_2,$$

show that $(\partial_+X)^2=0$ is equivalent to

$$(\partial_1X)^2=(\partial_2X)^2, \qquad \partial_1X\cdot\partial_2X=0.$$

Solution

Expand:

$$(\partial_+X)^2 =(\partial_1X-i\partial_2X)\cdot(\partial_1X-i\partial_2X).$$

This gives

$$(\partial_+X)^2 =(\partial_1X)^2-(\partial_2X)^2 -2i\partial_1X\cdot\partial_2X.$$

For this complex number to vanish, its real and imaginary parts must vanish separately. Therefore

$$(\partial_1X)^2-(\partial_2X)^2=0,$$

and

$$\partial_1X\cdot\partial_2X=0.$$

These are exactly the equal-length and orthogonality conditions.

Exercise 2: Field strength and the transverse projector

Let

$$\delta^\perp_{\mu\nu}=\delta_{\mu\nu}-{q_\mu q_\nu\over q^2}.$$

Show that

$$A_\mu(q)q^2\delta^\perp_{\mu\nu}A_\nu(-q) ={1\over2}F_{\mu\nu}(q)F_{\mu\nu}(-q),$$

where

$$F_{\mu\nu}(q)=i(q_\mu A_\nu(q)-q_\nu A_\mu(q)).$$

Solution

Ignoring the harmless factors of $i$ until the end, compute the contraction

$$(q_\mu A_\nu-q_\nu A_\mu)(q_\mu A_\nu-q_\nu A_\mu) =2q^2A_\mu A_\mu-2(q_\mu A_\mu)^2.$$

In momentum-space bilinear notation this means

$$F_{\mu\nu}(q)F_{\mu\nu}(-q) =2A_\mu(q)(q^2\delta_{\mu\nu}-q_\mu q_\nu)A_\nu(-q).$$

Since

$$q^2\delta^\perp_{\mu\nu}=q^2\delta_{\mu\nu}-q_\mu q_\nu,$$

we obtain

$$A_\mu q^2\delta^\perp_{\mu\nu}A_\nu ={1\over2}F_{\mu\nu}F_{\mu\nu}.$$

Exercise 3: Dielectric function from Gauss’s law

Assume a static screening convention in which Gauss’s law in Fourier space may be written as

$$k^2\phi(k)=4\pi\rho_{\rm ext}(k)-4\pi\Pi_{00}(k,0)\phi(k).$$

Derive

$$\varepsilon(k)=1+{4\pi\over k^2}\Pi_{00}(k,0).$$

Solution

Move the induced term to the left-hand side:

$$\left[k^2+4\pi\Pi_{00}(k,0)\right]\phi(k)=4\pi\rho_{\rm ext}(k).$$

Define the dielectric function by

$$k^2\varepsilon(k)\phi(k)=4\pi\rho_{\rm ext}(k).$$

Comparing the two equations gives

$$\varepsilon(k)=1+{4\pi\over k^2}\Pi_{00}(k,0).$$

If one defines the density-density response with the opposite sign, the displayed $\Pi_{00}$ is replaced by $-\Pi_{00}$. The physical screened denominator is the invariant content.

Exercise 4: Diffeomorphism Ward identity

Suppose the quadratic metric effective action in flat space is

$$W_2[h]={1\over2}\int h_{ab}(q)\Pi^{ab,cd}(q)h_{cd}(-q).$$

Show that invariance under the linearized diffeomorphism

$$\delta h_{ab}(q)=q_a\epsilon_b(q)+q_b\epsilon_a(q)$$

implies

$$q_a\Pi^{ab,cd}(q)=0$$

up to contact terms.

Solution

Vary $W_2$ under $\delta h_{ab}$:

$$\delta W_2 =\int \delta h_{ab}(q)\Pi^{ab,cd}(q)h_{cd}(-q).$$

Substitute

$$\delta h_{ab}=q_a\epsilon_b+q_b\epsilon_a.$$

Because $\Pi^{ab,cd}$ is symmetric in $a,b$, the two terms give the same contribution:

$$\delta W_2 =2\int \epsilon_b(q)q_a\Pi^{ab,cd}(q)h_{cd}(-q).$$

The functions $\epsilon_b(q)$ and $h_{cd}(-q)$ are arbitrary. Diffeomorphism invariance therefore requires

$$q_a\Pi^{ab,cd}(q)=0.$$

In a full quantum field theory, coincident-point contact terms can modify the purely local part of this identity, but the nonlocal polarization kernel must be transverse.

Exercise 5: Scaling of the stress-tensor kernel

In a two-dimensional CFT with

$$\langle T(z)T(0)\rangle={c/2\over z^4},$$

explain by dimensional analysis why the corresponding momentum-space kernel has engineering dimension two.

Solution

The stress tensor has scaling dimension $2$ in two dimensions, so its chiral two-point function scales as

$$\langle T(z)T(0)\rangle\sim {1\over z^4}.$$

The Fourier transform in two dimensions is schematically

$$\Pi(q)\sim \int d^2x\,e^{iq\cdot x}{1\over z^4}.$$

Under $x\mapsto \lambda x$, the measure contributes $\lambda^2$ and the correlator contributes $\lambda^{-4}$. Equivalently, rescaling momentum gives

$$\Pi(\lambda q)=\lambda^2\Pi(q)$$

for the nonlocal homogeneous part, up to contact terms and possible logarithms from the renormalized distribution. This fixes engineering dimension two; it does not say that the chiral kernel is the rotational scalar $q^2$. Its spin and Ward identities require nontrivial light-cone momentum dependence.

Further reading

• P. Di Francesco, P. Mathieu, and D. Sénéchal, Conformal Field Theory (Springer, 1997), Chapters 4–6, for stress tensors, central charge, and conformal Ward identities.
• J. Polchinski, String Theory, Volume 1 (Cambridge University Press, 1998), Chapters 1–3, for conformal gauge, ghosts, the Weyl anomaly, and the Polyakov path integral.
• A. M. Polyakov, Gauge Fields and Strings (Harwood Academic Publishers, 1987), Chapter 9, for random surfaces, conformal gauge, induced actions, and stress-tensor methods.
• A. M. Polyakov, “Quantum geometry of bosonic strings,” Physics Letters B 103 (1981) 207–210, for the induced two-dimensional gravitational action.
• S. Weinberg, The Quantum Theory of Fields, Volume II (Cambridge University Press, 1996), Sections 18–19 and the gauge-theory chapters, for response functions and Ward identities.