Approximation theorems for classifying stacks over number fields

技术摘要：数域上分类堆栈的逼近定理

问题陈述
本文研究了数域 $k$ 上代数堆的一个特定逼近问题。给定一个连通线性代数群 $G$ 和数域 $k$ 的有限非阿基米德局部域集合 $v_1, \dots, v_n$，核心问题是：给定一组定义在完备域 $k_{v_i}$ 上的 $G$-挠织（$G$-torsors），是否存在一个定义在 $k$ 上的全局 $G$-挠织 $P$，能够逼近这些局部数据？用堆的语言来说，这是在询问分类堆 $BG$的$k$-点集$BG(k)$到其阿代尔点$BG(\mathbb{A}_k)$ 的映射是否具有稠密像。本文在考虑 Brauer-Manin 阻碍的约束下研究此问题，旨在寻找在何种条件下，局部挠织可以被一个全局挠织所逼近，且该全局挠织在 $v$-进意义下与给定的局部挠织足够接近。

方法论与技术框架
本文结合了代数堆上的拓扑构造、上同调方法以及通过特殊群进行的约化技术。

1. 堆的阿代尔点的拓扑化：
   一个主要的理论障碍在于如何为代数堆 $X$ 的阿代尔点 $X(\mathbb{A}_k)$ 构建拓扑。作者指出，文献 [7] 中关于阿代尔环上射影模平凡性的描述存在错误。为了修正这一点，本文引入了可提升堆（liftable stacks）的概念（定义 2.12 和 2.14）。若一个堆存在一个由分离代数空间 $P$ 构成的呈现 $P \to X$，使得该映射在点层面上是满射并满足特定的局部平凡性条件，则称该堆是 $S$-可提升的。

   • 关键引理： 本文证明了对于有限集合 $S$ 的局部域，每一个 $GL(V)$-挠织和$SL(V)$-挠织在$S$-阿代尔环上都是平凡的（命题 2.2 和推论 2.3）。这使得可以通过提升呈现来构造$X(\mathbb{A}_k)$ 的商拓扑，从而确保该拓扑是良定义的，且独立于呈现的选择（命题 2.17）。

2. 堆的 Brauer-Manin 配对：
   作者将经典的 Brauer-Manin 阻碍推广到了代数堆。

   • 延展（Spreading Out）： 利用单纯技术和庞大 étale 站点（big étale site），本文确立了数域上堆的上同调类（特别是 Brauer 类）可以“延展”到整数环的一个开子方案上的模型（定理 3.7，推论 4.3）。
   • 配对构造： 通过对局部 Hasse 不变量求和，构造了 Brauer-Manin 配对 $\langle -, - \rangle: X(\mathbb{A}_k) \times Br(X) \to \mathbb{Q}/\mathbb{Z}$。本文证明了该配对关于阿代尔拓扑是连续的（命题 4.5, 4.6）。
   • 阻碍： 该配对的零点集 $X(\mathbb{A}_k)^{Br}$ 被证明是一个包含有理点 $X(k)$ 的闭集，它为强逼近提供了阻碍。

3. 向特殊群约化：
   证明逼近定理的核心策略是将一般群 $G$ 的问题约化为特殊线性群 $SL(V)$ 的情况。

   • Brauer 群同构： 通过固定一个忠实表示 $G \hookrightarrow SL(V)$，分类堆 $BG$被识别为商堆$[X/SL(V)]$，其中$X = G \backslash SL(V)$。本文证明了拉回映射$Br([X/SL(V)]) \to Br(X)$ 是一个同构（命题 5.3）。
   • 等变逼近： 这种约化允许将问题转移到簇 $X \times_G SL(V)$ 上。本文利用了关于 $SL(V)$ 的强逼近已知结果（Kneser 定理）以及关于齐次空间的等变强逼近结果（见 [5] 和 [8]）。

主要贡献与结果

• 拓扑构造的修正： 本文提供了一个修正后且严谨的框架，用于定义代数堆的阿代尔点拓扑，解决了先前工作中关于阿代尔环上非平凡射影模的问题。
• **带有 Brauer-Manin 阻碍的 $BG$强逼近：** 主定理（定理 5.5）指出，对于数域$k$上的连通线性代数群$G$，以及包含所有阿基米德局部域且至少包含一个有限局部域的有限集合$S$，在$S$之外的$BG$ 满足关于 Brauer-Manin 阻碍的强逼近。具体而言，$BG(k)$的像在$BG(\mathbb{A}_k)$ 的 Brauer-Manin 不动点子集中是稠密的。
• 向商堆的推广： 定理 5.4 建立了商堆 $[Y/G]$ 强逼近的判别准则。它表明，如果关联空间 $Y \times_G SL(V)$ 满足强逼近，那么商堆 $[Y/G]$ 也满足强逼近。这适用于包括某些环面簇商在内的“群性”（groupic）簇的商。
• 等变强逼近： 本文利用并阐明了群 $G$ 的强逼近与齐次空间 $G \backslash SL(V)$ 之间的关系，展示了群的逼近性质如何通过 Brauer-Manin 配对传递给分类堆。

意义与主张
本文声称回答了一个“非常具体的问题”，即关于局部 $G$-挠织能否由全局 $G$-挠织逼近，并将其框架化为分类堆的强逼近性质。其意义在于：

1. 扩展经典数论： 它将传统的强逼近和 Brauer-Manin 阻碍理论（传统上应用于方案和簇）扩展到了代数堆（特别是分类堆）领域。
2. 具体的应用： 它提供了一个确定性条件（Brauer-Manin 阻碍的消失），在此条件下，一组局部 $G$-挠织可以被一个全局 $G$-挠织所逼近。
3. 方法论的严谨性： 通过修正代数堆阿代尔点的拓扑基础，本文为进一步研究堆设置下的逼近性质提供了可能，这对于理解模问题和挠织的算术性质至关重要。

作者指出，虽然对于 $BG$的结果依赖于$G$的连通性和$SL(V)$ 的性质，但所开发的框架适用于更广泛的由群性簇生成的商堆。本文并不声称解决了所有代数堆的强逼近问题，而是将其主要定理限制在连通线性代数群的分类堆以及由它们导出的特定商堆上。