Saddle Codazzi tensor on spheres and hemisphere rigidity

Abstract

Let $(M^n,g)$, $n\geq 3$, be a compact connected Riemannian manifold with smooth boundary. We ask whether $M$ must be isometric to the standard hemisphere if $\sec_g\geq 1$, $\partial M $ is isometric to the standard unit sphere, and its second fundamental form is Codazzi. Our approach centers on saddle Codazzi tensors on round spheres, where the saddle condition requires the restriction to every tangent two-plane to have nonpositive determinant. By analyzing the associated support maps, we prove that every smooth saddle Codazzi tensor on $\mathbb S^m$ vanishes identically for $m\geq 3$. Together with Panina's examples on $\mathbb S^2$, this shows that, among unit spheres of dimension at least two, nontrivial smooth saddle Codazzi tensors exist precisely in dimension two. The vanishing theorem yields an affirmative answer to the hemisphere rigidity question for $n\geq 4$. In dimension three, we realize the nontrivial saddle Codazzi tensors provided by Panina's construction, after scaling, as the second fundamental forms of smooth perturbations of the standard hemisphere, preserving the round boundary metric and the sectional curvature lower bound. This produces counterexamples to rigidity in dimension three. Nevertheless, under the same curvature and boundary assumptions, we prove the sharp inradius estimate $r_{\mathrm{in}}(M)\leq π/2$, with equality if and only if $M$ is isometric to the standard hemisphere.