A diagram for symmetries of curvature tensor

It is well known to differential geometers that there are many symmetries of the Riemannian curvature tensor {R_{ijkl}}, namely:

  1. {R_{ijkl}=-R_{jikl}, R_{ijkl}=-R_{ijlk}, }
  2. {R_{ijkl}=R_{klij}}, and
  3. (Bianchi identity) {R_{ijkl}+R_{jkil}+R_{kijl}=0.}

In yesterday’s Riemannian geometry lesson, professor wanted to prove (2) above from (1) and (3). Of course this is more on algebra than the geometry itself. But then Bean Ng and I found ourselves having fun playing with those symmetries, and we discovered the following diagram (which certainly is not original, perhaps is due to Milnor) which I shall call B-diagram (B for Bianchi, or Bean):bdiagram

Before explaining the B-diagram, let’s explain what we want to do. Basically we want to prove that {R_{1234}=R_{3412}}, using the two other identities (1) and (3). For simplicity we will denote {R_{1234}} by {1234} etc. i.e we want to show

\displaystyle 1234=3412 \text{\quad or,\quad }\boxed{1234+3421=0 }\text{\quad using (1)}

With some hindsight, the strategy is, basically, that if we want to show {A=B}, which is difficult to prove directly, we then try to “symmetrize” it, using the known symmetries as much as possible. More precisely, if we want to show {A=B}, and we know that

\displaystyle A=A'\text{\quad and }\quad B=B',

perhaps it’s a good idea to show instead that {2A=2B} which, by our symmetry that,

\displaystyle \boxed{A+A'=B+B' } \quad(\Leftrightarrow 2A=2B )

Back to our case, we want to show that {1234+3421=0}, but by (1), we know that {1234=2143} and {3421=4312}, so perhaps we could try to show that

\displaystyle \boxed{1234+2143+3421+4312=0} \ \ \ \ \ (1)

We haven’t used the Bianchi identity, this is used in the last step by adding zero terms (by Bianchi) to the equation (1) above to see if there’s any cancelation. This is explained in the B-diagram above.

We want to show that the entries at the 4 vertices (the boxed terms) add up to zero. We know that the 3 terms {1234, 3124, 2314} in the upper left triangle cancels, due to the Bianchi identity (3), similarly for the other 3 triangles. We then look for cancelation in the “unboxed terms”. Thanks to the symmetries in (1), we see that the terms connected by the “broken arrows” cancel each others, e.g. {3124+3142=0}. Thus all terms in the B-diagram sum up to zero, and by the above remark, that the four “boxed terms” also sum up to zero, this is (1), which is what we want to prove.

This entry was posted in Algebra, Geometry. Bookmark the permalink.

One Response to A diagram for symmetries of curvature tensor

  1. Hon Leung says:

    Good. I understand.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s