6
$\begingroup$

In his lectures on String Theory (http://www.damtp.cam.ac.uk/user/tong/string.html), Tong gives a proof of the Weyl anomaly, using equation $(4.36)$. It seems wrong to me.

Here he uses the OPE between the stress-energy tensors $T_{zz}T_{ww}$ obtained when trace vanishes, i.e. $T_{z \bar{z}} = 0$: this implies that they are holomorphic functions $T_{zz} = T_{zz}(z)$. But in this proof he starts from the fact that $T_{z \bar{z}} \neq 0$ (we want to proof this thing after all) and so $T_{zz}$ is not a holomorphic function anymore! In the OPE $(4.36)$ I should have also terms with $(\bar{z}- \bar{w})$.

I can't also understand why he uses in the rest of the proof only the singular term $(z-w)^{-4}$, neglecting the other ones $(z-w)^{-2}$, $(z-w)^{-1}$.

(The same proof is given in these lectures https://arxiv.org/abs/1511.04074 on conformal field theory, equation $(6.9)$).

I'll be really thankful if someone could explain me this proof :)

$\endgroup$
4
$\begingroup$

TL;DR. The main point is that Tong only needs to identify the leading singularity in order to determine the Weyl anomaly $$ \langle T^{\alpha}{}_{\alpha}\rangle~=~-\frac{c}{12} R^{(2)}. \tag{4.34} $$ It is indeed unclear how to properly account for subleading terms in Tong's approach.

Let us introduce a regulator $\varepsilon>0$ in the $XX$ OPE

$$ {\cal R} X(z,\bar{z})X(w,\bar{w})~=~-\frac{\alpha^{\prime}}{2} \ln(|z-w|^2+\varepsilon)~+~: X(z,\bar{z})X(w,\bar{w}): \tag{4.22}$$

to better identify the singular structure. The $\partial X\partial X$ OPE becomes:

$$ {\cal R} \partial_zX(z,\bar{z}) \partial_wX(w,\bar{w})~\stackrel{(4.22)}{=}~-\frac{\alpha^{\prime}}{2}\frac{(\bar{z}-\bar{w})^2}{(|z-w|^2+\varepsilon)^2}~+~:\partial_zX(z,\bar{z}) \partial_wX(w,\bar{w}): ~.\tag{4.23}$$

The stress-energy-momentum tensor is

$$ T_{zz}~~=~ -\frac{1}{\alpha^{\prime}} :\partial_zX\partial_zX:~.\tag{4.25} $$

The $TT$ OPE becomes

$$ \begin{align} {\cal R}T_{zz}(z,\bar{z})T_{ww}(w,\bar{w})~\stackrel{(4.23)+(4.25)}{=}&~\frac{c}{2}\frac{(\bar{z}-\bar{w})^4}{(|z-w|^2+\varepsilon)^4} \cr &-\frac{2}{\alpha^{\prime}} \frac{(\bar{z}-\bar{w})^2}{(|z-w|^2+\varepsilon)^2}:\partial_zX(z,\bar{z}) \partial_wX(w,\bar{w}):~+~\ldots. \end{align}\tag{4.28}$$

We next use the energy conservation

$$ \partial_z T_{\bar{z}z} + \partial_{\bar{z}} T_{zz}~=~0 \tag{4.35z}$$

to calculate$^1$

$$ \begin{align} {\cal R}\partial_z T_{z\bar{z}}(z,\bar{z})\partial_wT_{w\bar{w}}(w,\bar{w}) ~\stackrel{(4.35z)}{=}&~{\cal R}\partial_{\bar{z}} T_{zz}(z,\bar{z})\partial_{\bar{w}}T_{ww}(w,\bar{w})\cr ~\stackrel{(4.28)}{=}&~ \partial_{\bar{z}}\partial_{\bar{w}} \left[ \frac{c}{2} \frac{(\bar{z}-\bar{w})^4}{(|z-w|^2+\varepsilon)^4} +\ldots \right] \cr ~=&~\partial_{\bar{w}} \left[ 2c \frac{\varepsilon(\bar{z}-\bar{w})^3}{(|z-w|^2+\varepsilon)^5} +\ldots \right] \cr ~=&~-10c\frac{\varepsilon^2(\bar{z}-\bar{w})^2}{(|z-w|^2+\varepsilon)^6}+4c\frac{\varepsilon(\bar{z}-\bar{w})^2}{(|z-w|^2+\varepsilon)^5}+\ldots \cr ~=&~\frac{c}{12}\partial_z\partial_w\left[\frac{6\varepsilon^2}{(|z-w|^2+\varepsilon)^4}-\frac{4\varepsilon}{(|z-w|^2+\varepsilon)^3}\right]+\ldots \cr ~=&~\frac{c}{12}\partial_z\partial_w\partial_z\partial_{\bar{w}}\frac{\varepsilon}{(|z-w|^2+\varepsilon)^2}+\ldots, \end{align}\tag{4.36}$$

which leads to the sought-for OPE

$$\begin{align} {\cal R}T_{z\bar{z}}(z,\bar{z}) T_{w\bar{w}}(w,\bar{w}) ~\stackrel{(4.36)}{=}&~\frac{c}{12}\partial_z\partial_{\bar{w}}\frac{\varepsilon}{(|z-w|^2+\varepsilon)^2}+\ldots \cr ~\stackrel{(4.2d)}{=}&~\frac{c\pi}{12}\partial_z\partial_{\bar{w}}\delta^2(z\!-\!w,\bar{z}\!-\!\bar{w}) +\ldots . \end{align} \tag{4.38}$$

Here we use the following representation of the 2D Dirac delta distribution$^2$

$$ \delta^2(z\!-\!w,\bar{z}\!-\!\bar{w})~:=~\delta({\rm Re} (z\!-\!w))~\delta({\rm Im} (z\!-\!w))~=~\lim_{\varepsilon\searrow 0^+} \frac{1}{\pi}\frac{\varepsilon}{(|z-w|^2+\varepsilon)^2}. \tag{4.2d}$$

Now proceed as in Tong's notes. $\Box$

References:

  1. D. Tong, Lectures on String Theory; Subsection 4.4.2.

--

$^1$ Tong's trick (4.36) suggests another route: Let us instead consider the $\partial X \bar{\partial}X$ OPE

$$\begin{align} {\cal R} \partial_zX(z,\bar{z}) \partial_{\bar{w}}X(w,\bar{w}) ~=&~{\cal R} \partial_{\bar{z}}X(z,\bar{z}) \partial_wX(w,\bar{w})\cr ~=&~\frac{\alpha^{\prime}}{2}\frac{\varepsilon}{(|z-w|^2+\varepsilon)^2}+\ldots ~\stackrel{(4.2d)}{=}~\frac{\alpha^{\prime}\pi}{2}\delta^2(z\!-\!w,\bar{z}\!-\!\bar{w}) +\ldots. \end{align}$$

It is comforting that the regularization $\varepsilon>0$ correctly predicts that the leading singularity is a 2D Dirac delta distribution. Then the $T\bar{T}$ OPE becomes

$$ {\cal R}T_{zz}(z,\bar{z})T_{\bar{w}\bar{w}}(w,\bar{w}) ~=~\frac{c}{2}\frac{\varepsilon^2}{(|z-w|^2+\varepsilon)^4} +\frac{2}{\alpha^{\prime}} \frac{\varepsilon}{(|z-w|^2+\varepsilon)^2}:\partial_zX(z,\bar{z})\partial_{\bar{w}}X(w,\bar{w}):~+~\ldots. $$

The leading singularity is given by double contractions, which are proportional to the square of the 2D Dirac delta distribution. This is ill-defined, cf. e.g. this Phys.SE post.

Nevertheless, let us now formally apply Tong's trick: Using the energy conservation (4.35z) leads to

$${\cal R}\partial_z T_{z\bar{z}}(z,\bar{z}) \partial_{\bar{w}}T_{w\bar{w}}(w,\bar{w}) ~\stackrel{(4.35z)}{=}~{\cal R}\partial_{\bar{z}} T_{zz}(z,\bar{z})\partial_w T_{\bar{w}\bar{w}}(w,\bar{w}),$$

so that the sought-for OPE leads to the square of the 2D Dirac delta distribution as well

$${\cal R}T_{z\bar{z}}(z,\bar{z}) T_{w\bar{w}}(w,\bar{w}) ~=~\frac{c}{2}\frac{\varepsilon^2}{(|z-w|^2+\varepsilon)^4}+\ldots ~\stackrel{(4.2d)}{=}~\frac{c\pi^2}{2}\delta^2(z\!-\!w,\bar{z}\!-\!\bar{w})^2+\ldots. $$

There might be a way to resolve the square of the 2D Dirac delta distribution, and argue that the leading singularity is given by (4.38), although we shall not pursue the matter here. $\Box$

$^2$ Note that there is a factor of 2 in Tong's definition of the 2D Dirac delta distribution, cf. the end of Section 4.0.1.

$\endgroup$
  • $\begingroup$ I understand that, but what I am wondering is that in the OPE $T_{zz}(z, \bar{z})T_{ww}(w, \bar{w})$ there are other singularities, like $(z-w)^{-2}$ ,and anti-holomorphic pieces (with some singularities I think) that he isn't considering. $\endgroup$ – Weyl Nov 24 '18 at 15:50
  • $\begingroup$ I mean, I see that the OPE $T_{z \bar{z}}(z, \bar{z})T_{w \bar{w}}(w, \bar{w})$ gets modified by contact terms at singularities, but I don't understand the OPE $T_{zz}(z, \bar{z})T_{ww}(w, \bar{w})$ that he uses for the proof. $\endgroup$ – Weyl Nov 24 '18 at 16:06
  • $\begingroup$ Thank you for your answer, but what I don't understand is precisely why he can neglect these subleading terms (i.e. why they don't contribute to equations $(4.38)$, $(4.39)$). $\endgroup$ – Weyl Nov 25 '18 at 16:51
  • $\begingroup$ Oh ok, I think the same. I was asking because I like the way he tries to give the proof and so I was hoping that it was right. On the other hand, other important references give a totally different proof (e.g. Polchinski). Thank you for your help :) $\endgroup$ – Weyl Nov 26 '18 at 19:43
2
$\begingroup$

Ref. 1 has a different proof of the Weyl anomaly

$$ T^{\alpha}_{\alpha}~=~-\frac{c}{12} R^{(2)}, \tag{4.9.8} $$

which we outline in this answer, and which is possibly more convincing than the proofs in Refs. 2 & 3.

Sketched proof of eq. (4.9.8):

  1. We start with a $(1,1)$ Hermitian metric $$\mathbb{g}~=~2g_{z\bar{z}} \mathrm{d}z \odot \mathrm{d}\bar{z}, \qquad g_{zz}~=~0~=~g_{\bar{z}\bar{z}}. \tag{A}$$ The Levi-Civita Christoffel symbols are $$ \Gamma^{z}_{zz}~=~g^{z\bar{z}}\partial_{z} g_{z\bar{z}}, \qquad \Gamma^{\bar{z}}_{\bar{z}\bar{z}}~=~g^{z\bar{z}}\partial_{\bar{z}} g_{z\bar{z}}, \qquad \Gamma(\text{mixed indices})~=~0, \tag{B}$$ i.e. the Levi-Civita connection $\nabla$ is Hermitian.

  2. Under a holomorphic coordinate transformation $$z^{\prime}~=~f(z),\tag{C}$$ the Christoffel symbol does not transform as a tensor $$ \Gamma^{z}_{zz}~\stackrel{(B)+(C)}{=}~f^{\prime}\Gamma^{z^{\prime}}_{z^{\prime}z^{\prime}}+\frac{f^{\prime\prime}}{f^{\prime}}. \tag{D}$$ We construct for later an object $$r_{zz}~:=~ \partial_{z}\Gamma^{z}_{zz} -\frac{1}{2}(\Gamma^{z}_{zz})^2, \tag{E}$$ which transforms with the Schwarzian derivative: $$ r_{zz}~\stackrel{(D)+(E)}{=}~(f^{\prime})^2 r_{z^{\prime}z^{\prime}} +\{f,z\}, \qquad \{f,z\}~:=~\frac{f^{\prime\prime\prime}}{f^{\prime}}-\frac{3}{2} \left(\frac{f^{\prime\prime}}{f^{\prime}}\right)^2.\tag{F}$$ The holomorphic SEM tensor component also transforms with a Schwarzian derivative $$ T_{zz}~=~(f^{\prime})^2 T_{z^{\prime}z^{\prime}} +\frac{c}{12}\{f,z\},\tag{4.9.2} $$ where $$ \partial_{\bar{z}}T_{zz}~=~0. \tag{G} $$ We can therefore define the difference $$\hat{T}_{zz}~:=~T_{zz} - \frac{c}{12}r_{zz},\tag{4.9.3} $$ which transforms as a tensor $$ \hat{T}_{zz}~=~(f^{\prime})^2 \hat{T}_{z^{\prime}z^{\prime}}. \tag{4.9.4}$$

  3. The Ricci curvature tensor is $$ -R_{z\bar{z}}~=~\partial_{\bar{z}}\Gamma^{z}_{zz} ~=~\partial_{z}\Gamma^{\bar{z}}_{\bar{z}\bar{z}}, \qquad R_{zz}~=~0~=~R_{\bar{z}\bar{z}}. \tag{H}$$ The Ricci scalar curvature is $$ R^{(2)}~=~2g^{z\bar{z}}R_{z\bar{z}}.\tag{I} $$ Ignoring a possible cosmological constant $\Lambda$, the trace of the SEM tensor must be proportional to the Ricci scalar $$ T^{\alpha}_{\alpha}~=~A R^{(2)},\tag{4.9.5} $$ or equivalently, $$ \hat{T}_{z\bar{z}}~:=~T_{z\bar{z}}~=~AR_{z\bar{z}}~=~\frac{A}{2}g_{z\bar{z}}R^{(2)}.\tag{4.9.6} $$

  4. From diffeomorphism invariance we have the continuum equation $$ \nabla_{\alpha} \hat{T}^{\alpha\beta} ~=~0.\tag{J}$$ We calculate $$ -\frac{c}{12}g^{z\bar{z}}(\partial_{\bar{z}}\partial_{z}\Gamma^{z}_{zz} -\Gamma^{z}_{zz}\partial_{\bar{z}}\Gamma^{z}_{zz}) ~\stackrel{(E)}{=}~-\frac{c}{12}g^{z\bar{z}}\partial_{\bar{z}}r_{zz} ~\stackrel{(G)+(4.9.3)}{=}~g^{z\bar{z}}\partial_{\bar{z}}\hat{T}_{zz} ~=~\nabla^{z}\hat{T}_{zz}$$ $$~\stackrel{(J)}{=}~-\nabla^{\bar{z}}\hat{T}_{\bar{z}z} ~\stackrel{(4.9.6)}{=}~-\nabla^{\bar{z}}T_{z\bar{z}} ~\stackrel{(4.9.6)}{=}~-\frac{A}{2}\nabla^{\bar{z}}(g_{z\bar{z}}R^{(2)}) ~=~ -\frac{A}{2}\partial_{z}R^{(2)}$$ $$ ~\stackrel{(B)+(I)}{=}~ -Ag^{z\bar{z}}(\partial_{z} - \Gamma^{z}_{zz}) R_{z\bar{z}} ~\stackrel{(H)}{=}~ Ag^{z\bar{z}}(\partial_{z}\partial_{\bar{z}}\Gamma^{z}_{zz} -\Gamma^{z}_{zz}\partial_{\bar{z}}\Gamma^{z}_{zz}) .\tag{4.9.7} $$ We therefore deduce the Weyl anomaly $$ A~\stackrel{(4.9.7)}{=}~-\frac{c}{12}. \tag{K}$$ $\Box$

References:

  1. E. Kiritsis, String Theory in a Nutshell, 2007; Section 4.9. NB: The minus sign in eq. (K) is mentioned in the Errata.

  2. D. Tong, Lectures on String Theory; Subsection 4.4.2.

  3. J. Polchinski, String Theory Vol. 1, 1998; Section 3.4.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.