[论文解读] Bounds for Laplace eigenvalues of Kaehler metrics

Gerasim Kokarev|arXiv (Cornell University)|Jan 7, 2018

Geometry and complex manifolds参考文献 17被引用 5

一句话总结

本文建立了凯勒流形及其解析子簇的高阶拉普拉斯特征值的精确上界，以全纯次数为参数，推广了经典 Bourguignon-Li-Yau 不等式（针对第一特征值）。通过从 Fubini-Study 几何拉回测试函数，并结合索伯列夫估计与变分法原理，证明了对所有 $ k \geq 1 $，有 $ \lambda_k \leq C(n,m) \cdot d([\phi],[\omega_g]) \cdot k $，其中 $ d([\phi],[\omega_g]) $ 为全纯次数，$ C(n,m) $ 仅依赖于维数 $ n $ 和 $ m $。该结果首次在固定凯勒类中为高阶特征值提供了普遍的特征值界。

ABSTRACT

We prove inequalities for Laplace eigenvalues of Kaehler manifolds generalising to higher eigenvalues the classical inequality for the first Laplace eigenvalue due to Bourguignon, Li, and Yau in 1994. We also obtain similar inequalities for analytic varieties in Kaehler manifolds.

研究动机与目标

• 将 1994 年 Bourguignon-Li-Yau 针对凯勒流形上第一拉普拉斯特征值的不等式推广至高阶特征值。
• 在相同框架下，为凯勒流形中的解析子簇建立特征值界。
• 解决 Yau 提出的凯勒几何中高阶特征值界的问题。
• 提供一个仅依赖于全纯次数与维数的尺度不变特征值估计。

提出的方法

• 通过非恒定全纯映射 $ \phi: \Sigma^n \to \mathbb{C}P^m $，将 $ \mathbb{C}P^m $ 上的利普希茨函数拉回构造测试函数。
• 利用瑞利商变分原理，通过测试函数的 $ L^2 $-范数与梯度的 $ L^2 $-范数来控制特征值 $ \lambda_k $。
• 对解析子簇应用 Michael-Simon 索伯列夫不等式，以控制拉回函数的 $ W^{1,2} $-范数。
• 对解析簇使用斯托克斯公式，以验证分部积分的合法性并估计梯度范数。
• 将全纯次数 $ d([\phi],[\omega_g]) = \left(\int \phi^*\omega_{FS} \wedge \omega_g^{n-1}\right)/\left(\int \omega_g^n\right) $ 作为关键几何不变量。
• 通过索伯列夫嵌入与椭圆正则性，建立拉普拉斯算子在正则点集上的预解算子的紧致性。

实验结果

研究问题

• RQ1 Bourguignon、Li 与 Yau 的经典第一特征值界能否推广至凯勒流形上的高阶拉普拉斯特征值？
• RQ2 在固定凯勒类中，何种几何不变量控制高阶特征值的增长？
• RQ3 在凯勒流形中，解析子簇是否也存在类似的特征值界？
• RQ4 是否存在一个通用常数 $ C(n,m) $，使得对所有 $ k \geq 1 $，有 $ \lambda_k \leq C(n,m) \cdot d \cdot k $？
• RQ5 在无浸入假设下，全纯次数 $ d([\phi],[\omega_g]) $ 如何与特征值增长相关？

主要发现

• 本文证明：对任意 $ k \geq 1 $，第 $ k $ 个拉普拉斯特征值满足 $ \lambda_k(\Sigma^n,g) \leq C(n,m) \cdot d([\phi],[\omega_g]) \cdot k $，其中 $ C(n,m) $ 仅依赖于复维数 $ n $ 与环境射影空间维数 $ m $。
• 该界对任意非恒定全纯映射 $ \phi: \Sigma^n \to \mathbb{C}P^m $ 成立，无需要求 $ \phi $ 为浸入或像非退化。
• 在复维数为一的情形下，该结果恢复了 Korevaar 的界 $ \lambda_k(\Sigma^1,g) \cdot \mathrm{Vol}_g(\Sigma^1) \leq C_* \cdot \deg(\phi) \cdot k $，其中 $ C_* $ 为绝对常数。
• 全纯次数 $ d([\phi],[\omega_g]) $ 是一个尺度不变量，控制了在固定凯勒类中特征值的增长速率。
• 证明通过索伯列夫嵌入与椭圆正则性，建立了解析子簇上拉普拉斯算子的离散谱与紧致预解算子。
• 该方法通过限制在正则点集并利用有界平均曲率电流的 Michael-Simon 索伯列夫不等式，适用于奇异解析子簇。