Maximal Normal Curvature and Veronese Rigidity

Abstract

We prove a sharp Veronese rigidity theorem for closed immersed submanifolds of the Euclidean unit ball under intrinsic harmonic-structure assumptions. For an isometric immersion $F:(Σ,g)\looparrowright\overline B(1)$, define the maximal normal curvature by \[ κ(F):= \sup_{x\inΣ} \sup_{\substack{v\in T_xΣ\\ |v|_g=1}} |A_x(v,v)|. \] If $Σ^{2n}$ is almost Hermitian with harmonic fundamental two-form, or $Σ^{4n}$ is almost quaternion-Hermitian with harmonic fundamental four-form, $n\ge2$, then \[ κ(F)\ge \sqrt{\frac{2n}{n+1}} . \] In the equality case the harmonic form is parallel and the immersion is, up to a totally geodesic inclusion, the standard complex or quaternionic Veronese embedding of projective spaces. The key input is a Bochner--Gauss mechanism that turns the Bochner curvature term of the harmonic form into a sharp algebraic estimate for the shape operators.