This result is valid in all dimensions
Let be a Riemannian manifold of dimension at least 3. Then the following are equivalent:
- For every point , the sectional curvature is constant across all tangent planes at .
- The sectional curvature is constant (that is, the metric is a constant-curvature metric)
The idea behind the proof of this result is as follows. The second condition clearly implies the first, so what we essentially need to show is that the first implies the second.
For this, we convert the given condition on sectional curvature to a condition purely in terms of the Riemann curvature tensor.
Obtaining a scalar multiple relationship
We start with the assumption that the sectional curvature is a scalar function, or in other words, that at each point, the sectional curvature is constant for all tangent planes.
Recall that the sectional curvature of the vector space with basis and is given by:
where the denominator is the cross product. Rewriting this in terms of the metric tensor, we get:
By polarization, we can now show that:
Let . Then we have:
where, according to our assumptions, is a function of the point alone, viz is a scalar function.
Applying the second Bianchi identity
The second Bianchi identity states that the cyclic summation:
Applying it to this situation, we get:
Since , the product rule tells us that . Hence we get:
Using the high dimension
If the tangent space at has dimension at least 3, then given any vector , do the following:
- Pick vectors and such that are linearly independent at
- Using the definition of , observe that the linear independence of at implies the linear independence of , and at .
- Thus, conclude that at .