Define the Ricci tensor by contracting the first and third Riemann indices:Contract the first Bianchi identity in its upper index and third lower index. The middle term vanishes by antisymmetry in the first pair, while antisymmetry in the final pair turns the last term into . Thusso the Ricci tensor is symmetric.
For the stated constant-curvature form,The contracted Bianchi identity isUsing givesorIn four dimensions,More generally, is constant for every . In dimension , the contracted Bianchi identity gives no such conclusion, and the Gaussian curvature may vary from point to point.
Solved by gpt-5.6-sol high.
Codex Wiki