[论文解读] On the asymptotic expansion of Bergman kernel

Xianzhe Dai, Kefeng Liu+1 more|arXiv (Cornell University)|Apr 27, 2004

Geometry and complex manifolds参考文献 33被引用 131

一句话总结

本文建立了在紧致辛流形和轨道丛上，关于正线丛高次幂的spin^c狄拉克算子的伯格曼核的完整非对角渐近展开式及阿格蒙型估计。通过微局部分析与热核方法，证明了在 $ p^{-1} $ 的幂级数中具有统一的渐近展开式，其系数为曲率张量及其导数的多项式，将唐纳森的工作推广至轨道丛，并将几何量子化与稳定性及指标理论联系起来。

ABSTRACT

We study the asymptotic of the Bergman kernel of the spin$^c$ Dirac operator on high tensor powers of a line bundle.

研究动机与目标

• 将唐纳森关于具有常数量曲率的凯勒度量的工作推广至轨道丛，通过研究高次幂下伯格曼核展开的渐近性质。
• 在紧致辛流形和轨道丛上，为spin^c狄拉克算子在正线丛高次幂下的伯格曼核建立完整的非对角渐近展开式。
• 建立适用于不同黎曼度量与几何数据的统一阿格蒙型估计。
• 将伯格曼核的渐近展开与热核及指标理论联系起来，尤其在几何量子化与稳定性背景下的意义。
• 证明展开式中的系数为曲率张量 $ R^{TX}, R^{\text{det}}, R^{E}, R^{L} $、其导数以及 $ \bf{J} $ 特征值倒数的多项式。

提出的方法

• 使用作用于 $ (0,q) $-形式并取值于 $ L^p \otimes E $ 的spin^c狄拉克算子 $ D_p $，其中 $ L $ 为正线丛，曲率为 $ \omega $。
• 应用微局部分析与布泰-德-蒙维尔–吉约明构造，定义Szegö核及相关的拟微分算子 $ D_b $。
• 通过参数解构造与振荡积分中的驻相法，推导伯格曼核 $ B_p(x) $ 的渐近展开式。
• 通过控制在 $ \mathscr{C}^l $-范数下、在 $ \mathscr{C}^s $-范数有界且度量下有界的参数族中导数，建立统一估计。
• 依赖于 $ \exp(-\frac{u}{p}D_p^2) $ 的热核展开，通过谱与迹方法推导伯格曼核渐近性。
• 使用局部法坐标与复结构 $ J $，将核表示为 $ \mathcal{J}_{x_0} $（复结构算子），并在 $ \mathbb{R}^{2n} $ 上计算高斯积分以提取主导项。

实验结果

研究问题

• RQ1 当 $ p \to \infty $ 时，spin^c狄拉克算子的伯格曼核在对角线外的行为如何渐近？
• RQ2 能否在辛轨道丛上为伯格曼核构造出具有显式曲率依赖系数的完整非对角渐近展开式？
• RQ3 阿格蒙型估计的精确形式为何？其在度量与联络数据变化下的统一性如何？
• RQ4 伯格曼核的渐近性与 $ D_p^2 $ 的热核有何关联？这对指标理论与几何量子化意味着什么？
• RQ5 展开式中的系数在多大程度上反映了曲率与holonomy等几何不变量，尤其是在轨道点处？

主要发现

• 伯格曼核具有完整的非对角渐近展开式：$ B_p(x) = \sum_{r=0}^k b_r(x) p^{n-r} + \mathscr{O}(p^{n-k-1}) $，在任意 $ k,l \in \mathbb{N} $ 下对 $ \mathscr{C}^l $-范数一致成立。
• 系数 $ b_r(x) \in \operatorname{End}(\Lambda(T^{*(0,1)}X) \otimes E)_x $ 为 $ R^{TX}, R^{\det}, R^E, R^L $ 及其至多 $ 2r-1 $ 或 $ 2r $ 阶导数、以及 $ \bf{J} $ 特征值倒数的多项式。
• 主导项为 $ b_0(x) = (\det \bf{J})^{1/2} I_{\mathbb{C} \otimes E} $，其编码了辛体积形式。
• 展开式具有一致性：对任意 $ k,l $，存在与黎曼度量 $ g^{TX} $ 无关的常数 $ C_{k,l} $，只要数据在 $ \mathscr{C}^s $ 中有界且 $ g^{TX} $ 下方有界。
• 富比尼-施特udy度量的渐近展开满足 $ \left| \frac{1}{p} \phi_p^* \omega_{FS} - \omega \right|_{\mathscr{C}^l} \leq C_l \left( \frac{1}{p} + p^{l/2} e^{-c\sqrt{p} d(x,X')} \right) $，表明在切点集外快速收敛。
• 在轨道点 $ y_j $ 处，伯格曼核具有奇异贡献 $ \frac{e^{i\theta_j p} g|_E \circ I_{\mathbb{C} \otimes E}}{|G_{y_j}| \det_{\mathbb{C}}(1 - g^{-1}_{T^{(1,0)}X})} \delta_{y_j} $，反映了群作用与单值性。