[Paper Review] Restrictions on Submanifolds via Focal Radius Bounds

Luis Guijarro, Frederick Wilhelm|arXiv (Cornell University)|Jun 13, 2016

Geometric Analysis and Curvature Flows4 citations

TL;DR

This paper establishes an optimal bound on the norm of a submanifold's second fundamental form using its focal radius and the ambient manifold's lower sectional curvature. The key contribution is a sharp inequality that leads to $C^{1,eta}$ compactness and soul-type structure theorems for manifolds with nonnegative $k$th intermediate Ricci curvature, generalizing classical results via a new Jacobi field comparison lemma rooted in Wilking's transverse Jacobi equation.

ABSTRACT

We give an optimal estimate for the norm of any submanifold's second fundamental form in terms of its focal radius and the lower sectional curvature bound of the ambient manifold. This is a special case of a similar theorem for intermediate Ricci curvature, and leads to a $C^{1,α}$ compactness result for submanifolds, as well as a "soul-type" structure theorem for manifolds with nonnegative $k^{th}$--intermediate Ricci curvature that have a closed submanifold with dimension $\geq k$ and infinite focal radius. To prove these results, we use the comparison lemma for Jacobi fields from arXiv:1603.04050 that exploits Wilking's transverse Jacobi equation. The comparison lemma also yields new information about group actions, Riemannian submersions, and submetries, including generalizations to intermediate Ricci curvature of results of Chen and Grove.

Motivation & Objective

• To establish sharp estimates for the second fundamental form of submanifolds using focal radius and ambient curvature bounds.
• To generalize classical rigidity results—like the Soul Theorem—under intermediate Ricci curvature conditions.
• To develop a new comparison lemma for Jacobi fields that extends beyond classical Riccati comparison.
• To derive structure theorems for manifolds with nonnegative $k$th intermediate Ricci curvature and submanifolds of infinite focal radius.
• To extend results of Chen and Grove on Riemannian submersions and group actions to the setting of intermediate Ricci curvature.

Proposed method

• Derive a new comparison lemma for Jacobi fields using Wilking’s transverse Jacobi equation to control curvature growth in normal directions.
• Apply the comparison lemma to bound the second fundamental form of submanifolds in terms of focal radius and ambient curvature.
• Use the resulting curvature estimates to prove $C^{1,\alpha}$-compactness for submanifolds with bounded focal radius and diameter.
• Establish a soul-type structure theorem for complete manifolds with $\operatorname{Ric}_k \geq 0$ containing a closed submanifold of dimension $\geq k$ and infinite focal radius.
• Generalize results on Riemannian submersions and cohomogeneity-one group actions by analyzing conjugate points and minimal geodesics in the base space.
• Leverage Heintze and Karcher’s tube formula to obtain uniform volume lower bounds, enabling application of Cheeger’s Finiteness Theorem.

Experimental results

Research questions

• RQ1 What is the optimal upper bound on the norm of the second fundamental form of a submanifold in terms of its focal radius and ambient curvature?
• RQ2 Can $C^{1,\alpha}$-compactness be established for submanifolds with bounded focal radius and diameter in a fixed ambient manifold?
• RQ3 Under what conditions does a complete manifold with $\operatorname{Ric}_k \geq 0$ admit a totally geodesic closed submanifold with infinite focal radius?
• RQ4 How do conjugate points in the base of a Riemannian submersion relate to the geometry of the total space under intermediate Ricci curvature bounds?
• RQ5 To what extent can results of Chen and Grove on submersions and group actions be generalized to intermediate Ricci curvature?

Key findings

• The norm of the second fundamental form $|\mathrm{II}_N|$ is bounded by $\cot(\mathrm{FocalRadius}(N))$ if the ambient curvature is $\kappa=1$, $1/\mathrm{FocalRadius}(N)$ if $\kappa=0$, and $\coth(\mathrm{FocalRadius}(N))$ if $\kappa=-1$, with equality achieved in space forms.
• If $\kappa=0$ and the focal radius is infinite, the submanifold is totally geodesic.
• The class of closed submanifolds with focal radius $\geq r$ and diameter $\leq D$ in a compact ambient manifold is precompact in the $C^{1,\alpha}$-topology, implying only finitely many diffeomorphism types.
• For a complete manifold with $\operatorname{Ric}_k \geq 0$ containing a closed submanifold $N$ of dimension $\geq k$ and infinite focal radius, $N$ is totally geodesic and the normal exponential map is a Riemannian covering.
• The conjugate radius of the base of a Riemannian submersion with $\sec \geq 1$ is at most $\pi/2$, generalizing results of Chen and Grove.
• In cohomogeneity-one actions with $\operatorname{Ric}_k \geq k$, the diameter of the orbit space is $\leq \pi/2$, and if equal to $\pi/2$, the universal cover is a sphere or projective space with standard metric.