Profinite Borel completeness and smooth Artin motives

技术摘要：亲有限性、Borel 完全性与光滑 Artin 动机

问题陈述
本文探讨了两个截然不同的数学框架之间的关系：一般基底方案 $S$ 上光滑 Artin 动机的 $\infty$-范畴，以及 $\pi_1^{\text{ét}}(S)$ 的 étale 基本群的表示论。虽然 Voevodsky 已经建立了域 $F$ 上的 Artin 动机与绝对伽罗瓦群 $\text{Gal}(F^{\text{sep}}/F)$ 的导出置换模之间的等价关系，但对于一般基底方案 $S$（其中伽罗瓦群被替换为亲有限 étale 基本群），该等价关系是否仍然成立，仍是一个悬而未决的问题。

第二个基础性问题出现在亲有限群的等变同伦理论中。对于有限群，Borel 完全谱的子范畴是一个已得到良好理解的函子范畴（通过 Mathew–Naumann–Noel 建立）。然而，对于亲有限群，轨道 $G/1$ 不是一个有限的 $G$-集合，这使得直接推广 Borel 完全性变得复杂。本文研究了对于亲有限群是否存在多种不同的“Borel 完全性”概念，以及它们如何与层论和动机相关联。

方法论
作者采用了两管齐下的方法，首先发展必要的等变同伦理论，然后将其应用于动机理论。

1. 亲有限群的等变同伦理论：

   • 本文重新审视了有限群 Borel 完全谱的描述，并引入了在连通交换环谱 $R$ 中的系数。
   • 对于亲有限群 $G = \lim_i G_i$，定义了两种 Borel 完全性的概念：
     • 逐层 Borel 完全性 ($Sp^{\text{lwBorel}}_G$)： 定义为沿范畴固定点在有限商 $G_i$ 的 Borel 完全范畴下的极限。
     • Borel 完全性 ($Sp^{\text{Borel}}_G$)： 通过一个特定的代数对象 $A$ 进行完备化来定义，该对象是所有开正规子群轨道的对偶的余极限。
   • 作者利用谱 Mackey 函子以及关于等变环谱的模范畴理论来分析这些结构。一个关键的技术工具是通过 $t$-结构和超完备化（hypercompletion）来识别这两种概念之间的关系。

2. 动机与对应关系：

   • 本文构造了有效 Voevodsky 动机的 $\infty$-范畴 $DM^{\text{eff}}_{\tau}(S; R)$（其中 $\tau = \text{Nisnevich}$ 或 $\text{étale}$），使用了带有系数的有限对应关系。
   • 光滑 Artin 动机 $DAM_{\tau}(S; R)$ 被定义为由有限 étale $S$-方案的动机生成的局部化子范畴。
   • 作者通过利用 Grothendieck 关于有限 étale $S$-方案与有限离散 $G$-集合之间的等价关系（其中 $G = \pi_1^{\text{ét}}(S)$），建立了这些动机与第一部分定义的等变范畴之间的桥梁。
   • 至关重要的是，本文研究了“转移”（finite correspondences）在有限 étale 方案上的 étale 层背景下的行为，证明了 étale 层在这些方案上自然地具有转移性质。

主要贡献与结果

• Borel 完全性的区别： 本文指出，对于亲有限群，“逐层”Borel 完全性和标准的“Borel 完全性”（通过代数 $A$ 定义）通常是不同的。

  • 定理 3.30： Borel 完全 $G$-谱的范畴等价于逐层 Borel 完全 $G$-谱范畴的超完备化。这为这两种概念之间提供了精确的结构关系。

• 与层及表示的等价性：

  • 命题 4.8 & 4.13： 本文建立了一个连接等变谱的 Borel 完全范畴与有限 $G$-集合上的层范畴以及离散模的导出范畴的交换图表。
  • 具体而言，逐层 Borel 完全模的范畴等价于有限 $G$-集合上的层范畴，而 Borel 完全范畴则对应于超层（hypersheaves）（在 $G$ 的虚上同调维数满足特定条件时）。

• Voevodsky 定理的推广（Nisnevich 情况）：

  • 定理 5.19： 对于连通的、有限 Krull 维数的 Noetherian 方案 $S$，存在一个对称单范畴等价，将光滑 Artin 动机（Nisnevich 拓扑）的 $\infty$-范畴与亲有限群 $\pi_1^{\text{ét}}(S, s)$ 上的置换模的导出范畴联系起来：
    $$DAM^{\text{Nis}}(S; R) \simeq D\text{Perm}(\pi_1^{\text{ét}}(S, s); R)$$
  • 这一结果证实了通过伽罗瓦表示描述 Artin 动机的经典描述在 Nisnevich 拓扑下可以推广到一般基底方案。

• Étale 情况与转移：

  • 定理 5.34： 本文证明了有限 étale $S$-方案上的 étale 层自动具有转移性质。这表明带有转移的有限 étale 方案上的 étale 层范畴与（不显式引用对应关系的）有限 étale 方案上的 étale 层范畴是等价的。
  • 定理 5.37： 文中给出了一个综合的交换图表，将导出置换模、Borel 完全谱以及不同拓扑（Nisnevich 和 étale）下的光滑 Artin 动机联系起来。
  • 推论 5.31： 在超完备 étale 情况下的情形中，在系数环 $R$ 具有正特征 $n$ 且 $S$ 的剩余特征与 $n$ 素的假设下，光滑 Artin 动机范畴等价于有限 étale 方案上的超层与转移范畴。

意义与主张
本文声称解决了 Voevodsky 对 Artin 动机的描述是否适用于一般基底方案的问题。本文在 Nisnevich 拓扑下证实了这一点，并在 étale 拓扑下给出了一个细致的回答，强调了超完备化的作用。

其意义在于：

1. 统一框架： 它将动机理论与亲有限群的等变同伦理论统一起来，表明光滑 Artin 动机受控于 étale 基本群。
2. 澄清亲有限等变性： 它澄清了亲有限设置中逐层 Borel 完全性和超完备 Borel 完全性之间的微妙区别，并指出后者是捕捉 étale 层（超层）完整结构的正确概念。
3. 转移的转移： 它提供了一个独立的证明，说明有限 étale $S$-方案上的 étale 层本质上携带转移，这一结果此前虽已知，但依赖于其他文献中特定的 hom-set 恒等式。

作者指出，虽然 Nisnevich 情况产生了一个清晰的等价关系，但 étale 情况需要区分层与超层，并且在非超完备 étale 情况下的向置换模的等价性需要进一步的映射空间计算，而这并非本文的研究内容。这些结果作为基础性步骤呈现，依赖于 Balmer–Gallauer 以及 Dubey–Gómez 关于这些范畴的 Balmer 谱的近期工作。