[论文解读] Existence of log canonical modifications and its applications

Osamu Fujino, Kenta Hashizume|arXiv (Cornell University)|Mar 2, 2021

Algebraic Geometry and Number Theory参考文献 14被引用 5

一句话总结

本文在较温和的假设下建立了正常对的对数可极化变换的存在性，为奇点的部分解析提供了一种新的极小模型理论方法。它在全般情况下恢复了 Kawakita 的对数极性性 adjunction 的逆定理，并将结果应用于通过拟对数概形研究极小有理曲线的长度和 Mori 双曲性。

ABSTRACT

The main purpose of this paper is to establish some useful partial resolutions of singularities for pairs from the minimal model theoretic viewpoint. We first establish the existence of log canonical modifications of normal pairs under some suitable assumptions. It recovers Kawakita's inversion of adjunction on log canonicity in full generality. We also discuss the existence of semi-log canonical modifications for demi-normal pairs and construct dlt blow-ups with several extra good properties. As applications, we study lengths of extremal rational curves and so on.

研究动机与目标

• 建立在 $\mathbb{R}$-Cartier 的 $K_X + \Delta$ 和边界型除子条件下，正常对的对数可极化变换的存在性。
• 将关于 dlt 爆破和赤道模型的先前结果推广至非对数极性奇点。
• 通过极小模型程序，在全般情况下恢复 Kawakita 的对数极性性 adjunction 逆定理。
• 研究对半正规对的半对数可极化变换的存在性。
• 将该理论应用于通过拟对数概形研究极小有理曲线和 Mori 双曲性。

提出的方法

• 通过极小模型程序构造对数可极化变换，确保 $K_Y + B_Y$ 是 $f$-ample，且 $B_Y$ 为严格提升与约化例外除子之和。
• 应用拟对数概形理论，关联 Nqklt 与 Nklt 点集，从而实现邻接技术。
• 使用 $\varepsilon_i \searrow 0$ 的极限论证，构造 $\mathbb{R}$-除子 $\Delta_i$，使得 $\mathrm{Nklt}(X,\Delta_i) = \Sigma$。
• 通过 Stein 分解和有限态射将问题约化至拟射影设置。
• 应用 $\varphi_*$-acyclic 层的消去定理，以确保收缩态射中纤维的连通性。
• 利用拟对数概形理论分析 $\mathrm{Nqlc}$ 和 $\mathrm{Nqklt}$ 中心，将其与对数可极化中心联系起来。

实验结果

研究问题

• RQ1 对于任意满足 $K_X + \Delta$ 为 $\mathbb{R}$-Cartier 且 $B \leq \Delta$ 的系数在 $[0,1]$ 内的正常对 $(X, \Delta)$，是否存在对数可极化变换？
• RQ2 能否通过极小模型程序在全般情况下恢复 Kawakita 的对数极性性 adjunction 逆定理？
• RQ3 对半正规对是否存在半对数可极化变换？
• RQ4 在对数可极化对中，极小有理曲线的最小长度是多少？
• RQ5 在对数可极化变换的背景下，拟对数概形如何与 Nqklt 和 Nklt 点集相关联？

主要发现

• 在 $K_X + \Delta$ 为 $\mathbb{R}$-Cartier 且 $B$ 为满足 $\mathrm{Supp}B = \mathrm{Supp}\Delta$ 的边界除子的正常对中，对数可极化变换的存在性得以确立。
• 作为对数可极化变换定理的推论，Kawakita 的对数极性性 adjunction 逆定理在全般情况下被恢复。
• 构造了一个具有额外良好性质的 dlt 爆破，将已知结果推广至非 $\mathbb{Q}$-因子化情形。
• 在适当假设下，任何满足 $0 < -(K_X + \Delta) \cdot C \leq 1$ 的极小有理曲线 $C$ 的长度被限制在 1 以内。
• 拟对数概形 $[X, K_X + \Delta]$ 从 $(X, \Delta)$ 的 Nklt 点集继承了 Nqklt 点集，且 qlc 中心对应于对数可极化中心。
• 存在一个非常值态射 $f: \mathbb{A}^1 \to X \setminus \Sigma$，使得 $C = \overline{f(\mathbb{A}^1)}$ 与 Nqklt 点集相交，并满足 $0 < -\omega \cdot C \leq 1$。