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:(\hat{I}\pounds ,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 $\hat{I}{\pounds }^{2n}$ is almost Hermitian with harmonic fundamental two-form, or $\hat{I}{\pounds }^{4n}$ is almost quaternion-Hermitian with harmonic fundamental four-form, $n\ge 2$, 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.

Comments are welcome!