# How to do the first OPE in Polchinski?

+ 1 like - 0 dislike
1927 views

I can't get the first OPE in Polchinski's String Theory book. It is $$:\partial X^\mu(z)\partial X_\mu(z)::\partial'X^\nu(z')\partial'X_\nu(z'):=:\partial X^\mu(z)\partial X_\mu(z)\partial'X^\nu(z')\partial'X_\nu(z'):$$ $$-4\cdot \frac{\alpha'}{2}(\partial\partial'\ln|z-z'|^2):\partial X^\mu(z)\partial' X_\mu(z'):+2\cdot\eta^\mu_{\;\mu}\left(-\frac{\alpha'}{2}\partial\partial'\ln|z-z'|^2\right)^2$$ $$\sim\frac{D\alpha'^2}{2(z-z')^4}-\frac{2\alpha'}{(z-z')^2}:\partial' X^\mu(z')\partial' X_\mu(z'):-\frac{2\alpha'}{z-z'}:\partial'^2 X^\mu(z')\partial'X_\mu(z'):$$ I can see how the first equality comes about from Eq. (2.2.9) and Polchinski's hint. However, I don't know how to get part of the asymptotic. Thanks to Prahar I got the first term. I definitely don't know how to get the other terms. I'm not really sure how to make use of his hint to Taylor expand. So if you want to just give a hint, that's fine, just please don't tell me to Taylor expand ;)

Any help would be greatly appreciated.

This post imported from StackExchange Physics at 2015-02-01 13:24 (UTC), posted by SE-user 0celo7
retagged Feb 1, 2015

Related: this question and links therein.

This post imported from StackExchange Physics at 2015-02-01 13:24 (UTC), posted by SE-user Qmechanic

@Prahar: Cool! How about $:\partial X^\mu(z)\partial X_\mu(z)\partial'X^\nu(z')\partial'X_\nu(z'):$?

This post imported from StackExchange Physics at 2015-02-01 13:24 (UTC), posted by SE-user 0celo7
@0celo7 - I can't tell you everything. The only thing you really have to do is to Taylor expand all functions around $z = z'$ and keep only the singular terms. Once you do that, you will correctly reproduce Polchinski's formula.

This post imported from StackExchange Physics at 2015-02-01 13:24 (UTC), posted by SE-user Prahar
@Prahar: How do I know which terms are singular? If I Taylor (not Laurent) expand, how can any terms be singular? After all, aren't they all polynomials?

This post imported from StackExchange Physics at 2015-02-01 13:24 (UTC), posted by SE-user 0celo7
@0celo7 - Because each term is multiplied by factors of the form $\frac{1}{(z-z')^n}$ which for $n > 0$ are singular.

This post imported from StackExchange Physics at 2015-02-01 13:24 (UTC), posted by SE-user Prahar
 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$ysicsOverflo$\varnothing$Then 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.