[论文解读] Log canonical $3$-fold complements

Stefano Filipazzi, Joaquí­n Moraga+1 more|arXiv (Cornell University)|Sep 22, 2019

Algebraic Geometry and Number Theory参考文献 23被引用 7

一句话总结

该论文证明了对对数卡勒型对数Calabi-Yau三叉的对数卡勒三叉，存在有效且一致的有界补全，即对于任意此类三叉，若其系数属于具有有理累积点的DCC集合，则存在一个仅依赖于系数集合 $ \Lambda $ 的统一自然数 $ n $，使得在适当的双有理变换后，有 $ n(K_X + B) \sim_T 0 $。该结果将有界补全理论从法诺型态射推广至更广泛的对数卡勒对范畴，利用归纳提升技巧与有效粘合理论实现。

ABSTRACT

We expand the theory of log canonical $3$-fold complements. We prove that if $X ightarrow T$ is a $3$-dimensional contraction of log Calabi-Yau type, then we can find $B\geq 0$ on $X$ for which $(X,B)$ is log canonical and $n(K_X+B)\sim_T 0$, where $n$ is an uniform natural number. This means that every $3$-fold of log Calabi-Yau type can be turned into a log Calabi-Yau pair in an effective way.

研究动机与目标

• 将有界补全理论从法诺型三叉扩展至对数卡勒型对数Calabi-Yau三叉。
• 建立一个仅依赖于系数集合 $ \Lambda $ 的统一自然数 $ n $ 的存在性，使得对于具有有理累积点的DCC集合中的 $ \Lambda $-系数，有 $ n(K_X + B) \sim_T 0 $。
• 通过归约至三叉补全，证明严格对数卡勒四叉具有标准系数时其指标的有界性。
• 为三维对数卡勒补全提供一种构造性、有效性的框架，即使在不假设法诺型正性条件下亦可实现。

提出的方法

• 使用归纳提升技巧在曲面与曲线上构造补全，逐步推广至三叉。
• 应用有效Kollár粘合理论，从局部数据构造全局补全。
• 利用半对数终端曲面与相对对数法诺三叉的理论，将问题归约至可处理的情形。
• 采用 [FM18] 中的逼近技巧，将结果从有限系数集合推广至具有有理累积点的DCC集合。
• 利用自同构的典范表示 $ \rho: \mathrm{Aut}(S) \to \mathrm{GL}(H^0(S, K_S)) $ 来控制卡勒-Yau曲面上自同构的阶，从而证明四叉奇点的指标有界。
• 证明 $ -(K_Y + B_{Y,m} + E) $ 存在良好极小模型，以确保半正则性并实现补全的提升。

实验结果

研究问题

• RQ1 是否可以在不假设法诺型正性条件下，为对数卡勒型对数Calabi-Yau三叉构造有界补全？
• RQ2 是否存在一个仅依赖于系数集合 $ \Lambda $ 的统一有界 $ n $，使得对于具有有理累积点的DCC集合中的 $ \Lambda $-系数，有 $ n(K_X + B) \sim_T 0 $？
• RQ3 有界补全是否可推广至具有标准系数的严格对数卡勒四叉？
• RQ4 是否可通过对曲面与曲线的归纳提升，构造出对数卡勒三叉的有效且统一的补全？

主要发现

• 对于任意对数卡勒三叉 $ X \to T $，若其系数属于具有有理累积点的DCC集合 $ \Lambda $，则存在一个统一的 $ n \in \mathbb{N} $，使得在收缩 $ T $ 后，有 $ n(K_X + B) \sim_T 0 $，从而证明了补全的有效有界性。
• 当 $ \Lambda = \Phi(\mathcal{R}) $，其中 $ \mathcal{R} \subset [0,1] $ 为有限集合时，补全的有界性成立，该情形通过归纳提升与有效粘合得以证明。
• 推论1表明，对于具有 $ K_X + B \sim_{\mathbb{Q},T} 0 $ 且系数属于 $ \Lambda $ 的严格对数卡勒三叉，其指标有界，即存在统一的 $ n $ 使得 $ n(K_X + B) \sim_T 0 $。
• 推论2表明，对于具有标准系数的射影四叉的局部奇点 $ (x \in X, B) $，若 $ x $ 为对数卡勒中心，则存在统一的 $ n $ 使得 $ n(K_X + B) \sim 0 $，从而证明了局部指标的有界性。
• 证明依赖于将问题归约至有限系数集合，并利用 [FM18] 中的逼近技巧将结果推广至一般的DCC集合。
• 关键技术进展在于对 $ -(K_Y + B_{Y,m} + E) $ 的良好极小模型的有效构造，从而通过半正则性实现补全的提升。