[论文解读] Constant mean curvature hypersurfaces condensing along a submanifold

Fethi Mahmoudi, Rafe Mazzeo+1 more|ArXiv.org|May 28, 2004

Geometric Analysis and Curvature Flows参考文献 7被引用 8

一句话总结

本文通过测地线管的扰动、Lyapunov-Schmidt约化及加权Sobolev估计，证明了在黎曼流形 $M^{m+1}$ 中，沿非退化的极小子流形 $K^k$ 的常平均曲率（CMC）超曲面的存在性。关键结果为：对一组在零附近稠密的小半径 $\rho$，此类 CMC 超曲面存在并形成局部叶状结构，其拓扑继承自 $K$，且平均曲率按 $H \sim \frac{n-1}{m}\rho^{-1}$ 缩放，其中 $n = m+1-k$。仅在孤立半径处因分岔现象导致构造失败。

ABSTRACT

Given any nondegenerate k-dimensional minimal submanifold K of codimension greater than 1, we prove the existence of families of constant mean curvature submanifolds, with mean curvature varying from one member of the family to another, which `condense' to K. In particular, our result proves the existence of constant mean curvature hypersurfaces with nontrivial topology in any Riemannian manifold.

研究动机与目标

• 将已知的点与测地线情形下常平均曲率（CMC）超曲面沿子流形凝聚的存在性结果推广至更一般情形。
• 在余维数 $k \geq 2$ 的任意非退化极小子流形 $K^k$ 情形下，建立此类 CMC 超曲面的存在性。
• 证明这些 CMC 超曲面可作为测地线管 $\bar{S}_\rho$ 的小法向扰动构造而成，且其 $L^\infty$ 与 Hölder 范数受控。
• 证明此类扰动存在的半径 $\rho$ 的集合在零附近稠密，并给出精确的定量密度估计。
• 分析当 $\rho \to 0$ 时，$S_\rho$ 的面积与曲率密度的渐近行为，表明其收敛于 $K$ 上的测度。

提出的方法

• 通过在 $K$ 的法丛上选取一个 $L^\infty$ 范数为 $O(\rho^2)$ 的截面，将 CMC 超曲面构造为 $K$ 的扰动版本上的法图。
• 应用 Lyapunov-Schmidt 约化求解常平均曲率的非线性方程，将其转化为加权 Hölder 空间中的不动点问题。
• 在法丛 $SNK$ 上使用缩放后的椭圆估计，控制解的正则性与大小，且系数在 $\rho \to 0$ 时一致有界。
• 实施加权范数估计 $\|v\|_{C^{2,\alpha}} \leq c\rho^{-D}\|\mathbb{L}_\rho v\|_{C^{0,\alpha}}$，其中 $D = 3k/2 + q + 1 + \alpha$，以确保通过压缩映射原理可解。
• 将扰动的障碍识别为线性化平均曲率算子 $\mathbb{L}_\rho$ 的特征值，并排除存在小特征值的危险半径。
• 建立可接受 $\rho$ 的集合为区间 $I_i = (\rho_i^-, \rho_i^+)$ 的并集，满足 $\rho_i^\pm \to 0$，且对任意 $q \geq 2$，有 $\mathcal{H}^1((0,\rho) \cap I) = \rho + O(\rho^q)$。

实验结果

研究问题

• RQ1 能否在黎曼流形 $M^{m+1}$ 中，对余维数 $k \geq 2$ 的任意非退化极小子流形 $K^k$，构造出沿其凝聚的常平均曲率超曲面？
• RQ2 将测地线管 $\bar{S}_\rho$ 扰动为 CMC 超曲面的几何与分析障碍为何？如何克服这些障碍？
• RQ3 所构造的 CMC 超曲面的拓扑与凝聚子流形 $K$ 有何关系？
• RQ4 当 $\rho \to 0$ 时，$S_\rho$ 的面积与曲率密度的渐近行为如何？其与 $\bar{S}_\rho$ 的行为相比有何异同？
• RQ5 为何该构造在某些半径 $\rho$ 处失败？所发生的分岔现象具有何种性质？

主要发现

• 对任意非退化闭合极小子流形 $K^k \subset M^{m+1}$，其中 $1 \leq k \leq m-1$，存在一列区间 $I_i = (\rho_i^-, \rho_i^+)$，满足 $\rho_i^\pm \to 0$，使得对所有 $\rho \in I := \bigcup_i I_i$，测地线管 $\bar{S}_\rho$ 可被扰动为具有平均曲率 $H = \frac{n-1}{m}\rho^{-1}$ 的 CMC 超曲面，其中 $n = m+1-k$。
• 该扰动是 $K$ 在其法丛中 $\rho^2$ 平移上的法图，且扰动的 $L^\infty$ 范数有界于 $C\rho^3$。
• $\rho \in I_i$ 的超曲面 $S_\rho$ 构成 $K$ 附近的一个局部叶状结构的叶，且当 $i \to \infty$ 时，$S_\rho$ 的指标趋于无穷。
• $I$ 在零附近具有全密度：对任意 $q \geq 2$，有 $|\mathcal{H}^1((0,\rho) \cap I) - \rho| \leq c_q \rho^q$。
• $S_\rho$ 的面积与曲率密度满足与 $\bar{S}_\rho$ 相同的渐近极限：$\rho^{k-m} \mathcal{H}^m \llcorner S_\rho \rightharpoonup \omega_{m-k} \mathcal{H}^k \llcorner K$ 且 $\rho^{k-m+q}|A_{S_\rho}|^q \mathcal{H}^m \llcorner S_\rho \rightharpoonup (m-k)^{q/2}\omega_{m-k} \mathcal{H}^k \llcorner K$，当 $\rho \to 0$ 时。
• 该构造在孤立半径处失败，原因在于分岔现象，其与线性化平均曲率算子 $\mathbb{L}_\rho$ 的小特征值有关，这些半径已被从可接受集合 $I$ 中排除。