Arithmetic Kodaira--Spencer Class and Frobenius Liftings via Frobenius--Witt Cotangent Complex

技术摘要：算术 Kodaira–Spencer 类与通过 Frobenius–Witt 余切复件实现的 Frobenius 提升

问题陈述
Frobenius 末端映射向 2-截断 Witt 向量环 $W_2(k)$（或 $\mathbb{Z}/p^2$）的提升是否存在，对正特征 $p$ 下的光滑射影簇施加了严苛的几何约束。诸如 Bott 消解定理和关于仿射环面纤维化的猜想等显著结果，都依赖于存在此类 Frobenius 提升的假设。因此，确定一个平坦 $\mathbb{Z}_{(p)}$-方案在何种精确条件下允许 Frobenius 提升，是一个基本问题。

以往处理该问题的方法采用了两种不同的框架：

1. 经典形变理论： 如 [Zda18] 所示，利用余切复件的形变理论来构造障碍类。
2. 算术微分形式： 对于光滑方案，[DKRZB17] 使用全 $p$-微分模 $\Omega^{1, \text{tot}}_{X_1}$ 构造了一个障碍类（即算术 Kodaira–Spencer 类）。这种方法类比了经典的 Kodaira–Spencer 理论，但依赖于涉及全 $p$-微分的特定序列的正合性。

使用全 $p$-微分方法的局限性在于，对于非光滑方案，涉及全 $p$-微分的序列不一定是左正合的，这阻碍了将该障碍类直接推广到奇异或非光滑情形。本文旨在解决将算术 Kod 是否 Kodaira–Spencer 类推广到任意平坦 $\mathbb{Z}_{(p)}$-方案的需求，并将其新定义与经典形变理论进行统一。

方法论
作者采用了由 [Shi26] 为动画（animated）$\mathbb{Z}_{(p)}$-代数引入的 Frobenius–Witt 余切复件，记作 $FL_X$。该对象是余切复件的算术模拟，适用于 Frobenius 提升的情境。

核心方法论包括：

1. 通过导出范畴进行推广： 在拟相干层构成的导出 $\infty$-范畴 $D_{\text{qc}}(X_0)$ 中，用 Frobenius–Witt 余切复件 $FL_X$ 取代光滑情形下的全 $p$-微分模。
2. 纤维序列： 利用 Frobenius–Witt 余切复件的传递纤维序列（定理 2.4），为平坦 $\mathbb{Z}_{(p)}$-方案 $X$ 建立一个规范的纤维序列：
   $$\mathcal{O}_{X_0} \to FL_X \to F^*_{X_0} L_{X_0/\mathbb{F}_p} \to$$
   其中 $X_0 = X \times_{\text{Spec } \mathbb{Z}_{(p)}} \text{Spec } \mathbb{F}_p$，且 $F_{X_0}$ 是 Frobenius 态射。
3. 障碍定义： 将算术 Kodaira–Spencer 类 $\kappa_X$ 定义为由上述纤维序列的连接映射所确定的扩张类 $\text{Ext}^1_{X_0}(F^*_{X_0} L_{X_0/\mathbb{F}_p}, \mathcal{O}_{X_0})$。
4. 比较： 证明该类的消失等价于 Frobenius 提升的存在性，并证明该类与从经典形变理论（特别是 Illusie 和 Zdanowicz 的工作）中导出的障碍类一致。

主要贡献与结果

1. 算术 Kodaira–Spencer 类的定义（定义 1.3）：
   本文利用 Frobenius–Witt 余切复件，为任何平坦 $\mathbb{Z}_{(p)}$-方案 $X$（不一定是光滑的）定义了 $\kappa_X$。这将其障碍理论的适用范围扩展到了此前使用全 $p$-微分的光滑情形之外。

2. 与 Frobenius 提升的等价性（定理 3.3）：
   中心结果确立了对于平坦 $\mathbb{Z}_{(p)}$-方案 $X$，算术 Kodaira–Spencer 类 $\kappa_X$ 消失当且仅当 $X_1 = X \times_{\text{Spec } \mathbb{Z}_{(p)}} \text{Spec } \mathbb{Z}/p^2$ 上存在 Frobenius 提升。

   • 证明简述： 若 $\kappa_X = 0$，则纤维序列分裂，从而允许构造一个截面 $FL_X \to \mathcal{O}_{X_0}$。该截面诱导一个映射 $\alpha: \mathcal{O}_X \to \mathcal{O}_{X_0}$，结合 $p$ 次幂映射，定义了一个环同态 $F: \mathcal{O}_{X_1} \to \mathcal{O}_{X_1}$，从而提升了 Frobenius。反之，一个 Frobenius 提升会诱导一个 Frobenius–Witt 导子，从而产生所需的截面。

3. 相对版本（定理 3.9）：
   作者为平坦 $\mathbb{Z}_{(p)}$-方案的态射 $f: X \to Y$ 定义了相对算术 Kodaira–Spencer 类 $\kappa_{X/Y}$。证明了该类与基底 $Y$ 上的一个截面的复合的消失，等价于在 $X_1$ 上存在与 $Y_1$ 上的给定提升相兼容的 Frobenius 提升。

4. 与 Deligne–Illusie 类的比较（定理 4.2）：
   对于光滑方案，本文证明了新定义的算术 Kodaira–Spencer 类（在符号差一个负号的情况下）与经典的 Deligne–Illusie 类 $h_{X_1}$ 一致，后者是通过局部 Frobenius 提升以及 $H^1(X_0, F^*_{X_0} T_{X_0/\mathbb{F}_p})$ 中的循环构造的。

5. 与经典形变理论的比较（定理 5.3）：
   本文证明了动画环的算术 Kodaira–Spencer 映射与通过经典余切复件形变理论（具体而言，是 Frobenius 提升与标准 Frobenius 在余切复件上的差异）定义的障碍映射在规范意义上是等价的。这证实了 Frobenius–Witt 方法所产生的障碍与经典形变理论方法产生的障碍是一致的。

6. 对模 $p^2$ 约化的依赖性（推论 5.7）：
   与经典理论比较的一个重要结论是，平坦 $\mathbb{Z}_{(p)}$-代数的 Frobenius–Witt 余切复件 $FL_X$ 实质上仅取决于其模 $p^2$ 的约化。如果两个方案 $X$ 和 $Y$ 具有同构的模 $p^2$ 约化（$X_1 \cong Y_1$），则它们的 Frobenius–Witt 余切复件是等价的（$FL_X \simeq FL_Y$）。

意义
本文提供了一个研究 Frobenius 提升的统一框架，桥接了算术微分几何（使用全 $p$-微分）与经典形变理论之间的鸿沟。通过利用 Frobenius–Witt 余切复件，作者成功地将算术 Kodaira–Spencer 类推广到了非光滑方案，解决了由于使用全 $p$-微分而在奇异情形下存在的左正合性问题。

这项工作验证了算术 Kodaira–Spencer 类作为一个稳健的障碍不变量，证明了它在光滑情形下与 Deligne–Illusie 类、以及在一般动画情形下与经典形变障碍的等价性。此外，Frobenius–Witt 余切复件由模 $p^2$ 约化决定的结果，为涉及这些复件的计算提供了结构性的简化，表明对于涉及 Frobenius 提升的某些导出不变量，可能不需要更高阶的 Witt 向量数据。