[论文解读] Off-diagonal asymptotic properties of Bergman kernels associated to analytic Kähler potentials

Hamid Hezari, Zhiqin Lu+1 more|arXiv (Cornell University)|May 25, 2017

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

一句话总结

本文在紧致凯勒流形上，当凯勒势为实解析函数时，建立了与正线丛的张量幂相关的伯格曼核的完整非对角渐近展开。利用[BeBeSj08]方法导出的形如 $ C^m m!^2 $ 的伯格曼系数界，作者证明了该展开在对角线的 $ k^{-1/4} $ 邻域内一致成立，优于光滑势函数情形已知的 $ k^{-1/2} $ 邻域。该结果在解析设定下增强了渐近控制，并在常全纯截面曲率情形下恢复并推广了Berman的固定邻域结果。

ABSTRACT

We prove a new off-diagonal asymptotic of the Bergman kernels associated to tensor powers of a positive line bundle on a compact Kähler manifold. We show that if the Kähler potential is real analytic, then the Bergman kernel accepts a complete asymptotic expansion in a neighborhood of the diagonal of shrinking size $k^{-\frac14}$. These improve the earlier results in the subject for smooth potentials, where an expansion exists in a $k^{-\frac12}$ neighborhood of the diagonal. We obtain our results by finding upper bounds of the form $C^m m!^{2}$ for the Bergman coefficients $b_m(x, \bar y)$, which is an interesting problem on its own. We find such upper bounds using the method of Berman-Berndtsson-Sjöstrand. We also show that sharpening these upper bounds would improve the rate of shrinking neighborhoods of the diagonal $x=y$ in our results. In the special case of metrics with local constant holomorphic sectional curvatures, we obtain off-diagonal asymptotic in a fixed (as $k o \infty$) neighborhood of the diagonal, which recovers a result of Berman [Ber] (see Remark 3.5 of [Ber] for higher dimensions). In this case, we also find an explicit formula for the Bergman kernel mod $O(e^{-k δ} )$.

研究动机与目标

• 在实解析凯勒势设定下，建立伯格曼核的完整非对角渐近展开。
• 在已知光滑势函数情形下 $ k^{-1/2} $-邻域的基础上，进一步扩大该展开成立的邻域范围。
• 推导伯格曼核系数 $ b_m(x, \bar{y}) $ 的定量上界，特别是形如 $ C^m m!^2 $ 的形式，这对展开的有效性至关重要。
• 表明若能进一步改进这些系数界，将可进一步扩大渐近展开中邻域的大小。
• 在全纯截面曲率为常数的特殊情形下，恢复并扩展Berman的固定邻域结果。

提出的方法

• 使用[BeBeSj08]的方法，为伯格曼核系数 $ b_m(x, \bar{y}) $ 推导出形如 $ C^m m!^2 $ 的上界，这对控制渐近展开中的余项至关重要。
• 构造伯格曼核的正式非对角展开形式 $ K_k(x,y) = e^{k\psi(x,\bar{y})} \frac{k^n}{\pi^n} \left(1 + \sum_{j=1}^{N_0(k)-1} \frac{b_j(x,\bar{y})}{k^j} \right) + \text{余项} $，其中 $ \psi $ 是凯勒势 $ \phi $ 的全纯延拓。
• 定义 $ N_0(k) = \left[\left(\frac{k}{C}\right)^{1/2}\right] $，该定义确定了展开项的数量，确保余项在 $ k^{-1/4} $-邻域内一致受控。
• 利用从核的标度极限导出的系数 $ A_m(x,y,\theta) $ 的传输方程，递归地定义展开项。
• 通过公式 $ B(x,z) = \frac{1 + k(x-y)\cdot A(x,y,\theta) + (D_\theta \cdot A)(x,y,\theta)}{\Delta_0(x,y,\theta)} $ 将展开系数 $ b_m(x,\bar{y}) $ 与 $ A_m $-系数联系起来，以保证展开的一致性。
• 应用卡拉比对角函数 $ D(x,y) $ 来控制指数衰减 $ e^{-kD(x,y)/2} $，该衰减主导了非对角行为。

实验结果

研究问题

• RQ1 当凯勒势为实解析函数时，是否可在对角线的更大邻域内建立伯格曼核的完整非对角渐近展开，超越光滑势函数情形已知的 $ k^{-1/2} $-邻域？
• RQ2 在解析设定下，伯格曼核系数 $ b_m(x, \bar{y}) $ 的最优界是什么？它们如何影响展开成立的邻域大小？
• RQ3 渐近展开在对角线邻域内有效的范围大小如何依赖于系数 $ b_m $ 的衰减速率？能否通过更紧的界来改进这一范围？
• RQ4 在全纯截面曲率为常数的特殊情形下，渐近展开是否可扩展至一个与 $ k $ 无关的固定邻域（对角线附近），并可导出模 $ O(e^{-k\delta}) $ 的显式公式？
• RQ5 当 $ N $ 依赖于 $ k $ 时，非对角展开中的余项能否被定量控制，从而使展开在 $ \sqrt{\log k / k} $ 阈值之外仍具实用性？

主要发现

• 当凯勒势为实解析函数时，伯格曼核在对角线的 $ k^{-1/4} $-邻域内存在完整的非对角渐近展开，显著优于光滑势函数情形已知的 $ k^{-1/2} $-邻域。
• 对于所有满足 $ d(x_k, y_k) \leq k^{-1/4} $ 的序列 $ x_k, y_k $，该展开是一致的，其形式为 $ |K_k(x_k, y_k)|_{h^k} \sim \frac{k^n}{\pi^n} e^{-kD(x_k, y_k)/2} $，其中 $ D $ 为卡拉比的对角函数。
• 作者建立了伯格曼系数 $ b_m(x, \bar{y}) $ 的 $ C^m m!^2 $ 上界，这对展开的有效性至关重要，且是通过[BeBeSj08]方法导出的。
• 若想将邻域范围缩小至 $ k^{-1/4} $ 以下，将需要改进这些 $ C^m m!^2 $ 系数界，表明系数控制与邻域大小之间存在直接关联。
• 在全纯截面曲率为常数的度量情形下，展开在对角线的一个固定（当 $ k \to \infty $ 时不变）邻域内一致成立，且伯格曼核可显式给出，模 $ O(e^{-k\delta}) $。
• 展开中的余项受控于 $ O_{N}(1) $，通过选择 $ N = N_0(k) = \left[\left(\frac{k}{C}\right)^{1/2}\right] $，可使余项小于 $ k^{-1/4} $-邻域内的主项。