On the Motivic Homotopy Type of Algebraic Stacks

技术摘要：关于代数叠的动机同伦型

问题陈述
本文旨在解决将动机同伦理论和动机理论从方案（schemes）推广到一般代数叠（algebraic stacks）所面临的挑战。虽然同伦下降（homotopical descent）技术可以将叠的问题归约为方案的情形，但这种归约在历史上仅限于特定类别的叠，即 Nisnevich 本地商叠（例如具有线性还原稳定子的叠）。在确立标准动机形式和动机同伦理论对于任意代数叠（特别是那些缺乏局部商结构或特定分离假设的叠）能产生“正确”结果方面，一直存在显著的空白。此外，此前需要存在具有 Nisnevich 本地截面的光滑呈现（smooth presentations）这一条件，因此需要统一不同定义的叠的稳定动机同伦范畴。

方法论
作者开发了一个基于**光滑-Nisnevich 覆盖（smooth-Nisnevich coverings）**的框架。一个态射 $f: Y \to X$ 的代数叠被定义为光滑-Nisnevich 覆盖，如果它是光滑的，且任何从域的谱 $\text{Spec } K \to X$ 的态射都能提升到 $Y$。

其核心方法论贡献在于构造了此类覆盖，从而消除了之前关于分离性、有限型或稳定子性质的限制。作者利用了以下技术：

1. 分裂覆盖（Splitting Covers）： 他们确立了光滑态射具有分裂覆盖（即基底的一个有限划分，使得该态射具有截面）当且仅当它是光滑-Nisnevich 覆盖。
2. Hilbert 叠（Hilbert Stacks）： 存在性证明依赖于 Hilbert 叠的性质，特别是参数化拟有限或 étale 族的子叠。通过分析光滑覆盖的 Hilbert 叠，作者构造了一个新的覆盖，该覆盖是可表示的（representable）并具有所需的提升性质。
3. Čech 神经（Čech Nerves）： 一旦建立了光滑-Nisnevich 覆盖 $p: \mathcal{X} \to X$（其中 $\mathcal{X}$ 是一个方案），作者便分析了相关的 Čech 神经 $\mathcal{X}_\bullet$。他们证明了这个单纯方案诱导了 Morel-Voevodsky $\mathbb{A}^1$-同伦范畴 $\mathcal{H}(k)$ 中的等价。

主要贡献与结果

• 定理 1.2（光滑-Nisnevich 覆盖的存在性）： 本文证明了对于任何代数叠 $X$，都存在一个光滑-Nisnevich 覆盖 $p: \mathcal{X} \to X$，其中 $\mathcal{X}$ 是一个方案。

  • 如果 $X$ 是拟紧且拟分离（qcqs）且具有仿射稳定子的，则 $\mathcal{X}$ 可以选为仿射方案。
  • 如果 $X$ 是 Deligne–Mumford 叠，则 $p$ 可以选为 étale 态射。
  • 该结果通过消除早期文献（如 [LMB00], [Čes15], [Pir18]）中要求的分离假设和 Noetherian 假设，实现了对前人研究的推广。

• 定理 1.3（同伦下降）： 令 $p: \mathcal{X} \to X$ 为域 $k$ 上的光滑-Nisnevich 覆盖，$\mathcal{X}_\bullet$ 为其 Čech 神经。态射 $\mathcal{X}_\bullet \to X$ 在 Morel-Voevodsky $\mathbb{A}^1$-同伦范畴 $\mathcal{H}(k)$ 中诱导一个等价。

  • 这确立了任何代数叠的 Nisnevich 同伦型都可以由一个单纯方案来描述，使得同伦下降论证对所有叠都是可行的。

• 光滑叠的动机性质（定理 3.4）： 作为下降结果的推论，光滑代数叠 $X$ 的动机 $M(X)$ 满足与光滑方案动机相同的基本性质：

  • Nisnevich 下降。
  • 射影丛公式（Projective bundle formula）。
  • 爆破公式（Blow-up formula）。
  • Gysin 三角。
  • 这些结果推广了 [CD20] 中的结论，而此前这些结论仅限于 Nisnevich 本地商叠。

• 稳定同伦范畴的统一（推论 3.13）： 本文证明了对于任何拟分离代数叠 $X$，极限扩展的稳定动机同伦范畴 $\mathcal{SH}^\wedge(X)$（源自 [KR21]）与 lisse-扩展范畴 $\mathcal{SH}^{\otimes}_{ext}(X)$（源自 [Cho21]）是等价的。这一等价性的成立是因为定理 1.2 保证了每个叠都存在具有 Nisnevich 本地截面的光滑呈现。

• 带紧支撑动机的庞加莱对偶（定理 3.10）： 对于具有仿射稳定子的 $d$ 维光滑代数叠 $X$，作者通过对光滑-Nisnevich 覆盖进行同伦极限来定义带紧支撑的动机 $M^c(X)$。他们证明了同构关系 $M^c(X) \cong M(X)^\vee(d)[2d]$。

意义
本文断言，任意代数叠中光滑-Nisnevich 覆盖的存在性是一个基础性结果，它验证了将动机同伦理论应用于一般叠情形的有效性。通过展示光滑叠的动机在行为上与光滑方案的动机类似，作者确认了各种动机形式化方法能够产生一致的结果，而无需受到限制性的“局部商”条件的约束。

此外，本文指出定理 1.2 中的有界性结果在动机理论之外也有应用，具体在于应用 Elkik 近似技术处理 Picard 叠，以研究 Grothendieck 关于映射 $H^2(X, \mathbb{G}_m) \to \varprojlim H^2(X_n, \mathbb{G}_m)$ 在完全 Noetherian 环上的满射性问题。

作者注意到 [CD24] 最近也证明了一个类似的存在性结果，但强调本文的贡献在于包含了针对 qcqs 且具有仿射稳定子的叠的具体有界性结果，以及在统一稳定动机同伦范畴和动机上 cohomology 性质方面的明确应用。