[论文解读] The weak Beauville--Bogomolov decomposition in characteristic $p\geq 0$

Zsolt Patakfalvi, Maciej Zdanowicz|arXiv (Cornell University)|Dec 29, 2019

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

一句话总结

该论文在正特征 p > 0 下，于弱平凡性条件下，为具有平凡 canonical 丛的光滑射影代数簇建立了弱 Beauville–Bogomolov 分解。结果表明，此类簇在有限纯不可分覆盖下可分解为一个阿贝尔簇与一个具有轻微奇点的 Calabi–Yau 型簇的积；并通过反例证明了弱平凡性假设的必要性。当 −KX 为半正则时，该结果可推广至 Albanese 映射的同构性结果。

ABSTRACT

We prove a variant of the Beauville--Bogomolov decomposition for weakly ordinary, or generally globally $F$-split, varieties $X$ with $K_X \sim 0$, in characteristic $p>0$. We also show that the weakly ordinary assumption in our statement cannot be dropped. Additionally, if the assumption $K_X \sim 0$ is replaced by $-K_X$ being semi-ample, we show the weaker statement that all closed fibers of the Albanese morphism are isomorphic. Finally, we apply our main theorem to draw consequences to the behavior of rational points and fundamental groups of weakly ordinary $K$-trivial varieties in positive characteristic.

研究动机与目标

• 建立 K-平凡簇在正特征下的 Beauville–Bogomolov 分解的特征 p 类比。
• 确定此类分解存在的最小假设条件，特别是弱平凡性条件。
• 研究正特征下 K-平凡簇的有理点与 étale 基本群的行为。
• 解决正特征下 Demailly–Peternell–Schneider 猜想关于具有 nef 反 canonical 丛的纤维化同构性的版本。
• 将结果推广至 −KX 为半正则的情形，证明 Albanese 映射的同构性。

提出的方法

• 使用弱平凡簇的概念，其定义为 Frobenius 作用在 H^n(X, O_X) 上为双射。
• 应用 F-分裂理论与强 F-正则奇点理论，以控制分解中的奇点。
• 利用半正则性定理与向量丛的数值平直性，分析相对 canonical 丛与基变换性质。
• 应用对数-Isom 模式理论与曲线上纤维化的同构性判别准则，推导全局同构性。
• 利用 Albanese 映射及其基变换性质，将问题约化为阿贝尔簇上的纤维化。
• 利用 −KX/T −Δ 为 nef 且 (X, Δ) 为 klt 的事实，应用消去定理并控制族中的上同调。

实验结果

研究问题

• RQ1 在何种条件下，正特征下 K-平凡簇存在弱 Beauville–Bogomolov 分解？
• RQ2 该分解是否可在不假设弱平凡性下实现？若不能，其必要性原因为何？
• RQ3 当 KX ∼ 0 被替换为 −KX 半正则时，Albanese 映射会发生什么变化？
• RQ4 在正特征下，klt 且反 canonical 丛为 nef 的条件下，Albanese 映射的同构性是否成立？
• RQ5 关于有理点与基本群的结果，在正特征下对非单连通的 K-平凡簇可推广到何种程度？

主要发现

• 对于弱平凡、全局 F-分裂且满足 KX ∼ 0 的簇，其弱 Beauville–Bogomolov 分解在有限纯不可分覆盖下成立，分解为阿贝尔簇与具有轻微奇点的 Calabi–Yau 型簇的积。
• 弱平凡性假设是必要的：构造了一个反例，表明在非弱平凡情形下分解不成立。
• 当 KX ∼ 0 被替换为 −KX 半正则时，Albanese 映射的所有纤维彼此同构，尽管分解形式更弱。
• 在附录中与 Codogni 共同证明，在特征零下，具有 nef 反 canonical 丛的 klt 对的 Albanese 映射是同构的。
• 弱平凡 K-平凡簇的 étale 基本群是几乎阿贝尔的，且有理点由 Albanese 映射控制。
• 主结果表明，增广不等性 bq(X) 是有限的，并实现最大阿贝尔覆盖，将经典结果推广至正特征。