CHAPTER 2. BOSONIC STRINGS 26to use Eq. 2.34, this readsẊ µ R = l s∑α µ ne −2in(τ−σ) , (2.78)Ẋ µ L = l s∑˜α µ ne −2in(τ+σ) , (2.79)X µ′R = −l s∑α µ ne −2in(τ−σ) , (2.80)X µ′L = l s∑˜α µ ne −2in(τ+σ) . (2.81)Next, we compute the square <str<strong>on</strong>g>of</str<strong>on</strong>g> these derivatives.)Ẋ 2 = Ẋ2 R + Ẋ2 L + 2(ẊR · Ẋ L⎧( )⎨2 ( ) ⎫2⎬ = ls∑α 2 µ ⎩ne −2in(τ−σ) +∑˜α ne µ −2in(τ+σ) ⎭{( ) ( )}+ 2ls∑α 2 n e −2in(τ−σ) ·∑˜α n e −2in(τ+σ)(2.82)(X′ ) 2 ( )= X′ 2 ( )R + X′ 2 (L + 2 X′R · X L)′⎧( )⎨2 ( ) ⎫2⎬ = ls∑α 2 µ ⎩ne −2in(τ−σ) +∑˜α ne µ −2in(τ+σ) ⎭{( ) ( )}− 2ls∑α 2 n e −2in(τ−σ) ·∑˜α n e −2in(τ+σ)(2.83)When summing Eqs. 2.82 and 2.83, we see that the crossterms will cancel each other,and that the squared terms will just gain a coefficient <str<strong>on</strong>g>of</str<strong>on</strong>g> two:⎧( )⎨2 ( ) ⎫2⎬ Ẋ 2 + X ′2 = 2ls∑α 2 µ ⎩ne −2in(τ−σ) +∑˜α ne µ −2in(τ+σ) ⎭ . (2.84)A general term in these squared sums can be written as(α m · α n )e −2i(τ−σ)(m+n) , (2.85)and this expressi<strong>on</strong> is integrated in Eq. 2.77. Recalling that∫ π0dσ e 2iσ(m+n) = πδ m+n , (2.86)
CHAPTER 2. BOSONIC STRINGS 27we are left withH = Tπl 2 s∑(α −n · α n + ˜α −n · ˜α n ). (2.87)Further using Eq. 2.31, this indeed resolves to Eq. 2.75, as we wanted to assure ourselves<str<strong>on</strong>g>of</str<strong>on</strong>g>. The derivati<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> the open string Hamilt<strong>on</strong>ian goes by similarly. This, however,is a valid classical result, but as always, quantum mechanically we should deal withan ordering ambuigity. However at the moment we can ignore this complicati<strong>on</strong>, andremaining in the classical realm we can define an expressi<strong>on</strong> for the mass <str<strong>on</strong>g>of</str<strong>on</strong>g> a string as afuncti<strong>on</strong> <str<strong>on</strong>g>of</str<strong>on</strong>g> its oscillati<strong>on</strong>s. To this end, recall the light-c<strong>on</strong>e gauge c<strong>on</strong>straint equati<strong>on</strong>s,expressed in Eqs. 2.68 - 2.70, and remark that this implies that L m = ˜L m = 0 for allm. In other words, this should also hold for the zero-mode, and thus we find thatL 0 = 1 2∑α −n · α n = 1 2 α2 0 + ∑ n>0α −n · α n = 0. (2.88)and analogous for ˜L m (remember that α 0 = ˜α 0 ). This bears a nice surprise, because alook at Eqs. 2.31 and 2.34 reveals that for the closed string case12 α2 0 = 1 4 α′ p µ p µ . (2.89)For the open (Neumann) string, we have to use Eq. 2.42 revealing that12 α2 0 = α ′ p µ p µ . (2.90)Using the relativistic mass-shell c<strong>on</strong>diti<strong>on</strong> M 2 = −p 2 , we find that for an open stringα ′ M 2 = ∑ n>0α −n · α n . (2.91)For the closed string, <strong>on</strong>e should take into account c<strong>on</strong>tributi<strong>on</strong>s from both left- andright-movers, so thatα ′ M 2 = 2 ∑ n>0(α −n · α n + ˜α −n · ˜α n ) . (2.92)2.6.3 Virasoro algebra and physical statesClassically, the Virasoro generators satisfy the Virasoro algebra,{L m , L n P.B. = i (m − n)L m+n , (2.93){˜Lm , ˜L}n = i (m − n) ˜L m+n , (2.94)P.B.{L m , ˜L}n = 0. (2.95)P.B.