[论文解读] Log Adjunction: effectiveness and positivity

Vyacheslav Vladimirovich Shokurov|arXiv (Cornell University)|Aug 23, 2013

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

一句话总结

本文引入对极大弱对数极小模型（wlc）对的对数邻接，通过相对b-表示建立邻接中模部分的有效性与正性。证明了对于极大对，模部分是半ample且在flop下不变，关键结果表明在LMMP与丰沛性猜想下，模除子$R$-线性等价于在收缩下拉回的基模除子。

ABSTRACT

This is a first instalment of much larger work about relations between birational geometry and moduli of triples. The extraction of work is mainly related to Theorem 6. It is a weak version of Kawamata's Conjecture 1 and an important technical step toward semiampleness of moduli part of adjunction. To prove Theorem 6, we use relative analogues of b-representations. The proof here is rather complete except for b-mobile property used in Corollary 1.

研究动机与目标

• 建立对数对邻接中模部分的有效性与正性。
• 证明卡瓦马塔关于模部分半ample性的猜想的弱版本。
• 开发相对b-表示作为三元组模空间邻接中技术工具。
• 证明模除子$\rR$-线性等价于在收缩下拉回的基模除子。
• 通过群论与几何论证，建立有界flop下模型的有限性。

提出的方法

• 使用b-表示的相对类比分析对数对中邻接的模部分。
• 应用完全tdlt族的存在性以构造极大wlc对。
• 利用LMMP与丰沛性猜想确保模除子为半ample。
• 使用格的典范同构将flop扩展至三元组族中。
• 通过添加刚性结构（如$l$-元组点）构造精细模空间，以消除自同构。
• 通过推论2将模型的有限性约化为商群的有限性。

实验结果

研究问题

• RQ1 在何种条件下，对数对中邻接的模部分是有效且半ample的？
• RQ2 相对b-表示如何用于分析邻接中的模部分？
• RQ3 模除子在flop下的行为如何？是否保持不变？
• RQ4 在对数邻接背景下，能否建立有界flop下模型的有限性？
• RQ5 在收缩下，基模除子的拉回与总模除子之间有何关系？

主要发现

• 模部分$\mathcal{D}^{\mathrm{mod}}$是$\mathbb{R}$-线性等价于基模除子的拉回：对于收缩$f: X \to Z$，有$\mathcal{D}^{\mathrm{mod}} \sim_{\mathbb{R}} f^*\mathcal{D}_{\mathrm{mod}}$。
• 模除子是有效且在通用纤维的双有理自同构群的所有flop下不变。
• 对于满足$K+D \equiv 0/Z$的$0$-收缩，该对为极大对，且模部分为半ample。
• 有界flop下模型的有限性由商群的有限性推出，如推论2所示。
• 在曲线上对的模除子$\mathcal{D}^{\mathrm{mm}}$是稳定的，且等于$\overline{K + B^{\mathrm{log}} - f^*(K_C + \sum p_i)}$，该表达式是有效的。
• 通过添加刚性结构（如$l$-元组点）实现精细模空间的构造，确保自同构群为平凡。