2025-11-16T07:55:12.349948

Cohomology theories in the moduli of ring stacks

Lahoti, Manam

We show that the natural map from the syntomification of a ring $R$ to the stack of $R$-algebra stacks is fully faithful, answering a question of Drinfeld, and we describe its essential image in terms of underlying monoid stacks. We also give similar statements in the characteristic 0 filtered de Rham, $\ell = p$ Ã©tale, and Betti settings.

academic

Cohomology theories in the moduli of ring stacks

基本信息

论文ID: 2510.09582
标题: Cohomology theories in the moduli of ring stacks
作者: Dhilan Lahoti, Deven Manam
分类: math.AG (代数几何), math.NT (数论)
发表时间: 2025年10月10日 (arXiv提交)
论文链接: https://arxiv.org/abs/2510.09582

摘要

本文证明了环 $R$ 的句法化(syntomification)到 $R$ -代数栈的栈的自然映射是完全忠实的，回答了Drinfeld的一个问题，并用底层幺半群栈描述了其本质像。作者还在特征0过滤de Rham、 $\ell = p$ étale和Betti设置中给出了类似的陈述。

研究背景与动机

问题背景

栈式上同调理论: Simpson首次引入的代数簇上同调的"栈式"方法，近年来在p-adic设置中由于Drinfeld和Bhatt-Lurie的工作而引起了极大关注。
环栈的核心作用: 环栈(ring stacks)在这种方法中扮演核心角色，它们提供了一种便捷的方式来将上同调理论及其系数打包到单一对象中。
Drinfeld的问题: 本文要解决的核心问题是Drinfeld在Dri22b, Question 8.3.6中提出的关于句法化映射完全忠实性的问题。

研究动机

理论完善: 将环栈本身作为研究的中心对象，探索其在上同调理论中的深层结构。
统一框架: 在多个不同的上同调设置(句法、de Rham、étale、Betti)中建立类似的结果，展现理论的统一性。
几何理解: 通过幺半群栈来理解环栈的本质像，提供几何直觉。

核心贡献

主要定理: 证明了对于环 $A$ ，从 $A$ 的句法化 $A^{\text{Syn}}$ 到 $A$ -代数栈的栈的自然映射是完全忠实的。
本质像刻画: 给出了该映射本质像的完整刻画： $A$ -代数栈在本质像中当且仅当其底层阿贝尔幺半群栈在复合映射 $A^{\text{Syn}} \to A\text{-AlgStk} \to \text{AbMonStk}$ 的像中。
多重设置: 在特征0过滤de Rham上同调、 $\ell = p$ étale上同调和Betti上同调设置中给出了类似结果。
技术创新: 引入了"可通过的W-模"(passable W-modules)和"多过滤Cartier-Witt除子"(polyfiltered Cartier-Witt divisors)等新概念。

方法详解

句法情形的核心策略

技术框架

本文的证明策略分为几个关键步骤：

从幺半群到环的提升: 利用§1.5的结果，从幺半群结构引导出环结构。核心观察是 $M_m$ 和 $M_m^{\text{perf}}$ 上的环结构是唯一的。
W-模理论: 在§1.2中发展了仿射W-模概型的一般理论，特别是建立了它们与分次群概型的等价关系，以及W-模对偶与Cartier对偶的相互关系。
可通过性概念: 引入可通过W-模的概念，这是可容许W-模的推广：
- 0-可通过：可逆
- n-可通过：存在正合列 $0 \to L^{\sharp} \to M \to F_*M' \to 0$ ，其中 $M'$ 是 $(n-1)$ -可通过的

关键引理和命题

命题1.7.1: 对于 $\mathbb{Z}_p^N$ 上的p-幂零环 $R$ ， $(G_a^N)_R$ 上的任何 $W^{\text{perf}}$ -代数结构都唯一地通过标准结构分解。

定理1.7.4: 主要结果的完整陈述，给出了三个等价条件：

$R$ 来自 $A^{\text{Syn}}$ 的一个 $R$ -点
$R$ 局部由某个多过滤Cartier-Witt除子 $M \to W$ 给出
$M_m(R)$ 局部来自 $\mathbb{Z}_p^{\text{Syn}}$ 的一个 $R$ -点

其他设置的方法

De Rham情形

利用 $\hat{G}_a$ 和 $G_a$ 之间映射的理解
通过广义Cartier除子之间的映射来计算环栈之间的映射
关键技术工具是RHom计算和Breen-Deligne分辨

Betti情形

首先证明Betti栈构造产生从凝聚集合到栈的完全忠实映射
将环栈之间的映射归结为拓扑环族之间的映射
利用Stone对偶性和凝聚数学的技术

技术创新点

1. 多过滤Cartier-Witt除子

这是对过滤Cartier-Witt除子概念的重要推广，允许处理更复杂的情况：

引入n-多过滤的递归定义
证明了局部性质和函子性
建立了与句法栈的联系

2. 伪可降理论

在附录A中发展了伪可降层和除幂的理论：

定义了伪可降余简单对象
证明了除幂函子保持伪可降态射
为主要证明提供了关键的下降理论工具

3. 仿射栈理论

在附录B中发展了相关的仿射栈理论：

证明了句法化的相对仿射性
建立了导出代数语境之间的关系

主要结果

完全忠实性

对于任何环 $A$ ，自然映射 $A^{\text{Syn}} \to A\text{-AlgStk}$ 是完全忠实的。这直接回答了Drinfeld的问题。

本质像刻画

$A$ -代数栈 $R$ 在该映射的本质像中当且仅当其底层阿贝尔幺半群栈在复合映射 $A^{\text{Syn}} \to A\text{-AlgStk} \to \text{AbMonStk}$ 的像中。

多重设置的统一

类似结果在以下设置中成立：

特征0过滤de Rham上同调 (推论2.12)
$\ell = p$ étale上同调 (定理3.3)
Betti上同调 (定理4.8)

理论意义与应用

1. 动机理论联系

作者将完全忠实性陈述视为棱镜F-gauge完全捕获动机理论某些部分的证据，呼应了Scholze的观点。

2. "定义在 $\mathbb{F}_1$ 上"

本质像的刻画可以理解为句法化理论"定义在 $\mathbb{F}_1$ 上"：正如 $A^{\text{Syn}}$ 是 $\mathbb{Z}_p$ -代数栈上的 $A$ -代数结构的栈， $\mathbb{Z}_p^{\text{Syn}}$ 是某个" $\mathbb{F}_1$ -代数栈"上的 $\mathbb{Z}_p$ -代数结构的栈。