In general in Quantum Field Theory (QFT), provided we are working in flat space, we have the following formula:
In String Theory (ST), we vary slightly with respect to the background metric and we arrive at the following,
In sum, when it comes to the constraints on for physical fluctuations, I think two important comments are necessary:
1. Diff invariance on the worldsheet implies .
2. Weyl invariance implies .
One will find that the tracelessness of the EM tensor is a direct consequence of the symmetries imposed, such that: .
Due to diff invariance, it should also be highlighted that the EM tensor is covariantly conserved,
Although, in a past entry, we have already found the equations of motion by varying with respect to our dynamical fields and , I think it is worthwhile, for pedagogical purposes, to pursue the same steps but this time focusing explicitly on computing the EM tensor with slightly different notation. In fact, I think what follows is quite a useful exercise and the end result is also nice to look at.
Invoking the Polyakov action we have, written in a slightly different way than in previous discussions,
Where, in what follows, we will set .
Notice, also, that what we’re actually working with is a QFT. We also have our metric, , so you can think of this action describing a (1+1)-dim theory of scalar fields coupled to gravity.
We now compute the EM tensor in this theory, recalling and .
Which gives the EM tensor. From this configuration, the tracelessness can easily be found:
This reflects the fact that when we do a Weyl transformation, it does not effect the coordinates and matter fields of our theory.
What is nice about varying our action in this theory in this way is that we discover the explicit result,
What is this saying? We see, and can communicate directly, that the EoM is, or represents, the vanishing of the EM tensor.
Additionally, I want to emphasis one more result. Again, using slightly different notation, let’s go back and think about varying with respect to .
Now, we integrate by parts such that the covariant derivative acts on the rest of the action,
Notice, approached and written this way, we see an explicit expression for the d’Alembertian,
Which makes sense, as our fields satisfy the massless Klein-Gordon equation in 2-dimensions on a curved background. Perhaps this is obvious, and perhaps the result foreseeable, but I think it is still nice to look at.