Lorentz transformation of the metric tensors.
Posted by peeterjoot on January 16, 2011
Following up on the previous thought, it is not hard to come up with an example of a symmetric tensor a whole lot simpler than the electrodynamic stress tensor. The metric tensor is probably the simplest symmetric tensor, and we get that by considering the dot product of two vectors. Taking the dot product of vectors and for example we have
From this, the metric tensors are defined as
These are both symmetric and diagonal, and in fact equal (regardless of whether one picks a or signature for the space).
Let’s look at the transformation of the dot product, utilizing the transformation of the four vectors being dotted to do so. By definition, when both vectors are equal, we have the (squared) spacetime interval, which based on the speed of light being constant, has been found to be an invariant under transformation.
We note that, like any other vector, the image of the Lorentz transform of the vector can be written as
Similarily we can write any vector in terms of the reciprocal frame
The dot product factor is a component of the metric tensor
so we see that the dot product transforms as
In particular, for where we have the invariant interval defined by the condition , we must have
This implies that the symmetric metric tensor transforms as
Recall from 3.16 that the coordinates representation of a bivector, an antisymmetric quantity transformed as
This is a very similar transformation, but differs from the bivector case where our free indexes were upper indexes. Suppose that we define an alternate set of coordinates for the Lorentz transformation. Let
This can be related to the previous coordinate matrix by
If we examine how the coordinates of transform in thier lower index representation we find
and therefore find that the (upper index) metric tensor transforms as
Compared to we have almost the same structure of transformation. Are these the same? Does the notation I picked here introduce an apparent difference that does not actually exist? We really want to know if we have the identity
which given the notation selected would mean that , and justify a notational simplification .
The inverse Lorentz transformation
To answer this question, let’s consider a specific example, an x-axis boost of rapidity . For that our Lorentz transformation takes the following form
where . Since anticommutes with and , but commutes with and , we have
and after expansion this is
In particular for the basis vectors themselves we have
Forming a matrix with indexing over rows and indexing over columns we have
Performing the same expansion for , again with indexing over rows, we have
This answers the question. We cannot assume that . In fact, in this particular case, we have . Is that a general condition? Note that for the general case, we have to consider compounded transformations, where each can be a boost or rotation.
 L.D. Landau and E.M. Lifshits. The classical theory of fields. Butterworth-Heinemann, 1980.
 C. Doran and A.N. Lasenby. Geometric algebra for physicists. Cambridge University Press New York, Cambridge, UK, 1st edition, 2003.