In Chapter 3 of Polchinski’s book, he references the fiducial metric. It is denoted as,
While this topic will be referenced in the future when exploring a study of the Polyakov path integral, and especially in a discussion about the symmetries used in the Faddeev-Popov method, we can at this point explore the notion of the fiducial metric by relating it to concepts already covered.
In short, the fiducial metric comes from the gauge freedom we’re afforded from the symmetries of the action, enabling us “to eliminate the integration over the metric, fixing it at some specific functional form” (p. 85). The important point to note is that we have our two gauge symmetries: diffeomorphisms and Weyl transformations. David Tong (p.109) puts it concisely, “We will schematically denote both of these by . The change of the metric under a general gauge transformation is .” The notation used here is shorthand for the following,
Where, under the general gauge transformation we have a change of metric.
Due to gauge freedom we can rewrite the metric in a simpler form, commonly as . This is the fiducial metric; it denotes our particular choice of gauge fixing. The common choice in the literature is the flat metric .
Again, while the topic is usually introduced at a more advanced stage, an additional now may prove beneficial for when we eventually indulge in conformal field theories. For instance, upon equipping the tools provided to us by utilising stringy CFTs, we may consider the WS as it relates to a cylinder (as the Euler characteristic vanishes).
For our present discussion, we shall maintain our usual coordinates and recall the metric . We also note the symmetric nature of this metric with respect to its off-diagonal components.
In that we have three independent components for the WS metric, we note that for the symmetry . We can use the local symmetries already described to specify these three components.
So, for reparameterisation invariance, we may perform a coordinate transformation which results in transforming the metric into a flat Minkowski metric.
As Polchinski notes, “One sometimes wishes to consider the effect of the diff group alone. In this case, one can bring an arbitrary metric to within a Weyl transformation of the unit form” (p.85). This is also known as the conformal group, which will be discussed again later. What is important for now, without jumping ahead, is that we can perform a Weyl transformation to remove the exponential factor. Thus, we are simply left with a transformation to a flat Minkowski metric.
What does this mean? Well, for the action that we’ve already grown familiar with, we already know that we can write is as,
But now the determinate is just . As for the term, this is:
So, notice that we can compute for the remaining terms of the action,
Here, we have the Lagrangian density for a set of massless free scalar fields. Substituting into , as well as simplifying the notation by using the shorthand and ,
One may notice the expression in the integrand as a Virasoro condition. But the main focus here is a continued study of the EM tensor. In flat space as described. This means we can also write,
And so, we may now look at each component of the EM tensor. We find,
Similarly, we can compute for which gives us the result,
For the off-diagonal terms,
Similarly, we find,
Therefore, the EM tensor takes the matrix form,
We already know the EM tensor has zero trace. This of course can be computed. It also follows that the EM tensor appears in the equations of motion for as before. But I leave it to the reader to explore these topics further.
Joseph Polchinski. (2005). “String Theory: An Introduction to the Bosonic String“, Vol. 1.
David Tong. (2009). “String Theory” [lecture notes].