Note on a (dimensiondependent) Weyl identity
There is a nice 4dimensional Weyl identity that I can never seem to remember off the top of my head; so I decided I need to write this note so I don’t have to remember it in the future. The identity is:
This identity comes in handy for simplifying the equations of motion of EinsteindilatonGaussBonnet gravity.
So, how do we work out this identity so we don’t have to remember it? I gave a hint when I said this is a dimensiondependent identity: it’s specific to dimension 4. Most^{1} dimensiondependent identities come from antisymmetrizing some expression over more than indices, where is the dimension. Because there are only coordinates, antisymmetrizing over more than slots will automatically vanish (i.e. more than vectors must be linearlydependent in a dimensional vector space).
This particular identity comes from antisymmetrizing over in the expression:
Obviously this will produce terms in a sum, but the vast majority of them vanish because Weyl is tracefree on every pair of indices.
In fact, up to index order, there are only 5 combinations that are not obviously vanishing. The first Weyl tensor vanishes unless the lower indices are two of ; similarly, the second Weyl tensor vanishes unless the lower indices are two of . This allows us to enumerate all of the possibilities in short order. After applying the antisymmetry of Weyl on the latter two indices, there are exactly 5 index permutations of that are allowed, and they are (lexicographically):
All that remains to do is to contract the indices and figure out the signature of each permutation to get the sign correct. Doing so gives the identity \eqref{eq:theIdentity} (with an index raised and indices renamed).
Of course, all of this is much easier with the xAct/xTensor package. I highly recommend this to find e.g. the Riemann form of the above identity. It comes from the same expression as \eqref{eq:antisymmetrize} but replacing with , and now there are many more combinations that do not vanish, but instead produce Ricci terms. Explicitly, we get the unwieldy
While I was hunting for my lost identity, I came across a nice paper^{2} on the more general topic of dimensiondependent identities. This included, for example, the fact that the CayleyHamilton theorem can be derived from a dimensiondependent identity. Specifically, consider an dimensional vector space and the matrix with indices in and . Then the CayleyHamilton theorem for can be written as
where there are copies of , and an antisymmetrization over indices.
This doesn’t obviously look like the CayleyHamilton theorem, but: it is a linear combination of various matrix powers of , with coefficients determined by various traces of other powers of in a very specific way (they turn out to be elementary symmetric polynomials of the eigenvalues of ).
An example makes this a bit easier to see. Let’s expand this for dimensions. Again, I recommend using xTensor. For shorthand, let me write the matrix power
and denote the trace with . Then the fourdimensional CayleyHamilton theorem says
What are all those strange combinations of traces? Well, use the identity that (easiest proved for diagonalizable matrices by going into the diagonal basis) where is the i’th eigenvalue. Then you will readily verify that these are in fact the elementary symmetric polynomials of the eigenvalues of , explicitly:
So this is indeed the characteristic polynomial of ! (Aside: equations such as these are examples of NewtonGirard identities).
Footnotes

I think there may be more complicated ones which come from Garnir relations, but I know nothing about these. ↩

Edgar and Höglund, J.Math.Phys. 43 (2002) 659677 arXiv:grqc/0105066 ↩