$\mathbb{G}_m$-cohomology of $p$-adic Stein spaces

技术摘要：$p$-进 Stein 空间的 $\mathbb{G}_m$-上同调

问题陈述
本文旨在计算定义在特征为 0 的完备代数闭域 $C$（包含 $\mathbb{Q}_p$）上的光滑 Stein 空间 $X$ 的平展上同调群 $H^i_{\text{ét}}(X, \mathbb{G}_m)$。虽然对于代数概型而言，$\mathbb{G}_m$ 的上同调已得到充分理解（根据 Grothendieck 定理，在次数 $i \ge 2$ 时其为挠群），但解析情形却带来了重大挑战。在解析设定下，上同调群未必是挠群，且标准的代数策略（例如将 $\mathbb{G}_m$ 与从点出发的推前相联系）失效。作者的目标是通过建立结构滤过并计算其分次分量，来描述经典刚性解析空间（具体为仿射空间 $\mathbb{A}^d$、环面 $\mathbb{G}_m^d$ 以及 Drinfeld 对称空间 $\mathbb{H}^d$）的这些群。

方法论
作者采用了一种多步策略，结合了 $p$-进 Hodge 理论、Stein 覆盖上的极限论证以及 Bruhat-Tits 建筑上的组合方法。

1. 通过主单位元的滤过：核心策略涉及利用主单位元子群 $U = 1 + \mathfrak{m}\mathcal{O}^+$ 对 $\mathbb{G}_m$ 进行分解。这导出了正合序列 $1 \to U \to \mathbb{G}_m \to \mathcal{O}^\times \to 1$，其中 $\mathcal{O}^\times = \mathbb{G}_m/U$。由此在 $H^i_{\text{ét}}(X, \mathbb{G}_m)$ 上诱导了一个滤过，其分次分量与 $U$ 和 $\mathcal{O}^\times$ 的上同调相关。
2. 挠部分的分离：作者区分了上同调的 $p$-部分和与 $p$ 互素的（$p'$）部分。
   • $p$-部分通过对数映射和指数映射进行分析，将 $U$ 与结构层 $\mathcal{O}$ 联系起来。这将问题与相干上同调及 Hodge-Tate 对数映射联系起来。
   • $p'$-部分通过 Kummer 正合序列进行分析，将 $\mathcal{O}^\times$ 与素数 $\ell \neq p$ 的 $\ell$-进上同调联系起来。
3. Pro-平展位与 Hodge-Tate 同构：为了处理 $p$-部分，作者利用了 pro-平展位 $X_{\text{proét}}$ 和典范投影 $\nu: X_{\text{proét}} \to X_{\text{ét}}$。他们运用 Hodge-Tate 同构（Scholze）以及 Bloch-Kato 指数映射（Colmez-Dospinescu-Nizioł），将 pro-平展上同调与微分形式 $\Omega^i_X$ 联系起来。
4. 极限论证与平坦性：由于 Stein 空间是仿射空间 $X_n$ 的极限，作者使用导出极限形式（$R\lim$）从仿射空间的上同调过渡到 Stein 空间。一个关键的技术要求是 Stein 覆盖的 $\ell$-进上同调群投影系统中转移映射的平坦性。
5. 组合几何：对于 Drinfeld 对称空间，作者借鉴了 de Shalit 以及 Schneider-Stuhler 的论证。他们利用了 Bruhat-Tits 建筑的几何性质，特别是某些子复形（组合度量中的球）的凸性，以证明系数系统所需的平坦性和无挠性（acyclicity）性质。

主要贡献与结果

• 滤过的构造：本文为任意光滑 Stein 空间 $X$ 的上同调构造了一个滤过 $F^{(i)}_{\text{ét}, \mathbb{G}_m}(X)$。其分次分量被识别为：

  • $gr_0$：与 Hodge-Tate 对数映射的余核相关，被识别为 $\Omega^{i-1}(X)(1-i)/\text{Ker}(d)$。
  • $gr_1$：与 Hodge-Tate 对数映射的核相关，被识别为涉及 Hyodo-Kato 上同调 $HK^i(X)$ 和 pro-平展上同调的商。
  • $gr_2$：与 $p'$-挠相关，被识别为 $\ell \neq p$ 的 $\ell$-进上同调群的完备直和。

• 经典空间的显式计算：在特定的技术假设下（仿射空间上 $\mathcal{O}^\times$-上同调的挠性、$\ell$-进上同调的平坦性以及到 Hyodo-Kato 上同调的映射的单射性），作者计算了以下空间的分次分量：

  • 仿射空间 $\mathbb{A}^d$：上同调用微分形式描述。
  • 环面 $\mathbb{G}_m^d$：分次分量涉及 $\mathbb{Q}_p$ 和 $\mathbb{Q}_\ell$ 的外积幂。
  • Drinfeld 对称空间 $\mathbb{H}^d$：分次分量用广义 Steinberg 表示 $Sp_i(\cdot)^*$ 及其对偶表示。具体而言，$gr_1$ 涉及 $Sp_i(\mathbb{Q}_p)^*/Sp_i(\mathbb{Z}_p)^*$，而 $gr_2$ 涉及对 $\ell \neq p$ 求和的类似结构。

• 挠性与平坦性结果：

  • 作者证明了对于闭球、闭圆环以及 Drinfeld 空间的标准 Stein 覆盖开集 $U_n$，群 $H^i_{\text{ét}}(X, \mathcal{O}^\times)$ 在 $i \ge 2$ 时是挠群。
  • 他们确立了 $H^i_{\text{ét}}(U_n, \mathbb{Z}/\ell^n\mathbb{Z})$ 在 $\mathbb{Z}/\ell^n\mathbb{Z}$ 上的平坦性（对于 $\ell \neq p$），这是 Drinfeld 空间的一个非平凡结果，依赖于 Bruhat-Tits 建筑上系数系统的无挠性。

意义与主张
本文声称对一类重要的 $p$-进 Stein 空间提供了 $\mathbb{G}_m$-上同调的完整描述，将已知结果从代数情形推广到了解析设定。作者强调，他们的策略统一了对 $p$-挠（通过 $p$-进 Hodge 理论）和与 $p$ 互素的挠（通过 $\ell$-进上同调）的处理。

这项工作将此前关于仿射空间的计算（由 Ertl, Gilles 和 Nizioł 完成）推广到了环面和 Drinfeld 对称空间。一个关键的主张是，尽管 Drinfeld 对称空间结构复杂，但它满足必要的技术条件（$\mathcal{O}^\times$ 的挠性和 $\ell$-进上同调的平坦性），从而允许进行这种显式滤过。作者指出，结果依赖于 Bruhat-Tits 建筑的深层性质以及特定系数系统的无挠性，从而架起了刚性解析几何与表示论之间的桥梁。

本文并未声称解决所有光滑 Stein 空间的问题，而是识别了一个“足够大的类”（包括主要感兴趣的例子），在这些空间中上同调是挠的且滤过是显式的。作者承认，一般情形需要进一步的条件以避免极限论证中的病态现象，而这些条件已在他们的具体例子中得到验证。