1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Zwiebach Problem 12.8

  1. Nov 8, 2007 #1
    1. The problem statement, all variables and given/known data
    Why does Zwiebach say the we only look at the case where m,n>0 and m not equal to n in this problem?

    2. Relevant equations

    3. The attempt at a solution

    Attached Files:

  2. jcsd
  3. Nov 8, 2007 #2


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Are you sure it's problem 12.8??
  4. Nov 8, 2007 #3
    Yes. Look at the attachment when it is approved.
  5. Nov 8, 2007 #4


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    then it's a different edition than my books (the problem is called Reparametrizations generated by Virasoro operators in my book and there is no mention of m or n indices)
  6. Nov 8, 2007 #5
    That is what it is called in my edition also. The m and n indices arise when you verify that the generators form a Virasoro algebra. They are not in the problem but they are in the attached solution.
  7. Nov 16, 2007 #6
    The attachment was approved.
  8. Nov 16, 2007 #7
    His wording in the problem is slightly off. He asks:

    Show that the generators of these reparameterizations form a subalgebra of the VIrasoro algebra.

    Well, that is as trivial a problem as you could want since all the operators L_m - L_{-m} are in the Virasoro algebra. What he obviously means is:

    Show that the generators of these reparameterizations form a proper subalgebra of the VIrasoro algebra.

    The set
    [tex]\{L_m^{\perp} - L_{-m}^{\perp}: m = 1, 2, 3, ...\}[/tex]
    is not the subalgebra, it is a generating set. The subalgebra he is interested in is the smallest algebra that contains this set. He wants to show that it excludes something, anything, in V, the Virasoro algebra. He can do this in two steps. First show that the product of any two generators is in the vector space span of the generators. Then show that there is a Virasoro operator that is not in the span. To do this, there is no need to use the larger generating set
    [tex]\{L_m^{\perp} - L_{-m}^{\perp}: m = 0, \pm 1, \pm 2, \pm 3, ...\}[/tex]
    because the generated algebra is exactly the same. He does need to cover the case m = n, but it is quite trivial, I suppose he forgot to mention it.
    Last edited: Nov 16, 2007
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: Zwiebach Problem 12.8
  1. Zwiebach problem 12.4 (Replies: 11)

  2. Zwiebach Problem 12.9 (Replies: 2)

  3. Zwiebach page 299 (Replies: 1)

  4. Zwiebach page 287 (Replies: 1)