Abstract:We classify the $O(p)\times O(q)$-invariant constant mean curvature hypersurfaces with singularity at the origin, solving a conjecture of Wu-yi Hsiang.
What problem does this paper attempt to address?
This paper aims to solve a specific mathematical conjecture, namely the classification problem of hypersurfaces of constant mean curvature with singularities. Specifically, the goal of the paper is to prove the conjecture proposed by Wu - yi Hsiang in 1982, that is, in the Euclidean space $\mathbb{R}^{p + q}$, there is only one hypersurface of constant mean curvature that is invariant under the action of the group $O(p)\times O(q)$ and has a singularity at the origin, where both $p$ and $q$ are greater than or equal to 2.
### Main Conclusions
1. **Uniqueness Theorem**:
- **Theorem 1.1**: In $\mathbb{R}^{p + q}$, among the hypersurfaces that are invariant under the action of $O(p)\times O(q)$ and have a constant mean curvature $H\neq0$, there is only one type of hypersurface whose generating curve is a global solution and has a cusp at the origin. The topological type of this hypersurface is $(\mathbb{R}\setminus\{0\})\times S^{p - 1}\times S^{q - 1}$. The generating curve consists of $W_s\cup W_u\cup\{0\}$, where the two branches $W_u$ and $W_s$ are smooth at the origin and the tangent line is $y = (\tan\alpha_0)x$, where
\[
\tan\alpha_0=\sqrt{\frac{p - 1}{q - 1}}
\]
The curvatures at the origin are respectively
\[
k_u=\frac{2H(p + q - 1)}{3p + 3q - 4},\quad k_s=-k_u < 0
\]
2. **Minimal Hypersurfaces**:
- **Theorem 1.2**: When $H = 0$, the minimal hypersurface that is invariant under the action of $O(p)\times O(q)$ and has a cusp at the origin is a conical surface, which has the form
\[
C=\{(U, V)\in\mathbb{R}^p\times\mathbb{R}^q; (q - 1)|V|^2=(p - 1)|U|^2\}
\]
The principal curvatures of this minimal conical surface are respectively
\[
\lambda_1(t)=0,\quad\lambda_2(t)=\frac{1}{t}\sqrt{\frac{p - 1}{q - 1}},\quad\lambda_3(t)=-\frac{1}{t}\sqrt{\frac{q - 1}{p - 1}}
\]
### Methods and Techniques
The paper uses a variety of mathematical tools and techniques to prove the above conclusions, including but not limited to:
- **Equivariant Geometry Techniques**: Used to study the generating curves of hypersurfaces of constant mean curvature.
- **Systems of Ordinary Differential Equations**: By analyzing the ordinary differential equations satisfied by the generating curves to study the properties of hypersurfaces.
- **Singularity Analysis**: Using the cylindrical blowing - up technique to deal with degenerate singularities.
- **Invariant Manifold Theory**: Used to analyze the local invariant manifolds of vector fields.
These methods together ensure a comprehensive understanding and accurate proof of the problem.