Conformal Anomalies, Liouville Action, and Nonlocal Effective Actions

A background metric couples to the stress tensor, and integrating out matter produces a stress response. In a two-dimensional nonchiral CFT, its universal nonlocal part is controlled by the central charge $c$. This response encodes the Weyl anomaly: a diffeomorphism-preserving quantum definition generally cannot retain the classical trace equation $T^a{}_a=0$. We derive an inverse-Laplacian representative on an admissible domain, treat closed surfaces through a finite Weyl variation, and explain the resulting Liouville and fixed-area dressing formulas.

Required background. Conformal gauge and vacuum polarization supplies the metric-source Hessian, its contact terms, and the normalized CFT stress tensor. The Schwarzian derivative and the Virasoro algebra supplies the central-charge normalization. We use the local conformal-gauge description while keeping boundary data and global moduli explicit.

Stress-tensor polarization and nonlocality

Let $g_{ab}$ be a positive Euclidean two-dimensional metric. We use

$$\begin{gathered} W[g]=-\log Z[g],\qquad \delta W=\frac12\int d^2x\sqrt g\,\langle T_m^{ab}\rangle\delta g_{ab},\\ \Box f=\frac1{\sqrt g}\partial_a(\sqrt g\,g^{ab}\partial_bf). \end{gathered}$$

Thus $\Box$ has eigenvalue $-q^2$ on a flat-space plane wave. For a nonchiral CFT with $c_L=c_R=c$, a diffeomorphism-preserving prescription gives

$$\delta_\sigma W =\int\sqrt g\,\sigma\langle T_m{}^a{}_a\rangle =-\frac{c}{24\pi}\int\sqrt g\,\sigma R, \qquad \delta g_{ab}=2\sigma g_{ab}.$$

Here $R$ uses the inherited curvature convention, positive on a round sphere. This equation refers to the universal anomaly after separating local relevant counterterms and specifying the partition-function normalization. On a closed surface the scalar constant mode requires particular care, addressed below. The equal left/right central charges exclude a gravitational anomaly; an unpaired chiral theory is outside this assumption.

In complex coordinates $z=x^1+ix^2$, $d^2z=dx^1dx^2$, the flat holomorphic stress tensor is $T(z)=2\pi T_{m,zz}$. Its normalization is

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

The central coefficient and corresponding two-point function are fixed by this OPE Di Francesco, Mathieu, and Sénéchal 1997, §5.4, p. 135, Eqs. (5.121)–(5.122).

Writing $g_{ab}=\delta_{ab}+h_{ab}$, the microscopic action starts as

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

With source dependence of the measure included in $S$, the Hessian is

$$W_{ij}=\langle S_{ij}\rangle-\langle S_iS_j\rangle_c.$$

Consequently the connected nonlocal contribution is

$$\begin{gathered} W_2[h]=-\frac18\int\frac{d^2q}{(2\pi)^2} h_{ab}(q)\Pi^{ab,cd}(q)h_{cd}(-q)+W_{2,\mathrm{local}}[h], \\ \Pi^{ab,cd}=\langle T_m^{ab}T_m^{cd}\rangle_c. \end{gathered}$$

The local term includes the second metric variation and other contact terms. If the background tadpole vanishes, diffeomorphism invariance makes the full Hessian transverse. After local momentum polynomials are removed, a chosen nonlocal representative may have a polynomial divergence canceled by those contacts; it need not be transverse by itself. This distinction is visible in the matter-polarization construction Polyakov 1987, §9.6, pp. 185–188, Eqs. (9.156)–(9.172).

To see the nonlocal structure directly, define

$$q_z=\frac{q_1-iq_2}{2},\qquad q_{\bar z}=\frac{q_1+iq_2}{2},\qquad q^2=4q_zq_{\bar z}.$$

The forward Fourier phase is $e^{+iq\cdot x}$, so $\partial_z\mapsto-iq_z$. Extend the singular powers by derivatives of $1/z$, using $\bar\partial(1/z)=\pi\delta^{(2)}(x)$. Then

$$\frac1{z^4}=-\frac16\partial_z^3\frac1z, \qquad \mathcal F\left[\frac{c}{2z^4}\right] =\frac{\pi c}{12}\frac{q_z^3}{q_{\bar z}} =\frac{\pi c}{3}\frac{q_z^4}{q^2}.$$

Exercise 3 gives the coefficient. Other local extensions add contact polynomials. The ratio is nonanalytic as a tensor-valued function at $q=0$; for real Euclidean momentum $q_{\bar z}=0$ only there. Its denominator alone does not establish a physical massless particle pole. The essential distinction is that a local counterterm supplies a polynomial, whereas this stress response has a nonlocal part.

Linearized curvature and an admissible Polyakov action

The linearized scalar curvature around flat space is

$$R^{(1)}=\partial_a\partial_bh_{ab}-\partial^2h, \qquad R^{(1)}(q)=q^2h(q)-q_aq_bh_{ab}(q), \qquad h=\delta^{ab}h_{ab}.$$

For an unabsorbed coordinate parameter the Fourier variation is

$$\delta h_{ab}=-i(q_a\epsilon_b+q_b\epsilon_a).$$

The two terms in $\delta R^{(1)}$ cancel. The universal nonlocal quadratic structure can therefore be written as $R^{(1)}(q)R^{(1)}(-q)/q^2$. Polyakov’s linear curvature in Eq. (9.170) has the opposite overall sign; the quadratic curvature expression is unchanged by that translation Polyakov 1987, §9.6, pp. 188–189, Eqs. (9.170)–(9.177).

On a domain admitting the specified inverse, define the anomaly representative

$$W_{\rm P}[g]=\frac{c}{96\pi}\int\sqrt g\,R\Box^{-1}R.$$

Equivalently it is $-c/(96\pi)\int\sqrt g\,R\Delta^{-1}R$ for the positive operator $\Delta=-\Box$. This inverse requires more than a formal symbol. For a concrete example, take a smooth bounded domain with Dirichlet inverse and

$$\Phi=\Box_D^{-1}R,\qquad \Box\Phi=R,\qquad \Phi|_{\partial M}=0.$$

Restrict the Weyl variation $\sigma$ to compact support in the interior. Boundary geometry is unchanged, and integrations by parts below have no surface term. A plane version instead needs a decay and range prescription ensuring that the inverse is unique. Neither prescription is the compact zero-mode projection discussed next.

For a scalar of Weyl weight zero,

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

Differentiate $\Box\Phi=R$. The terms $-2\sigma R$ cancel, leaving $\Box\delta\Phi=-2\Box\sigma$. The fixed Dirichlet data and uniqueness give $\delta\Phi=-2\sigma$. Hence

$$\begin{aligned} \delta_\sigma\int\sqrt g\,R\Phi &=-2\int\sqrt g\,(\Box\sigma)\Phi -2\int\sqrt g\,R\sigma\\ &=-4\int\sqrt g\,\sigma R, \end{aligned}$$

and $\delta_\sigma W_{\rm P}=-c/(24\pi)\int\sqrt g\,\sigma R$. This is the interior Weyl response of the stated representative. It does not specify all boundary terms of a full boundary CFT partition function.

Closed surfaces, zero modes, and finite Weyl variation

On a connected closed surface the constant function lies in the kernel of $\Box$. The projected inverse acts only on mean-zero functions. Merely replacing $R$ by $R-\bar R$, with $\bar R=A^{-1}\int\sqrt gR$, loses the constant Weyl response. On a round sphere of radius $r$,

$$R=\frac2{r^2},\qquad A=4\pi r^2,\qquad R-\bar R=0.$$

The bare projected quadratic expression is therefore zero at every radius, whereas the local anomaly requires $dW/d\log r=-c/3$. It cannot be the complete normalized compact partition functional.

The closed-surface answer is obtained without this inverse ambiguity. Fix a reference metric $\hat g$ and write $g=e^{2\phi}\hat g$. Along $g_t=e^{2t\phi}\hat g$,

$$\sqrt{g_t}R[g_t]=\sqrt{\hat g}(\hat R-2t\hat\Box\phi).$$

Integrating the anomaly from $t=0$ to $1$ gives

$$\begin{aligned} W[e^{2\phi}\hat g]-W[\hat g] &=-\frac{c}{24\pi}\int\sqrt{\hat g} (\hat R\phi-\phi\hat\Box\phi)\\ &=-\frac{c}{24\pi}\int\sqrt{\hat g} \big[(\hat\nabla\phi)^2+\hat R\phi\big]. \end{aligned}$$

This is the finite Weyl cocycle of an anomaly-normalized CFT functional at fixed topology. Successive Weyl factors compose because the curvature transformation supplies the cross-gradient term. The anomaly does not determine $W[\hat g]$ or Weyl-invariant dependence on moduli. For constant $\phi=\log(r/r_0)$ on a sphere it gives exactly

$$W(r)-W(r_0)=-\frac c3\log(r/r_0).$$

A real free scalar makes the normalization issue explicit. Let $\det'\Delta$ omit the constant eigenfunction, with one fixed determinant scale and field-measure convention. Its closed-surface determinant formula is

$$\log\frac{\det'\Delta_g/A_g}{\det'\Delta_{\hat g}/A_{\hat g}} =-\frac1{12\pi}\int\sqrt{\hat g} \big[(\hat\nabla\phi)^2+\hat R\phi\big].$$

This follows from the area-one formula and scaling law in Sarnak 1990, §1, pp. 603–605, Eqs. (1.2)–(1.10), PDF, with his height $-\log\det'\Delta$ and Gaussian curvature $K=R/2$. Define the metric-independent field volume $V_0=\int d\phi_0$ using a fixed field-value range. Since the normalized constant-mode coefficient is $a_0=\sqrt A\,\phi_0$, the path-integral factor is $\int da_0=\sqrt A\,V_0$; dividing by $V_0$ leaves $\sqrt A$ in $Z$. Thus

$$W_{\rm det}=\frac12\log\det'\Delta, \qquad W_{\rm CFT}=\frac12\log\frac{\det'\Delta}{A} =W_{\rm det}-\frac12\log A.$$

Under a constant Weyl rescaling, their variations are respectively $(1-\chi/6)\sigma$ and $-\chi\sigma/6$. The latter realizes the $c=1$ cocycle. The choice of zero-mode normalization is part of the partition function, not a discrepancy in the anomaly. This scalar determinant example does not define a general interacting CFT.

Local terms and the conformal factor

The ultraviolet part of $\langle TT\rangle$ also contains local terms. In momentum space these are polynomials; in position space they are derivatives of delta functions. The available local geometric counterterms begin with

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

The first weights the area. On a closed surface the second is topological, $\int\sqrt gR=4\pi\chi$, and its metric variation vanishes because $R_{ab}-\tfrac12g_{ab}R=0$. Higher-curvature terms contain more derivatives. No finite local counterterm can cancel the nonanalytic quadratic response for arbitrary metric perturbations. A restriction to conformal gauge is different: locality in the chosen Weyl variable does not make the functional local in an arbitrary metric.

For a flat reference and compactly supported $\phi$ with the inverse prescription above,

$$R=-2e^{-2\phi}\partial^2\phi, \qquad \Box=e^{-2\phi}\partial^2, \qquad \Box^{-1}R=-2\phi.$$

Consequently

$$\int\sqrt g\,R\Box^{-1}R=-4\int(\partial\phi)^2, \qquad W_{\rm P}[e^{2\phi}\delta]-W_{\rm P}[\delta] =-\frac{c}{24\pi}\int(\partial\phi)^2.$$

The same result follows from $R^{(1)}(q)=2q^2\phi(q)$ and $\Box^{-1}(q)=-1/q^2$. Massless conformal matter thus induces a response at arbitrarily small momenta, whereas a gapped matter determinant permits a local derivative expansion on scales well below its gap. The preceding lesson develops the electromagnetic comparison; no second polarization calculation is needed here.

The matter-induced coefficient is negative for $c>0$ in these declared conventions. It is not yet the kinetic coefficient of the full quantum gravity path integral: ghosts, the Liouville measure, and the contour of integration must also be specified.

Majorana fermions and the metric source

For a unit-normalized holomorphic Majorana field take

$$S_0=\frac1{2\pi}\int d^2z\,\psi\bar\partial\psi, \qquad K=\frac{\bar\partial}{\pi}, \qquad G(z,w)=K^{-1}(z,w)=\frac1{z-w}.$$

The factor follows by writing the Grassmann action as $\tfrac12\psi K\psi$. The stress tensor is $T=-\tfrac12:\!\psi\partial\psi\!:$; these are the $g=1/(2\pi)$ specialization of Di Francesco, Mathieu, and Sénéchal 1997, §5.3.2, pp. 130–132, Eqs. (5.88), (5.93), (5.97), and (5.100). Their canonical stress has the opposite sign to $T_m$, so their $T=-2\pi T_{{\rm can},zz}$ agrees with our $T=2\pi T_{m,zz}$.

For $r=z-w$, the connected Wick contractions give

$$\begin{aligned} \langle T(z)T(w)\rangle_c &=\frac14[-G\partial_z\partial_wG+(\partial_wG)(\partial_zG)]\\ &=\frac14\left(\frac2{r^4}-\frac1{r^4}\right) =\frac1{4r^4}. \end{aligned}$$

Comparison with $c/(2r^4)$ gives $c=1/2$. A full nonchiral Majorana theory has the matching antiholomorphic value and fits the diffeomorphism-invariant anomaly calculation. An unpaired chiral fermion does not.

For the geometric perturbation $h_{\bar z\bar z}$, raising both indices in the flat complex metric gives $T_m^{\bar z\bar z}=4T_{m,zz}$. Thus the first-order metric coupling is

$$\delta S=\frac12\int d^2z\,h_{\bar z\bar z}T_m^{\bar z\bar z} =\frac1\pi\int d^2z\,h_{\bar z\bar z}T(z).$$

The stress vertex contains one derivative, not two. Antisymmetrizing the two Grassmann momenta in the Fourier transform gives

$$T(q)=\frac i4\int\frac{d^2p}{(2\pi)^2} (q-2p)_z\psi(p)\psi(q-p).$$

Two such vertices and the propagators reproduce the same chiral nonlocal structure. The explicit Wick calculation already fixes its normalization, without a schematic loop numerator or an additional regularization-dependent loop calculation.

Quantum Liouville theory

When the metric is dynamical, conformal gauge introduces the reparameterization $bc$ ghosts. Their stress OPE has leading coefficient $-13$, hence $c_{\rm gh}=-26$ Di Francesco, Mathieu, and Sénéchal 1997, §5.3.3, p. 134, Eq. (5.117). Matter of central charge $c_m$ and these ghosts contribute $c_m-26$ before the conformal-factor measure is included. The critical condition $c_m=26$ cancels this local anomaly; global and quantum consistency require further checks.

For the ordinary spacelike Liouville description, take $b>0$, $\mu>0$ and a specified definition of correlation functions, including their zero mode. The canonically normalized quantum field $\varphi$ has action

$$S_L=\frac1{4\pi}\int d^2x\sqrt{\hat g} \left[(\hat\nabla\varphi)^2+Q\hat R\varphi+4\pi\mu e^{2b\varphi}\right].$$

The renormalized area density is $e^{2b\varphi}$. Its marginality and the quantum central charge are

$$Q=b+b^{-1},\qquad c_L=1+6Q^2.$$

These are quantum Liouville relations, not consequences of simply rescaling the classical Weyl factor $\phi$. In particular the fluctuating scalar contributes the additional $1$ to $c_L$. The displayed curved-reference action is the covariant background-charge extension of the cylinder/annulus normalization in Teschner 2001, arXiv v3, pp. 9–10, Eqs. (16) and (18), PDF. The quantum charge, central charge and exponential weights use Teschner 2001, arXiv v3, pp. 7 and 38, Eqs. (3) and (124), PDF.

For matter coupled to this Liouville sector, local anomaly cancellation requires

$$c_m+c_L-26=0, \qquad Q^2=\frac{25-c_m}{6}.$$

Choose $0<b\leq1$ for the branch used below. Then $Q\geq2$ and $c_m\leq1$. The range $1<c_m<25$ cannot be described by this real spacelike coupling, and $c_m>25$ makes $Q$ imaginary. A timelike or other complex continuation requires its own contour and state prescription; it is not automatically a convergent real Euclidean integral. The ordinary coupling scope is explicit in Teschner 2001, arXiv v3, p. 2, PDF.

Even for $b,\mu>0$, convergence depends on insertions. On a sphere, separating the constant field $\varphi_0$ gives a zero-mode integral proportional to

$$\int d\varphi_0\, \exp\!\left[-\mu A_{\rm osc}e^{2b\varphi_0} +2\Big(\sum_i\alpha_i-Q\Big)\varphi_0\right], \qquad A_{\rm osc}>0.$$

The weak-potential end requires $\operatorname{Re}\sum_i\alpha_i>Q$. This is one convergence condition, not a complete construction of the theory; other insertions can be defined by an explicitly specified analytic continuation Teschner 2001, arXiv v3, p. 10, §3.3, and p. 16, Eq. (50), PDF.

Gravitational dressing and fixed-area scaling

A spinless matter primary $\mathcal O$ of weights $(\Delta,\Delta)$ can be dressed by a Liouville exponential:

$$\mathcal V_\alpha=\mathcal O e^{2\alpha\varphi}, \qquad \Delta_L(\alpha)=\alpha(Q-\alpha).$$

The integrated vertex has weights $(1,1)$ when

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

The weight formula uses the same Liouville normalization Teschner 2001, arXiv v3, p. 7, Eq. (3), PDF. For example, minimal matter theories have $c_m=1-6(p-p')^2/(pp')$ for coprime integers $p'>p\geq2$, as in the preceding minimal-model lessons.

To define the gravitational exponent, work at fixed renormalized area

$$A=\int\sqrt{\hat g}\,e^{2b\varphi}.$$

The scaling $A\mapsto\lambda A$ shifts $\varphi_0$ by $\log\lambda/(2b)$. Each integrated dressed insertion acquires the factor $\lambda^{\alpha/b}$ after the partition function’s common area dependence is removed. Define its area-scaling weight by

$$1-\Delta_{\rm grav}=\frac\alpha b.$$

Equivalently, a coupling $u$ multiplying this insertion appears through $uA^{1-\Delta_{\rm grav}}$; preserving that combination under $A\mapsto\lambda A$ requires $u\mapsto\lambda^{-(1-\Delta_{\rm grav})}u$. Selection rules may make a particular correlation function vanish, so the scaling weight is not a claim that every one-point function is nonzero.

On the branch continuous from the dressed identity, take

$$b=\frac{Q-\sqrt{Q^2-4}}2, \qquad \alpha=\frac{Q-\sqrt{Q^2-4+4\Delta}}2.$$

For $c_m\leq1$ and $1-c_m+24\Delta\geq0$, substitution yields the Knizhnik–Polyakov–Zamolodchikov exponent in this fixed-area convention:

$$\begin{aligned} \Delta_{\rm grav} &=\frac{\sqrt{Q^2-4+4\Delta}-\sqrt{Q^2-4}} {Q-\sqrt{Q^2-4}}\\ &=\frac{\sqrt{1-c_m+24\Delta}-\sqrt{1-c_m}} {\sqrt{25-c_m}-\sqrt{1-c_m}}. \end{aligned}$$

The checks are $\Delta=0\Rightarrow\alpha=b,\ \Delta_{\rm grav}=0$ and $\Delta=1\Rightarrow\alpha=0,\ \Delta_{\rm grav}=1$. Thus $0\leq\Delta\leq1$ is a simple relevant-to-marginal range of the real branch. This derivation uses the quantum Liouville weight and zero-mode scaling; it does not establish a nonperturbative random-surface measure.

The second quadratic root is $Q-\alpha$. In ordinary Liouville theory the exponential operators satisfy a reflection relation $V_\alpha=\mathcal R(\alpha)V_{Q-\alpha}$, with the appropriate analytic definition. They are not generically two independent operators chosen by boundary conditions Teschner 2001, arXiv v3, p. 16, Eq. (47), and p. 42, §11.2, PDF. Exponential insertions and normalizable Hilbert-space states also have different domains. Keeping these distinctions prevents an algebraic dressing equation from being mistaken for a complete spectrum construction.

Summary

The stress OPE, the Virasoro central term, and the Weyl anomaly encode the same central charge once their normalizations are fixed. An inverse-Laplacian representative reproduces the anomaly under its stated boundary and range conditions; a closed-surface partition function needs its reference-metric cocycle and zero-mode normalization. In conformal gauge that response is local in the Weyl factor. Quantum Liouville theory then includes additional measure and ghost information, and its exponential weights determine the fixed-area dressing exponents.

Common pitfalls

Discarding contacts before imposing a Ward identity. Exact transversality belongs to the contact-completed Hessian at a zero-tadpole background. A nonlocal representative can have a local divergence.

Using a projected inverse as the whole compact partition function. The sphere’s constant curvature is removed by that projection, but its constant Weyl anomaly is nonzero. The finite cocycle and the determinant’s area factor retain the missing information.

Identifying all conformal-factor actions. The matter-induced term, the classical metric parametrization, and the canonically normalized quantum Liouville action are different objects. Their signs and coefficients cannot be interchanged before the measure, ghosts, and contour are specified.

Reading two dressing roots as two physical states. Reflection and insertion domains constrain this interpretation. The fixed-area exponent also requires a stated branch and a definition of what scales with area.

Exercises

Exercise 1: Weyl variation of the Polyakov action

Use the smooth bounded Dirichlet domain above, with $\sigma$ compactly supported in its interior. For

$$W_{\rm P}[g]=\frac{c}{96\pi}\int\sqrt g\,R\Box_D^{-1}R,$$

derive the inverse variation explicitly and show that $\delta_\sigma W_{\rm P}=-c/(24\pi)\int\sqrt g\,\sigma R$.

Solution

Write $\Phi=\Box_D^{-1}R$, so $\Box\Phi=R$ and $\Phi$ has zero boundary data. Vary this equation:

$$-2\sigma\Box\Phi+\Box\delta_\sigma\Phi =-2\sigma R-2\Box\sigma.$$

Since $\Box\Phi=R$, this reduces to $\Box(\delta_\sigma\Phi+2\sigma)=0$. The term in parentheses vanishes at the boundary, so uniqueness of the Dirichlet problem gives $\delta_\sigma\Phi=-2\sigma$. Therefore

$$\begin{aligned} \delta_\sigma\int\sqrt g\,R\Phi &=-2\int\sqrt g\,(\Box\sigma)\Phi-2\int\sqrt g\,R\sigma\\ &=-2\int\sqrt g\,\sigma\Box\Phi-2\int\sqrt g\,R\sigma\\ &=-4\int\sqrt g\,\sigma R. \end{aligned}$$

Multiplication by $c/(96\pi)$ gives the required anomaly. No boundary term remains under the stated hypotheses. The proof cannot be transferred unchanged to a metric-dependent compact zero-mode projector.

Exercise 2: Linearized curvature in conformal gauge

With the inherited Riemann convention, linearize $g_{ab}=\delta_{ab}+h_{ab}$ and prove

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

Then set $h_{ab}=2\phi\delta_{ab}$ in two dimensions and obtain the exact coefficient of $\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 $\bar\partial(1/z)=\pi\delta^{(2)}$, $z^{-4}=-(1/6)\partial_z^3(z^{-1})$, the declared forward-positive transform, and $q^2=4q_zq_{\bar z}$ to derive the nonlocal transform of $c/(2z^4)$. Check its engineering dimension.

Solution

The delta-function identity gives $-iq_{\bar z}\mathcal F[1/z]=\pi$, hence $\mathcal F[1/z]=i\pi/q_{\bar z}$ away from zero momentum in the prescribed distributional extension. Applying the three derivatives gives

$$\mathcal F\left[\frac{c}{2z^4}\right] =-\frac c{12}(-iq_z)^3\frac{i\pi}{q_{\bar z}} =\frac{\pi c}{12}\frac{q_z^3}{q_{\bar z}} =\frac{\pi c}{3}\frac{q_z^4}{q^2}.$$

The position-space correlator has dimension four and the two-dimensional Fourier measure has dimension minus two, leaving dimension two. Both momentum ratios have that dimension and retain the chiral spin dependence. Dimensional analysis alone would not fix their coefficient. Changing the local extension at $z=0$ adds contact terms, whose Fourier transforms are polynomials; it does not remove the displayed nonlocal structure.

Exercise 4: Why local counterterms cannot remove the anomaly action

For arbitrary small metric perturbations, show that a local counterterm with finitely many derivatives cannot cancel the nonlocal quadratic action

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

The statement concerns the full metric functional, not its restriction to conformal perturbations.

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.

For an explicit tensor component, take only $h_{11}$ nonzero. Then $R^{(1)}=q_2^2h_{11}$ and its quadratic kernel is $q_2^4/(q_1^2+q_2^2)$, which is not a polynomial in the two components. Restricting to $h_{ab}=2\phi\delta_{ab}$ instead produces a local expression in $\phi$ without supplying a local covariant counterterm for general $h$.

Exercise 5: Local conformal-factor kinetics

Take $g_{ab}=e^{2\phi}\delta_{ab}$ with smooth $\phi$ compactly supported in the plane and the inverse prescription yielding $\Box^{-1}R=-2\phi$. Using $R=-2e^{-2\phi}\partial^2\phi$, compute the exact numerical coefficient in the quadratic action $\int\sqrt g\,R\Box^{-1}R$. For $c>0$, determine the sign after multiplication by $c/(96\pi)$.

Solution

At quadratic order only the linearized curvature and flat inverse are needed:

$$R^{(1)}=-2\partial^2\phi, \qquad R^{(1)}(q)=2q^2\phi(q), \qquad \Box^{-1}(q)=-\frac1{q^2}.$$

Thus

$$\begin{aligned} \left[\int\sqrt g\,R\Box^{-1}R\right]_2 &=-\int\frac{d^2q}{(2\pi)^2} \frac{(2q^2\phi(q))(2q^2\phi(-q))}{q^2}\\ &=-4\int\frac{d^2q}{(2\pi)^2}q^2\phi(q)\phi(-q) =-4\int d^2x\,(\partial\phi)^2. \end{aligned}$$

The exact conformal-gauge identity $\Box^{-1}R=-2\phi$ gives the same result by integration by parts. Therefore $W_{{\rm P},2}=-c/(24\pi)\int(\partial\phi)^2$, negative for real nonconstant $\phi$ and $c>0$. This is the matter-induced term, not the complete ghost-plus-Liouville kinetic coefficient.

Exercise 6: Dressing a matter primary

In the spacelike branch $0<b\leq1$, let $Q=b+b^{-1}$ and let $\mathcal O$ have weights $(\Delta,\Delta)$ in the real-radicand range above. Derive the marginality condition for $\int\sqrt{\hat g}\,\mathcal Oe^{2\alpha\varphi}$, state the relation between the two roots, and determine the fixed-area exponent on the branch continuous from $\Delta=0$.

Solution

An integrated two-dimensional operator must have weights $(1,1)$. The matter contribution is $\Delta$ and the Liouville contribution is $\alpha(Q-\alpha)$, so

$$\Delta+\alpha(Q-\alpha)=1, \qquad \alpha_\pm=\frac{Q\pm\sqrt{Q^2-4+4\Delta}}2.$$

The roots sum to $Q$ and are related by Liouville reflection, rather than generically defining two independent operators. Choosing $\alpha_-$ gives $\alpha=b$ for the identity. Under $A\mapsto\lambda A$, the zero mode shifts by $\log\lambda/(2b)$, and the integrated insertion acquires $\lambda^{\alpha_-/b}$. Hence

$$\Delta_{\rm grav}=1-\frac{\alpha_-}{b} =\frac{\sqrt{1-c_m+24\Delta}-\sqrt{1-c_m}} {\sqrt{25-c_m}-\sqrt{1-c_m}}.$$

The identity and marginal limits give $0$ and $1$, respectively. These are fixed-area scaling weights under the stated insertion/continuation prescription, not a complete normalizable-state spectrum.

References

• Di Francesco, P., P. Mathieu, and D. Sénéchal. Conformal Field Theory. Springer, 1997. DOI: 10.1007/978-1-4612-2256-9.
• Polyakov, A. M. Gauge Fields and Strings. Contemporary Concepts in Physics, Vol. 3. Harwood Academic Publishers, 1987. DOI: 10.1201/9780203755082.
• Sarnak, P. “Determinants of Laplacians; Heights and Finiteness.” In Analysis, et cetera, edited by P. H. Rabinowitz and E. Zehnder, 601–622. Academic Press, 1990. Author-hosted open PDF.
• Teschner, J. “Liouville Theory Revisited.” Classical and Quantum Gravity 18 (2001): R153–R222. DOI: 10.1088/0264-9381/18/23/201. Open PDF: arXiv:hep-th/0104158v3, revised 9 November 2001; printed preprint page labels are used above.