I come aross an OPE between stress tensor components in CFT which is \begin{equation} T(z)\bar{T}(\bar{w})\sim -\frac{\pi c}{12}\partial_{z}\partial_{\bar{w}}\delta^{(2)}(z-w)+... \end{equation} I am confused about this OPE. Because in general in CFT chial part does not correlated with anti-chiral part, for example in free fermion and boson. So how to derive this OPE?

- 201,751

- 659
-
1Possible duplicate: Weyl anomaly in 2d CFT (string theory lectures by D.Tong). The $T\bar{T}$ OPE is mentioned in a footnote. – Qmechanic Dec 01 '19 at 10:32
-
Here is the OPE of $T\bar{T}$ not OPE of $T_{z\bar{z}}T_{w\bar{w}}$ as in the linked question. So this may not be duplicate. Nevertheless, the linked question is also interest me, thanks! – phys_student Dec 01 '19 at 14:45
-
what is $\partial_{\bar w}\delta(z-w)$? shouldn't this be just $=0$? Also, the l.h.s. is holomorphic in $\bar w$, so how can the r.h.s. be holomorphic in $w$? Perhaps the r.h.s. should be $\partial_{\bar w}\delta(z-\bar w)$ – AccidentalFourierTransform Dec 01 '19 at 16:31
-
I also confused about this. A well known formula is $\partial _z(1/\bar{z})=2\pi\delta^{(2)}(z)$. And I do not know how to compute $\partial _z(1/\bar{z}^2)$. – phys_student Dec 01 '19 at 16:34
-
1What is the expression for the stress energy tensor which is used to compute this OPE? – Bruce Lee Dec 04 '19 at 18:50
-
1where did you see such a OPE? In a lecture note? – Nogueira Dec 05 '19 at 20:01
1 Answers
Regarding OPEs it is assumed that $(z,\bar z)\neq (w,\bar w)$, i.e. that the points does not collide. The OPE is an expansion of $(z,\bar z)$ approaching $(w,\bar w)$, i.e. they are as close as you want, but they never collide. With this in mind is simple to see that the RHS of your equation is just zero, it vanishes. This is so because
$$ (z,\bar z)\neq (w,\bar w)\implies \delta^2(z-w;\bar z-\bar w)=0 $$
by the very definition of delta functions. This is why the holomorphic part never mixes with the anti-holomorphic part. The OPE between these two always involve some kind of anti-holomorphic derivative hitting pairs of fields that are holomorphic up to collisions. The collisions will produce these deltas. But since the points never collide, these deltas will all vanish.
It is important to keeping in mind that these operators are insertions inside some path integral. In path integral does not make sense to put $(z,\bar z)$ on top of $(w,\bar w)$. The only thing that might have sense is to do the limit where one point approach the other, and if there is divergence in this limit an appropriate renormalization is required. In your case, $T(z)$ does not have divergences with $\bar T(\bar w)$ when the points approach each other so no renormalization is required so you are free to define
$$ :T\bar T:(z,\bar z) \equiv \lim_{(w,\bar w)\rightarrow (z,\bar z)}T(w)\bar T(z) $$

- 5,685
-
2
-
1@MannyC Yes, for cases that are not CFTs this composite operator is more interesting and it mixes with the non-zero trace of the energy-momentum tensor. For CFTs however, they are not suppose to have singular OPEs with each other by the reasons I mentioned above. You can see page 7 of the paper you just mentioned, on the top. – Nogueira Jun 06 '21 at 11:20