[论文解读] Sarkisov program for generalized pairs

Jihao Liu|arXiv (Cornell University)|Feb 12, 2018

Algebraic Geometry and Number Theory参考文献 11被引用 4

一句话总结

本论文建立了 $ℚ$-因子 gklt 广义对的 Sarkisov 程序，证明了任意两个通过同一广义对经由 $K_W + B_W + M_W$-MMP 得到的 birational Mori 纤维空间，均可通过有限条 Sarkisov 链连接。该结果将经典的 Sarkisov 程序推广至广义对情形，确保 Mori 纤维空间之间的 birational 映射可分解为标准链，且保持广义对数-典范奇点。

ABSTRACT

In this paper we show that any two birational Mori fiber spaces of $\Qq$-factorial gklt g-pairs are connected by a finite sequence of Sarkisov links.

研究动机与目标

• 将此前仅针对 klt 对建立的 Sarkisov 程序扩展至更广泛的广义对类别。
• 证明由同一广义对导出的 Mori 纤维空间之间的 birational 映射可由有限条 Sarkisov 链组成。
• 在整个分解过程中保持广义对数-典范（gklt）奇点，确保奇点在链作用下保持 birational 不变性。
• 将极小模型程序框架推广至包含 nef 模型除子的广义对，尤其在非伪有效情形下。

提出的方法

• 通过在 $W$ 上使用两个充分 $\mathbb{R}$-除子 $L_W$ 和 $H_W$ 构造双尺度的 Sarkisov 程序，以控制 MMP 步骤。
• 利用公共对数解析解的存在性，假设 $W$ 为 g-终端且 $\rho_X, \rho_Y$ 为态射，从而简化双有理几何结构。
• 通过 $ (L_W, H_W) $ 的尺度化定义一系列双有理映射 $X_0 \dashrightarrow X_1 \dashrightarrow \cdots \dashrightarrow X_n$，确保每一步均为 Sarkisov 链。
• 通过证明最终映射 $f: X \dashrightarrow Y$ 是 codimension 一 的同构，即 $X_n \cong Y$，利用扰动对 $(W, \Delta_W)$ 的对数极小模型完成证明。
• 利用 $K_{X_n} + B_n + h_n H_n + M_{X_n}$ 的数值正性和 nef 性，若 $h_n < 1$ 则导出矛盾，从而强制 $h_n = 1$ 且 $X_n \cong Y$。
• 应用典范丛公式与限制理论，证明最终 Mori 纤维空间结构在链分解下保持不变。

实验结果

研究问题

• RQ1 Sarkisov 程序能否从 klt 对推广至具有 nef 模型除子的广义对？
• RQ2 由同一广义对导出的两个 birational Mori 纤维空间是否可通过有限条 Sarkisov 链连接？
• RQ3 广义对数-典范（gklt）性质在 Sarkisov 链分解过程中是否保持不变？
• RQ4 由同一广义对导出的两个 Mori 纤维空间之间的 birational 映射是否可分解为具有双尺度的标准链？
• RQ5 广义对的极小模型程序能否用于构建具有受控奇点的完整 Sarkisov 程序？

主要发现

• 任意两个通过 $ℚ$-因子 gklt 广义对经由 $K_W + B_W + M_W$-MMP 得到的 birational Mori 纤维空间，均可通过有限条 Sarkisov 链连接。
• 诱导的 birational 映射 $f: X \dashrightarrow Y$ 是双尺度 Sarkisov 链的复合，如构造 4.3 所定义。
• 最终映射满足 $X_n \cong Y$，意味着分解在 codimension 一 同构处终止。
• 广义对数-典范（gklt）性质在整个序列中保持不变：若初始对为广义 $\epsilon$-lc，则所有中间对亦为广义 $\epsilon$-lc。
• 证明依赖于数值正性导致的矛盾：若尺度参数 $h_n < 1$，则 $K_W + B_W + h_n H_W + M_W$ 将为伪有效，与 $K_W + B_W + M_W$ 的非伪有效性矛盾。
• 通过扰动对 $(W, \Delta_W)$ 的对数极小模型建立同构 $X_n \cong Y$，其中 $\Delta_W$ 是 $B_W + H_W + M_W$ 的一般扰动。