Index estimates for constant mean curvature surfaces in three-manifolds by energy comparison

技术摘要：通过能量比较估计三维流形中常平均曲率曲面的指数

问题陈述
本文旨在解决建立嵌入在定向三维流形中的闭常平均曲率（CMC）曲面之 Morse 指数上界的问题。具体而言，作者试图根据拓扑不变量（亏格和分枝点）以及几何量（面积和 Willmore 型能量）来限制指数（及零度）。

虽然对于维度 $m \ge 3$ 的极小曲面，通过 Cwikel-Lieb-Rozenbljum 不等式和 Sobolev 嵌入可以建立成熟的线性指数上界，但 $m=2$（曲面）的情况在分析上存在显著困难。标准的 Schrödinger 算子估计在二维情况下会失效，因为与曲率相关的势项并不以一种能通过亏格和面积产生线性界限的方式属于 $L^1$ 类。Ejiri 和 Micallef 的前人工作通过比较面积泛函与 Dirichlet 能量，成功弥补了极小曲面的这一差距，但将此方法扩展到任意环境流形中的 CMC 曲面需要新的技术。

方法论
核心方法论依赖于沿共形映射对面积泛函（$A$）与 Dirichlet 能量泛函（$E$）二阶变分的精细比较。

1. 广义二阶变分比较： 作者推广了 Ejiri 和 Micallef [11] 的一个关键结果。他们证明了对于任何分枝共形浸入 $u: \Sigma \to N$（不一定是极小曲面），面积泛函的二阶变分与能量泛函的二阶变分满足如下关系，其中涉及“无穷小共形缺陷”（$\eta$ 或 $\mu$）的一个非正项：
   $$d^2A(u)[v, v] = d^2E(u)[v, v] - 4 \int_\Sigma |\mu|^2 d\Sigma$$
   至关重要的是，该恒等式在不对平均曲率 $H$ 作任何约束的情况下均成立。这使得作者能够将 CMC 面积函数的指数与相应的能量函数的指数联系起来。

2. 能量泛函分析： 作者定义了一个能量泛函 $E_h(u) = E(u) + V_h(u)$，其中 $V_h$ 代表带有权重 $h$ 的包围体积。他们分析了该能量泛函的二阶变分。通过利用 Michael-Simon-Sobolev 不等式和热核迹估计（遵循 Cheng 和 Tysk [7]），他们推导出了能量算子指数的显式界限。

3. 谱估计： CMC 算子的指数由能量算子的指数加上一个拓扑项 $r$（源自曲面的模空间维度）来界定。能量指数则由曲面的面积以及环境曲率和平均曲率的 $L^\infty$ 范数来界定。

主要贡献与结果

• 定理 1.2（一般上界）： 对于分枝 CMC $h$-浸入 $u: \Sigma_g \to N^3$（其中 $N$ 嵌入在 $\mathbb{R}^d$ 中），指数与零度之和（$i_{Ah} + n_{Ah}$）满足：
  $$i_{Ah} + n_{Ah} \le C(4J^2 + h^2)\text{Area}(\Sigma) + r$$
  这里，$J$ 是嵌入 $N \hookrightarrow \mathbb{R}^d$ 的第二基本形式最大特征值的上确界，$h$ 是平均曲率，$r$ 是取决于亏格 $g$ 和分枝点数 $b$ 的纯拓扑量。如果曲面是全全纯（totally umbilic）的，则拓扑项 $r$ 为零。

• 定理 1.5（负曲率情况）： 在具有严格负截面曲率（$\kappa_N \le \kappa_0 < 0$）的定向三维流形中，若平均曲率满足 $h^2 \le 4|\kappa_0|$，则指数仅由拓扑量 $r$ 限制（或曲面为具有特定曲率约束的全全纯曲面）。这一结果强调了在足够负的曲率空间中，在这些曲率条件下，几何能量项不会主导指数界限。

• 最优性讨论： 作者证明了对 Willmore 型能量（$h^2 \text{Area}(\Sigma)$）的线性依赖关系是优的。他们引用了 Delaunay 曲面（unduloids/nodoids）和 Wente 圆环的例子，在这些例子中，指数随“瓣”（凸起部分）的数量呈仿射线性增长，这对应于 Willmore 能量的增长。同样，对亏格的线性依赖性也得到了 Kapouleas 和 Heller 等人构造的高亏格 CMC 曲面的支持。

意义与主张
本文声称将 Ejiri 和 Micallef 关于极小曲面的著名指数估计扩展到了任意环境几何中的 CMC 曲面。通过建立二阶比较在无论平均曲率如何的情况下对共形映射均成立这一事实，作者提供了一个稳健的框架，利用几何数据（面积和曲率）以及拓扑数据（亏格）来界定 Morse 指数。

作者明确指出，在存在相对于平均曲率的严格负截限曲率时（例如双曲空间中的大球体），其估计是“高度次优的”，因为此时 Willmore 能量呈指数级增长，而指数保持不变。然而，他们认为在非负环境曲率的情况下，其估计的阶数（关于 Willmore 能量和亏格呈线性）是优的。

该工作并非提出新的实验应用，而是提供了一个理论工具，用于理解 CMC 曲面的稳定性及其谱性质，填补了关于非极小曲面在一般环境几何中指数界限方面的文献空白。