Frobenius--Witt cotangent complexes

技术摘要：Frobenius–Witt 余切复形

问题陈述
本文旨在解决为 Frobenius–Witt 微分形式语境量身定制的余切复形之导出算术类比的需求。虽然 M. André 和 D. Quillen 确立了余切复形（$L_{B/A}$）作为 Kähler 微分（$\Omega_{B/A}$）的导出版本，但 T. Saito 最近引入了 Frobenius–Witt 微分形式模（$F\Omega_A$）作为 Kähler 微分的算术类比，并将其与交换环的正则性联系起来。然而，Saito 的 $F\Omega_A$ 的导出版本——即"Frobenius–Witt 余切复形”——尚未被正式构造。本文旨在定义该对象（记为 $FL_A$）并研究其性质，特别是其与混合特征下诺特局部环正则性的关系。

方法论
作者运用 $\infty$-范畴和动画（导出代数几何）的框架来构造 Frobenius–Witt 余切复形。方法论按以下步骤进行：

1. 导出的重构：文章首先重构了 Saito 关于 Frobenius–Witt 导出的定义。它引入了一个“算术扩张”环 $W_2(A, M, m)$，定义为集合 $A \times M$，配备涉及多项式 $P(X, Y) = \frac{(X+Y)^p - X^p - Y^p}{p}$ 的特定加法和乘法规则。该构造在 Frobenius–Witt 导出 $w: A \to M$ 与分裂到 $A$ 的投影的环同态 $A \to W_2(A, M, m)$ 之间建立了双射。
2. 动画化：利用紧致投射生成元理论，作者定义了配对 $(A, M)$ 范畴的“动画”（导出版本），其中 $M$ 是一个 $A/p$-模。这使得能够定义算术扩张函子的动画版本 $W_2^{an}$。
3. 泛性质：Frobenius–Witt 余切复形 $FL_A$ 被定义为导出 $\infty$-范畴 $D_{\ge 0}(A/Lp)$ 中的对象，它核心表示动画 Frobenius–Witt 导出的空间。具体而言，$FL_A$ 是泛对象，使得 $\text{Hom}(FL_A, M) \simeq \text{FWDer}(A, (M, m))$。
4. 计算技术：文章利用源自余切复形传递性的基本纤维序列以及动画环 $\infty$-范畴中推出（pushout）的性质。方法论的很大一部分涉及通过将完美oid 环分解为 $p$-无挠完美oid 环和完美环，或利用涉及 Fontaine 的 $\theta$-映射的推出方框，来计算 $FL_R$。

主要贡献与结果

• 定义与基本性质：文章定义了 $FL_A$ 并确立了它满足类似于经典余切复形的性质：

  • 它承认传递纤维序列：$FL_A \otimes^L_A B \to FL_B \to F^*(L_{(B/Lp)/(A/Lp)})$。
  • 它满足 étale 局部化并与 sifted 余极限交换。
  • 其第 0 同调群恢复了经典的 Frobenius–Witt 微分形式模：$\pi_0(FL_A) \simeq F\Omega_A$。
  • 它在导出 $p$-完备化下不变。
  • 对于光滑的 $\mathbb{Z}_{(p)}$-代数，$FL_A$ 与 $F\Omega_A$ 重合。

• 层性质：主要结果是定理 5.9，它证明了函子 $A \mapsto FL_A$ 是一个 fpqc 层。这被呈现为经典余切复形构成 fpqc 层这一事实的导出类比，而非导出模 $F\Omega_A$ 通常不满足该性质。

• 完美oid 环的消失性：定理 6.8 确立了对于任何完美oid 环 $R$，Frobenius–Witt 余切复形消失（$FL_R \simeq 0$）。这被描述为完美 $\mathbb{F}_p$-代数上 $\mathbb{F}_p$ 的余切复形消失性在混合特征下的类比。证明利用了对完美oid 环的分解以及函子对推出的保持性。

• 正则性判据：文章建立了 Saito 正则性判据的导出变体（定理 1.3 / 推论 6.14）。对于剩余特征为 $p$ 的 $p$-无挠完备诺特局部环 $R$，设 $d = \dim R$ 且 $r$ 满足 $p^r = [k : k^p]$，则环 $R$ 是正则的当且仅当 $FL_R$ 是秩为 $r + d$ 的自由 $R/p$-模。该结果严重依赖于 $FL_R$ 在完美oid 环上的消失性以及 $FL$ 在拟辛米特（quasi-syntomic）覆盖下的行为。

• 关于 $\mathbb{F}_1$ 的猜想：在最后部分，作者提出了关于“单元素域”（$\mathbb{F}_1$）存在的猜想。猜想存在一个取值于 $D(\mathbb{Z}_{(p)})$ 的函子 $L_{(-)/\mathbb{F}_1}$，使得 Frobenius–Witt 余切复形 $FL_R$ 是 $L_{R/\mathbb{F}_1}$ 模 $p$ 约化的 Frobenius 拉回。

意义
本文声称，Frobenius–Witt 余切复形的引入为算术几何提供了一个稳健的导出框架，扩展了 Saito 关于 Frobenius–Witt 微分形式的工作。其主要意义在于：

1. 统一：它弥合了经典余切复形与算术微分形式之间的鸿沟，提供了一个既保留前者理想的层论性质又捕捉后者算术信息的导出对象。
2. 新现象：完美oid 环上 $FL_R$ 的消失性被确认为文献中关于 Frobenius–Witt 微分形式所未观察到的新现象，暗示了完美oid 几何与算术导数之间的深刻联系。
3. 正则性检测：正则性的导出判据（定理 1.3）为研究混合特征下的奇点提供了更精细的工具，可能提供超越经典模层级判据的见解。

作者对关于 $\mathbb{F}_1$ 的猜想保持了谦逊的语气，将其表述为对观察到的关系的自然延伸而非已证明的事实，并承认正则性判据目前仅适用于完备诺特局部环，一般情形仍是一个开放问题。