On Hopf hypersurfaces of the complex hyperbolic quadric with constant principal curvatures

Basic Information

• Paper ID: 2510.12284
• Title: On Hopf hypersurfaces of the complex hyperbolic quadric with constant principal curvatures
• Authors: Haizhong Li (Tsinghua University), Hiroshi Tamaru (Osaka Metropolitan University), Zeke Yao (South China Normal University)
• Classification: math.DG (Differential Geometry)
• Publication Date: October 14, 2024
• Paper Link: https://arxiv.org/abs/2510.12284v1

Abstract

This paper investigates Hopf hypersurfaces with constant principal curvatures on the complex hyperbolic quadric $Q_m^* = SO_2^o/(SO_2 \times SO_m)$ ($m \geq 3$). The authors provide a complete classification of Hopf hypersurfaces on $Q_m^*$ ($m \geq 3$) with at most two distinct constant principal curvatures, and determine the principal curvature values and their multiplicities for Hopf hypersurfaces with three or four distinct principal curvatures.

Research Background and Motivation

1. Core Problem: Classify all Hopf hypersurfaces with constant principal curvatures on the complex hyperbolic quadric $Q_m^*$ ($m \geq 3$). This is a fundamental classification problem in differential geometry.
2. Significance:
   • Hopf hypersurfaces are central objects in the study of real hypersurfaces in complex space forms and other nearly complex Hermitian manifolds
   • Complete classifications of Hopf hypersurfaces with constant principal curvatures in complex projective space $\mathbb{CP}^m$ and complex hyperbolic space $\mathbb{CH}^m$ have been accomplished by Kimura and Berndt respectively, representing foundational and highly influential results in this field
3. Existing Limitations:
   • The classification problem on the complex hyperbolic quadric $Q_m^*$ is more complex than in $\mathbb{CP}^m$ and $\mathbb{CH}^m$
   • The presence of an almost product structure $A$ makes the interaction between the shape operator $S$, complex structure $J$, and almost product structure $A$ non-trivial
4. Research Motivation:
   • $Q_m^*$ is a natural candidate among non-compact symmetric spaces, representing the next important case after $\mathbb{CH}^m$
   • Even in complex hyperbolic space, the constant principal curvature condition alone is insufficient for complete classification; therefore, the additional Hopf condition constraint is reasonable and necessary

Core Contributions

1. Complete Classification Result: Provides a complete classification of Hopf hypersurfaces on $Q_m^*$ ($m \geq 3$) with at most two distinct constant principal curvatures
2. Principal Curvature Determination: Precisely determines the principal curvature values and their multiplicities for Hopf hypersurfaces with three or four distinct principal curvatures
3. Theoretical Framework Establishment: Proves that Hopf hypersurfaces with constant principal curvatures are isoparametric hypersurfaces, and all their parallel hypersurfaces also possess constant principal curvatures
4. Cartan Formula: Establishes Cartan formulas applicable to $Q_m^*$, addressing the additional complexity introduced by the almost product structure $A$
5. Focal Submanifold Analysis: Conducts in-depth investigation of focal submanifold properties, proving their austere nature

Detailed Methodology

Problem Setup

Study real hypersurfaces $M$ on $Q_m^* = SO_2^o/(SO_2 \times SO_m)$ ($m \geq 3$), where:

• $M$ is a Hopf hypersurface (integral curves of the Reeb vector field $\xi$ are geodesics)
• $M$ possesses constant principal curvatures (eigenvalues of the shape operator $S$ are constants)

Core Classification Framework

1. Fundamental Classification Criteria

According to Lemma 2.4, Hopf hypersurfaces with constant Reeb function must possess:

• A-principal unit normal vector field: There exists an almost product structure $A$ such that $AN = N$
• A-isotropic unit normal vector field: There exists an almost product structure $A$ such that $AN, A\xi \in C$

2. Treatment of A-principal Case

By Theorem 2.6, Hopf hypersurfaces with A-principal unit normal vector fields have been completely classified as open subsets of Examples 3.1-3.3.

3. In-depth Analysis of A-isotropic Case

For the A-isotropic case, key techniques include:

Lemma 4.5 (Orthogonality of Almost Product Structure): For $\lambda \neq \pm 1$, we have $AV_\lambda \perp \text{Span}\{V_\lambda, JV_\lambda\}$

Lemma 4.10 (Action of Reeb Function): For each $\lambda \in \sigma(Q)$ and $X \in V_\lambda$: $(2\lambda - \alpha)S\phi X = (\alpha\lambda - 2)\phi X$

Establishment of Cartan Formula

Core Formula 4.7

For unit principal vector $X \in Q$ and its corresponding principal curvature $\lambda$: $\sum_{i=1,\mu_i \neq \lambda}^{2m-4} \frac{\lambda\mu_i - 1}{\lambda - \mu_i} \{1 + 2g(\phi X, e_i)^2 - 2g(AX, e_i)^2 - 2g(AX, Je_i)^2 + g(AX,X)g(Ae_i, e_i) + g(AX, JX)g(Ae_i, Je_i)\} = 0$

Formulas 4.18 and 4.19

Address cases with different numbers of principal curvatures. These formulas involve the almost product structure $A$, making the analysis more complex than in the $\mathbb{CH}^m$ case.

Focal Submanifold Analysis

Through the Jacobi field method, establishes principal curvature formulas for parallel hypersurfaces: $S^r = -D'(r) \circ D^{-1}(r)$

where $D$ satisfies the differential equation $Y'' + \bar{R}^\perp_\gamma \circ Y = 0$.

Main Results

Theorem 1.1 (At Most Two Principal Curvatures)

Hopf hypersurfaces $M$ on $Q_m^*$ ($m \geq 3$) with at most two distinct constant principal curvatures are open subsets of Example 3.1.

Theorem 1.2 (Three Principal Curvatures)

Hopf hypersurfaces $M$ with three distinct constant principal curvatures belong to one of the following cases:

1. $M$ is an open subset of Example 3.2, 3.3, or 3.4
2. $M$ has constant principal curvatures $0, 1, -1$ with multiplicities $3, m-2, m-2$ respectively (including Example 3.6)
3. $M$ has constant principal curvatures $0, 1, -1$ with multiplicities $2, m-1, m-2$ respectively (including Example 3.7)

Theorem 1.3 (Four Principal Curvatures)

Hopf hypersurfaces $M$ with four distinct constant principal curvatures belong to one of the following cases:

1. $M$ is an open subset of Example 3.5
2. $M$ has constant principal curvatures $2\tanh(2r), 0, 1, -1$ with multiplicities $1, 2, m-2, m-2$ respectively (including Example 3.8)
3. $M$ has constant principal curvatures $2\coth(2r), 0, 1, -1$ with multiplicities $1, 2, m-2, m-2$ respectively (including Example 3.9)
4. $M$ has constant principal curvatures $2, 0, 1, -1$ with multiplicities $1, 2, m-2, m-2$ respectively (including Example 3.10)

Theorem 4.2 (Isoparametric Property)

Hopf hypersurfaces with constant principal curvatures on $Q_m^*$ ($m \geq 3$) are isoparametric hypersurfaces, and all their parallel hypersurfaces also possess constant principal curvatures.

Technical Innovations

1. Treatment of Almost Product Structure

Unlike $\mathbb{CH}^m$, $Q_m^*$ possesses an additional almost product structure $A$ satisfying:

• $A^2 = \text{Id}$
• $AJ = -JA$ (anticommutativity)

This renders the analysis significantly more complex, requiring novel techniques to handle the interaction between $S$, $J$, and $A$.

2. Austere Property of Focal Submanifolds

Using the Ge-Tang theorem, proves that focal submanifolds (if they exist) must be austere, meaning their principal curvature multisets are invariant under sign changes.

3. Generalization of Cartan Formula

Establishes Cartan formulas applicable to $Q_m^*$, which involve the almost product structure $A$ and are more complex in form than the classical case.

Proof Strategy

Case Analysis Method

Conducts detailed case analysis based on the value of the Reeb function $\alpha$ and the distribution of principal curvatures in $\sigma(Q)$:

1. Case $\alpha = 0$: Uses Lemma 4.10 to derive a contradiction with $\phi X = 0$
2. Case $\alpha > 0$: Analyzes different combinations of whether $\alpha$ and $0$ belong to $\sigma(Q)$
3. Special Value Treatment: Provides specialized analysis for special values such as $\alpha = \sqrt{2}, 2$

Proof by Contradiction

Through Cartan formulas and orthogonality properties of the almost product structure, derives contradictions in many cases, thereby eliminating impossible configurations.

Related Work

Historical Development

• Kimura (1986): Completely classified Hopf hypersurfaces with constant principal curvatures in $\mathbb{CP}^m$
• Berndt (1989): Completely classified Hopf hypersurfaces with constant principal curvatures in $\mathbb{CH}^m$
• Suh (2018): Classified real hypersurfaces in $Q_m^*$ with isometric Reeb flow
• Berndt & Suh (2015): Classified contact hypersurfaces in $Q_m^*$

Positioning of This Work

This paper represents important progress in solving this fundamental classification problem in non-compact symmetric spaces, following $\mathbb{CP}^m$ and $\mathbb{CH}^m$.

Conclusions and Discussion

Main Conclusions

1. Completes the classification of Hopf hypersurfaces on $Q_m^*$ with at most four principal curvatures
2. All known examples are homogeneous real hypersurfaces
3. Establishes a complete theoretical framework, including isoparametric properties and focal submanifold analysis

Limitations

1. Does not provide complete classification for cases with five or more principal curvatures
2. Whether non-homogeneous isoparametric hypersurfaces exist remains an open question
3. Classification of all real hypersurfaces satisfying $S\phi + \phi S = 0$ remains unsolved

Future Directions

1. Complete the classification of Hopf hypersurfaces with more principal curvatures
2. Investigate the existence of non-homogeneous isoparametric hypersurfaces in rank-2 non-compact symmetric spaces
3. Resolve the classification problem for real hypersurfaces in $Q_m^*$ satisfying $S\phi + \phi S = 0$

In-depth Evaluation

Strengths

1. Theoretical Completeness: Establishes a complete classification framework addressing complex geometric structures
2. Technical Depth: The establishment of Cartan formulas and focal submanifold analysis demonstrate sophisticated technical mastery
3. Result Precision: Not only provides existence results but precisely determines principal curvature values and multiplicities
4. Methodological Innovation: Successfully addresses the additional complexity introduced by the almost product structure

Weaknesses

1. Completeness: Does not achieve complete classification for all cases
2. Constructiveness: Primarily classification results with limited construction of new examples
3. Generality: Methods may be difficult to generalize to other geometric settings

Academic Impact

1. Scholarly Value: Resolves a fundamental classification problem in differential geometry
2. Methodological Contribution: Provides a technical template for handling spaces with additional geometric structures
3. Practical Value: Offers important reference for research on related geometric structures

Applicable Scenarios

This methodology and results apply to:

1. Geometric analysis of complex hyperbolic quadrics
2. Study of Riemannian manifolds with almost product structures
3. Development of isoparametric hypersurface theory
4. Classification problems for Hopf hypersurfaces

References

The paper cites 34 important references, primarily including:

• Berndt's series of works on classification of real hypersurfaces in complex space forms
• Suh's research on real hypersurfaces in complex hyperbolic quadrics
• Ge-Tang's general theory of isoparametric hypersurfaces
• Harvey-Lawson's pioneering work on austere submanifolds

Summary: This is a high-quality differential geometry paper that resolves the important problem of classifying Hopf hypersurfaces on complex hyperbolic quadrics. The paper demonstrates high technical depth, precise results, and makes significant contributions to the field. While it does not achieve complete classification, it resolves the main cases and establishes a solid foundation for subsequent research.