[论文解读] Fundamental theorems for semi log canonical pairs

Osamu Fujino|arXiv (Cornell University)|Feb 24, 2012

Algebraic Geometry and Number Theory参考文献 30被引用 6

一句话总结

本文证明了每个拟射影的半对数经典对（quasi-projective semi log canonical pair）都自然地赋予一个仅具有qlc奇点的拟对数结构，从而使得极小模型程序中的基本定理——如消去定理、锥与收缩定理、基点自由定理——可通过拟对数簇理论被推广至半对数经典对。

ABSTRACT

We prove that every quasi-projective semi log canonical pair has a quasi-log structure with several good properties. It implies that various vanishing theorems, torsion-free theorem, and the cone and contraction theorem hold for semi log canonical pairs.

研究动机与目标

• 建立半对数经典对的基础定理，这些对在模理论与极小模型程序中具有核心地位。
• 解决尽管半对数经典对在紧化与几何不变量理论中至关重要，却缺乏系统工具（如消去定理与锥定理）的问题。
• 在任意拟射影半对数经典对上构造一个与原有奇点兼容的自然拟对数结构。
• 将拟对数簇的理论推广至半对数经典对，从而使得强大的上同调与双有理几何技术得以应用。

提出的方法

• 构造一个维数为 $\dim X + 1$ 的光滑拟射影簇 $M$，配备一个简单法向交截除子 $Z$ 与 $M$ 上的 $\mathbb{R}$-Cartier $\mathbb{R}$-除子 $B$。
• 定义一个满射的射影态射 $h: Z \to X$，使得 $K_Z + \Delta_Z \sim_\mathbb{R} h^*(K_X + \Delta)$，其中 $\Delta_Z = B|_Z$，以确保与原始对的兼容性。
• 确保 $h_*\mathcal{O}_Z(\lceil -\Delta_Z^{<1} \rceil) \simeq \mathcal{O}_X$，从而保证拟对数结构行为良好，并正确诱导出典范层。
• 验证 $(X, \Delta)$ 的 slc strata 恰好对应于所诱导拟对数结构的 qlc 中心，以确保与原始几何的一致性。
• 利用所得拟对数结构，通过拟对数几何中已建立的技术推导出标准定理（如消去定理、锥定理、基点自由定理）。
• 应用 Kollár 的双重覆盖技巧，将问题约化至各分量在余维一中无自交的情形，从而简化分析。

实验结果

研究问题

• RQ1 极小模型程序的基本定理（如消去定理与锥定理）能否被推广至半对数经典对？
• RQ2 在拟射影半对数经典对上是否存在一个自然的拟对数结构，使其保持原有奇点并支持上同调分析？
• RQ3 拟对数簇理论应如何调整以处理具有半对数经典奇点的可约与非正规代数簇？
• RQ4 在多大程度上可通过解析解法与双有理几何技术构造半对数经典对上的拟对数结构？
• RQ5 能否严格建立 slc strata 与 qlc 中心之间的相容性，以确保该结构真实反映原始几何？

主要发现

• 根据定理 1.1，每个拟射影半对数经典对 $(X, \Delta)$ 都自然地赋予一个仅具有 qlc 奇点的拟对数结构。
• 该构造产生一个光滑的环境簇 $M$，其上具有一个简单法向交截除子 $Z$ 与一个 $\mathbb{R}$-Cartier $\mathbb{R}$-除子 $B$，使得 $K_Z + \Delta_Z \sim_\mathbb{R} h^*(K_X + \Delta)$，并满足所有要求的相容性条件。
• 态射 $h: Z \to X$ 诱导出同构 $h_*\mathcal{O}_Z(\lceil -\Delta_Z^{<1} \rceil) \simeq \mathcal{O}_X$，从而确保典范层被正确拉回。
• $(X, \Delta)$ 的 slc strata 恰好是 $(Z, \Delta_Z)$ 的 strata 的像，因此拟对数结构尊重原始奇点集结构。
• 因此，所有基本定理——包括消去定理、基点自由定理、有理性定理、锥与收缩定理——均对半对数经典对成立。
• 即使在半对数经典曲面的情形下，这些结果也是全新的，且该方法适用于具有压点与正则交点奇点的代数簇，例如惠特尼雨伞。