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.

The condition

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

The first line uses 3 and the second line uses 2. Because 4 cyclically permutes the last three indices, the same argument also applies to the cases and .

Now suppose . Then the third term in 4 is using 2, so we’re left with

using 2.

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 .

ExampleAs 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.

## Comments

It was stated,…. “The two conditions [(1) & (2)] show that all components where either the first and second indices, or the third and fourth indices are equal must be zero.”

…This is correct as stated, since an interchange of two indices that are equal refers to the same tensor component, and the only number that can be equal to the negative of itself, is zero. However this only accounts for 112 components being zero; with 256 – 112 = 144 still left that are not proven to be zero.

A 4 X 4 anti-symmetric matrix is one where the 6 bottom-left triangle of components are equal to the negative of the 6 upper-right triangle of components, and so dependent, and that the diagonal components are zero (already counted).

So, for the nj-matrix, get rid of the 6 dependent, for each of the lm combinations,.. that’s 6*4*4=96. For the lm-matrix, again get rid of the 6 dependent, for each of the nj combinations,.. that’s 4*4*6=96. That’s 96nj + 96lm – 84 (that are counted twice) = 108. Now, 256 – 112 (above) – 108 = 36.

## Trackbacks

[…] can generalize the method for counting the number of independent components in the Riemann tensor to -dimensional spacetime. As before, we know that […]

[…] only independent Riemann tensor component in 2-d is […]

[…] only independent Riemann tensor component in 2-d is […]

[…] of the symmetries of the Riemann tensor, there is only one independent, (possibly) non-zero component in 2 dimensions. We can take this component to be . We start with […]

[…] of the symmetries of the Riemann tensor, there are six independent, (possibly) non-zero components in 3 dimensions. We can take these components to be , , , , and . […]

[…] 2D, the Riemann tensor has only one independent component, which we can take to be , which can be calculated […]