Abstract:We conclude the classification of isoparametric (or equivalently, polar) foliations of complex and quaternionic projective spaces. This is done by investigating the projections of certain inhomogeneous isoparametric foliations of the 31-sphere under the respective Hopf fibrations, thereby solving the last remaining open cases.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to complete the classification of isoparametric (or equivalently, polar) foliations on the complex projective space \( \mathbb{CP}^n \) and the quaternionic projective space \( \mathbb{HP}^n \). Specifically, by studying the projections of certain non - homogeneous isoparametric foliations under the corresponding Hopf fibrations, the authors have solved the last remaining open problems, namely the classification of isoparametric foliations on \( \mathbb{CP}^{15} \) and \( \mathbb{HP}^7 \).
### Background and Motivation
A polar foliation \( F \) is a singular Riemannian foliation of a complete Riemannian manifold \( M \) such that every point in \( M \) is contained in a totally geodesic submanifold (called a section), which intersects all the leaves of \( F \) orthogonally. If these regular leaves have parallel mean curvatures, then such a polar foliation is called an isoparametric foliation. If a polar foliation is composed of the orbit families of an isometric action on \( M \), it is called homogeneous.
### Research Status
- **Polar Foliations on Compact Symmetric Spaces**: Lytchak [Ly14] and Liu and Radeschi [LR22] obtained general results on polar foliations on compact symmetric spaces, in particular, they proved that polar foliations on compact symmetric spaces of compact type are all isoparametric.
- **Classification of Homogeneous Polar Foliations**: On irreducible spaces, the complete classification of homogeneous polar foliations is known [PT99, Ko09, KL13, GK16].
- **Classification of Non - homogeneous Polar or Isoparametric Foliations**: It is very scarce. Except for the classical spherical \( S^n \) case, there are only classification results on the complex projective space \( \mathbb{CP}^n \) (\( n\neq15 \)) and the quaternionic projective space \( \mathbb{HP}^n \) (\( n\neq7 \)) [Do16, DG18].
### Main Contributions of the Paper
- **Solving the Remaining Open Problems**: By studying the projections of certain non - homogeneous isoparametric foliations under the Hopf fibrations on \( S^{31} \), the authors have completed the classification of isoparametric foliations on \( \mathbb{CP}^{15} \) and \( \mathbb{HP}^7 \).
- **Methods**: First, determine the automorphism group \( \text{Aut}(F) \) of each isoparametric foliation \( F \), and then classify certain \( U(1) \) or \( SU(2) \) subgroups, the equivalence classes of these subgroups under \( \text{Aut}(F) \). Specifically, for each polar foliation \( G \) of the isoparametric foliation \( F \), analyze all possible equivalence classes such that \( \pi^{-1}(G) \) is congruent to \( F \).
### Main Results
- **Theorem 1.1**: For isoparametric foliations \( F \) on \( \mathbb{CP}^{15} \) and \( \mathbb{HP}^7 \) (where \( m_1 = 8 \) and \( m_2 = 7 \)), there are exactly \( N_C(F) \) (or \( N_H(F) \) ) polar foliations \( G \) that pull back to foliations congruent to \( F \) under the Hopf fibrations.
- **Corollary 1.2**: Gives the classification of one - dimensional conformal polar foliations on \( \mathbb{CP}^{15} \) and \( \mathbb{HP}^7 \).
- **Corollary 1.4**: Provides the complete classification of one - dimensional conformal polar foliations on the complex projective space \( \mathbb{CP}^n \) and the quaternionic projective space \( \mathbb{HP}^n \).
### Conclusions
Through these results, the authors have not only completed the classification of isoparametric foliations on the complex projective space \( \mathbb{CP}^{15} \) and the quaternionic projective space \( \mathbb{HP}^7 \)