Conformal Anomalies, Liouville Action, and Nonlocal Effective Actions

The previous page treated a background metric in the same spirit as a background gauge field. A gauge field couples to a current, and integrating out matter produces a current two-point function. A metric couples to the stress tensor, and integrating out matter produces a stress-tensor two-point function. In two dimensions this response is especially rigid: the nonlocal part is controlled by a single number, the central charge $c$.

This page turns that observation into the conformal anomaly. Classically, a two-dimensional conformal field theory has a traceless stress tensor,

$$T^a{}_a=0.$$

Quantum mechanically, a regulator must define coincident products and functional determinants. If the regulator preserves diffeomorphism invariance, it cannot in general preserve Weyl invariance. The result is

$$\langle T^a{}_a\rangle \propto c R,$$

where $R$ is the scalar curvature of the background metric. Equivalently, integrating out massless matter produces a nonlocal effective action

$$\int \sqrt g\,R{1\over \Box}R.$$

In conformal gauge this nonlocal action becomes a local kinetic term for the Weyl factor. This is the door through which the Liouville field enters two-dimensional quantum gravity and noncritical string theory.

Stress-tensor polarization and nonlocality

Laplacian, anomaly sign, and Weyl factor

We use Euclidean two-dimensional coordinates $x^a$, metric $g_{ab}$, and Laplacian

$$\Box f={1\over \sqrt g}\partial_a\left(\sqrt g\,g^{ab}\partial_b f\right).$$

For complex coordinates we use $z=x^1+ix^2$, $\bar z=x^1-ix^2$, and write $T(z)$ for the holomorphic stress tensor. The Virasoro normalization is

$$T(z)T(0)\sim {c/2\over z^4}+{2T(0)\over z^2}+{\partial T(0)\over z}+\cdots .$$

The anomaly sign depends on whether one defines $W=-\log Z$ or $\log Z$, and on the sign of $\Box$. We use

$$\delta_\sigma W[g] =\int d^2x\sqrt g\,\sigma\langle T^a{}_a\rangle =-{c\over24\pi}\int d^2x\sqrt g\,\sigma R$$

for the Weyl variation $\delta g_{ab}=2\sigma g_{ab}$. With this convention,

$$\langle T^a{}_a\rangle=-{c\over24\pi}R.$$

We assume a nonchiral CFT with $c_L=c_R=c$, so there is no diffeomorphism anomaly. More generally,

$$\langle T^a{}_a\rangle=-{c_L+c_R\over48\pi}R,$$

while $c_L-c_R$ controls the two-dimensional gravitational anomaly. Also note the change of Weyl-factor notation from the previous lesson: its $g_{ab}=e^{\varphi}\hat g_{ab}$ is the same as the standard Liouville convention used here, $g_{ab}=e^{2\phi}\hat g_{ab}$, with $\varphi=2\phi$.

Let matter fields be integrated out in a background metric:

$$e^{-W[g]}=\int \mathcal D\Phi\,e^{-S[\Phi,g]}.$$

Expanding near a flat metric,

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

the first variation couples $h_{ab}$ to the stress tensor:

$$S[\Phi,h]=S[\Phi,0]+{1\over2}\int d^2x\,h_{ab}T^{ab}+\cdots .$$

With $W=-\log Z$ and the source convention above, the connected nonlocal part of the quadratic effective action is

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

where, up to contact terms,

$$\Pi^{ab,cd}(q)=\langle T^{ab}(q)T^{cd}(-q)\rangle_{\!c}.$$

The overall sign would reverse if one defined the generating functional as $+\log Z$; the Ward identities and the nonanalytic momentum dependence are convention-independent. The local term includes seagull contributions from the second metric variation of the microscopic action.

Diffeomorphism invariance gives the transverse Ward identity

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

again modulo contact terms. In two dimensions, transversality and scale invariance leave essentially one universal nonlocal structure. A convenient way to see it is to use holomorphic coordinates. The CFT two-point function is

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

Fourier transforming this distribution produces a momentum-space kernel of the schematic form

$$\langle T(q)T(-q)\rangle \sim c\,{q_z^4\over q^2} \sim c\,{q_z^3\over q_{\bar z}},$$

where $q^2\propto q_zq_{\bar z}$. The precise coefficient depends on Fourier-transform conventions and on how contact terms are subtracted. The important point is not the coefficient; it is the pole $1/q^2$. A local counterterm would give a polynomial in $q$. The stress-tensor two-point function has a universal nonlocal tail.

Integrating out matter turns two insertions of the metric perturbation into the stress-tensor two-point function. The universal part is transverse by the diffeomorphism Ward identity and nonlocal because the matter fields are massless.

The holomorphic expression is the two-dimensional analog of the transverse QED polarization tensor. In QED, gauge invariance allows

$$\Pi_{\mu\nu}(q)=q^2\Pi(q^2)\left(\delta_{\mu\nu}-{q_\mu q_\nu\over q^2}\right).$$

For massless charged matter, the function $\Pi(q^2)$ can contain logarithms or poles. For massive charged matter, it has an analytic expansion below threshold. The gravitational case behaves similarly: massive matter gives a local low-energy expansion, but massless conformal matter produces the nonlocal structure responsible for the anomaly.

The gauge-theory analogy separates local low-energy counterterms from nonlocal analytic structure. A massive charged loop develops a Lorentzian branch cut at the pair-production threshold $q^2=4m^2$; massless matter moves the nonanalyticity to the origin.

Linearized curvature and the Polyakov action

The covariant way to write the universal nonlocal part is in terms of the scalar curvature. Linearize around flat space:

$$g_{ab}=\delta_{ab}+h_{ab}, \qquad h=\delta^{ab}h_{ab}.$$

The linearized scalar curvature is

$$R^{(1)}(q)=q^2h(q)-q_aq_bh_{ab}(q),$$

up to an overall sign depending on the Fourier convention. Under a linearized diffeomorphism,

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

the quantity $R^{(1)}$ is invariant. Therefore, with $W=-\log Z$ and $\Box e^{iq\cdot x}=-q^2e^{iq\cdot x}$, the corresponding contribution to $W_2$ has the form

$$-\int {d^2q\over(2\pi)^2}\,{R^{(1)}(q)R^{(1)}(-q)\over q^2}.$$

Apart from this convention-fixed overall sign, $R^{(1)}q^{-2}R^{(1)}$ is the unique universal nonlocal quadratic structure.

The covariant completion is the Polyakov induced action. Because our Euclidean $\Box=\nabla^2$ has eigenvalue $-q^2$ on a plane wave, consistency with the anomaly convention above requires

$$\boxed{ W_{\rm P}[g]=+{c\over96\pi}\int d^2x\sqrt g\,R{1\over \Box}R. }$$

The commonly printed form $-c(96\pi)^{-1}\int R\Delta^{-1}R$ uses the positive operator $\Delta=-\Box$ and is identical to the expression above. On a compact closed manifold the Green function is defined by projecting out the constant zero mode, $\Box G(x,y)=\delta(x,y)/\sqrt g-1/V$. The Euler-characteristic part of $R$ must then be treated separately. On a noncompact manifold one instead has to specify boundary conditions. These are not cosmetic details.

The quadratic nonlocal kernel can be written as $R^{(1)}(q)R^{(1)}(-q)/q^2$. Covariantly this becomes the Polyakov action $R\Box^{-1}R$, the gravitational analog of a transverse polarization action.

To verify the anomaly, vary the metric by a Weyl transformation

$$g_{ab}\mapsto e^{2\sigma}g_{ab}.$$

In two dimensions,

$$\delta_\sigma(\sqrt g R)=-2\sqrt g\,\Box\sigma, \qquad \delta_\sigma \Box=-2\sigma\Box$$

when acting on scalars of weight zero. Combining these identities gives

$$\delta_\sigma W_{\rm P}[g] =-{c\over24\pi}\int d^2x\sqrt g\,\sigma R,$$

which is precisely the trace anomaly in our convention:

$$\boxed{ \langle T^a{}_a\rangle=-{c\over24\pi}R. }$$

This is the cleanest way to remember the result: the anomaly is the Weyl variation of a diffeomorphism-invariant but nonlocal effective action.

Local terms and what they can hide

The ultraviolet part of $\langle TT\rangle$ also contains local terms. In momentum space these are polynomials such as

$$\Lambda^2, \qquad q^2, \qquad q^4/\Lambda^2, \ldots,$$

where $\Lambda$ is a regulator scale. In position space they are derivatives of delta functions. They can be changed by adding local counterterms to $W[g]$.

In two-dimensional gravity the available local geometric terms begin with

$$\int d^2x\sqrt g, \qquad \int d^2x\sqrt g\,R, \qquad \int d^2x\sqrt g\,R^2, \ldots .$$

The first is the cosmological constant term; it weights the worldsheet area. The second is topological:

$$\int d^2x\sqrt g\,R=4\pi\chi,$$

where $\chi$ is the Euler characteristic. Its metric variation vanishes on a closed surface because the two-dimensional Einstein tensor is identically zero:

$$R_{ab}-{1\over2}g_{ab}R=0.$$

Higher-curvature terms are local and less relevant at long distance. None of these terms can remove the $1/q^2$ nonlocality in $R\Box^{-1}R$.

Local counterterms change contact terms in stress-tensor correlators. The anomaly is carried by the universal nonlocal kernel. A polynomial in $q$ cannot cancel the inverse Laplacian in $R\Box^{-1}R$.

This distinction is essential. The number $c$ can be read from the coefficient of the fourth-order pole in $T(z)T(0)$, from the anomalous Schwarzian transformation of $T$, from the Weyl anomaly, or from the induced gravitational action. These are not separate facts; they are one fact expressed in four languages.

Conformal gauge and the Liouville kinetic term

Now choose a reference metric $\hat g_{ab}$ and write

$$g_{ab}=e^{2\phi}\hat g_{ab}.$$

The curvature transforms as

$$R[g]=e^{-2\phi}\left(\hat R-2\hat\Box\phi\right),$$

and

$$\sqrt g=e^{2\phi}\sqrt{\hat g}.$$

The Polyakov action satisfies the finite Weyl relation

$$\boxed{ W_{\rm P}[e^{2\phi}\hat g]-W_{\rm P}[\hat g] =-{c\over24\pi}\int d^2x\sqrt{\hat g}\, \left[(\hat\nabla\phi)^2+\hat R\phi\right] }$$

up to a convention-dependent additive constant and boundary terms. Thus the nonlocal covariant action becomes local in conformal gauge.

For a flat reference metric $\hat g_{ab}=\delta_{ab}$, this reduces to

$$W_{\rm P}[e^{2\phi}\delta]-W_{\rm P}[\delta] =-{c\over24\pi}\int d^2x\,(\partial\phi)^2.$$

Equivalently, if we perturb the metric conformally as

$$h_{ab}=2\phi\delta_{ab},$$

then

$$R^{(1)}(q)\propto q^2\phi(q),$$

and $\Box^{-1}(q)=-1/q^2$ makes the quadratic Polyakov action proportional to

$$-\int {R^{(1)}(q)R^{(1)}(-q)\over q^2} \propto -\int q^2\phi(q)\phi(-q).$$

The Weyl factor looked like gauge redundancy in the classical matter action. After the matter fields are integrated out, it acquires a kinetic term. This is the local shadow of a nonlocal covariant action.

Classically the Weyl factor drops out of a two-dimensional CFT action. Quantum mechanically the matter determinant is not Weyl invariant, and the induced action gives the conformal factor a local kinetic term in conformal gauge.

When the metric is dynamical, conformal gauge introduces the Faddeev–Popov ghosts associated with worldsheet reparametrizations (with Weyl symmetry used as part of the conformal-gauge reduction). For the bosonic string, this $bc$ system has central charge

$$c_{\rm gh}=-26.$$

If the matter sector has central charge $c_{\rm m}$, then the anomaly coefficient of matter plus ghosts is

$$c_{\rm m}-26.$$

A critical bosonic string has $c_{\rm m}=26$, so the total Weyl anomaly cancels. In a noncritical string or in matter coupled to two-dimensional gravity, the conformal factor must be kept. After a useful field rescaling, it is described by Liouville theory,

$$S_{\rm L} ={1\over4\pi}\int d^2x\sqrt{\hat g}\, \left[(\hat\nabla\varphi)^2+Q\hat R\varphi+4\pi\mu e^{2b\varphi}\right].$$

The exponential term is the cosmological constant operator; it weights the area of the fluctuating surface. The background charge $Q$ fixes the Liouville central charge,

$$c_{\rm L}=1+6Q^2.$$

Marginality of the cosmological operator in spacelike Liouville theory gives $Q=b+b^{-1}$. The additive $1$ in $c_{\rm L}$ is the quantum contribution of the fluctuating Liouville scalar itself; this is why solving the total balance below gives $6Q^2=25-c_{\rm m}$ rather than $26-c_{\rm m}$. With real $b$, one has $Q\ge 2$, corresponding under anomaly cancellation to $c_{\rm m}\le1$. The interval $1<c_{\rm m}<25$ is the familiar $c=1$ barrier for an ordinary real spacelike Liouville coupling, while $c_{\rm m}>25$ makes $Q$ imaginary and leads to a timelike continuation.

Anomaly cancellation requires

$$c_{\rm m}+c_{\rm L}+c_{\rm gh}=0.$$

This is the modern way to state why the Weyl factor is harmless in the critical string but dynamical in noncritical two-dimensional gravity.

QED vacuum polarization as a guide

The same logic is familiar from QED. The quadratic effective action for a background gauge field is

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

with

$$\Pi_{\mu\nu}(q)=q^2\Pi(q^2)\left(\delta_{\mu\nu}-{q_\mu q_\nu\over q^2}\right).$$

If the charged particles in the loop have mass $m$, then below the pair-production threshold the answer has a local expansion in powers of $q^2/m^2$. In Lorentzian signature, the same loop develops an imaginary part when

$$q^2>4m^2,$$

because the background photon can create a real pair. Thus the analytic structure of the effective action knows which degrees of freedom have been integrated out.

The QED bubble is the gauge-theory analog of stress-tensor polarization. Massive particles give local terms at low momentum, but nonanalyticity appears at the physical threshold $q^2=4m^2$.

The gravitational case has the same moral. A massive matter field produces a local expansion in curvature invariants at distances much larger than its Compton wavelength. A massless CFT produces nonanalytic response at arbitrarily small $q^2$, and the induced action cannot be reduced to local curvature terms. The conformal anomaly is the ultraviolet face of this infrared nonlocality.

This ultraviolet–infrared relation is one reason anomalies are so robust. They may be computed from short-distance singularities, from the regulator dependence of the measure, from a one-loop determinant, or from the large-distance nonlocal effective action. Any calculation that preserves diffeomorphism invariance must place the same coefficient somewhere.

Fermions, metric sources, and the chiral stress tensor

For a free chiral Majorana fermion, the holomorphic action may be written schematically as

$$S_0={1\over2}\int d^2z\,\psi\partial_{\bar z}\psi.$$

The holomorphic stress tensor is

$$T(z)=-{1\over2}:\psi\partial\psi:(z),$$

and the propagator is

$$\langle\psi(z)\psi(0)\rangle={1\over z}.$$

Wick contraction gives

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

so the chiral Majorana fermion has

$$c={1\over2}.$$

This is one chiral contribution. A full nonchiral Majorana CFT has matching antiholomorphic central charge $\bar c=1/2$ and obeys the diffeomorphism-invariant anomaly convention used above. An unpaired chiral fermion instead carries a gravitational anomaly and cannot by itself be represented solely by the diffeomorphism-invariant Polyakov action.

A metric source $h_{\bar z\bar z}$ couples to $T(z)$:

$$S=S_0+\int d^2z\,h_{\bar z\bar z}T(z)+\cdots .$$

At quadratic order in $h$, the fermion loop with two stress-tensor vertices reproduces the same nonlocal kernel

$$h_{\bar z\bar z}(q){q_z^3\over q_{\bar z}}h_{\bar z\bar z}(-q),$$

with coefficient proportional to $c=1/2$.

This calculation is conceptually useful because it is the gravitational analog of a vacuum-polarization bubble. The two vertices are not ordinary current vertices; they contain powers of momentum because $T$ contains a derivative. That is why the numerator behaves like $p_z^2(p_z+q_z)^2$ and the final answer carries four powers of chiral momentum divided by one power of $q^2$.

Liouville dressing of operators

Once the Weyl factor becomes dynamical, scaling dimensions are no longer those of the original matter CFT alone. A spinless matter primary $\mathcal O$ with chiral weights $(\Delta,\Delta)$ can be dressed by a Liouville exponential,

$$\mathcal V=\mathcal O\,e^{2\alpha\varphi}.$$

The Liouville exponential has dimension

$$\Delta_{\rm L}(\alpha)=\alpha(Q-\alpha),$$

so the dressed integrated operator is marginal when

$$\Delta+\alpha(Q-\alpha)=1.$$

This equation is the simplest form of gravitational dressing. It says that the fluctuating metric supplies the missing scaling weight.

A spinless matter operator with chiral weight $\Delta$ must be multiplied by a Liouville exponential so that the combined operator has weights $(1,1)$ and can be integrated over a fluctuating worldsheet.

For minimal models one often labels the matter central charge by two coprime integers $p,p'$:

$$c_{\rm m}=1-6{(p-p')^2\over pp'}.$$

The full gravitational scaling exponents are encoded by the Knizhnik–Polyakov–Zamolodchikov dressing formulas. In one common normalization, the gravitationally dressed scaling exponent associated with a spinless matter operator of chiral weight $\Delta$ is

$$\Delta_{\rm grav} ={\sqrt{1-c_{\rm m}+24\Delta}-\sqrt{1-c_{\rm m}} \over \sqrt{25-c_{\rm m}}-\sqrt{1-c_{\rm m}}}.$$

Different authors use different symbols for the exponent measured from area scaling, so this formula should always be read together with the convention for fixed-area correlators. The physical content is invariant: coupling to fluctuating geometry changes the scaling laws.

Perturbatively, the same phenomenon appears as anomalous powers in propagators. A schematic renormalized inverse propagator may take the form

$$G^{-1}(p)=p^2\left[1+\gamma\log{\Lambda^2\over p^2}+O(\gamma^2)\right] \sim p^2\left({\Lambda^2\over p^2}\right)^\gamma.$$

A logarithm generated by a loop has exponentiated into a shifted scaling dimension. In ordinary QFT this is anomalous scaling under the renormalization group. In two-dimensional gravity the Liouville mode supplies a geometric version of the same idea.

Summary

The central charge $c$ has several equivalent meanings. It is the coefficient of the fourth-order pole in the stress-tensor OPE, the central term in the Virasoro algebra, the anomalous term in the transformation of $T$, the coefficient of the trace anomaly, and the coefficient of the induced action $R\Box^{-1}R$. These equivalences are a useful compression of a lot of physics.

For a classically Weyl-invariant matter system, and in particular for the Polyakov worldsheet action, the classical Weyl factor is gauge data. Quantum mechanically, after matter is integrated out, a diffeomorphism-invariant regulator leaves behind the trace anomaly. Covariantly the anomaly is encoded by a nonlocal action. In conformal gauge the same action is local and becomes the kinetic term of the Liouville field. If the total central charge cancels, the Weyl factor decouples consistently; if not, it becomes part of the quantum dynamics.

Common pitfalls

The conformal anomaly is not a failure of all coordinate invariance. In the usual formulation one preserves diffeomorphism invariance and sacrifices Weyl invariance. The anomaly appears in the trace, not in the covariant conservation law.

Do not confuse local divergent terms with the anomaly coefficient. Terms proportional to $\Lambda^2$ or to local polynomials in $q$ can be shifted by counterterms. The nonlocal kernel $1/q^2$ cannot be removed that way.

The two-dimensional Einstein–Hilbert action is topological on a closed surface. It does not give a propagating graviton kinetic term. The induced Polyakov action is different: it is nonlocal in covariant form and gives dynamics to the conformal factor after gauge fixing.

The Liouville field is not introduced by hand as an ordinary extra scalar. It is the conformal factor of the metric after quantum gauge fixing. Its background charge and exponential interaction are fixed by anomaly cancellation and by the area term.

The sign of the Liouville kinetic term is convention-sensitive before gauge fixing, Wick rotation, and ghost contributions are fully specified. The invariant statements are the Weyl variation, the total central-charge balance, and the scaling dimensions of physical operators.

Exercises

Exercise 1: Weyl variation of the Polyakov action

Let

$$W_{\rm P}[g]=+{c\over96\pi}\int \sqrt g\,R{1\over \Box}R.$$

Using the Weyl variation

$$\delta_\sigma(\sqrt g R)=-2\sqrt g\,\Box\sigma,$$

show that

$$\delta_\sigma W_{\rm P}[g] =-{c\over24\pi}\int \sqrt g\,\sigma R$$

up to boundary terms and zero-mode subtleties.

Solution

Write

$$\Phi={1\over \Box}R, \qquad \Box\Phi=R.$$

Then

$$W_{\rm P}=+{c\over96\pi}\int \sqrt g\,R\Phi.$$

For an infinitesimal Weyl variation in two dimensions, the essential variation of $\sqrt g R$ is

$$\delta_\sigma(\sqrt g R)=-2\sqrt g\,\Box\sigma.$$

A careful variation must also include the variation of the inverse Laplacian. With the Laplacian convention used in this page, the combined result is

$$\delta_\sigma\int \sqrt g\,R{1\over\Box}R =-4\int \sqrt g\,\sigma R,$$

up to boundary terms and zero-mode subtleties. Equivalently, one can obtain the same result by first putting the metric in conformal gauge and varying the local expression for the Weyl factor.

Therefore

$$\delta_\sigma W_{\rm P} =+{c\over96\pi}(-4)\int \sqrt g\,\sigma R =-{c\over24\pi}\int \sqrt g\,\sigma R.$$

A different sign convention for $\Box$ or for $W$ flips both displayed signs consistently.

Exercise 2: Linearized curvature in conformal gauge

For a small metric perturbation

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

show that the linearized scalar curvature has the form

$$R^{(1)}=\partial_a\partial_bh_{ab}-\partial^2 h$$

up to the overall sign convention for the Riemann tensor. Then specialize to a pure conformal perturbation

$$h_{ab}=2\phi\delta_{ab}$$

and show that $R^{(1)}\propto -\partial^2\phi$.

Solution

The linearized Christoffel symbol is

$$\Gamma^a{}_{bc} ={1\over2}\delta^{ad}\left(\partial_bh_{cd}+\partial_ch_{bd}-\partial_dh_{bc}\right).$$

The linearized Ricci tensor is

$$R^{(1)}_{ab} =\partial_c\Gamma^c{}_{ab}-\partial_b\Gamma^c{}_{ac}.$$

Substituting the Christoffel symbol gives

$$R^{(1)}_{ab} ={1\over2}\left( \partial_c\partial_a h_{bc} +\partial_c\partial_b h_{ac} -\partial^2 h_{ab} -\partial_a\partial_b h \right).$$

Contracting with $\delta^{ab}$ gives

$$R^{(1)}=\partial_a\partial_bh_{ab}-\partial^2h.$$

For $h_{ab}=2\phi\delta_{ab}$ in two dimensions,

$$h=\delta^{ab}h_{ab}=4\phi, \qquad \partial_a\partial_bh_{ab}=2\partial^2\phi.$$

Therefore

$$R^{(1)}=2\partial^2\phi-4\partial^2\phi=-2\partial^2\phi.$$

The opposite Riemann-tensor convention gives the opposite overall sign, but the quadratic induced action is unaffected.

Exercise 3: Fourier transform of the chiral stress-tensor correlator

Use dimensional analysis to explain why the Fourier transform of

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

has the nonlocal chiral structure

$${q_z^4\over q^2} \sim {q_z^3\over q_{\bar z}}$$

up to contact terms.

Solution

The correlator $1/z^4$ has scaling dimension four. In two dimensions the Fourier transform includes $d^2x$, so the resulting momentum-space distribution has dimension two. A purely holomorphic object with four $z$-derivatives must carry four powers of $q_z$ in the numerator.

To reduce the engineering dimension from four to two, the expression must contain one inverse power of $q^2$. Thus the nonlocal part has the form

$${q_z^4\over q^2}.$$

Since $q^2\propto q_zq_{\bar z}$, this is equivalently

$${q_z^3\over q_{\bar z}}.$$

Any ambiguity in the Fourier transform of the singular distribution at $z=0$ is a contact term. Contact terms are polynomials in momenta and do not affect the displayed nonlocal structure.

Exercise 4: Why local counterterms cannot remove the anomaly action

Show that a local counterterm cannot cancel the nonlocal quadratic action

$$\int {d^2q\over(2\pi)^2}\,{R^{(1)}(q)R^{(1)}(-q)\over q^2}.$$

Solution

A local counterterm is an integral of a local scalar built from the metric and finitely many derivatives, for example

$$\int \sqrt g, \qquad \int \sqrt g\,R, \qquad \int \sqrt g\,R^2.$$

Expanding such a term around flat space gives a finite polynomial in the external momentum $q$. For instance, $R^2$ begins as

$$\int R^{(1)}(q)R^{(1)}(-q),$$

which is polynomial because $R^{(1)}$ itself contains two powers of momentum.

The Polyakov term contains

$${1\over q^2}.$$

No finite polynomial in $q$ can cancel this inverse power. Therefore local counterterms can change contact terms and scheme-dependent pieces, but cannot remove the anomaly action.

Exercise 5: Local Liouville kinetics from a nonlocal action

In conformal gauge, take $g_{ab}=e^{2\phi}\delta_{ab}$. Using

$$R=-2e^{-2\phi}\partial^2\phi$$

to leading order, show that the quadratic part of

$$\int \sqrt g\,R{1\over\Box}R$$

is proportional to

$$\int d^2q\,q^2\phi(q)\phi(-q).$$

Solution

To quadratic order in $\phi$, we only need the linearized curvature and the flat inverse Laplacian. The curvature is

$$R^{(1)}=-2\partial^2\phi.$$

In momentum space, with $\partial^2\mapsto -q^2$,

$$R^{(1)}(q)=2q^2\phi(q)$$

up to the overall curvature-sign convention. Since $\Box^{-1}(q)=-1/q^2$ in the convention of this page,

$$\int R{1\over\Box}R \to -\int {d^2q\over(2\pi)^2}\, {R^{(1)}(q)R^{(1)}(-q)\over q^2}.$$

Substituting $R^{(1)}(q)\propto q^2\phi(q)$ gives

$$-\int {d^2q\over(2\pi)^2}\, q^2\phi(q)\phi(-q),$$

up to a positive numerical coefficient. Multiplication by the positive coefficient $c/(96\pi)$ in $W_{\rm P}$ therefore reproduces the negative sign of the conformal-gauge expression above.

Exercise 6: Dressing a matter primary to a marginal vertex

A Liouville exponential $e^{2\alpha\varphi}$ has dimension

$$\Delta_{\rm L}(\alpha)=\alpha(Q-\alpha).$$

A spinless matter primary $\mathcal O$ has chiral weights $(\Delta,\Delta)$. Derive the dressing condition for the integrated operator

$$\int d^2x\sqrt{\hat g}\,\mathcal O e^{2\alpha\varphi}$$

to be marginal.

Solution

An integrated two-dimensional operator must have total conformal dimension $(1,1)$, or total scalar dimension $2$. In the diagonal notation used in the main text, this means that the holomorphic dimension should be $1$.

The matter operator contributes $\Delta$. The Liouville exponential contributes

$$\Delta_{\rm L}(\alpha)=\alpha(Q-\alpha).$$

Therefore marginality requires

$$\Delta+\alpha(Q-\alpha)=1.$$

Solving this quadratic equation determines the possible Liouville dressings. The two roots correspond to the two possible branches of Liouville momentum; physical boundary conditions select the appropriate branch.

References and further reading

A. M. Polyakov, Gauge Fields and Strings, especially Chapter 9, develops random surfaces, conformal gauge, stress tensors, and induced gravitational actions.

A. M. Polyakov, “Quantum geometry of bosonic strings,” Physics Letters B 103 (1981), introduced the induced two-dimensional gravitational action in the string path integral.

V. G. Knizhnik, A. M. Polyakov, and A. B. Zamolodchikov, “Fractal structure of 2D quantum gravity,” Modern Physics Letters A 3 (1988), is the classic source for gravitational dressing and KPZ scaling.

F. David, “Conformal field theories coupled to 2D gravity in the conformal gauge,” Modern Physics Letters A 3 (1988), and J. Distler and H. Kawai, “Conformal field theory and 2D quantum gravity,” Nuclear Physics B 321 (1989), give the conformal-gauge/Liouville formulation.

P. Di Francesco, P. Mathieu, and D. Sénéchal, Conformal Field Theory, Chapters 4–6 and 9, is a systematic reference for the stress tensor, central charge, and minimal models.

J. Polchinski, String Theory, Volume 1, Chapters 2–3, gives the standard string-theory treatment of conformal gauge, ghosts, Weyl anomaly, and Liouville-mode logic.

Further reading

This lesson develops the manuscript’s stress-tensor-polarization route to induced gravity. For maintained reference accounts, see The trace Ward identity and Weyl anomaly and Anomaly-induced and nonlocal actions.