Insufficiency of the algebraic Brauer--Manin obstruction for homogeneous spaces

技術要約：同次空間における代数的ブラウアー–マネン障害の不十分性

問題提起
本論文は、有理点に関するハッセ原理（局所・大域原理）の失敗（failure）を取り扱う。具体的には、連結な線形代数群の同次空間において、マネンによって導入されたコホモロジー的なメカニズムであるブラウアー–マネン障害が、そのような失敗をすべて説明するのに十分であるかどうかを調査している。

ブラウアー–マネン障害の十分性は、「穏やかな（tame）」幾何学を持つ多様体（例：幾何学的有理連結多様体）や、連結または可換なスタビライザー（固定部分群）を持つ同次空間については確立されているが、有限な非可換スタビライザーを持つケースについては、依然として多くが未解決のままである。Demarche、Lucchini Arteche、Neftin、Demeio、およびLagardeによる先行研究は、有限な定数メタブリアン（冪零類2）スタビライザーの場合において、代数的なブラウアー–マネン障害が弱近似（weak approximation）に対して不十分であることを示した。しかし、代数的障害がハッセ原理自体の失敗を説明できないような同次空間が存在するかどうかは不明であった。本論文は、そのような反例を構成することを目的としている。

手法
著者らは、数体 $k$（原始 $p$ 乗根を含む、ここで $p$ は奇素数）上の特殊線形群 $SL_n$ の同次空間 $X$ を用いて、特定の反例を構成する。この構成は、BorovoiとKunyavskiiによって開発され、著者の先行研究 [Lin24] によってさらに洗練された手法に基づいている。

1. 群の構成: 同次空間の幾何学的スタビライザー $F$ は、$M = \mathbb{F}_p^d$ と $M \otimes M$ の商 $Z$ による中心拡大として構成される。この拡大は、全射かつ非退化な準同型 $\phi: M \otimes M \to Z$ によって定義される。
2. 数値データ: 著者らは $d = [k:\mathbb{Q}] + 3$ を選択し、$A = \mathbb{F}_p$ としたときの包含写像 $A \otimes A \to M \otimes M$ を、生成元を単位行列 $Id$に写すことで定義する。したがって、群$F$は冪零類2であり、位数は$p^{d^2+2d-1}$ である。
3. コホモロジー的設定: グローバルな類体論を用いて、クラス $\beta \in H^2(k, Z)$ を構成する。このクラスは、特定の有限の場所の集合 $\{v_1, \dots, v_d\}$ を除いてすべての場所で消滅し、それらの場所における局所不変量は $\phi$ によるランク1の行列 $e_i \otimes e_i$ の像に対応する。
4. 局所対大域の解析:
   • 局所的存在性: テイトの局所双対性と、局所コホモロジー群 $H^1(k_v, \mathbb{F}_p)$ のランクが小さいこと（$p$ を割り切らない場所では2で抑えられる）を利用して、著者らは、すべての場所 $v$ において方程式 $\beta|_{k_v} = \phi^*(x_v \cup y_v)$ を満たす局所解 $x_v, y_v$ が存在することを示す。これにより、$X(k_v) \neq \emptyset$ が保証される。
   • 大域的な非存在性: 著者らは、大域的な解が存在しないことを証明する。彼らは、局所コホモロジー群 $H^1(k_v, \mathbb{F}_p)$ の次元から導かれる行列 $A_v = \text{Inv}_v(x \cup y)$ のランクに関する一様な境界を利用する。十分大きな $d$ に対して、局所的な制約により、$A_v$ は特定の場所において正確に $e_i \otimes e_i$ となり、それ以外の場所では $0$になることが強制される。これらの局所不変量を合計すると単位行列$Id$ となるが、これは（局所不変量の和が消滅することを要求する）大域的な相互律に矛盾する。

主要な貢献と結果
本論文は、以下の主要な結果（定理1）を確立している：

• 反例の構成: $k$ 上の $SL_n$ の同次空間 $X$ で、有限な $p$ 群スタビライザー（冪零類2）を持ち、以下の性質を満たすものが存在する：

  1. $X$ はすべての完備化 $k_v$ において点を持つ（局所可解性）。
  2. $X$ は有理点を持たない（$X(k) = \emptyset$）。
  3. 非分岐代数ブラウアー群は $Br_{nr,1}(X) = Br_0(X)$ を満たす。

• 超越的障害: 代数的なブラウアー–マネン障害は自明（定数部分に等しい）であるため、ハッセ原理の失敗は代数的クラスでは説明できない。著者らは、非分岐ブラウアー群 $Br_{nr}(X)$ が定数を除いて $\mathbb{Z}/p$ に同型であることを示している。線形形式 $L: M \otimes M \to \mathbb{F}_p$ を用いて、明示的な超越的クラス $A_L \in Br_{nr}(X)$ を構成することにより、このクラスが非零のブラウアー–マネン・ペアリングを与えることを示す：
  $$\sum_v \text{inv}_v(A_L(P_v)) = 1 \in \mathbb{Z}/p$$
  これは、ハッセ原理の失敗が超越的ブラウアー–マネン障害によって説明されることを裏付けている。

意義
本論文は、代数的障害が不十分である場合に、超越的ブラウアー–マネン障害によってハッセ原理が失敗する、連結な線形代数群の同次空間の最初の例を提供する。この結果は、有限な非可換スタビライザーを持つ同次空間の算術において、超越的クラスを考慮する必要性を強調している。これは、このような空間において、「穏やかな」幾何学の予想（多くはアーベル的な双対性に依存するもの）では不十分であり、有理点を制御するためには、超越的な要素を含むブラウアー–マネン障害の全容が必要であることを示している。その手法は、スタビライザーの冪零類、局所コホモロジー群のランク、および大域的な相互律の相互作用を利用している。