Reference: Moore, Thomas A., A General Relativity Workbook, University Science Books (2013) – Chapter 19; c.
The symmetries of the Riemann tensor mean that only some of its components are independent. The two conditions
show that all components where either the first and second indices, or the third and fourth indices are equal must be zero. In four dimensional spacetime, this means that at most components can be non-zero, since we can choose two distinct values for both the first and last pairs of indices.
means that is symmetric with respect to its two pairs of indices. If we arrange the 36 non-zero components in a matrix where the rows and columns are labelled by the distinct pairs of values 01, 02, 03, 12, 13, 23, then the lower triangle of this matrix is the mirror image of the upper triangle, meaning we can eliminate more components, leaving possibly independent components.
There is one final symmetry condition for the Riemann tensor, and it is the trickiest to handle.
The first thing we need to show about this condition is that if any two indices are equal, then 4 follows from the other three conditions and tells us nothing new. To see this, consider the various ways in which two indices can be equal.
First, suppose . Then from 1, so we’re left with
For the second term in 4 is so
Finally, if , the first term in 4 is and
Now that we know that 4 gives us new information only if all the indices are different, how many ways can we choose these indices? Given that we have four indices, we might think that there are possibilities, depending on the ordering of the indices. In fact, for any set of four indices, the condition gives us only one independent constraint, as the four different indices can be placed in any order in the first term. Starting with 4 with all indices different, suppose we put first instead of . We can do this by swapping and to get
We used the first three symmetries in the first and second lines and then 4 to get the zero in the third line.
If we swap with we get
If we swap and we get
Swapping any two of the last three indices gives the same result, since these three indices are present in a cyclic permutation, so we need to consider only one such case, say swapping with :
Therefore, the condition 4 can give us only extra constraint. The total number of independent components in four-dimensional spacetime is therefore .
Example As another example, we can apply this reasoning to find the number of independent components in two dimensions. First, the number of possible pairs with distinct values is , so the matrix referred to above is only . To verify that the condition 4 doesn’t reduce the number of independent components any further, note that with only 2 possible values for indices, we must repeat at least one of them when choosing the indices in , so this condition doesn’t in fact tell us anything new. Thus there is only one independent component in two dimensions.