Lectures on String Theory
Lectures on String Theory
Lectures on String Theory
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
– 136 –<br />
where A(m) is a functi<strong>on</strong> of m. The aim of this exercise is to find the c<strong>on</strong>straints <strong>on</strong><br />
A(m) that follow from the c<strong>on</strong>diti<strong>on</strong> that the relati<strong>on</strong>s above define the Lie algebra.<br />
• That does the antisymmetry requirement <strong>on</strong> a Lie algebra tells you about<br />
A(m)? What is A(0)?<br />
• C<strong>on</strong>sider the Jacobi identity for the generators L m , L n and L k with m+n+k =<br />
0. Show that<br />
(m − n)A(k) + (n − k)A(m) + (k − m)A(n) = 0.<br />
• Use the last equati<strong>on</strong> to show that A(m) = αm and A(m) = βm 3 , for c<strong>on</strong>stants<br />
α and β, yield c<strong>on</strong>sistent central extensi<strong>on</strong>s.<br />
• C<strong>on</strong>sider the last equati<strong>on</strong> with k = 1. Show that A(1) and A(2) determine all<br />
A(n)<br />
Exercise 29.<br />
• Use the Virasoro algebra to show that if a state is annihilated by L 1 and L 2<br />
then it is annihilated by all L n with n ≥ 1.<br />
• C<strong>on</strong>sider the Virasoro generators L 0 , L 1 and L −1 . Write out the relevant<br />
commutators. Do these operators form a subalgebra of the Virasoro algebra?<br />
Is there a central term here?<br />
Exercise 30. C<strong>on</strong>sider open string. The fundamental commutati<strong>on</strong> relati<strong>on</strong> is<br />
[X µ (σ, τ), P ν (σ ′ , τ)] = iη µν δ(σ − σ ′ ) , σ ∈ [0, π] .<br />
• Show that c<strong>on</strong>sistency with the oscillator expansi<strong>on</strong> implies that<br />
δ(σ − σ ′ ) = 1 ∞∑<br />
cos nσ cos nσ ′<br />
π<br />
n=−∞<br />
• Why the fundamental commutati<strong>on</strong> relati<strong>on</strong> compatible with open string boundary<br />
c<strong>on</strong>diti<strong>on</strong>s?<br />
• Prove this representati<strong>on</strong> for the δ-functi<strong>on</strong> by using the fact that any functi<strong>on</strong><br />
f(σ) with σ ∈ [0, π] and vanishing derivative at σ = 0, π can be expanded as<br />
f(σ) =<br />
∞∑<br />
A n cos nσ .<br />
n=0