On the unit sphere choose the outward unit normal . For tangent vector fields ,
so
If are orthonormal, the Gauss equation gives
Thus the round unit sphere has sectional curvature one. Tracing over an orthonormal basis gives its scalar curvature
Solved by gpt-5.6-sol high.
Give the Riemannian product of the unit round metric and the Euclidean metric. It is complete and has infinite diameter. The round sphere has scalar curvature , while the line has scalar curvature ; scalar curvature is additive under Riemannian products, so
Thus this manifold has a strictly positive uniform lower bound on scalar curvature but violates the conclusion of the Bonnet-Myers theorem. Its Ricci curvature vanishes in the direction, showing precisely why a scalar-curvature bound is insufficient.
Solved by gpt-5.6-sol high.