[论文解读] On the log minimal model program for irreducible symplectic varieties

Christian Lehn, Gianluca Pacienza|arXiv (Cornell University)|May 22, 2014

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

一句话总结

该论文证明了在具有典范奇点的对称性代数簇 $X$ 上，对对偶对 $(X, \Delta)$ 的对数极小模型程序（log-MMP）的终止性，其中 $X$ 是具有典范奇点的辛簇，$\Delta$ 是一个有效且 nef 的 $\mathbb{R}$-除子。证明基于 Shokurov 的准则，通过最小对数分歧（mld）实现，表明由于局部平凡形变的存在，奇点在翻转过程中保持受控，并应用 Kawakita 的 mld 集 ACC 结果。

ABSTRACT

We show the termination of any log-minimal model program for a pair $(X,Δ)$ of a symplectic manifold $X$ and an effective $\mathbb R$-divisor $Δ$.

研究动机与目标

• 在不可约辛流形上的对数典范对上建立对数极小模型程序（log-MMP）的终止性。
• 证明此类对上的任意 log-MMP 在有限步内终止于一个具有典范奇点和 nef 边界除子的极小模型。
• 通过证明最小对数分歧（mld）在局部平凡形变下保持不变，将 Shokurov 的终止准则推广至奇异辛簇。
• 证明 MMP 中的翻转保持具有创痕解析的辛簇类，确保奇点有界。

提出的方法

• 使用 Shokurov 的翻转终止准则，依赖于最小对数分歧（mld）的下半连续性（LSC）与升链条件（ACC）。
• 证明：若在簇 $Y$ 上存在一个创痕解析，且其解析 $X$ 上 LSC 成立，则通过除子的拉回与奇点不变性，可推出 $Y$ 上 LSC 成立。
• 应用定理 3.1，表明 MMP 序列中所有簇 $X_i$ 互为局部平凡形变，从而保持 mld 集不变。
• 利用 Kawakita 的结果：当系数集 $\Gamma$ 固定时，若满足局部平凡性，则 mld 集 $M_\Gamma(X)$ 为有限集。
• 证明 MMP 通过翻转与除子收缩保持辛结构与创痕解析，确保中间簇始终属于有界奇点类。
• 建立 mld 集 $\Omega(X)$ 在整个 MMP 序列中保持有限，由于形变不变性，满足 ACC，从而确保终止。

实验结果

研究问题

• RQ1 在不可约辛流形上的对数典范对上，对数极小模型程序是否终止？
• RQ2 当奇点出现时，MMP 中的翻转是否能控制最小对数分歧（mld）？
• RQ3 具有创痕解析的辛簇的翻转是否保持其存在创痕解析的性质？
• RQ4 在辛簇的翻转序列中，最小对数分歧集是否为有界集？
• RQ5 互为局部平凡形变的辛簇是否必然具有相同的 mld 集？

主要发现

• 在任意投影不可约辛流形 $X$ 上，对任意对数典范对 $(X, \Delta)$，其 log-MMP 在有限步内终止。
• 终止时得到的极小模型 $(X', \Delta')$ 满足：$X'$ 是具有典范奇点的辛簇，$\Delta'$ 是有效且 nef 的 $\mathbb{R}$-除子。
• MMP 序列中所有出现的簇 $X_i$ 互为局部平凡形变，确保局部奇点不变量保持不变。
• 由于局部平凡性，最小对数分歧（mld）集在整个 MMP 过程中保持有限且不变，满足 ACC 条件。
• 证明表明，MMP 中遇到的奇点类是有界的，从而可应用 Kawakita 的 mld ACC 结果。
• 该结果改进了 Matsumoto 与 Zhang 的工作，证明了无需假设边界除子为移动除子即可实现终止。