Question about correlation functions of 2d CFTs

+ 3 like - 0 dislike
287 views

I have a question regarding equation (2.22) in Ginsparg's lecture notes on CFTs. Equation (2.22) is $$\langle T(z) \phi_1(w_1, {\bar w}_1) \cdots \rangle = \sum_{i=1}^n \left( \frac{h_i}{(z-w_i)^2} + \frac{1}{z-w_i} \frac{\partial}{ \partial w_i} \right) \langle \phi_1(w_1, {\bar w}_1) \cdots \rangle$$ Here, $T(z)$ is the stress tensor of the CFT and $\phi_i$ is a primary operator of weight $(h_i,0)$ which transforms under conformal transformations as $$\delta_\epsilon \phi_i = \left( h_i \partial \epsilon + \epsilon \partial \right) \phi_i$$ He derives (2.22) from (2.21) which reads $$\langle \oint \frac{dz}{2\pi i} \epsilon(z) T(z)\phi_1(w_1, {\bar w}_1) \cdots \rangle = \sum_{i=1}^n \langle \phi_1(w_1, {\bar w}_1) \cdots \delta_\epsilon\phi_i(w_i, {\bar w}_i) \cdots \rangle$$ by setting $\epsilon(x) = \frac{1}{x-z}$.

My question is - Is (2.22) correct?

Here are my reasons to believe that it is not -

1. I believe he derives (2.22) from (2.21) by setting $\epsilon(x) = \frac{1}{x-z}$ in (2.21). (2.22) is then derived if the following holds $$\langle \oint \frac{dx}{2\pi i} \frac{T(x)}{x-z} \phi_1(w_1, {\bar w}_1) \cdots \rangle = \langle T(z)\phi_1(w_1, {\bar w}_1) \cdots \rangle$$ This would be true if the integrand on the LHS had only a pole at $x-z$. However, it has also has poles at each $x = w_i$, but those contributions aren't considered.

2. I can try and derive (2.22) in a different way - namely via contractions. I start with the LHS of (2.22) and contract $T(z)$ with each $\phi_i$. Each contraction is replaced with the operator product $$T(z) \phi_i(w_i {\bar w}_i) = \frac{h_i \phi_i(w_i {\bar w}_i) }{ ( z - w_i )^2 } + \frac{ \partial \phi_i(w_i {\bar w}_i) }{ z - w_i } + : T(z) \phi_i(w_i {\bar w}_i) :$$ Again, if I only consider the singular terms, I reproduce the RHS of (2.22). But what about $: T(z) \phi_i(w_i {\bar w}_i) :$?? In a general CFT, conformal normal ordering $:~:$ is not equivalent to creation-annihilation normal ordering ${}^\circ_\circ~{}^\circ_\circ$. The latter would vanish in a correlation function, but not the former. So, I believe in general there would be extra terms on the right of (2.22).

What am I misunderstanding?

This post imported from StackExchange Physics at 2015-01-15 14:03 (UTC), posted by SE-user Prahar

I don't think you should be setting $\epsilon=\frac{1}{x-z}$. Have a look at Tong's string theory notes page 76 and see if it helps...
 Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead. To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL. Please consult the FAQ for as to how to format your post. This is the answer box; if you want to write a comment instead, please use the 'add comment' button. Live preview (may slow down editor)   Preview Your name to display (optional): Email me at this address if my answer is selected or commented on: Privacy: Your email address will only be used for sending these notifications. Anti-spam verification: If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:p$\hbar$y$\varnothing$icsOverflowThen drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds). To avoid this verification in future, please log in or register.