Derived algebras on formal stacks and prismatic gauges

这是一份关于 Shubhankar Sahai 的论文《Derived Algebras on Formal Stacks and Prismatic Gauges》（形式栈上的导出代数与棱镜规范）的详细技术总结。

1. 研究背景与问题 (Problem)

本文旨在解决**导出代数（Derived Algebras）理论与形式导出几何（Formal Derived Geometry）之间的交互问题，特别是针对出现在棱镜化（Prismatization）**理论中的形式导出栈。

• 核心背景：

  • 导出代数：由 Bhatt-Mathew 和 Raksit 发展的理论，提供了非连通（non-connective）动画环（animated rings，即单纯交换环）的稳健定义。它通过单子（Monad）$LSym$ 将模范畴与导出代数范畴联系起来。
  • 形式几何与 $p$-进完备性：在 $p$-进几何（如晶体上同调、棱镜上同调）中，研究对象通常是 $p$-完备的。然而，标准的导出代数理论（基于 Raksit 的“导出代数上下文”）要求 $t$-结构与滤过余极限兼容，而 $p$-完备模范畴（$Mod_{p-comp}$）并不满足这一条件（其非连通部分对滤过余极限不封闭）。
  • 棱镜化（Prismatization）：在 Drinfeld、Bhatt-Lurie 等人的工作中，棱镜化涉及将几何对象提升到包含 Frobenius 结构的导出框架中。这需要在形式栈（Formal Stacks）上定义导出代数结构，特别是涉及**棱镜规范（Prismatic Gauges）**的分类。

• 主要问题：

  1. 如何在 $J$-完备（如 $p$-完备）的模范畴上定义并研究导出代数？
  2. 如何分类形式栈（特别是滤过形式栈和分类栈 $BG_m$）上的导出代数？
  3. 如何将 Simpson 关于滤过导出范畴的经典分类（作为 $A^1/G_m$ 上的拟凝聚层）推广到完备的导出几何设置中？

2. 方法论 (Methodology)

作者采用高阶范畴论（$\infty$-categories）和现代导出代数几何的工具，主要方法包括：

• 单子与余单子理论（Monadicity and Comonadicity）：
  • 利用 Barr-Beck-Lurie 定理，通过研究遗忘函子的性质来刻画导出代数范畴。
  • 引入**连续余单子（Continuous Comonads）**的概念，处理 $J$-完备情形下的余作用。
• 形式谱与右 Kan 延拓：
  • 将形式谱 $Spf(A)$ 定义为预栈（prestack），并通过右 Kan 延拓定义其上的导出代数 $DAlg(Spf(A))$。
  • 证明 $DAlg(Spf(A))$等价于$J$-完备导出代数范畴$DAlg_{A}^{J-comp}$。
• Rees 构造（Rees Construction）：
  • 利用 Lurie 的 Rees 构造，建立滤过模范畴（$FilMod$）与分次模范畴（$GrMod$）之间的等价关系，进而推广到导出代数层面。
  • 利用 Rees 构造将滤过导出代数与分次导出代数联系起来，从而将滤过栈上的问题转化为分次栈（如 $BG_m$）上的问题。
• 平坦下降（Flat Descent）：
  • 证明导出代数函子 $A \mapsto DAlg_A$ 满足平坦拓扑下的下降性质，从而允许在几何栈上通过仿射覆盖来定义和分类导出代数。
• 拟仿射态射（Quasi-affine Morphisms）：
  • 研究导出代数在拟仿射态射下的行为，建立源栈上的导出代数与目标栈上带有特定结构（来自源结构层推前）的导出代数之间的等价关系。

3. 主要贡献与结果 (Key Contributions and Results)

A. $J$-完备导出代数的理论构建

• 定义与性质：定义了 $J$-完备导出代数范畴 $DAlg_{A}^{J-comp}$，证明它是 $DAlg_A$ 的局部化子范畴。
• 形式谱的等价性：证明了 $DAlg(Spf(A)) \simeq DAlg_{A}^{J-comp}$。这意味着形式谱上的导出代数自然地对应于 $J$-完备的导出代数。
• 单子描述：证明了遗忘函子 $DAlg_{A}^{J-comp} \to Mod_{A}^{J-comp}$ 是单子的，其左伴随为 $J$-完备化的 $LSym$ 函子。

B. 分次与连续余单子理论

• 分次导出代数：研究了 $BG_m$（乘法群分类栈）上的导出代数。证明了 $DAlg(BG_m) \simeq GrDAlg_A$（分次导出代数）。
• 连续余单子：在 $J$-完备设置下，证明了分次导出代数范畴与 $DAlg_{A}^{J-comp}$ 之间存在连续余单子伴随（Continuous Comonadic Adjunction）。
  • 具体地，$(\pi!)^\wedge_J \dashv \pi^*$ 是一个余单子伴随，其对应的余单子由完备化的双交换 Hopf 代数 $A[Z]^\wedge_J$ 的作用给出。
  • 这一结果推广了 Moulinos 关于分次环的工作到完备导出几何设置。

C. 几何栈上的分类定理

• 拟仿射态射的分类：对于拟仿射态射 $f: X \to Y$，证明了 $DAlg(X) \simeq DAlg(Y)_{f_* \mathcal{O}_X /}$。即源上的导出代数等价于目标上接收来自源结构层推前映射的导出代数。
• 形式分类栈与滤过栈：
  • 证明了 $DAlg(BG_m \times Spf(A)) \simeq GrDAlg_{A}^{J-comp}$。
  • 利用 Rees 构造，建立了滤过导出代数与形式滤过栈（如 $A^1/G_m \times Spf(A)$ 上的栈）上导出代数的等价关系。
  • 核心分类定理：对于特定的滤过形式栈（如与棱镜 $(A, I)$ 相关的栈），其上的导出代数范畴等价于滤过完备导出代数范畴。

D. 棱镜规范（Prismatic Gauges）的应用

• 文章将上述理论应用于棱镜规范（Prismatic Gauges）的分类。
• 证明了对于有向有界棱镜 $(A, I)$，滤过完备导出代数范畴 $FilDAlg_{A}^{(p,d)-comp}$ 等价于形式栈 $Spf(A[u, t]/(ut-d))/G_m$ 上的导出代数范畴。
• 当 $(A, I)$ 是完美棱镜时，该栈同构于 Nygaard 滤过的棱镜化 $(A/I)_{Nyg}$，从而建立了 $DAlg((A/I)_{Nyg})$ 与滤过导出代数的等价性。

4. 技术细节与关键引理

• 引理 2.21：构建了动画环 $A$ 的 $J$-adic 塔，使得 $Spf(A)$ 可以表示为仿射概形序列的极限，从而将形式几何问题转化为代数极限问题。
• 定理 4.8：证明了 $DAlg(-)$ 满足平坦下降，这是处理几何栈的基础。
• 命题 4.55：建立了 $DAlg(BG_m \times Spf(A))$ 与 $GrDAlg_{A}^{J-comp}$ 的对称幺半等价。
• 推论 1.16：给出了棱镜化栈上导出代数的具体分类，直接服务于作者后续关于 Nygaard 滤过棱镜上同调的工作。

5. 意义与影响 (Significance)

• 填补理论空白：本文首次系统地建立了非连通形式导出几何中导出代数的理论，解决了 $p$-完备性导致 $t$-结构不兼容标准导出代数上下文定义的难题。
• 统一框架：通过引入“连续余单子”和“形式栈”的概念，统一了滤过几何、分次几何与 $p$-进几何（棱镜理论）的代数结构。
• 为棱镜理论提供代数基础：文章的结果是作者后续工作（[Sah26a], [Sah26b]）的基础，这些工作旨在利用导出代数框架研究 Frobenius 提升方案的辛托化（Syntomification）以及 Fontaine-Laffaille 理论的导出推广。
• 推广经典结果：将 Simpson 关于滤过导出范畴的经典分类（$A^1/G_m$）成功推广到了非连通、完备的导出几何设置中，并扩展到了对角化群方案（Diagonalizable Group Schemes）的分类栈。

总结

这篇论文通过精细的 $\infty$-范畴论技术，成功地将导出代数理论扩展到形式栈和 $p$-完备设置中。它不仅解决了理论上的障碍（如 $t$-结构与完备性的兼容），还为棱镜上同调和 Nygaard 滤过提供了强有力的代数分类工具，是连接现代导出代数几何与算术几何（特别是 $p$-进霍奇理论）的重要桥梁。