[论文解读] A Liouville-type theorem for stable minimal hypersurfaces

Leon Simon|arXiv (Cornell University)|Jan 16, 2021

Geometric Analysis and Curvature Flows参考文献 5被引用 4

一句话总结

本文建立了关于在 $\mathbb{R}^{n+1+\ell}$ 中位于圆柱锥 $\Gamma_0 \times \mathbb{R}^\ell$ 一侧的严格稳定极小超曲面的 Liouville 型定理，其中 $\Gamma_0$ 是在 $\mathbb{R}^{n+1}$ 中具有原点孤立奇点的严格稳定、面积最小化超锥。在无穷远处具有有限密度的条件下，该超曲面必为圆柱形——即 $M = S \times \mathbb{R}^\ell$，其中 $S \subset \mathbb{R}^{n+1}$ 为某光滑、严格稳定的极小超曲面，从而在几何与稳定性约束下证明了刚性性。

ABSTRACT

We prove that if $M$ is a strictly stable complete minimal hypersurface in Euclidean space with finite density at infinity and which lies on one side of a minimal cylinder with cross-section a strictly stable area minimizing hypercone, then $M$ must be cylindrical. Applications will be given in the references [Sim20a], [Sim20b].

研究动机与目标

• 建立高余维下稳定极小超曲面的 Liouville 型刚性结果。
• 研究完整、严格稳定的极小超曲面在具有奇异顶点的圆柱锥一侧的结构。
• 在无穷远处具有有限密度与严格稳定性的条件下，证明此类超曲面必为圆柱形。
• 为在高余维下构造具有任意奇异集的严格稳定极小超曲面提供关键技术工具。
• 通过稳定性与增长估计，拓展对非紧、奇异环境空间中极小超曲面的理解。

提出的方法

• 利用在 $\Gamma_0 \cap \mathbb{S}^n$ 上的 Jacobi 算子的谱隙，推导出超曲面 $M$ 上 Jacobi 方程解的 $L^2$ 增长估计。
• 分析单位法向量在 $y$-方向上的法向分量 $\nu_y = (e_{n+2} \cdot \nu, \ldots, e_{n+1+\ell} \cdot \nu)$，证明其 $L^2$ 范数随 $R$ 增大而以 $R^{-2 + \gamma + \alpha}$ 的速率衰减，其中 $\gamma = \ell + 2 + \beta_1$。
• 利用到柱面 $\mathcal{C} = \Gamma_0 \times \mathbb{R}^\ell$ 的距离函数 $d(x) = \text{dist}((x,y), \mathcal{C})$，推导出 $d|_M$ 的 $L^2$ 增长界。
• 应用唯一延拓性与椭圆正则性，证明在齐次 $\mathbb{R}$-调和多项式基下，$M$ 上函数的 $L^2$-展开光滑收敛且属于 $L^2$，从而确立基的完备性。
• 结合各项增长估计，除非 $\nu_y \equiv 0$，否则将导致矛盾，从而推出 $M$ 为圆柱形。
• 利用在 $\Gamma_0$ 上的 Jacobi 算子的特征指数 $\gamma_1^{\pm}$ 控制法向分量的衰减速率，依赖于严格稳定性条件 $\lambda_1 > -(n-2)^2/4$。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^{n+1+\ell}$ 中，位于圆柱锥一侧的严格稳定极小超曲面在何种几何与分析条件下必为圆柱形？
• RQ2 无穷远处的有限密度与严格稳定性是否能强制极小超曲面继承其环境柱面的乘积结构？
• RQ3 在锥的链上 Jacobi 算子的谱隙在控制超曲面法向分量衰减中起何种作用？
• RQ4 Jacobi 场的 $L^2$ 增长估计如何约束在奇异环境空间中稳定极小超曲面的可能几何结构？
• RQ5 是否可以排除在 $\mathbb{R}^{n+1+\ell}$ 中位于奇异锥一侧的非圆柱形稳定极小超曲面的存在？

主要发现

• 若 $M$ 是 $\mathbb{R}^{n+1+\ell}$ 中位于 $\mathcal{C} = \Gamma_0 \times \mathbb{R}^\ell$ 一侧的严格稳定、完备、极小超曲面，其中 $\Gamma_0$ 是在 $\mathbb{R}^{n+1}$ 中具有原点孤立奇点的严格稳定、面积最小化超锥，则 $M$ 必为圆柱形：$M = S \times \mathbb{R}^\ell$，其中 $S \subset \mathbb{R}^{n+1}$ 为某光滑、严格稳定的极小超曲面。
• 在 $M \cap B_R$ 上，法向分量 $\nu_y$ 的 $L^2$ 范数以 $R^{-2 + \gamma + \alpha}$ 的速率衰减，其中 $\gamma = \ell + 2 + \beta_1$，且 $\beta_1 = 2\left(\left(\frac{n-2}{2}\right)^2 + \lambda_1\right)^{1/2}$，$\lambda_1$ 为在 $\Sigma = \Gamma_0 \cap \mathbb{S}^n$ 上 Jacobi 算子的最小特征值。
• 在 $R > 1$ 时，衰减速率 $R^{-2 + \gamma + \alpha}$ 的矛盾表明 $\nu_y \equiv 0$，从而迫使 $M$ 与 $y$-方向相切，故为圆柱形。
• 该证明依赖于 Jacobi 场的 $L^2$ 增长估计与唯一延拓性，表明在齐次 $\mathbb{R}$-调和多项式基下，$M$ 上函数的 $L^2$-展开光滑收敛且属于 $L^2$，从而确立基的完备性。
• 该结果意味着在所述条件下，不存在非圆柱形的严格稳定极小超曲面，即使在高余维下亦然。
• 关键技术步骤在于证明 $\nu_y$ 的 $L^2$ 范数不可能衰减过慢，除非 $\nu_y \equiv 0$，而这一矛盾迫使超曲面具有圆柱结构。