[论文解读] The Bogomolov-Beauville-Yau Decomposition for Klt Projective Varieties with Trivial First Chern Class -Without Tears-

Frédéric Campana|arXiv (Cornell University)|Apr 17, 2020

Algebraic Geometry and Number Theory参考文献 17被引用 4

一句话总结

本文提供了klt射影代数簇上第一陈类为零的Bogomolov-Beauville-Yau分解的简化特征零证明，避免使用正特征技术。该研究证明此类代数簇 admits 有限的 étale 覆盖，可分解为阿贝尔簇与不可约的辛或卡拉比-丘代数簇的乘积，其核心创新在于双有理分裂与叶的代数性。

ABSTRACT

We give a simplified proof (in characteristic zero) of the decomposition theorem for complex projective varieties with klt singularities and numerically trivial canonical bundle. The proof rests in an essential way on most of the partial results of the previous proof obtained by many authors, but avoids those in positive characteristic by S. Druel. The single to some extent new contribution is an algebraicity and bimeromorphic splitting result for generically locally trivial fibrations with fibres without holomorphic vector fields. We give first the proof in the easier smooth case, following the same steps as in the general case, treated next.

研究动机与目标

• 为具有平凡第一陈类的klt射影代数簇提供Bogomolov-Beauville-Yau分解的简化特征零证明。
• 通过双有理分裂直接证明叶的代数性，从而消除对S. Druel所用正特征结果的依赖。
• 在先前部分结果的基础上，将分解定理推广至具有klt奇点的奇异代数簇。
• 在特定条件下，建立不可约辛代数簇与偶数维卡拉比-丘代数簇的基本群的有限性。
• 证明全纯单值性不变叶的叶为代数叶，尤其在受限单值性分解的背景下。

提出的方法

• 首先通过里奇平坦凯勒度量与切丛的单值分解，在光滑情形下证明分解。
• 利用 $ L^2 $-上同调方法与伪有效性的论证，证明 $ c_1(X) = 0 $ 蕴含每个单值因子 $ E_j $ 满足 $ c_1(E_j) = 0 $。
• 通过稳定性及文献[12]与[20]的结果，证明非平坦单值因子的对偶不是伪有效。
• 应用关于无全纯向量场的通有局部平凡纤维丛的新双有理分裂结果（定理3.3）。
• 利用叶的代数性与解析延拓，证明在拟 étale 覆盖后分裂可整体扩张。
• 通过奇异版比伯哈特定理，将奇异情形约化为阿贝尔因子，依赖[18]中关于典范奇点与平凡单值性的结果。

实验结果

研究问题

• RQ1 是否可不依赖正特征技术，证明具有 $ c_1 = 0 $ 的klt射影代数簇的Bogomolov-Beauville-Yau分解？
• RQ2 在何种条件下，此类代数簇上的单值不变叶的叶为代数叶？
• RQ3 在奇异情形下，经过有限 étale 覆盖后，切丛的单值因子分解是否可全局实现？
• RQ4 具有 $ K_X \equiv 0 $ 的klt代数簇的基本群与其霍奇不变量之间有何关系？
• RQ5 纤维丛的纤维上无全纯向量场是否意味着纤维丛结构的代数性？

主要发现

• 光滑射影代数簇满足 $ c_1(X) = 0 $ 时，其切丛可全局分解为平坦与非平坦因子，每个因子的第一陈类均为零。
• 通过稳定性与 $ L^2 $-上同调技术，证明每个非平坦单值因子 $ T_i $ 的对偶 $ T_i^* $ 不是伪有效。
• 对应于非平坦单值因子的叶的代数性，通过双有理扩张与消去定理得以建立。
• 具有无全纯向量场纤维的通有局部平凡纤维丛，可实现代数性的双有理分裂，这是关键的新技术结果。
• 在有限 étale 覆盖后，任意满足 $ c_1 = 0 $ 的klt射影代数簇可分解为阿贝尔簇与具有受限单值性 $ SU(m) $ 或 $ Sp(k) $ 的代数簇的乘积。
• 对于满足 $ \chi(\mathcal{O}_X) \neq 0 $ 的代数簇，其基本群有限，且其阶整除 $ \chi(\mathcal{O}_X) $，推广了光滑情形的结果。