[论文解读] Bochner Laplacian and Bergman kernel expansion of semi-positive line bundles on a Riemann surface

George Marinescu, Nikhil Savale|arXiv (Cornell University)|Nov 2, 2018

Geometry and complex manifolds参考文献 23被引用 6

一句话总结

本文建立了在黎曼曲面上，曲率仅在有限阶处消失的半正线丛的Bergman核的首个完整渐近展开。通过将高次张量幂上的Bochner拉普拉斯算子与一个次黎曼拉普拉斯算子联系起来，作者推导出最低特征值的精确 $ k^{2/r} $ 缩放，其中 $ r $ 是曲率消失的最大阶数，并证明相应的特征函数集中在曲率以阶数 $ r $ 消失的集合上。

ABSTRACT

We generalize the results of Montgomery for the Bochner Laplacian on high tensor powers of a line bundle. When specialized to Riemann surfaces, this leads to the Bergman kernel expansion and geometric quantization results for semi-positive line bundles whose curvature vanishes at finite order. The proof exploits the relation of the Bochner Laplacian on tensor powers with the sub-Riemannian (sR) Laplacian.

研究动机与目标

• 将Montgomery关于Bochner拉普拉斯算子的结果推广到曲率仅在有限阶处消失的情形，特别是针对黎曼曲面。
• 在曲率仅在有限阶处消失的情况下，建立半正线丛的首个完整Bergman核展开。
• 确定高次张量幂上Bochner拉普拉斯算子最低特征值的精确渐近行为，证明其缩放为 $ k^{2/r} $。
• 证明相应的第一个特征函数集中在曲率以最大阶数 $ r $ 消失的集合上，而在其他地方快速衰减。
• 将谱行为与切空间上的模型次黎曼拉普拉斯算子联系起来，通过这些模型的谱底部确定渐近展开的主导常数。

提出的方法

• 利用张量幂 $ F imes L^k $ 上Bochner拉普拉斯算子与次黎曼（sR）拉普拉斯算子之间的关系，分析谱渐近行为。
• 在每一点 $ y $ 处定义曲率形式 $ R^L $ 的消失阶数 $ r_y $，并假设 $ r = ext{sup}_y r_y < ty $。
• 在切空间 $ T_yY $ 上构造模型拉普拉斯算子 $ riangle_y $，其依赖于度量 $ g^{TY} $ 以及 $ R^L $ 在 $ y $ 处的 $ (r-2) $ 阶喷射，以捕捉局部谱行为。
• 应用函数演算与热核估计，证明 $ riangle_y $ 的谱底 $ ext{inf Spec}( riangle_y) $ 决定了 $ ext{inf Spec}( riangle_k) hicksim C k^{2/r} $ 中的主导渐近常数 $ C $。
• 通过有限传播性论证与谱投影算子控制热核迹，借助与模型算子的比较推导出 $ k^{2/r} $ 缩放。
• 利用特征函数在 $ Y_r $（即曲率以阶数 $ r $ 消失的集合）上集中，而在 $ Y_{\leq r-1} $ 上快速衰减的性质。

实验结果

研究问题

• RQ1 当曲率仅在有限阶处消失时，半正线丛高次张量幂上Bochner拉普拉斯算子最低特征值的精确渐近行为是什么？
• RQ2 Bochner拉普拉斯算子的谱行为如何与曲率消失点的几何结构相关联？
• RQ3 当曲率在有限阶点消失时，能否为黎曼曲面上的半正线丛建立Bergman核展开？
• RQ4 次黎曼拉普拉斯算子在近似曲率消失点处的局部谱行为中起什么作用？
• RQ5 在高次幂极限下，Bochner拉普拉斯算子的第一个特征函数在流形上的分布如何？

主要发现

• 在 $ F imes L^k $ 上Bochner拉普拉斯算子的最低特征值 $ ext{inf Spec}( riangle_k) $ 满足 $ ext{inf Spec}( riangle_k) hicksim C k^{2/r} $，当 $ k \to \infty $ 时，其中 $ r $ 是曲率消失的最大阶数。
• 常数 $ C $ 由 $ C = \text{inf}_{y \to Y_r} \text{inf Spec}(\triangle_y) $ 给出，其中 $ \triangle_y $ 是 $ y \in Y_r $ 处的模型次黎曼拉普拉斯算子。
• 第一个特征函数 $ \psi_0^k $ 在 $ Y_{\leq r-1} $（即曲率以低于 $ r $ 阶消失的集合）上快速衰减（衰减速率超过任何 $ k $ 的负幂次）。
• 当 $ r = 2 $ 时，模型拉普拉斯算子退化为谐振子，且 $ C = \frac{1}{2} \text{tr} \sqrt{-J_y^2} $，从而恢复已知结果。
• 该结果推广了Montgomery关于Bochner拉普拉斯算子的工作，此前其仅在特殊情形下覆盖 $ r = 2 $ 和 $ r = 3 $。
• 该分析首次为曲率仅在有限阶处消失的黎曼曲面上半正线丛提供了完整的Bergman核展开，解决了长期存在的开放问题。