Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

On Cartan's Examples of Isoparametric Hypersurfaces and Their Focal Submanifolds

Thomas E. Cecil, Patrick J. Ryan

TL;DR

The paper surveys Cartan's seminal construction of isoparametric hypersurfaces in spheres, organized by the number g of distinct principal curvatures (g=1,2,3,4). It recaps Cartan's fundamental formula and the Cartan-Münzner framework, then details explicit homogeneous examples for g=1–4, including the role of division algebras and Clifford algebras in the g=3 and g=4 cases. It also traces the subsequent development and complete classification: Münzner's restriction to g in {1,2,3,4,6}, Nomizu and Takagi–Takahashi results on homogeneity and isotropy representations, and the OT-FKM construction, with final work by Stolz, Cecil–Chi–Jensen, and Chi confirming the full landscape: isoparametric hypersurfaces in spheres occur only in these families, with g=6 yielding only homogeneous examples and g=4 arising from OT-FKM-type or specific homogeneous cases. The work underlines deep connections between isoparametric theory, Clifford algebras, and standard embeddings of projective planes.

Abstract

This paper is a survey of Cartan's examples of isoparametric hypersurfaces in spheres and their focal submanifolds that were described in his fundamental work on the subject, which appeared in four papers published during the period 1938-1940.

On Cartan's Examples of Isoparametric Hypersurfaces and Their Focal Submanifolds

TL;DR

The paper surveys Cartan's seminal construction of isoparametric hypersurfaces in spheres, organized by the number g of distinct principal curvatures (g=1,2,3,4). It recaps Cartan's fundamental formula and the Cartan-Münzner framework, then details explicit homogeneous examples for g=1–4, including the role of division algebras and Clifford algebras in the g=3 and g=4 cases. It also traces the subsequent development and complete classification: Münzner's restriction to g in {1,2,3,4,6}, Nomizu and Takagi–Takahashi results on homogeneity and isotropy representations, and the OT-FKM construction, with final work by Stolz, Cecil–Chi–Jensen, and Chi confirming the full landscape: isoparametric hypersurfaces in spheres occur only in these families, with g=6 yielding only homogeneous examples and g=4 arising from OT-FKM-type or specific homogeneous cases. The work underlines deep connections between isoparametric theory, Clifford algebras, and standard embeddings of projective planes.

Abstract

This paper is a survey of Cartan's examples of isoparametric hypersurfaces in spheres and their focal submanifolds that were described in his fundamental work on the subject, which appeared in four papers published during the period 1938-1940.
Paper Structure (12 sections, 5 theorems, 58 equations)

This paper contains 12 sections, 5 theorems, 58 equations.

Table of Contents

  1. Isoparametric Hypersurfaces
  2. Cartan's Results
  3. Cartan's Examples
  4. $g = 1$
  5. $g = 2$
  6. Level Sets of $F$ in $S^{n+1}$
  7. $g = 3$
  8. Homogeneity of Cartan's hypersurfaces with $g=3$
  9. $g = 4$
  10. A homogeneous example with $g=4$
  11. Focal submanifolds of this family
  12. Classification Results

Key Result

Theorem 2.1

Let $M \subset S^{n+1}$ be a connected isoparametric hypersurface with $g$ principal curvatures $\lambda_i = \cot \theta_i$, $0 < \theta_1 < \cdots < \theta_g < \pi$, all having the same multiplicity $m = n/g$. Then For any point $x \in M$, there are $2g$ focal points of $(M,x)$ along the normal geodesic to $M$ through $x$, and they are evenly distributed at intervals of length $\pi/g$.

Theorems & Definitions (11)

  • Remark 1.1
  • Theorem 2.1: Cartan
  • Remark 2.1
  • Theorem 2.2: Cartan
  • Theorem 2.3: Münzner
  • Theorem 2.4
  • Remark 3.1
  • Theorem 3.1
  • Remark 3.2
  • Remark 3.3
  • ...and 1 more