Pro-étale motives and solid rigidity

这篇论文《Pro-étale motives and solid rigidity》（Pro-étale 动机与刚性）由 Raphaël Ruimy、Swann Tubach 和 Sebastian Wolf 撰写，旨在构建一个统一的框架，将Pro-étale 动机（pro-étale motives）与凝聚几何（condensed geometry）中的刚性（solidity）概念相结合，从而解决 $\ell$-进上同调理论中系数系统的一些长期存在的问题。

以下是对该论文的详细技术总结：

1. 研究背景与核心问题

在代数几何中，$\ell$-进上同调通常通过系数系统来定义。然而，现有的系数系统存在以下主要缺陷：

• 经典构造的局限性：传统的构造性 $\ell$-进层（constructible $\ell$-adic sheaves）通常定义为有限型概形上小 étale 位上的层的极限。虽然 Ekedahl 提出了一个现成的系数系统（通过 $\ell$-完备化），但它与有理化（rationalization，即张量积 $\otimes \mathbb{Q}$）不兼容（$D((-\text{\'et}), \mathbb{Z})^\wedge_\ell \otimes \mathbb{Q} \simeq 0$）。
• Pro-étale 位上的尝试：Bhatt-Scholze 引入的 pro-étale 位允许将 $\mathbb{Z}_\ell$ 和 $\mathbb{Q}_\ell$ 视为具有拓扑结构的层，从而解决了有理化问题。然而，在 pro-étale 位上定义的普通导出范畴 $D((-\text{pro\'et}), \mathbb{Z}_\ell)$ 缺乏良好的函子性质（例如，proper base change 定理失效）。
• 刚性解析几何的对比：在刚性解析几何中，Fargues 和 Scholze 引入了刚性层（solid sheaves），它们具有良好的函子性质（如五函子形式），但在一般概形上尚未建立类似的理论，且刚性层通常不支持完整的六函子形式（特别是缺乏 proper projection formula）。
• 动机实现的困境：Voevodsky 的 étale 动机 $DM_{\text{\'et}}$ 是通用的系数系统。$\ell$-进实现函子通常涉及 $\ell$-完备化，但这会导致上述的有理化问题，且 $\ell$-进动机在混合特征下对基变换不稳定。

核心目标：构建一个新的系数系统，既能容纳具有拓扑结构的环（如 $\mathbb{Z}_\ell, \mathbb{Q}_\ell$），又能具备完整的六函子形式（six operations），并且与经典的 $\ell$-进实现兼容。

2. 方法论与理论框架

作者结合了Pro-étale 动机、凝聚范畴论（condensed category theory）和刚性化（solidification）技术：

1. Pro-étale 动机的构建：

   • 作者定义了弱光滑概形（weakly smooth schemes）的范畴 $WSm_X$，这是光滑概形与弱 étale 概形的组合。
   • 在 $WSm_X$ 的 pro-étale 位上构建超层（hypersheaves）的范畴，并进行 $\mathbb{A}^1$-不变化和 $\mathbb{P}^1$-稳定化，得到Pro-étale 动机谱范畴 $SH_{\text{pro\'et}}(X)$。
   • 证明了该范畴在有限呈现（finite presentation）态射下支持六函子形式。

2. 凝聚范畴与刚性化：

   • 利用 Clausen-Scholze 的凝聚群（condensed abelian groups）理论，将概形上的层视为凝聚对象。
   • 引入刚性化（solidification）过程：对于任何 $\mathbb{Z}_P$-线性凝聚范畴，定义其刚性化版本。刚性对象构成了凝聚层的一个全子范畴，具有更好的完备性性质（如包含 $p$-进 Banach 空间）。
   • 定义了概形 $X$ 上的刚性层范畴 $D(X, \Lambda)^\blacksquare$，其中 $\Lambda$ 是刚性代数。

3. 刚性定理（Rigidity Theorem）：

   • 核心思想是证明：在适当的条件下（$P$ 中的素数在概形上可逆），刚性 Pro-étale 层的范畴与刚性 Pro-étale 动机的范畴是等价的。
   • 这意味着刚性层自动继承了动机的六函子结构。

3. 主要贡献与结果

A. 概形上的刚性层理论 (Solid Sheaves on Schemes)

• 定义与性质：作者将 Fargues-Scholze 在刚性解析几何中的刚性层理论推广到了概形上。定义了 $D(X, \Lambda)^\blacksquare$ 作为 pro-étale 层范畴的局部化。
• 六函子形式：与刚性解析几何不同（那里缺乏 proper projection formula），作者证明了在概形上，当 $P$ 中的素数可逆时，刚性层范畴 $D(X, \Lambda)^\blacksquare$ 支持完整的六函子形式（Theorem E）。这是本文的一个重大突破。
• 构造性复形的嵌入：证明了经典的构造性 $\ell$-进复形（constructible complexes）自然地嵌入到刚性层范畴中。

B. Pro-étale 动机的六函子形式

• 构建了 $SH_{\text{pro\'et}}(X)$ 及其系数系统 $DM_{\text{pro\'et}}(X, \Lambda)$。
• 证明了对于有限呈现（finitely presented）的态射，该范畴支持六函子操作（包括 $f_!, f^!, f_*, f^*, \otimes, \mathcal{H}om$）。
• 证明了在局部 étale 有界（locally étale bounded）的概形上，经典的 étale 动机 $SH_{\text{\'et}}$ 可以全忠实地嵌入到 Pro-étale 动机 $SH_{\text{pro\'et}}$ 中（Theorem B）。

C. 刚性定理 (The Rigidity Theorem)

• 核心等价性：证明了在 $P$ 中素数可逆的条件下，存在等价：
  $$D(X, \Lambda)^\blacksquare \simeq DM_{\text{eff}}(X, \Lambda)^\blacksquare \simeq DM(X, \Lambda)^\blacksquare$$
  即：刚性层范畴等价于有效刚性动机范畴，也等价于完整的刚性动机范畴（Theorem E）。
• 意义：这一结果意味着刚性层不仅具有良好的拓扑性质，而且自动具备动机理论中的同伦不变性（$\mathbb{A}^1$-invariance）和 Tate 稳定性。

D. 刚性实现函子 (Solid Realization Functor)

• 构建了从 étale 动机到刚性 Pro-étale 动机的实现函子：
  $$\rho^\blacksquare: DM_{\text{\'et}}(X, \mathbb{Z}) \to DM(X, \mathbb{Z}_\ell)^\blacksquare \simeq D(X, \mathbb{Z}_\ell)^\blacksquare$$
• 兼容性：该函子与系数变化兼容。特别地，通过张量积 $\otimes \mathbb{Q}$，可以恢复经典的 $\mathbb{Q}_\ell$-进实现函子，同时保持在现成（presentable）范畴的框架内。
• 基变换稳定性：与传统的 $\ell$-进完备化动机不同，刚性实现函子在混合特征下对基变换是稳定的。

4. 技术细节与关键引理

• 弱光滑概形（Weakly Smooth Schemes）：为了在 pro-étale 位上建立良好的几何结构，作者引入了弱光滑态射（光滑态射与弱 étale 态射的复合），并证明了其局部结构类似于仿射空间上的弱 étale 覆盖。
• 凝聚范畴的刚性化：利用 $Pr^L_{\text{cond}}$（凝聚现成范畴）中的张量积 $\otimes_{\text{cond}}$ 定义刚性化。证明了 $D(X, \Lambda)^\blacksquare$ 可以看作 $D(X_{\text{pro\'et}}, \Lambda)$ 的刚性化。
• 刚性定理的证明策略：
  1. 首先证明刚性层嵌入到 $\mathbb{A}^1$-不变刚性层中是全忠实的（利用 torsion 情形的刚性定理）。
  2. 通过局部化（Localizing）引入 Tate 稳定性（即 $\mu_{\infty, P}$ 的可逆性）。
  3. 利用 Ambidexterity（双向性）和 proper base change 证明生成元在像中，从而证明等价性。

5. 意义与影响

1. 统一了拓扑与代数：该工作成功地将凝聚几何中的“刚性”概念引入到代数几何的动机理论中，解决了 $\ell$-进上同调中拓扑结构与代数结构不兼容的问题。
2. 扩展了六函子形式：首次在概形上建立了具有完整六函子形式的刚性层理论，填补了刚性解析几何与代数几何之间的理论空白。
3. 改进的实现函子：提供的刚性实现函子 $\rho^\blacksquare$ 比传统的 $\ell$-进实现函子更优越，因为它：
   • 兼容有理化（$\mathbb{Q}_\ell$）。
   • 在混合特征下保持基变换稳定性。
   • 工作在现成（presentable）范畴中，便于进行高阶范畴论操作。
4. 未来展望：作者提到，这一框架为定义谱 Nori 动机（spectral Nori motives）奠定了基础，并计划在未来工作中研究其谱类比。

总结来说，这篇论文通过引入 Pro-étale 动机和凝聚刚性化技术，构建了一个强大且灵活的系数系统框架，不仅解决了 $\ell$-进上同调中的经典难题，还为代数几何中的同伦论和上同调理论提供了新的视角和工具。