The étale Brauer-Manin obstruction for classifying stacks

論文の技術的要約

1. 研究の背景と問題設定

代数多様体上の有理点に関する局所 - 大域原理（ハッセの原理）や強近似（strong approximation）は、数論幾何における中心的な課題です。特に、強近似とは、ある数体 $k$ 上の代数多様体 $X$ において、$k$ のいくつかの場所（無限遠点を含む）で局所的に与えられた点が、$k$-有理点によって任意に近似できるかどうか（すなわち、写像 $X(k) \to X(\mathbb{A}_k)$ の像が稠密かどうか）を問う問題です。

この原理が失敗する理由として、ブラウアー・マニン障害（Brauer-Manin obstruction） が知られています。これは、$X(\mathbb{A}_k) \times \text{Br}(X) \to \mathbb{Q}/\mathbb{Z}$ というペアリングを用いて定義され、多くの代数多様体において、この障害が唯一の障害であることが示されています。

本研究は、この枠組みを代数スタック（algebraic stacks）、特に**分類スタック（classifying stacks）$BG$** に拡張するものです。ここで$G$は数体$k$上の線形代数群であり、$BG$の$k$-点は$G$-トラス（torsor）の同型類に対応します。

• 既知の成果: 直前の研究（Dhillon [4]）では、$G$ が連結な線形代数群である場合、$BG$ に対する強近似においてブラウアー・マニン障害が唯一の障害であることが示されていました。
• 未解決の問題: $G$ が非連結な場合（特に $G/G^\circ$ が非可換な場合）、同様の結果が成り立つかは不明でした。非連結な群の場合、通常のブラウアー・マニン障害だけでは不十分である可能性が指摘されていました。

本研究の目的は、$G$ が任意の線形代数群（連結・非連結を問わない）である場合、$BG$ に対する強近似において、より微細な障害であるエタール・ブラウアー・マニン障害（étale Brauer-Manin obstruction） が唯一の障害であることを証明することです。

2. 主要な手法と理論的枠組み

証明の核心は、代数スタックに対するガロア変形（Galois twists） とトラス（torsors） の理論を 2-圏（2-categories）の文脈で厳密に定式化することにあります。

• スタック上のトラスとガロア変形:
  代数多様体やスキームでは既知の理論ですが、これを代数スタックに拡張するには、群作用の弱作用（weak action）や 2-圏論的な構成を慎重に行う必要があります。

  • 定義 2.2 において、代数スタック $Y$ 上の $G$-トラスを定義し、そのガロア変形 $X_\sigma$（$\sigma \in H^1(k, G)$ に対応）を構成します。
  • 特に、連結成分 $G^\circ$ に対する分類スタック $BG^\circ$ を、非連結群 $G$ のガロア変形 $(BG^\circ)^\sigma$ として捉え直す構成（Proposition 2.9）が鍵となります。これにより、$BG$の$k$-点は、$H^1(k, G/G^\circ)$の元$\sigma$に対応する$(BG^\circ)^\sigma$の$k$-点の和集合として記述されます。

• エタール・ブラウアー・マニン局所（Étale Brauer-Manin locus）の定義:
  有限エタール群スキーム $H$ 上のすべてのトラス $f: X \to Y$ と、そのガロア変形 $f_\sigma$ を用いて、以下の集合を定義します。
  $$Y(\mathbb{A}_k)^{\text{ét,Br}} := \bigcap_{f: X \to Y} \bigcup_{\sigma \in H^1(k, H)} f_\sigma(X_\sigma(\mathbb{A}_k)^{\text{Br}})$$
  これは、通常のブラウアー・マニン障害よりも微細な条件を課す集合です。

• 位相の構成:
  論文 [4] で開発された、スタックのアーデール点上の位相（S-リフティング表現を用いた商位相）を引き継ぎ、この位相空間においてエタール・ブラウアー・マニン局所が閉集合であることを示します（Proposition 3.6, Corollary 3.7）。

3. 主要な結果

定理 1.1（Main Theorem）:
$k$ を数体、$G$ を $k$ 上の線形代数群、$S$ を $k$ の無限遠点を含む有限な場所の集合とする。

1. エタール・ブラウアー・マニン局所 $BG(\mathbb{A}_{k,S})^{\text{ét,Br}}$ は閉集合である。
2. 写像 $BG(k) \to BG(\mathbb{A}_{k,S})^{\text{ét,Br}}$ の像は稠密である。
   換言すれば、$BG$ に対する強近似において、エタール・ブラウアー・マニン障害が唯一の障害である。

証明の概略:

1. 分解: $G$ の連結成分 $G^\circ$ と商群 $H = G/G^\circ$ を用い、$BG(k)$を$H^1(k, H)$の元$\sigma$に対応する$(BG^\circ)^\sigma(k)$ の和集合として分解する（Lemma 3.2, Proposition 2.8）。
2. 連結成分への還元: 各 $\sigma$ に対して、ねじれたスタック $(BG^\circ)^\sigma$ は、ある同次空間 $P \times_G SL_n$ を $SL_n$-トラスとして持つことが示される（Theorem 4.2）。
3. 強近似の適用: $SL_n$ 上の強近似は既知（[1]）であり、$P \times_G SL_n$ においても強近似が成り立つ。これにより、$(BG^\circ)^\sigma$ 上の任意のアーデール点は、ブラウアー・マニン条件を満たす限り、$k$-有理点で近似可能であることが示される。
4. 合成: 各 $\sigma$ における稠密性と、エタール・ブラウアー・マニン局所の定義（すべてのトラスと変形を跨ぐ）を組み合わせることで、$BG$ 全体での稠密性が導かれる（Theorem 4.3）。

4. 意義と応用

• 非連結群への一般化: 連結群に限られていた強近似の「ブラウアー・マニン障害のみ」という結果を、非連結群を含む一般の線形代数群へ拡張しました。特に、$G/G^\circ$ が非可換な場合でも、エタール・ブラウアー・マニン障害が完全な説明を与えることを示しました。
• 2-圏論的構成の確立: 代数スタックにおけるガロア変形や群作用の理論を体系的に整理し、今後のスタック上の数論幾何の研究（特に有理点の分布や障害の解析）のための基礎を提供しました。
• Malle 予想への応用可能性:
  逆ガロア問題や Malle 予想（特定のガロア群を持つ拡大の個数の漸近挙動）は、$G$-ガロア拡大（連結 $G$-トラス）の数を数える問題と関連しています。Ellenberg–Satriano–Zurieck-Brown は、代数スタック上の高さ関数を用いて Malle 予想を $BG$ 上の有理点の個数問題として定式化しました。
  本研究の結果は、$BG$ 上の有理点の分布がエタール・ブラウアー・マニン障害によって制御されることを示しており、Malle 予想とスタック上のコホモロジー的障害の間の深い相関（Loughran–Santans の研究など）をさらに探求する際の重要な理論的基盤となります。

5. 結論

本論文は、代数スタック $BG$ における強近似の問題に対し、エタール・ブラウアー・マニン障害が完全な説明を与えることを証明しました。これは、非連結な線形代数群を含む広範なクラスにおける局所 - 大域原理の理解を深め、スタック上の数論幾何における障害理論の確立に寄与する重要な成果です。