[Math] General Relativity and Differential Geometry intuitions of Second Bianchi Identity

dg.differential-geometrygeneral-relativitymp.mathematical-physicsreference-requestriemannian-geometry

In General Relativity, one uses the Riemann Tensor in its coordinate form $R_{abcd}$, and proves the Second Bianchi Identity-

$R_{abcd;e} + R_{abde;c} + R_{abec;d} = 0$

It is said that this identity amounts, in the Riemmanian geometry sense, to the saying that, loosely, "the boundary of the bounday is null". So my questions are

Question 1: What would be a more rigorous statement of "the boundary of the boundary is null" and how does the above identity is equivalent ot it?

Question 2: Is there an analog to this geometrical intuition in general relativity?

I assume both questions might be answered with a reference, which is even better.

Best Answer

From The "Foreword to Feynman Lectures on Gravitation" by John Preskill and Kip S. Thorne:

In §9.3, Feynman comments that he knows no geometrical interpretation of the Bianchi identity, and he sketches how one might be found. The geometrical interpretation that he envisions was actually implicit in 1928 work of the French mathematician Elie Cartan [Cart 28]; however, it was largely unknown to physicists, even professional relativists, in 1962, and it was couched in the language of differential forms, which Feynman did not speak. Cartan’s interpretation, that “the boundary of a boundary is zero,” was finally excavated from Cartan’s ideas by Charles Misner and John Wheeler in 1971, and has since been made widely accessible by them; see, e.g., chapter 15 of [MTW 73] at the technical level, and chapter 7 of [Whee 90] at the popular level.

[cart 28] is Cartan's 1928 lectures in French about the geometry of Riemannian manifolds. Extended English version can be found in the Cartan's book "Geometry of Riemannian Spaces": http://www.amazon.com/Geometry-Riemannian-Spaces-Lie-Groups/dp/0915692341

[MTW 73] is Misner, Thorne, and Wheeler's classic book "Gravitation": http://www.amazon.com/Gravitation-Charles-W-Misner/dp/0716703440

[Whee 90] is Wheeler's book "A Journey into Gravity and Spacetime": http://www.amazon.com/Journey-Gravity-Spacetime-Scientific-American/dp/0716750163

"Feynman Lectures on Gravitation" can be found here: http://hixgrid.de/pg/file/read/3511/feynman-lectures-on-gravitation-frontiers-in-physics


The exposition in MTW is actually quite short:

  1. Take a really small cube. Each of the three terms in the second Bianchi identity correspond to the difference between opposing faces of the effect of parallel transport of a vector around the boundary of the face. It is easy to see that if you sum over all three pairs of opposing faces, the paths cancel and so the net sum should be zero.

MTW Figure

  1. That the "paths cancel" in the preceding point is precisely the statement that "the boundary of a boundary vanishes" (the boundary of a cube is its faces, and the boundary of that are the edges).
Related Question