# What are the conserved charges related to the Virasoro generators?

+ 4 like - 0 dislike
56 views

I have just learned from reconsidering my demystified book, that when conformally maping the worldsheet of a closed string to the complex plain by using the transformation $z = e^{\tau + i\sigma}$ and $\bar{z} = e^{\tau - i\sigma}$ the Virasoro generators can be calculated as

$$L_m = \frac{1}{2\pi i} \oint \frac{dz}{z}z^{m+2}T_{zz}(z)$$

and

$$\bar{L}_m = \frac{1}{2\pi i} \oint \frac{d\bar{z}}{z}\bar{z}^{m+2}T_{\bar{z}\bar{z}}(\bar{z})$$

with $T_{zz}(z)$ and $T_{\bar{z}\bar{z}}(\bar{z})$ being the holomorphic and antiholomorphic component of the energy-momentum tensor.

By the deformation of path theorem, the contour of integration can be shrinked and expanded in the complex plain, which means that the Virasoro generators are invariant under a time translation because the mapping to the complex plain has transformed the time coordinate into the radial coordinate. So these Virasoro operators should commute with the Hamiltonian and they have conserved charges related to them.

My question now is: What are these conserved charges and what is their physical meaning?

+ 4 like - 0 dislike

The generator of translations along $\tau$, the long coordinate of the cylinder, is $L_0$ (or perhaps $L_0-a$ for some constant $a$ in the old covariant quantization, but I won't discuss old covariant quantization here). This generator is reinterpreted as the generator of scaling of the radial direction, $r\to r\cdot \exp(\Delta \tau)$.

Now, charges conserved under these $L_0$-generated translations of $\tau$ are those that commute with $L_0$. Clearly, $L_0$ is the only generator of the Virasoro algebra that is conserved in this sense because it commutes with $L_0$. Others obey $$[L_m,L_0] = m L_m$$ The commutator is nonzero so they don't commute. These $L_m$ operators are "eigenstates" under $L_0$ with the nonzero eigenvalue $m$ which guarantees that no combination of them may commute with $L_0$. $L_0$ measuring the total energy on the cylinder – or the dimension of the operator inserted at $r=0$ in the radial quantization – is conserved because it commutes with itself.

Of course, there may be symmetry generators outside the Virasoro algebra that commute with $L_0$, for example generators of spacetime isometries, heterotic $SO(32)$ or $E_8\times E_8$, etc.

If you expected more charges within the Virasoro algebra that should be conserved, well, it's not quite clear why you did. ;-) But if it has something to do with the fact that an arbitrary shape of the contour of integrals yields the same result, that's fine but that's the holomorphicity that is already "fully priced-in" into the Virasoro algebra.

The independence of the contour integral on the detailed shape of the contour is equivalent to the fact that the integral over a contour that encircles the origin at $r=0$ zero times vanishes. So all the integrals/charges that correspond to such contours avoiding the origin (for example things like $\oint T(z) dz$ over such contours) are not only conserved; they're zero. So they're not independent operators. Note that the zero vector (or operator) isn't independent of itself. ;-) We don't talk about "them" (all those zeroes) at all. If they can only be zero, they don't exist. They don't store any information: their measurement is guaranteed to yield $0$ so it's not needed to measure them. Only operators that have some nonzero eigenvalues are talked about and $L_0$ is the only conserved one in the Virasoro algebra.

The generator $L_0$ is equivalent to the integral of $T(z)z$ over a contour that does include the origin and that's the right power of $z$ that picks the residue. The other generators are integrals of $T_z$ times other powers of $z$ so they effectively pick the coefficients of other singularities $1/z^n$ near the origin. So all these charges are linked to some singular behavior near $z=0$. If all things are regular across the plane including $z=0$, then all the charges are just zero.

This post imported from StackExchange Physics at 2014-03-12 15:20 (UCT), posted by SE-user Luboš Motl
answered Mar 27, 2013 by (10,278 points)
Thanks for this very nice helpful explanation and clarification Lumo, it is exactly what I needed and at an appropriate "Demystified" level such that I can perfectly understand it :-). Some of your nice answers you gave yesterday to other questions helped me too in better understanding what David Mc Mohan has written in the chapter I was just reconsidering :-D.

This post imported from StackExchange Physics at 2014-03-12 15:20 (UCT), posted by SE-user Dilaton

 Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead. To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL. Please consult the FAQ for as to how to format your post. This is the answer box; if you want to write a comment instead, please use the 'add comment' button. Live preview (may slow down editor)   Preview Your name to display (optional): Email me at this address if my answer is selected or commented on: Privacy: Your email address will only be used for sending these notifications. Anti-spam verification: If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:p$\hbar$ysicsOverfl$\varnothing$wThen drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds). To avoid this verification in future, please log in or register.