[论文解读] Tropical and non-Archimedean limits of degenerating families of volume forms

Sébastien Boucksom, Mattias Jönsson|arXiv (Cornell University)|May 17, 2016

Geometry and complex manifolds参考文献 58被引用 80

一句话总结

本文建立了紧致复流形上退化体积形式族的测度论极限，表明它们在中心纤维奇点关联的单纯复形上弱收敛于一种勒贝格型测度。通过混合分析空间与伯克维奇几何，证明在解析奇点条件下，经缩放的体积形式收敛于一个在对偶相交复形子复形上支撑的极限测度，该测度通过残量测度与算术系数显式描述。

ABSTRACT

We study the asymptotic behavior of volume forms on a degenerating family of compact complex manifolds. Under rather general conditions, we prove that the volume forms converge in a natural sense to a Lebesgue-type measure on a certain simplicial complex. In particular, this provides a measure-theoretic version of a conjecture by Kontsevich--Soibelman and Gross--Wilson, bearing on maximal degenerations of Calabi--Yau manifolds.

研究动机与目标

• 理解紧致复流形退化族上体积形式的渐近行为。
• 在测度论意义上实现康特谢维奇-索伊贝尔曼与格罗斯-威尔逊关于卡拉比-丘流形极大退化猜想。
• 构造一个统一退化极限中复几何与非阿基米德几何的混合分析空间。
• 将缩放体积形式的精确热带极限识别为对偶相交复形的单纯子复形上的勒贝格型测度。
• 通过 canonical bundle 上的度量残量数据与退化过程的算术不变量，刻画极限测度。

提出的方法

• 通过将复族与半稳定退化对偶相交复形粘合，构造混合空间 $\mathcal{X}^{\mathrm{hyb}} = X \coprod \Delta(\mathcal{X})$。
• 定义一个热带化映射 $X \to \Delta(\mathcal{X})$，用于测量中心纤维附近坐标对数速率。
• 使用一个 snc 模型 $\mathcal{X} \to \mathbb{D}$，其上存在一个 $\mathbb{Q}$-线丛 $\mathcal{L}$，扩展相对 canonical bundle，并在 $\mathcal{L}$ 上赋予一个连续度量 $\psi$。
• 通过 $|t|^{2\kappa_{\min}}(2\pi \log|t|^{-1})^d$ 对体积形式 $\nu_t$ 进行缩放，以归一化质量，并在 $\mathcal{X}^{\mathrm{hyb}}$ 上定义测度 $\mu_t$。
• 证明 $\mu_t$ 弱收敛于一个在 $d$-维子复形 $\Delta(\mathcal{L}) \subset \Delta(\mathcal{X})$ 上支撑的极限测度 $\mu_0$，其中 $\Delta(\mathcal{L})$ 由最小化对数正则阈值确定。
• 将极限测度表示为 $\mu_0 = \sum_{\sigma} \left( \int_{Y_\sigma} \operatorname{Res}_{Y_\sigma}(\psi) \right) b_\sigma^{-1} \lambda_\sigma$，其中 $\lambda_\sigma$ 为面 $\sigma$ 上的勒贝格测度，$b_\sigma$ 为算术系数。

实验结果

研究问题

• RQ1 在具有解析奇点的紧致复流形退化族中，体积形式的渐近行为如何？
• RQ2 缩放体积形式的热带极限所支持的精确几何时对象是什么？
• RQ3 对偶复形上的极限测度如何与 canonical bundle 上的度量及中心纤维的几何相关联？
• RQ4 康特谢维奇-索伊贝尔曼与格罗斯-威尔逊关于卡拉比-丘退化的猜想能否以测度论极限的形式实现？
• RQ5 对数正则阈值 $\kappa_i = a_i / b_i$ 在决定极限测度的渐近质量与支撑中起什么作用？

主要发现

• 体积形式的总质量满足 $\nu_t(X_t) \sim c |t|^{2\kappa_{\min}} (\log|t|^{-1})^d$，其中 $c > 0$，$\kappa_{\min} \in \mathbb{Q}$，$d \in \mathbb{N}^*$，且 $d \leq \dim X_t$。
• 缩放测度 $\mu_t = \nu_t / (|t|^{2\kappa_{\min}} (2\pi \log|t|^{-1})^d)$ 在混合空间 $\mathcal{X}^{\mathrm{hyb}}$ 上弱收敛于极限测度 $\mu_0$。
• 测度 $\mu_0$ 的支撑为 $d$-维子复形 $\Delta(\mathcal{L}) \subset \Delta(\mathcal{X})$，其中 $\mathcal{L}$ 为相对 canonical bundle 的延拓，且 $\Delta(\mathcal{L})$ 对应于最小对数正则阈值 $\kappa_{\min} = \min_i \kappa_i$。
• 极限测度 $\mu_0$ 显式给出为 $\mu_0 = \sum_{\sigma} \left( \int_{Y_\sigma} \operatorname{Res}_{Y_\sigma}(\psi) \right) b_\sigma^{-1} \lambda_\sigma$，结合了残量测度与面上的勒贝格测度。
• 极限测度依赖于度量 $\psi$ 通过残量测度 $\operatorname{Res}_{Y_\sigma}(\psi)$，但支撑 $\Delta(\mathcal{L})$ 仅依赖于 $\mathbb{Q}$-线丛 $\mathcal{L}$。
• 该构造实现了卡拉比-丘流形极大退化猜想的测度论版本，其中热带极限捕捉了退化的渐近几何。