[论文解读] Log-canonical models of singular pairs and its applications

Yuji Odaka, Chenyang Xu|arXiv (Cornell University)|Aug 9, 2011

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文利用既有的极小模型程序（MMP）结果，证明了当 $K_X + \Delta$ 为 $\mathbb{Q}$-可Cartier时，正常对 $(X,\Delta)$ 存在对数典范模型。证明了 $K$-半稳定极化代数簇必须具有对数对数典范奇点，从而去除了 Odaka (2011) 中先前的假设，并通过 Kollár 的粘合理论将该理论推广至对数对数典范对。

ABSTRACT

We prove the existence of log canonical modifications for a log pair. As an application, together with Kollär's gluing theory, we remove the assumption in the first named author's work [Odaka11], which shows that K-semistable polarized varieties can only have semi-log-canonical singularities.

研究动机与目标

• 在 $K_X + \Delta$ 为 $\mathbb{Q}$-可Cartier 的条件下，建立正常对 $(X,\Delta)$ 的对数典范模型的存在性。
• 去除 Odaka (2011) 中对对数对数典范模型的假设，从而无条件地证明 $K$-半稳定代数簇具有对数对数典范奇点。
• 通过 Kollár 的正规化与粘合理论，将对数典范模型理论推广至对数对数典范对。
• 利用新模型存在性结果，提供对对数典范性反向邻接的简化证明。

提出的方法

• 利用极小模型程序（MMP）及 Birkar (2011) 和 HX (2011) 的近期结果，构造对数典范模型。
• 应用负性引理，证明从 $Y$ 到 $X$ 的态射 $f: Y \to X$ 在 $(X,\Delta)$ 为对数典范的最大开子集上是同构。
• 利用 Kollár 的对数对数典范对理论，通过正规化与对合操作，将各分量的对数典范模型粘合起来。
• 利用对数典范模型的唯一性（通过引理 2.3）确保粘合过程的一致性。
• 应用相对对数 MMP，将对数典范模型构造为对数解析的相对对数典范模型。
• 利用 $K_Y + \Delta_Y$ 在 $X$ 上的充分正性，确保模型具有良好行为且为双有理态射。

实验结果

研究问题

• RQ1 当 $K_X + \Delta$ 为 $\mathbb{Q}$-可Cartier 时，正常对 $(X,\Delta)$ 是否存在对数典范模型？
• RQ2 能否去除 Odaka (2011) 中对对数对数典范模型的假设，从而证明 $K$-半稳定蕴含对数对数典范奇点？
• RQ3 在 $K_X + \Delta$ 为 $\mathbb{Q}$-可Cartier 的条件下，对数典范模型理论是否可推广至对数对数典范对？
• RQ4 能否利用对数典范模型的存在性，更简洁地证明对数典范性的反向邻接？
• RQ5 对数对数典范对的半正规对 $(X,\Delta)$ 的对数对数典范模型，是否可通过其正规化分量的对数典范模型经由对合粘合而成？

主要发现

• 定理 1.1 证明了，对任意满足 $K_X + \Delta$ 为 $\mathbb{Q}$-可Cartier 的正常对 $(X,\Delta)$，其对数典范模型存在。
• 作为推论，对数典范性的反向邻接得以确立，其证明相比 Hacon (2011) 更为简化。
• 推论 1.3 声明：对任意满足 $K_X + \Delta$ 为 $\mathbb{Q}$-可Cartier 且 $\Delta_i$ 不包含于 $\operatorname{Sing}(X)$ 的半正规对 $(X,\Delta)$，其对数对数典范模型存在。
• Odaka (2011) 的关键结果——即 $K$-半稳定代数簇具有对数对数典范奇点——现已成为无条件成立的结果，因其对数对数典范模型的存在性已得证。
• Kollár 的例子表明，$K_X + \Delta$ 的 $\mathbb{Q}$-可Cartier 假设对对数对数典范模型的存在性是必要的。
• 对半正规对的正规化对数典范模型，可通过一个对合操作粘合，从而构造出原对的对数对数典范模型。