[论文解读] Stability and compactness for complete $f$-minimal surfaces

Xu Cheng, Tito Mejia+1 more|arXiv (Cornell University)|Oct 30, 2012

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

一句话总结

本文建立了在具有正 Bakry-Émery Ricci 曲率的完备度量测度空间中，具有有限加权体积的 $L_f$-稳定 $f$-极小超曲面的非存在性结果。此外，本文在 genus 和加权面积有统一有界的前提下，证明了三维流形中完备嵌入 $f$-极小曲面的光滑紧致性定理，推广了 Colding-Minicozzi 在 $\mathbb{R}^3$ 中对自缩放映像的紧致性结果。这些结果依赖于 $L_f$-算子的谱分析以及通过共形变换将问题转化为加权极小曲面设定。

ABSTRACT

Let $(M,\bar{g}, e^{-f}dμ)$ be a complete metric measure space with Bakry-Émery Ricci curvature bounded below by a positive constant. We prove that, in $M$, there is no complete two-sided $L_f$-stable immersed $f$-minimal hypersurface with finite weighted volume. Further, if $M$ is a 3-manifold, we prove a smooth compactness theorem for the space of complete embedded $f$-minimal surfaces in $M$ with the uniform upper bounds of genus and weighted volume, which generalizes the compactness theorem for complete self-shrinkers in $\mathbb{R}^3$ by Colding-Minicozzi.

研究动机与目标

• 在具有正 Bakry-Émery Ricci 曲率的完备度量测度空间中，建立完备双侧 $L_f$-稳定 $f$-极小超曲面具有有限加权体积的非存在性结果。
• 将 Colding-Minicozzi 在 $\mathbb{R}^3$ 中对自缩放映像的紧致性定理推广至具有正 Bakry-Émery Ricci 曲率的三维流形中的 $f$-极小曲面设定。
• 证明 $f$-极小超曲面的 $L_f$-指标等于其在度量 $\tilde{g} = e^{-\frac{2f}{n}}\overline{g}$ 下的共形变换的指标，从而将 $L_f$-稳定性与共形度量下的稳定性联系起来。
• 通过 Bakry-Émery Ricci 曲率将 $f$-极小超曲面的稳定性与环境空间的几何性质联系起来，从而深化对 $f$-极小超曲面的理解。

提出的方法

• 通过分析加权体积泛函 $V_f(\Sigma) = \int_\Sigma e^{-f} d\sigma$ 的第二变分，定义 $L_f$-稳定性算子 $L_f = \Delta_f + |A|^2 + \overline{\textrm{Ric}}_f(\nu,\nu)$。
• 利用共形变换 $\tilde{g} = e^{-\frac{2f}{n}}\overline{g}$，将 $f$-极小超曲面与新度量 $\tilde{g}$ 下的极小曲面联系起来，从而转移稳定性性质。
• 证明 $\varSigma$ 的 $L_f$-指标等于 $\varSigma$ 在共形度量 $\tilde{g}$ 下作为极小曲面的指标，因此 $L_f$-稳定性等价于在 $\tilde{g}$ 下的稳定性。
• 应用谱理论和 Lichnerowicz 型估计于 $L_f$-算子，若在正 $\overline{\textrm{Ric}}_f$ 条件下存在有限加权体积的 $L_f$-稳定 $f$-极小超曲面，则导出矛盾。
• 通过 genus 和加权面积的统一有界性控制曲率与拓扑，利用 Arzelà-Ascoli 型论证实现 $C^m$ 收敛下的紧致性。
• 通过加权体积控制获得尺度不变的面积界，从而可应用类似于 Colding-Minicozzi 在自缩放映像研究中所用的紧致性技术。

实验结果

研究问题

• RQ1 在满足 $\overline{\textrm{Ric}}_f \geq k > 0$ 的完备度量测度空间中，是否存在一个完备双侧 $L_f$-稳定 $f$-极小超曲面，且具有有限加权体积？
• RQ2 Colding-Minicozzi 在 $\mathbb{R}^3$ 中对自缩放映像的紧致性定理能否推广至具有正 Bakry-Émery Ricci 曲率的三维流形中的 $f$-极小曲面？
• RQ3 一个 $f$-极小超曲面的 $L_f$-稳定性与其在度量 $\tilde{g} = e^{-\frac{2f}{n}}\overline{g}$ 下的共形变换的稳定性之间有何关系？
• RQ4 在三维流形中，对 genus 和加权面积的统一有界性如何控制 $f$-极小曲面的几何与拓扑？
• RQ5 在共形变换 $\tilde{g} = e^{-\frac{2f}{n}}\overline{g}$ 下，$f$-极小超曲面的 $L_f$-指标是否保持不变？

主要发现

• 在满足 $\overline{\textrm{Ric}}_f \geq k > 0$ 的完备度量测度空间中，无论维度如何，均不存在完备双侧 $L_f$-稳定 $f$-极小超曲面且具有有限加权体积。
• $f$-极小超曲面 $\varSigma$ 的 $L_f$-指标等于其在共形度量 $\tilde{g} = e^{-\frac{2f}{n}}\overline{g}$ 下作为极小曲面的指标，因此 $L_f$-稳定性等价于在 $\tilde{g}$ 下的稳定性。
• 在满足 $\overline{\textrm{Ric}}_f \geq k > 0$ 的三维流形中，具有有界 genus $g$ 和有界加权面积 $V$ 的完备嵌入 $f$-极小曲面的集合，在任意 $m \geq 2$ 的 $C^m$ 拓扑下是紧致的。
• 此类曲面的任意序列均存在一个子序列，在紧子集上依 $C^m$ 收敛于同一类中的极限曲面。
• 该紧致性结果推广了 Colding-Minicozzi 在 $\mathbb{R}^3$ 中对自缩放映像的定理，因为自缩放映像即为高斯缩放映像中的 $f$-极小曲面。
• 存在统一的尺度不变面积界（在自缩放映像情形下等价于加权面积界）足以保证紧致性，如在自缩放映像情形中两者等价所示。