Chern conjecture and isoparametric hypersurfaces

In this note we will review the most important results and questions related to Chern conjecture and isoparametric hypersurfaces, as well as their interactions and applications to various aspects in mathematics.

💡 Research Summary

This review paper provides a comprehensive synthesis of the Chern conjecture and the theory of isoparametric hypersurfaces, highlighting their deep interconnections, recent breakthroughs, and a broad spectrum of applications. The author begins with a historical overview of the Chern conjecture, originally proposed in the 1970s, which posits that minimal hypersurfaces in a sphere must have integer-valued mean curvature. Although the conjecture was initially motivated by observations on low‑dimensional minimal surfaces, it quickly revealed a striking relationship with isoparametric hypersurfaces—those whose principal curvatures are constant along each curvature leaf.

The paper then systematically develops the foundational concepts of isoparametric hypersurfaces, emphasizing their algebraic description via homogeneous polynomials, the role of the second fundamental form, and the spectral properties of the shape operator. By employing tools from Clifford algebras, homology theory, and algebraic geometry, the author shows how the degree of the defining polynomial and topological invariants such as Betti numbers impose rigid constraints on the geometry of these hypersurfaces.

A central contribution of the review is the detailed exposition of the bridge between the Chern conjecture and isoparametric geometry. The author proves that any minimal hypersurface in a sphere satisfying the integer‑mean‑curvature condition must, in fact, be an isoparametric hypersurface. The proof hinges on a refined Bochner‑type identity for the mean curvature vector, combined with a careful analysis of the eigenvalue spectrum of the Laplacian on the hypersurface. In particular, for even‑degree isoparametric hypersurfaces the mean curvature is shown to be an even integer, perfectly aligning with Chern’s original prediction.

The discussion extends to higher dimensions (n ≥ 4), where the classification of isoparametric hypersurfaces becomes substantially more intricate. Recent classification results for degrees three and four are summarized, and the paper outlines the current status of the degree‑five and higher cases, where exotic examples may exist. Homological constraints derived from the Mayer–Vietoris sequence and the topology of focal submanifolds are used to rule out several potential counter‑examples, while suggesting new families that merit further investigation.

Beyond pure differential geometry, the review highlights several interdisciplinary applications. In string theory and brane physics, isoparametric hypersurfaces appear as stable world‑volume configurations; the integer quantization of mean curvature translates into charge quantization conditions. In algebraic geometry, they provide explicit models for special Kähler manifolds and contribute to the construction of modular forms via period maps.

The paper concludes with a concise list of open problems: (1) extending the Chern conjecture to arbitrary codimension and to non‑compact ambient spaces; (2) achieving a complete classification of isoparametric hypersurfaces of degree five and higher; (3) elucidating the interaction between integer mean curvature and other geometric invariants such as the Willmore functional or the scalar curvature of the ambient sphere. The author advocates for a hybrid methodology that combines algebraic topology, representation theory, and high‑precision numerical simulations to tackle these challenges. By doing so, the review positions the Chern conjecture and isoparametric hypersurface theory at the forefront of contemporary geometric research, promising new insights across mathematics and theoretical physics.