Problem 14.5a1

Posted on by

Counting states in heterotic SO(32) string theory | A First Course in String Theory

.

(a) Consider the left NS’ sector. Write the precise mass-squared formula with normal-ordered oscillators and the appropriate normal-ordering constant.

~~~

.

\displaystyle{\alpha' M_L^2 = \frac{1}{2} \sum_{n \ne 0} \bar \alpha_{-n}^I \bar \alpha_n^I + \frac{1}{2} \sum_{r \in \mathbf{Z} + \frac{1}{2}}r \lambda_{-r}^A \lambda_r^A}

.

What is normal-ordering?

Put all the creation operators on the left.

.

What for?

p.251 “It is useful to work with normal-ordered operators since they act in a simple manner on the vacuum state. We cannot use operators that do not have a well defined action on the vacuum state.”

“The vacuum expectation value of a normal ordered product of creation and annihilation operators is zero. This is because, denoting the vacuum state by |0\rangle, the creation and annihilation operators satisfy”

\displaystyle{\langle 0 | \hat{a}^\dagger = 0 \qquad \textrm{and} \qquad \hat{a} |0\rangle = 0}

— Wikipedia on Normal order

.

— This answer is my guess. —

\displaystyle{\sum_{n \ne 0} \bar \alpha_{-n}^I \bar \alpha_n^I}

\displaystyle{= \sum_{n \in \mathbf{Z}^-} \bar \alpha_{-n}^I \bar \alpha_n^I + \sum_{n \in \mathbf{Z}^+} \bar \alpha_{-n}^I \bar \alpha_n^I}

\displaystyle{= \sum_{n \in \mathbf{Z}^+} \bar \alpha_{n}^I \bar \alpha_{-n}^I + \sum_{n \in \mathbf{Z}^+} \bar \alpha_{-n}^I \bar \alpha_n^I}

\displaystyle{= \sum_{n \in \mathbf{Z}^+} \left[ \bar \alpha_{n}^I \bar \alpha_{-n}^I - \bar \alpha_{-n}^I \bar \alpha_{n}^I + \bar \alpha_{-n}^I \bar \alpha_{n}^I \right] + \sum_{n \in \mathbf{Z}^+} \bar \alpha_{-n}^I \bar \alpha_n^I}

.

\displaystyle{= \sum_{n \in \mathbf{Z}^+} \left[ \bar \alpha_{n}^I, \bar \alpha_{-n}^I \right] + \sum_{n \in \mathbf{Z}^+} \bar \alpha_{-n}^I \bar \alpha_{n}^I + \sum_{n \in \mathbf{Z}^+} \bar \alpha_{-n}^I \bar \alpha_n^I}

= \displaystyle{\sum_{n \in \mathbf{Z}^+} n \eta^{II} + 2 \sum_{n \in \mathbf{Z}^+} \bar \alpha_{-n}^I \bar \alpha_{n}^I}

.

c.f. p.251:

\displaystyle{\sum_{n \ne 0} \bar \alpha_{-n}^I \bar \alpha_n^I}

\displaystyle{= \sum_{n \in \mathbf{Z}^+} n \eta^{II} + 2 \sum_{n \in \mathbf{Z}^+} \bar \alpha_{-n}^I \bar \alpha_{n}^I}

\displaystyle{= \frac{-1}{12} (D - 2) + 2 \sum_{n \in \mathbf{Z}^+} \bar \alpha_{-n}^I \bar \alpha_{n}^I}

.

Equation at Problem 14.5:

\displaystyle{\alpha' M_L^2}

\displaystyle{= \frac{1}{2} \sum_{n \ne 0} \bar \alpha_{-n}^I \bar \alpha_n^I + \frac{1}{2} \sum_{r \in \mathbf{Z} + \frac{1}{2}}r \lambda_{-r}^A \lambda_r^A}

\displaystyle{= \frac{1}{2} \left[ \frac{-1}{12} (D - 2) + 2 \sum_{n \in \mathbf{Z}^+} \bar \alpha_{-n}^I \bar \alpha_{n}^I \right] + \frac{1}{2} \sum_{r \in \mathbf{Z} + \frac{1}{2}}r \lambda_{-r}^A \lambda_r^A}

\displaystyle{= \frac{-1}{24} (D - 2) + \sum_{n \in \mathbf{Z}^+} \bar \alpha_{-n}^I \bar \alpha_{n}^I + \frac{1}{2} \sum_{r \in \mathbf{Z} + \frac{1}{2}}r \lambda_{-r}^A \lambda_r^A}

\displaystyle{= \frac{-1}{8} + \sum_{n \in \mathbf{Z}^+} \bar \alpha_{-n}^I \bar \alpha_{n}^I + \frac{1}{2} \sum_{r \in \mathbf{Z} + \frac{1}{2}}r \lambda_{-r}^A \lambda_r^A}

.

D = 10

.

\displaystyle{\sum_{r \in \mathbf{Z} + \frac{1}{2}}r \lambda_{-r}^A \lambda_r^A}

\displaystyle{= \sum_{r = - \frac{1}{2}, - \frac{3}{2}, ...} r \lambda_{-r}^A \lambda_r^A + \sum_{r = \frac{1}{2}, \frac{3}{2}, ...} r \lambda_{-r}^A \lambda_r^A}

\displaystyle{= \sum_{r = \frac{1}{2}, \frac{3}{2}, ...} (-r) \lambda_{r}^A \lambda_{-r}^A + \sum_{r = \frac{1}{2}, \frac{3}{2}, ...} r \lambda_{-r}^A \lambda_r^A}

\displaystyle{= \sum_{r = \frac{1}{2}, \frac{3}{2}, ...} r \left[ (-1) \lambda_{r}^A \lambda_{-r}^A + \lambda_{-r}^A \lambda_r^A \right]}

.

\displaystyle{= \sum_{r = \frac{1}{2}, \frac{3}{2}, ...} r \left[ (-1) \lambda_{r}^A \lambda_{-r}^A + \lambda_{-r}^A \lambda_r^A \right]}

\displaystyle{= \sum_{r = \frac{1}{2}, \frac{3}{2}, ...} r \left[ \lambda_{-r}^A, \lambda_r^A \right]}

.

Equation (14.29):

\displaystyle{\left\{ b_r^I, b_s^J \right\} = \delta_{r+s, 0} \delta^{IJ}}

\displaystyle{b_r^I b_s^J = - b_s^I b_r^J + \delta_{r+s, 0} \delta^{IJ}}

.

\displaystyle{\sum_{r \in \mathbf{Z} + \frac{1}{2}}r \lambda_{-r}^A \lambda_r^A}

\displaystyle{= \sum_{r = \frac{1}{2}, \frac{3}{2}, ...} r \left[ (-1) \lambda_{r}^A \lambda_{-r}^A + \lambda_{-r}^A \lambda_r^A \right]}

\displaystyle{= \sum_{r = \frac{1}{2}, \frac{3}{2}, ...} r \left[ (-1) \left( - \lambda_{-r}^A \lambda_r^A + \delta_{r-r, 0} \delta^{AA} \right) + \lambda_{-r}^A \lambda_r^A \right]}

\displaystyle{= \sum_{r = \frac{1}{2}, \frac{3}{2}, ...} r \left[ \lambda_{-r}^A \lambda_r^A + \lambda_{-r}^A \lambda_r^A - 1 \right]}

\displaystyle{= \sum_{r = \frac{1}{2}, \frac{3}{2}, ...} r \left[ 2 \lambda_{-r}^A \lambda_r^A - 1 \right]}

.

\displaystyle{\sum_{r \in \mathbf{Z} + \frac{1}{2}}r \lambda_{-r}^A \lambda_r^A}

\displaystyle{= - \sum_{r = \frac{1}{2}, \frac{3}{2}, ...} r + \sum_{r = \frac{1}{2}, \frac{3}{2}, ...} r \left[ b_{-r}^A b_r^A + \lambda_{-r}^A \lambda_r^A \right]}

\displaystyle{= - \frac{1}{2} \sum_{r = 1, 3, ...} r + \sum_{r = \frac{1}{2}, \frac{3}{2}, ...} r \left[ b_{-r}^A b_r^A + \lambda_{-r}^A \lambda_r^A \right]}

\displaystyle{= \left[ - \frac{1}{24} + \sum_{r = \frac{1}{2}, \frac{3}{2}, ...} r \left( b_{-r}^A b_r^A + \lambda_{-r}^A \lambda_r^A \right) \right]}

— This answer is my guess. —

.

— Me@2018-08-06 10:23:48 PM

.

.

2018.08.06 Monday (c) All rights reserved by ACHK