I would like to know how does Polchinski in his book "derive" what is the "tachyon vertex operator" (..as say stated in equation 3.6.25, 6.2.11..) I can't locate a "derivation" of the fact that $:e^{ikX}:$ is the tachyon vertex operator.
(..I understand that it follows from some application of the state-operator map but I can't put it together..)
And then what is the meaning of the ``higher vertex operators" - which are of the form of arbitrary number of either operators of the above kind or the derivatives of $X$ w.r.t either $z$ or $\bar{z}$. (..like in equation 6.2.18..)
-
2$\begingroup$ I wonder if someone could make the question (v1) and answers more self-contained, preferably so one doesn't have to open Polchinski's book? $\endgroup$– Qmechanic ♦Commented Dec 6, 2012 at 10:30
-
$\begingroup$ Yes please @user6818, put the equations in, I dont have a Polchinski book ... :-/ $\endgroup$– DilatonCommented Apr 2, 2013 at 17:28
2 Answers
Firstly, I would like to figure out this: $$\left[\hat{p}^{\mu},\exp(ikx)\right]=\left[\hat{p}^{\mu},\sum_{n=0}^{\infty}\frac{1}{n!}(ik\hat{x})^{n}\right]=\sum_{n=0}^{\infty}\frac{1}{n!}\left[\hat{p}^{\mu},(ik\hat{x})^{n}\right]$$ As we can see, for $n=0$, $\left[\hat{p}^{\mu},(ik\hat{x})^{n}\right]$ gives zero. So in the following cases I'll solve the problem for the case in which n is not zero. $$\left[\hat{p}^{\mu},(ik\hat{x})\right]=ik_{\nu}\left[\hat{p}^{\mu},\hat{x}^{\nu}\right]=k^{\mu}$$ $$\left[\hat{p}^{\mu},(ik\hat{x})^{n}\right]=nk^{\mu}(ik\hat{x})^{n-1}$$ Now, replacing these results in the first equation: $$\left[\hat{p}^{\mu},\exp(ikx)\right]=\sum_{n=1}^{\infty}\frac{1}{(n-1)!}k^{\mu}(ik\hat{x})^{n-1}=k^{\mu}\exp(ik\hat{x})$$ A second point it's the following: $$\hat{p}^{\mu}\exp(ik\hat{x})|0,0>=\exp({ik\hat{x}})\hat{p}^{\mu}|0,0>+k^{\mu}\exp({ik\hat{x}})|0,0>$$ $$\hat{p}^{\mu}\exp(ik\hat{x})|0,0>=k^{\mu}\exp({ik\hat{x}})|0,0>$$ Now, I would like to identify the state $\exp(ik\hat{x})|0,0>$ as $|0,k>$, by obvious reasons.
To end, Polchinski wrote in his book the following:
Any state can be obtained from $|0,0>$ by acting with the operators $\alpha^{\mu}_{-m},\tilde{\alpha}^{\mu}_{-m},x^{\mu}_{0}$. The operator corresponding to this state is then given by the : : normal-ordered product of the corresponding local operators.
The corresponding operators are on the book, what you only need to know to solve this problem is the corresponding operator for $x^{\mu}_{0}$ is $X^{\mu}(0,0)$.
Therefore, the corresponding operator to the state $|0,k>$ is $:e^{ikX(0,0)}:$
Polchinski explains the state-operator correspondence in section 2.8, in particular equations 2.8.3, 2.8.4, and 2.8.9.
What you call "higher vertex operators" create multiple particles (if there are multiple exponential vertex operators) with higher spin (if there are extra derivatives multiplying the exponentials).
-
$\begingroup$ That was kind of my question :) Equation 2.8.3 and 2.8.4 are just definitions and I guess that the LHS of 2.8.9 is the same state as defined in open strings through 1.3.27. Now from that how does the equality of 2.8.9 follow? What is the derivation of that and why is it tachyonic? (..I presume that the tachyonic nature follows if the notation of $|0;k>$ follows the same state as described as the lightest bosonic open strings as in equation 1.3.38..) Though there does seem to be a need to derive 2.8.9 - but unlike these 3.6.1 and 3.6.25 are talking of "closed" strings.. $\endgroup$– user6818Commented Dec 7, 2012 at 23:39
-
2$\begingroup$ @user6818: Ugh. We need to start latexing equations into the posts, to make them self-contained. It's painful to have a discussion while referring to a book that I keep in a different window. Can you go back through the post and latex the equations in? $\endgroup$– user1504Commented Dec 9, 2012 at 14:13