[论文解读] Szego kernels and a theorem of Tian

Steve Zelditch|ArXiv.org|Feb 3, 2000

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

一句话总结

本文建立了在紧致凯勒流形上，正线丛高次幂的全纯截面正交基的范数平方和的完整渐近展开。通过使用布蒂-德-蒙维尔–舍恩斯特兰德参数解对全息核进行微局部分析，并结合复振荡积分的平稳相位方法，证明了主导项为 $ N^n $，低阶项依次为 $ N^{n-1}, N^{n-2}, \dots $，将蒂安的收敛结果从 $ C^2 $-拓扑提升至 $ C^\infty $-拓扑，并为扭曲函数与富比尼–施特迪度量提供了完整的渐近级数。

ABSTRACT

We give a simple proof of Tian's theorem that the Kodaira embeddings associated to a positive line bundle over a compact complex manifold are asymptotically isometric. The proof is based on the diagonal asymptotics of the Szego kernel (i.e. the orthogonal projection onto holomorphic sections). In deriving these asymptotics we use the Boutet de Monvel-Sjostrand parametrix for the Szego kernel.

研究动机与目标

• 在紧致凯勒流形上，为高次幂 $ L^{\bigotimes N} $ 的全纯截面的范数平方和建立完整的渐近展开。
• 将蒂安关于富比尼–施特迪形式的拉回收敛到原始凯勒形式的结果加以改进，证明其在 $ C^\infty $-拓扑下收敛，而不仅限于 $ C^2 $。
• 推导出全息度量 $ h_N $ 与富比尼–施特迪度量 $ h_{FS,N} $ 之间扭曲函数的完整渐近级数，包含低阶项。
• 将 $ M $ 上的全纯几何与 $ L^* $ 的单位圆丛 $ X $ 上的CR几何联系起来，从而能够应用全息核理论。
• 以相对于任意背景度量 $ G $ 的里奇曲率特征值为表达式，给出 $ h_N / h_{FS,N} $ 的精确公式。

提出的方法

• 在单位圆丛 $ X $ 上利用布蒂-德-蒙维尔–舍恩斯特兰德参数解处理全息核 $ \Pi_N(x,x) $，该参数解将 $ L^2(X) $ 投影到哈代空间 $ H^2(X) $。
• 对 $ \Pi_N(x,x) $ 的振荡积分表示应用复振荡积分的平稳相位方法，分析相位函数 $ \Psi(t,\theta;x,y) $ 及其临界点。
• 计算相位在临界集 $ \{(t,\theta) = (1,0)\} $ 处的黑塞矩阵，证明其非退化性，并推导出高阶项的微分算子 $ L_\Psi $。
• 导出形式为 $ \Pi_N(x,x) \sim N^n C_n s_0(x,x) + N^{n-1} a_1(x,x) + \cdots $ 的渐近展开，其中系数依赖于符号在对角线上的喷射数据。
• 通过 $ S^1 $-不变结构将 $ X $ 上的全息核与 $ \sum_i |S_i^N(z)|_{h_N}^2 $ 联系起来，将截面的 $ L^2 $-范数与圆丛上的核联系起来。
• 利用恒等式 $ \partial_b \bar\partial_b \log \Pi_N(x,x) = \partial_b \bar\partial_b \log s_0(x,x) + O(N^{-1}) $ 推导曲率渐近性，并证明 $ \frac{1}{N} \phi_N^* \omega_{FS} \to \omega_g $ 在 $ C^k $-范数下收敛。

实验结果

研究问题

• RQ1 和 $ \sum_{i=0}^{d_N} |S_i^N(z)|_{h_N}^2 $ 是否存在关于 $ N $ 的完整渐近展开？若存在，其系数为何？
• RQ2 能否将 $ \frac{1}{N} \phi_N^* \omega_{FS} $ 收敛到 $ \omega_g $ 的结果从 $ C^2 $ 加强为 $ C^\infty $-拓扑？
• RQ3 扭曲函数 $ h_N / h_{FS,N} $ 的精确渐近行为是什么？其如何依赖于线丛的曲率与背景度量的选择？
• RQ4 在圆丛 $ X $ 上对全息核的微局部分析如何与 $ M $ 的整体几何及全纯截面空间相联系？
• RQ5 范数平方和的渐近展开中的低阶项能否显式计算，并用曲率不变量表达？

主要发现

• 和 $ \sum_{i=0}^{d_N} |S_i^N(z)|_{h_N}^2 $ 具有完整的渐近展开：$ a_0 N^n + a_1(z) N^{n-1} + a_2(z) N^{n-2} + \cdots $，其中 $ a_0 = 1 $，在 $ C^k $-范数下成立，误差为 $ O(N^{n-R}) $，对任意 $ R $ 成立。
• $ \frac{1}{N} \phi_N^* \omega_{FS} $ 收敛到 $ \omega_g $ 的结果在 $ C^\infty $-拓扑下成立，而不仅限于 $ C^2 $，证实了蒂安的猜想。
• 比值 $ \frac{h_{N,z}}{h_{FS,N,z}} = \left( \frac{N}{2\pi} \right)^n |\alpha_1(z) \cdots \alpha_n(z)| + O(N^{n-1}) $，其中 $ \alpha_j(z) $ 是相对于背景度量 $ G $ 的 $ \operatorname{Ric}(h) $ 的特征值。
• 当 $ G $ 为与 $ \omega_g = \operatorname{Ric}(h) $ 关联的凯勒度量时，特征值 $ \alpha_j(z) \equiv 1 $，因此 $ \frac{h_N}{h_{FS,N}} \sim \left( \frac{N}{2\pi} \right)^n $。
• 通过将平稳相位方法应用于复相位 $ \Psi(t,\theta;x,y) $，导出了 $ \Pi_N(x,x) $ 的渐近展开，其在 $ t=1, \theta=0 $ 处具有非退化的临界点，从而得到 $ N^{-1} $ 的完整级数。
• 主导系数 $ a_0 = 1 $ 通过将主导项与黎曼–罗赫多项式匹配得到确认，确保与已知体积渐近性的一致性。