Abstract:Suppose M is a closed submanifold in a Euclidean ball of large dimension. We give an optimal bound on the normal curvatures that guarantee that M is a sphere. The border cases consist of Veronese embeddings of the four projective planes.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the optimal boundary conditions for the normal curvature of a closed sub - manifold in a high - dimensional Euclidean sphere. Specifically, the paper explores what the upper bound of the normal curvature is when a closed sub - manifold \(M\) is embedded in a high - dimensional Euclidean sphere, so as to ensure that \(M\) is a sphere. In addition, the paper also studies the possible structures of \(M\) when the normal curvature reaches this upper bound.
### Main problems
1. **Optimal boundary of normal curvature**:
- The paper gives an optimal boundary condition for the normal curvature of a closed sub - manifold \(M\) in a high - dimensional Euclidean sphere, that is, when the normal curvature is strictly less than \(\frac{2\sqrt{3}}{r}\), \(M\) must be homeomorphic to a sphere.
- When the normal curvature is equal to or less than \(\frac{2\sqrt{3}}{r}\), in addition to the sphere, it may also include the real projective plane, the complex projective plane, the quaternion projective plane and the octonion projective plane through the rescaled Veronese embedding map.
2. **Properties of Veronese embedding**:
- The paper discusses in detail the properties of Veronese embedding, especially the normal curvature and geometric structure of these embeddings in high - dimensional Euclidean space.
- It is proved that the normal curvature of these embeddings is all equal to \(\frac{2}{r_n}\), where \(r_n=\sqrt{\frac{n}{2n + 2}}\) is the circumradius of the regular \(n\)-simplex.
### Key conclusions
- **Sphere theorem**: If a closed smooth \(n\)-dimensional sub - manifold \(M\) is in a sphere with radius \(r\), and its normal curvature is strictly less than \(\frac{2\sqrt{3}}{r}\), then \(M\) must be homeomorphic to the \(n\)-dimensional sphere.
- **Rigidity theorem**: If the normal curvature of \(M\) does not exceed \(\frac{2\sqrt{3}}{r}\) and \(M\) is not homeomorphic to the sphere, then \(M\) must be isomorphic to the Veronese embedding image of some projective plane (real, complex, quaternion or octonion) after appropriate scaling.
### Mathematical background
- **Normal curvature**: Normal curvature refers to the curvature in the direction of the normal vector at a point of the sub - manifold.
- **Veronese embedding**: Veronese embedding is a special embedding method that maps the projective plane into high - dimensional Euclidean space while keeping some geometric properties unchanged.
- **Gromoll–Grove–Wilking theorem**: This is an important geometric theorem used to study the structures of compact Riemannian manifolds with specific curvature and diameter conditions.
### Applications
- This research is not only of great significance in the pure mathematics field, but may also have an impact on geometric topology, differential geometry, etc., especially in understanding the sub - manifold structures in high - dimensional spaces.
Through these studies, the paper provides new perspectives and tools for understanding sub - manifolds in high - dimensional spaces.