# Is there a useful way to visualize the symmetries of the relativistic Riemann curvature tensor?

I find it useful to see diagrams such as trees, colored 2D and 3D arrays, etc., which illustrate how terms combine in composite expressions. For example, the following is my visualization of the genesis of multinomial coefficients: I believe the field of mathematics to which I allude is called combinatorics. I'm wondering if anybody has developed useful visual aids illustrating how the various combinations of index values of the relativistic Riemann curvature tensor participate in symmetries.

This is progress toward something along the lines of what I'm envisioning: The red text cells represent the completely antisymmetric constraint. The blue background cells are those which I haven't processed yet. The black text are the independent components in increasing index order. The light red background cells are permuted on the first and last pairs of indices. In the case of $$R_{0\alpha\beta\gamma}$$ one of the upper triangle red text cells can be expressed in terms of the other two. There are 18 black text cells and 3 upper triangle red text $$R_{0\alpha\beta\gamma}$$ cells. So, at least the number comes out right.

By "relativistic" Riemann tensor, I mean the Riemann-Christoffel curvature tensor of the locally Minkowskian, pseudo-Riemannian 4-space of general relativity, having non-definite metric of signature $$\pm2$$ in local Riemann normal coordinates depending on the defined coordinate convention.

• Look up the Petroc classification perhaps – Slereah Dec 29 '18 at 13:00

Yes, the method is called Young tableaux. For a rank $$n$$ tensor, give its $$n$$ slots names. Then the possible symmetries of the tensors may be classified by Young taleaux, arrays of $$n$$ boxes filled with the names of the $$n$$ slots. The rule is that one symmetrizes indices in rows, then antisymmetrizes indices in columns.

For example, a totally antisymmetric rank $$3$$ tensor $$T_{abc}$$ may be represented by $$\begin{matrix} a \\ b \\ c \end{matrix}$$ where I'm not drawing the boxes to avoid LaTeX complications. The Riemann tensor $$R_{abcd}$$ is antisymmetric in the first and second pairs of indices, and symmetric upon exchanging these pairs. There are thus two distinct Young tableaux that could correspond to it, namely $$\begin{matrix} a & c \\ b & d \end{matrix} \quad \quad \begin{matrix} a \\ b \\ c \\ d \end{matrix}$$ However, the Riemann tensor also satisfies the identity $$R_{[abcd]} = 0$$, so the second tableau doesn't contribute. So the symmetries of the Riemann tensor can be neatly summarized in just the first tableau.

There are also algorithms for combining Young tableaux when you take the tensor product of objects with known Young tableaux; there's a whole diagrammatic calculus here. The standard introduction to techniques of this sort is Georgi's Lie Algebras in Particle Physics.

• That is certainly a book worth reading. I haven't looked at subatomic particle physics in a long time, but when I was learning about it, Georgi was up there with the Gods. "Young diagrams" are mentioned in MTW on page 86. I don't believe they are really what I'm looking for right now. I'm thinking, for example the completely antisymmetric part $R_{\alpha\left[\beta\gamma\delta\right]}=0$ could be represented as 4 $4\times{4}\times{4}$ cubes, etc. But I haven't thought it through. – Steven Thomas Hatton Dec 29 '18 at 1:08

In Geroch's Differential Geometry notes (1972, ISBN 978-1927763063) page 60, he uses an octahedron to describe the symmetries of the Riemann Curvature Tensor. In his example, using the upper back triangular face, the sum of the terms at the vertices is $$R_{bdca}+R_{cdab}+R_{dacb} \stackrel{{}_{[ab][cd]}}{=}R_{dbac}+R_{dcba}+R_{dacb} \stackrel{{}_{a[bcd]}}{=}R_{d[bac]}=0.$$ Other relations follow from working with this figure. This is likely based on Milnor's octahedron in Milnor's Morse Theory (1963, ISBN 978-0691080086) page 54, (2) is defined as $$R(X,Y)Z+R(Y,Z)X+R(Z,X)Y=0$$ and Milnor says "Formula (2) asserts that the sum of the quantities at the vertices of the shaded triangle W is zero".