Immersions with small normal curvature
Otis Chodosh, Chao Li
TL;DR
This work analyzes Gromov's minimal curvature invariant for immersions into unit balls, ultimately determining $\\mathcal{C}_N(S^n\\times S^1)=\\sqrt{\\tfrac{3}{2}}$ for large $N$ via a Veronese-tensor construction and a Petrunin-type obstruction. It proves a differentiable sphere theorem for immersions with small normal curvature by showing conformal positivity of sectional or isotropic curvature, then invoking Brendle–Schoen-type classifications. The paper also extends the Veronese framework through tensor products to generate further low-curvature immersions for products of spheres and tori, and establishes existence results for minimizers under favorable bounds. AI-assisted exploration informs the construction and curvature condition reasoning, while rigorous geometric analysis ensures sharpness and topological consequences. Overall, the results connect minimal normal curvature to deep curvature-positivity phenomena, yielding sharp bounds and rigidity for certain product manifolds.
Abstract
We study Gromov's problem concerning minimal normal curvature immersions in the unit ball. In particular, we determine the minimal possible value of the normal curvature of an $S^n\times S^1$. We also prove a differentiable sphere theorem and an existence result for minimizers in this context.
