CHAPTER 5. BRANES 62but if the string is wound a number <str<strong>on</strong>g>of</str<strong>on</strong>g> times then simply stating that X 25 (σ + π, τ) =X 25 (σ, τ) would identify the wr<strong>on</strong>g points!The next thing to do is <str<strong>on</strong>g>of</str<strong>on</strong>g> course to take a look at the mode expansi<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> our string,and see if anything has changed. The first thing to note is that nothing changes in the24 spatial dimensi<strong>on</strong>s that were left un<strong>compact</strong>ified, and hence the mode expansi<strong>on</strong> inthese dimensi<strong>on</strong>s also does not change. In the 25 th dimensi<strong>on</strong> however, for exactly thesame reas<strong>on</strong> menti<strong>on</strong>ed just earlier, we should add an extra term to account for thewinding <str<strong>on</strong>g>of</str<strong>on</strong>g> the string. The sec<strong>on</strong>d thing to note is that <strong>compact</strong>ifying does not changeanything to the oscillator modes. And the third and final thing to note is that due tothe <strong>compact</strong>ificati<strong>on</strong>, the momentum in the 25 th dimensi<strong>on</strong> becomes quantized. In orderto see this, recall e.g. the case <str<strong>on</strong>g>of</str<strong>on</strong>g> Kaluza-Klein <strong>compact</strong>ificati<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> a free massless scalarfield ψ (x µ , y) living in a D +1-dimensi<strong>on</strong>al Minkowski space <str<strong>on</strong>g>of</str<strong>on</strong>g> which <strong>on</strong>e dimensi<strong>on</strong>, y,is <strong>compact</strong>ified, satisfying the massless Klein-Gord<strong>on</strong> equati<strong>on</strong>( + ∂2y)ψ = 0, (5.2)where = ∂ µ ∂ µ with µ ∈ {0, . . .,D − 1}. Given that y is periodic, so is the Fourier expansi<strong>on</strong>in this dimensi<strong>on</strong>, and hence as a general soluti<strong>on</strong> to the Klein-Gord<strong>on</strong> equati<strong>on</strong>we findψ (x µ , y) =+∞∑n=−∞e i n R y ψ k (x µ ), (5.3)in which R is the radius <str<strong>on</strong>g>of</str<strong>on</strong>g> the <strong>compact</strong>ified dimensi<strong>on</strong>, and e i n R y = e ipyy , implying thatp y = n R . (5.4)In the case <str<strong>on</strong>g>of</str<strong>on</strong>g> the string, the same argument holds (recall that the X µ ’s are scalar fields),but with this distincti<strong>on</strong> that we definep 25 = K R , (5.5)where we have defined the Kaluza-Klein excitati<strong>on</strong> number K ∈. Taking all this intoaccount, and starting from the generic soluti<strong>on</strong>X 25 (σ, τ) = x 25 + 2α ′ p 25 τ + 2RWσ + . . ., (5.6)splitting in left- and right-movers leaves us withXR 25 (τ − σ) = 1 (x 25 − ˜x 25) +(α ′K )2R − WR (τ − σ) + oscillators,XL 25 (τ + σ) = 1 (x 25 + ˜x 25) +2(α ′K R + WR )(τ + σ) + oscillators, (5.7)where ˜x 25 is some arbitrary c<strong>on</strong>stant that cancels in the sum, which will prove itselfvery useful in a sec<strong>on</strong>d.
CHAPTER 5. BRANES 63We should again define α 0 and ˜α 0 operators in such a way that we can “completethe sum” when we take the derivatives <str<strong>on</strong>g>of</str<strong>on</strong>g> the expansi<strong>on</strong>s. To this end, we define√2α ′ α0 25 = α ′K R− WR, (5.8)√2α′˜α 250 = α ′K R+ WR. (5.9)Now that we have these at our disposal, recall the (still unchanged) c<strong>on</strong>diti<strong>on</strong> expressedin Eq. 2.99, as well as the definti<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> L m in Eq. 2.97, and defineM 2 = −24∑µ=0p µ p µ , (5.10)i.e. the mass in the 25-dimensi<strong>on</strong>al n<strong>on</strong>-<strong>compact</strong> space-time. Using all this, we find that0 = L 0 − 1,⎡= 1 ⎣ ( α 25 ) 224∑0 + α µ 02α 0µ +µ=0= ˜L 0 − 1,⎡= 1 )⎣ 25 224∑ (˜α 0 + ˜α µ 02˜α 0µ +µ=025∑+∞∑ν=0 n=125∑+∞∑ν=0 n=1α ν −nα nν⎤⎦ − 1,˜α ν −n˜α nν⎤⎦ − 1. (5.11)Remembering that for the closed bos<strong>on</strong>ic string we defined α µ 0 = 1 2 l sp µ (but now withµ < 25) and definingthe above tells us thatN R =N L =25∑∑α−nα ν nν , (5.12)ν=0 n>025∑∑˜α −n˜α ν nν , (5.13)ν=0 n>012 α′ M 2 = ( α025 ) 2+ 2NR − 2 =(5.14))25 2 (˜α 0 + 2NL − 2. (5.15)Filling in Eqs. 5.8 and 5.9, and taking sum and difference allows us to c<strong>on</strong>clude that[ (αN R − N L = −1 ′ )K 2 ( α ′ ) ]4α ′ R − WR K 2−R + WR= KW, (5.16)