[论文解读] Non-liftable Calabi-Yau varieties in characteristic $p \geq 5$

Piotr Achinger, Maciej Zdanowicz|arXiv (Cornell University)|Oct 23, 2017

Algebraic Geometry and Number Theory参考文献 5被引用 3

一句话总结

该论文通过利用Totaro的Fano簇（其违反Kodaira消去律）构造了特征 $p \geq 5$ 下不可提升的Calabi–Yau簇。通过取其反 canonical 除子以及这些Fano簇的 $\mathbb{Z}/2\mathbb{Z}$-覆盖，作者构造出维度为 $2p$ 和 $2p+1$ 的Calabi–Yau流形，这些流形无法正式提升至任何Witt环的有限扩张，从而在任意大特征下首次提供了此类例子。

ABSTRACT

Based on recent work of Totaro, we provide two simple constructions of non-liftable Calabi-Yau varieties in characteristic $p \geq 5$. Our examples are of dimension $2p$ and $2p+1$.

研究动机与目标

• 在特征 $p \geq 5$ 下显式构造出无法正式提升至特征零的Calabi–Yau簇。
• 将已知的不可提升Calabi–Yau簇类扩展至小素数外的系统性例子。
• 利用Totaro关于Fano簇中Kodaira消去律失效的最新结果，作为不可提升Calabi–Yau结构的来源。
• 证明在所有维度 $2p$ 和 $2p+1$（$p \geq 5$）下均存在不可提升的Calabi–Yau簇，填补了文献中的空白。

提出的方法

• 利用Totaro的Fano簇 $X = \mathbb{P}_{{\rm Gr}(2,N)}(F^*\mathscr{S})$（其中 $N = p+2$），该簇为旗流形的Frobenius拉回构造，违反Kodaira消去律。
• 第一类构造为光滑反 canonical 除子 $Y \in |{-K_X}|$，通过邻接公式验证其平凡canonical丛与Hodge数的消失。
• 第二类构造为沿 $|{-2K_X}|$ 中光滑除子的 $\mathbb{Z}/2\mathbb{Z}$-覆盖 $Y \to X$，确保canonical丛平凡且满足Calabi–Yau条件。
• 应用引理1：若对某个ample线丛 $A$ 有 $\chi(Y, \mathscr{O}_Y(A)) < 0$，则 $Y$ 无法正式提升至 $W(k)$ 的任何有限扩张。
• 利用投影公式与 $X$ 上的上同调消失性，证明 $\chi(Y, \mathscr{O}_Y(A)) = \chi(X, \mathscr{O}_X(A)) < 0$，满足不可提升性判别条件。
• 利用Kempf消失性与齐性空间 $X$ 上的Serre对偶性，证明 $H^i(Y, \mathscr{O}_Y) = 0$ 对所有 $0 < i < \dim Y$ 成立，从而确认Calabi–Yau结构。

实验结果

研究问题

• RQ1 是否可在所有特征 $p \geq 5$ 下系统地构造出不可提升的Calabi–Yau簇？
• RQ2 Totaro的违反Kodaira消去律的Fano簇是否可作为正特征下不可提升Calabi–Yau簇构造的通用来源？
• RQ3 Totaro的Fano簇 $X$ 的形变空间是否同构于 $\mathrm{Spf}\,k$，或是否允许非平凡形变？
• RQ4 尽管无法提升至更高阶扩张，构造出的Calabi–Yau簇是否仍可提升至 $W_2(k)$（长度为2的Witt向量环）？
• RQ5 类似构造是否可在特征 $p = 2,3$ 下产生不可提升的Calabi–Yau三倍体？

主要发现

• 该论文为任意代数闭域特征 $p \geq 5$ 构造了维数为 $2p$ 和 $2p+1$ 的射影Calabi–Yau簇，这些簇无法正式提升至 $W(k)$ 的任何有限扩张。
• 第一类构造将Calabi–Yau簇 $Y$ 构造为Totaro的Fano簇 $X$ 中的光滑反 canonical 除子，满足 $\chi(Y, \mathscr{O}_Y(A)) = \chi(X, \mathscr{O}_X(A)) < 0$，从而由引理1推出其不可提升性。
• 第二类构造为沿 $|{-2K_X}|$ 中光滑除子的 $\mathbb{Z}/2\mathbb{Z}$-覆盖 $Y \to X$，该簇同样为Calabi–Yau且因相同的Euler示性数障碍而不可提升。
• Fano簇 $X$ 同构于 $\mathbb{P}_{{\rm Gr}(2,N)}(F^*\mathscr{S})$（其中 $N = p+2$），并拥有一个非常 ample 线丛 $A$，满足 $-K_X = 2A$ 且 $\chi(X, \mathscr{O}_X(A)) < 0$，这是不可提升性证明的核心。
• 所构造的Calabi–Yau簇不满足Kodaira消去律，这与基底Fano簇 $X$ 上Kodaira消去律的失效一致，后者正是不可提升行为的根源。
• 这些例子并非Langer预期意义下可提升Calabi–Yau簇的小型解析，因为 $Y$ 是双覆盖 $Y'$ 的小型解析，但 $Y'$ 可提升，从而确认 $Y$ 本身不可提升。