Approximation theorems for classifying stacks over number fields

技術要約：数体上の分類スタックに対する近似定理

問題提起
本論文は、数体 $k$ 上の代数スタックに関する特定の近似問題を取り扱う。連結な線形代数群 $G$ と、$k$ の有限個の非アルキメデス的な値集合 $v_1, \dots, v_n$ が与えられたとき、中心となる問いは次の通りである。$k_{v_i}$ 上で定義された $G$-ねじれ（$G$-torsor）の集まり $P_v$ が与えられたとき、局所的なデータを近似するような $k$ 上で定義された大域的な $G$-ねじれ $P$ は存在するか。スタックの言葉を用いれば、これは分類スタック $BG$の$k$点の集合$BG(k)$から、そのアデール点$BG(\mathbb{A}_k)$ への写像が稠密な像を持つかどうかを問うている。本論文は、ブラウアー・マネン障害（Brauer-Manin obstruction）の制約の下で、局所的なねじれが、与えられた局所的なねじれに $v$ 進的に近い大域的なねじれによって近似可能であるための条件を調査している。

手法および技術的枠組み
本論文は、代数スタック上の位相的構成、コーホモロジー的手法、および特殊群による簡約化の手法を組み合わせて用いている。

1. スタックのアデール点の位相付け：
   主要な技術的障壁は、代数スタック $X$ のアデール点 $X(\mathbb{A}_k)$ に対する位相の構成である。著者は、先行文献 [7] におけるアデール環上の射影加群の自明性に関する誤りを指摘している。これを修正するため、本論文ではリフト可能なスタック（liftable stacks）（定義 2.12 および 2.14）の概念を導入している。スタックが $S$-リフト可能であるとは、分離された代数空間 $P$ による提示 $P \to X$ を持ち、その写像が点に対して全射であり、特定の局所的な自明性を満たすことを意味する。

• 主要な補題： 本論文は、有限個の値集合 $S$ に対して、$S$-アデール環上のあらゆる $GL(V)$-ねじれおよび$SL(V)$-ねじれが自明であることを証明している（命題 2.2 および系 2.3）。これにより、リフト提示を通じて$X(\mathbb{A}_k)$ 上の商位相を構成することが可能となり、この位相が提示の選択に依存せず、ウェルディファインド（well-defined）であることを保証している（命題 2.17）。

2. スタックに対するブラウアー・マネン・ペアリング：
   著者は、古典的なブラウアー・マネン障害を代数スタックへと拡張している。

• 広がり（Spreading Out）： シンプリシャルな手法と大きなエタール・サイトを用いることで、数体上のスタック上のコーホモロジー類（具体的にはブラウアー類）が、整数環の開部分スキーム上のモデルへと「広げられる」ことを確立している（定理 3.7, 系 4.3）。
• ペアリングの構成： ブラウアー・マネン・ペアリング $\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)$ のケースへと簡約することである。

• ブラウアー群の同型： 忠実な表現 $G \hookrightarrow SL(V)$ を固定することにより、分類スタック $BG$は、$X = G \backslash SL(V)$としたときの商スタック$[X/SL(V)]$と同一視される。本論文は、引き戻し写像$Br([X/SL(V)]) \to Br(X)$ が同型であることを証明している（命題 5.3）。
• 共変近似： この簡約化により、問題は多様体 $X \times_G SL(V)$ へと移行できる。本論文は、$SL(V)$ に関する強近似の既知の結果（Kneser の定理）および、同次空間に関する共変強近似の結果（[5] および [8]）を活用している。

主要な貢献および結果

• 位相的構成の修正： 本論文は、アデール環上の非自明な射影加モジュールの問題を含む、スタックのアデール点に対する位相の定義に関する、より正確で厳密な枠組みを提供している。
• **ブラウアー・マネン障害を伴う $BG$の強近似：** 主要な結果（定理 5.5）は、数体$k$上の連結な線形代数群$G$と、アルキメデス的なすべての値および少なくとも一つの有限な値をすべて含む有限個の値集合$S$に対して、$BG$に関する強近似が$S$の外でブラウアー・マネン障害に関して成立することを述べている。具体的には、$BG(k)$の像は$BG(\mathbb{A}_k)$ のブラウアー・マネン固定点軌道において稠密である。
• 商スタックへの一般化： 定理 5.4 は、商スタック $[Y/G]$ に対する強近似の判定基準を確立している。これは、関連する空間 $Y \times_G SL(V)$ に対して強近似が成立する場合、商スタック $[Y/G]$ に対しても成立することを示している。これには、トーリック多様体の特定の商を含む、「groupic」な多様体の商が適用される。
• 共変強近似： 本論文は、群 $G$ の強近似と、同次空間 $G \backslash SL(V)$ の強近似との関係を明確にし、群の近似特性がブラウアー・マネン・ペアリングを通じてどのように分類スタックへと転移するかを明らかにしている。

意義および主張
本論文は、局所的な $G$-ねじれを大域的なものによって近似できるかという「非常に具体的な問い」に対し、分類スタックの強近似特性として答えるものである。その意義は以下の点にある：

1. 古典的数論の拡張： 伝統的にスキームや多様体に適用されてきた強近似およびブラウアー・マネン障害の古典的理論を、代数スタック、特に分類スタックへと拡張している。
2. 具体的な応用： 局所的な $G$-ねじれの集まりが、大域的な $G$-ねじれによって近似可能であるための決定的な条件（ブラウアー・マネンの消滅）を提供している。
3. 方法論的厳密性： スタックのアデール点に関する位相的基礎を修正することで、本論文は、モジュライ問題やねじれの算術を理解するために不可欠な、スタックの設定における近似特性のさらなる研究を可能にしている。

著者は、$BG$に関する結果は$G$の連結性と$SL(V)$ の性質に依存しているものの、開発された枠組みは、より広範な「groupic」な多様体から生成される商スタックにも適用可能であると述べている。本論文は、すべての代数スタックに対して強近似を解明すると主張しているのではなく、その主定理を、連結な線形代数群の分類スタックおよびそれらに由来する特定の商スタックに限定している。