[论文解读] On the essential spectrum of Nadirashvili-Martin-Morales minimal surfaces

G. Pacelli Bessa, Luquésio P. Jorge+1 more|arXiv (Cornell University)|Sep 6, 2008

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

一句话总结

该论文证明了当平均曲率向量的范数足够小时，即小于 $ 2/r $，在 $ \mathbb{R}^3 $ 的球体内，完全且适当浸入的极小曲面的谱是离散的。关键结果推广至具有有界径向曲率的黎曼流形的测地球内完全适当浸入的子流形，证明在涉及曲率依赖函数 $ C_b(r) $ 的平均曲率有界条件下谱为离散，从而证实了丘成桐关于 Nadirashvili-Martin-Morales 极小曲面提出的问题。

ABSTRACT

We show that the spectrum of a complete submanifold properly immersed into a ball of a Riemannian manifold is discrete, provided the norm of the mean curvature vector is sufficiently small. In particular, the spectrum of a complete minimal surface properly immersed into a ball of $\mathbb{R}^{3}$ is discrete. This gives a positive answer to a question of Yau.

研究动机与目标

• 解决丘成桐关于完全有界极小曲面在 $ \mathbb{R}^3 $ 的球体内适当浸入时谱是否离散的开放问题。
• 建立完全适当浸入子流形在黎曼流形的测地球内谱为离散的几何条件的一般性准则。
• 将谱结果推广至具有受控曲率和平均曲率的共形产品型区域中的子流形。
• 基于平均曲率向量的范数和径向截面曲率的有界性，提供一个谱判别准则。

提出的方法

• 使用从径向距离函数和曲率有界性构造的比较函数 $ \phi_a $，以控制子流形上测试函数的拉普拉斯算子。
• 应用海森比较原理，估计拉回函数 $ f = \phi_a \circ \rho \circ \varphi $ 的拉普拉斯算子，其中 $ \rho $ 是测地球中心的距离函数。
• 推导出量 $ \inf_{M \setminus K_i} (-\Delta f / f) $ 的下界，该量通过变分原理控制本质谱。
• 引入依赖于曲率的函数 $ C_b(t) $，其定义取决于径向截面曲率上界 $ b $ 的符号：当 $ b > 0 $ 时为余切函数，当 $ b = 0 $ 时为 $ 1/t $，当 $ b < 0 $ 时为双曲余切函数。
• 施加条件 $ \sup_M |H| < m \cdot C_b(r) $，其中 $ m $ 为子流形的维数，以确保随着膨胀的截断集 $ K_i $，谱间隙趋于无穷。
• 采用一列紧致截断集 $ K_i = \varphi^{-1}(B_N(r_i) \times \mathbb{R}^\ell) $，其中 $ r_i \to r $，以确保谱阈值发散。

实验结果

研究问题

• RQ1 在何种几何条件下，黎曼流形的测地球内完全适当浸入的子流形的谱是离散的？
• RQ2 完全极小曲面在 $ \mathbb{R}^3 $ 的球体内适当浸入时，其谱是否如丘成桐所猜想的那样保持离散？
• RQ3 能否通过平均曲率向量相对于环境空间曲率的有界性来保证谱的离散性？
• RQ4 环境流形的径向截面曲率如何影响嵌入子流形的谱类型？
• RQ5 谱离散性是否可推广至测地球与欧几里得空间乘积中的子流形？

主要发现

• 任何完全且适当浸入于 $ \mathbb{R}^3 $ 中的球体 $ B_{\mathbb{R}^3}(r) \subset \mathbb{R}^3 $ 的极小曲面，若满足 $ \sup_M |H| < 2/r $，则其谱是离散的。
• 对于完全 $ m $-维子流形，若适当浸入于黎曼 $ n $-流形 $ N $ 的半径为 $ r $ 的测地球 $ B_N(r) $ 中，当 $ \sup_M |H| < m \cdot C_b(r) $ 时，谱是离散的，其中 $ b = \sup K_N^{\mathrm{rad}} $。
• 函数 $ C_b(t) $ 定义为：当 $ b > 0 $ 时为 $ \sqrt{b} \cot(\sqrt{b}\,t) $，当 $ b = 0 $ 时为 $ 1/t $，当 $ b < 0 $ 时为 $ \sqrt{-b} \coth(\sqrt{-b}\,t) $，其控制谱阈值。
• 当子流形位于 $ B_N(r) \times \mathbb{R}^\ell $ 中时，若 $ \sup_M |H| < (m - \ell) C_b(r) $ 且对所有 $ s < r $，$ B_N(s) \times \mathbb{R}^\ell $ 的原像为紧致，则结论对 $ m \geq \ell + 1 $ 成立。
• 适当性条件为技术性条件，可能可被移除，因为基于随机不完备性的证据，谱离散性在无此条件时也应成立。
• 本文支持一个更广泛的猜想：对于完全非紧黎曼流形，谱离散性与随机不完备性等价。