It turns out that the curvature tensor associated to the connection from a Riemannian pseudo-metric has to satisfy certain conditions. (As usual, we denote by
the Levi-Civita connection associated to
, and we assume the ground manifold is smooth.)
First of all, we have skew-symmetry
This is immediate from the definition.
Next, we have another variant of skew-symmetry:
Proposition 1
![]()
This is equivalent to
for vector fields (and
). If
commute, which we assume without loss of generality, then
Now we can use the connection derivative identity twice to get something like , which is as follows.
We thus get an expression of as the difference of two quantities symmetric in
, hence so is
. This implies that
.
The next is the algebraic Bianchi identity:
Theorem 2 (First Bianchi Identity) The symmetrization fo
is
, i.e.
![]()
I guess this is Stigler’s law of eponymy again—Ricci discovered (1). The three quantities are tensors, so to check that the sum is zero, we need only evaluate on vector fields that commute with each other. In that case,
This is a mess, but we can simplify it by reordering the terms into three pieces:
Each of these terms vanishes, because commute and the connection
is symmetric. The Bianchi identity can be generalized to arbitrary connections, but they become much more cumbersome and messy. What we have shown is that (1) is true for an arbitrary symmetric connection.
Leave a Reply