[论文解读] Some remarks on the minimal model program for log canonical pairs

Osamu Fujino|arXiv (Cornell University)|Sep 12, 2013

Geometry and complex manifolds参考文献 42被引用 29

一句话总结

本文证明了从对数极小奇点对出发的极小Fano收缩的像空间仅具有对数极小奇点，填补了极小模型程序中的关键空白。该研究依赖于对数极小平凡纤维丛中模形式部分的 nef 性质，并给出了这些模形式部分为半正则的条件，其应用涵盖紧致凯勒流形上的 canonical 环以及非凯勒例子。

ABSTRACT

We prove that the target space of an extremal Fano contraction from a log canonical pair has only log canonical singularities. We also treat some related topics, for example, the finite generation of canonical rings for compact Kähler manifolds, and so on. The main ingredient of this paper is the nefness of the moduli parts of lc-trivial fibrations. We also give some observations on the semi-ampleness of the moduli parts of lc-trivial fibrations. For the reader's convenience, we discuss some examples of non-Kähler manifolds, flopping contractions, and so on, in order to clarify our results.

研究动机与目标

• 证明从 $\mathbb{Q}$-因子化对数极小奇点对出发的极小 Fano 收缩的像空间仅具有对数极小奇点，填补文献中的空白。
• 研究对数极小平凡纤维丛中模形式部分的半正则性，推进对 canonical 环有限生成性的理解。
• 提供解析推广与非凯勒流形的例子，以阐明对数极小平凡纤维丛的几何行为。
• 建立对数极小平凡纤维丛中模形式部分为半正则的条件，支持 canonical 环的有限生成性。
• 通过 canonical 簋线公式与 Hodge 理论技术，澄清 Mori 纤维空间中像空间的奇点性质。

提出的方法

• 利用对数极小平凡纤维丛中模形式部分的 nef 性质，该性质源自 Hodge 理论中的半正性定理。
• 应用 Ambro 的公式及其在 [FG3] 中的推广，分析满足 $K_X + \Delta \sim_{\mathbb{Q},f} 0$ 的对数极小平凡纤维丛。
• 采用 canonical 簋线公式与条件 $f_*\mathcal{O}_X(\lceil -\Delta^{<1} \rceil) \simeq \mathcal{O}_Y$ 控制基空间上的奇点。
• 通过基空间 $S$ 上的上同调论证，分析分次代数 $\bigoplus_{m \geq 0} \mathcal{O}_X(mD)$ 的有限生成性。
• 利用 $\operatorname{Pic}^0(E)$ 中非挠线丛构造反例，证明当模形式部分非半正则时，flop 不存在。
• 使用锥构造与线丛的拉回，通过 $\widetilde{N}$（即 $p^*N$ 的锥）将 $X$ 上的有限生成性与 $S$ 上的有限生成性联系起来。

实验结果

研究问题

• RQ1 从对数极小奇点对出发的极小 Fano 收缩的像空间是否必然具有对数极小奇点？
• RQ2 在何种条件下，对数极小平凡纤维丛中模形式部分为半正则？
• RQ3 能否通过使用对数极小平凡纤维丛，将 canonical 环的有限生成性推广至紧致凯勒流形？
• RQ4 模形式部分的 nef 性质在对数极小平凡纤维丛基空间奇点性质中起何种作用？
• RQ5 在对数极小奇点对的背景下，小收缩的 flop 在何种情况下存在，其与 $\operatorname{Pic}^0(E)$ 中挠元的关系为何？

主要发现

• 从 $\mathbb{Q}$-因子化对数极小奇点对 $(X,\Delta)$ 出发的极小 Fano 收缩 $f: (X,\Delta) \to Y$ 的像空间 $Y$ 仅具有对数极小奇点。
• 若 $(X,\Delta)$ 的每个对数极小中心都在 $Y$ 上的像为满射，则 $Y$ 仅具有对数终端奇点。
• 对数极小平凡纤维丛的模形式部分是 nef 的，这是证明基空间对数极小性的关键要素。
• 模形式部分的半正则性被猜想（Conjecture 3.9），并在对数极小中心的支配性条件下给出部分结果。
• 当模形式部分由于 $\operatorname{Pic}^0(E)$ 中非挠线丛而无法半正则时，对应的 flop 不存在。
• 当关联于 $S$ 上的线丛为非挠时，$\bigoplus_{m \geq 0} \mathcal{O}_X(mD)$ 的有限生成性失效，从而提供了一个非有限生成性的判别准则。