[论文解读] Log abundance of the moduli b-divisors of lc-trivial fibrations

Zhengyu Hu|arXiv (Cornell University)|Mar 31, 2020

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

一句话总结

该论文在特征零的代数闭域上建立了 lc-平凡纤维化中模形式 b-除子的对数丰沛性，将先前关于 b-ample 和 b-卡特尔性质的结果推广至实系数情形。通过 lc-平凡态射理论与限制定理，证明了即使在不假设纤维连通的情况下，模形式 b-除子也关于诱导的广义对是 b-ample 且对数丰沛的。

ABSTRACT

We prove that the moduli b-divisor of an lc-trivial fibration from a log canonical pair is log abundant. The result follows from a theorem on the restriction of the moduli b-divisor, based on a theory of lc-trivial morphisms, which allows us to treat $\mathbb{R}$-divisors and proper morphisms possibly with disconnected fibres. We also prove a theorem on extending a finite cover over a closed subvariety to that over a variety in arbitrary characteristic.

研究动机与目标

• 将模形式 b-除子的对数丰沛性推广至实系数及非连通纤维的情形。
• 将 canonical bundle 公式与广义对理论扩展至具有不连通纤维和 R-除子的设定。
• 通过超越连通纤维假设的态射理论技术，为 lc-平凡纤维化建立统一的框架。
• 利用改进的模形式 b-除子理论，证明 klt 对的 canonical model 存在性。
• 为任意特征下的弱半稳定化与有限覆盖扩张提供基础。

提出的方法

• 通过 Stein 分解引入 lc-平凡态射的概念，使具有不连通纤维的纤维化得以处理。
• 通过有限映射的正规推进定义判别与模形式 b-除子，推广 canonical bundle 公式。
• 应用模形式 b-除子的限制定理，将问题约化至更简单的基流形。
• 使用极小模型程序技术与 Nakayama-Zariski 分解分析 b-ample 性与对数丰沛性。
• 采用扇形几何与等维约化构造具有可控奇点的准光滑化。
• 通过 Galois 扇形覆盖实现弱半稳定化，以获得平坦、约化且受控的纤维与分支。

实验结果

研究问题

• RQ1 是否可以在不假设纤维连通的前提下，建立 lc-平凡纤维化中模形式 b-除子的对数丰沛性？
• RQ2 如何将 canonical bundle 公式扩展至 R-除子与非连通纤维的情形？
• RQ3 当基流形完备且所有 lc 中心均为竖直时，模形式 b-除子是否为 b-ample 且对数丰沛？
• RQ4 能否使用扇形技术在任意特征下将子簇上的有限覆盖扩张至整个流形？
• RQ5 广义对在刻画模形式 b-除子正性方面起什么作用？

主要发现

• 即使纤维不连通，lc-平凡纤维化的模形式 b-除子也关于诱导的广义对是 b-ample 且对数丰沛的。
• 模形式 b-除子可表示为 Q-b-Cartier 与 b-ample Q-除子的凸组合，从而保证其 R-b-Cartier 性质。
• canonical bundle 公式可推广至实系数：$ K_X + B \sim_\mathbb{R} f^*(K_Y + B_Y + M_Y) $，其中 $ M_Y $ 为模形式 R-除子。
• 在新的 lc-平凡态射框架下，该结果具有一致性，该框架推广了经典连通纤维情形。
• 建立了弱半稳定化定理，允许存在平坦、约化且扇形的态射，且分支受控。
• 在任意特征下，可通过扇形化与等维约化，将子簇上的有限覆盖扩张至整个流形。