[论文解读] Regularity of asymptotically conical Ricci-flat Kähler metrics

Craig van Coevering|arXiv (Cornell University)|Dec 19, 2009

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

一句话总结

本文建立了奇点解析化之里奇平坦凯勒度量在里奇平坦凯勒锥上的收敛速率，证明了在紧支集上同调类中的度量以速率 $ O(r^{-2m-k}) $ 收敛至锥度量，与 ALE 度量中观察到的衰减速率一致。通过热核估计与加权 Hölder 空间分析，将乔伊思在 ALE 空间中的结果推广至渐近锥形流形。

ABSTRACT

Using methods of A. Grigor'yan and L. Saloff-Coste we prove that on a manifold with a conical end the heat kernel has a Gaussian bound. This result is applied to asymptotically conical Kähler manifolds. It is a result of the author and R. Goto that a crepant resolution of a Ricci-flat Kähler cone admits a Ricci-flat Kähler metric asymptotic to the cone metric in every Kähler class. We prove the sharp rate of convergence of the metric to the cone metric. For compact Kähler classes this is the same as for the Ricci-flat ALE metrics of P. Kronheimer and D. Joyce.

研究动机与目标

• 建立渐近锥形流形上里奇平坦凯勒度量向其模型锥度量的收敛速率的最优性。
• 将里奇平坦度量在 ALE 空间中的分析推广至具有任意 Sasaki 基流形的一般渐近锥形凯勒流形。
• 证明这些流形上蒙日-安培方程的解的行为类似于 ALE 流形上的解，确保最优衰减速率。
• 利用加权索伯列夫空间与 Hölder 空间，为渐近锥形里奇平坦凯勒度量提供完整的卡拉比型存在性与正则性理论。
• 通过环形几何构造显式例子，特别是针对具有奇点解析化与严格凸支撑函数的 Gorenstein 环形凯勒锥。

提出的方法

• 通过尺度不变 Poincaré 不等式与体积加倍性质，利用离散化技术，建立具有锥形端点的流形上热核的高斯估计。
• 利用 Grigor’yan 与 Saloff-Coste 的方法，证明抛物 Harnack 不等式及其相关的热核估计。
• 在加权 Hölder 空间上分析拉普拉斯算子，以处理渐近锥形流形上的线性化蒙日-安培方程。
• 应用加权索伯列夫不等式与加权 Hölder 空间理论，证明复蒙日-安培方程解的存在性与正则性。
• 利用环形几何通过多面锥上的严格凸支撑函数显式构造凯勒度量，确保与渐近锥结构相容。
• 通过分析锥度量框架中曲率差的衰减，证明里奇平坦度量的收敛速率与 ALE 情况一致。

实验结果

研究问题

• RQ1 在里奇平坦凯勒锥的奇点解析化上，里奇平坦凯勒度量向模型锥度量的最优收敛速率为何？
• RQ2 具有锥形端点的流形上的热核估计如何促进在加权函数空间中对拉普拉斯算子与蒙日-安培方程的分析？
• RQ3 里奇平坦度量在 ALE 流形上的存在性与正则性结果，在具有一般 Sasaki 基流形的渐近锥形凯勒流形上可推广到何种程度？
• RQ4 环形几何是否可用于在具有紧支集同调类的奇点解析化上构造里奇平坦凯勒度量的显式例子？
• RQ5 在环形解析化上，何种条件可确保严格凸支撑函数产生具有最优衰减速率的里奇平坦度量？

主要发现

• 对于紧支集同调类中里奇平坦凯勒锥的奇点解析化，里奇平坦凯勒度量以速率 $ O(r^{-2m-k}) $ 收敛至锥度量，对每个 $ k \to 0 $ 均为最优。
• 在非紧支集同调类中，收敛速率为 $ O(r^{-2-k}) $，与里奇平坦 ALE 度量的衰减速率一致。
• 渐近锥形流形上的热核满足高斯估计，这是尺度不变 Poincaré 不等式与体积加倍性质的结果，通过离散化方法证明。
• 在渐近锥形流形上，加权 Hölder 空间上的拉普拉斯算子行为良好，使得卡拉比猜想在此设定下可应用。
• 对于具有奇点解析化的环形凯勒锥，严格凸支撑函数 $ h $ 确定一个凯勒类 $ [\bar{\theta}_h] $，若 $ [\bar{\theta}_h] \to H_c^2 $，则该类中的里奇平坦度量以最优速率 $ O(r^{-2m-k}) $ 收敛至锥度量。
• 在三维情形下，每个非二次型的环形凯勒锥均存在一个奇点解析化，其具有严格凸支撑函数并产生紧支集凯勒类，从而可构造此类度量。