Hasse norm principle for extensions of prime squared degree

技術要約：素数平方次拡大におけるハッセ・ノルム原理

問題提起
本論文は、大域体における有限分離拡大 $K/k$ に対するハッセ・ノルム原理（HNP）の妥当性について扱っている。具体的には、拡大次数が $d = p^2$ （$p$ は奇素数）である場合のHNPが成立するための同値条件を追求している。HNPの障害は、群 $X(K/k) := (k^\times \cap N_{K/k}(A_K^\times)) / N_{K/k}(K^\times)$ によって測定される。HNPは $X(K/k) = 1$ であることと同値である。この問題は、素数次、4次、6次、および $8 \le d \le 15$ の次数については完全に解決されているが、奇素数の平方次（$d=p^2$）のケースについては、一部の結果（例：「適切な（adequate）」拡大）のみが得られており、未完のままであった。

手法
著者は、代数拡大の算術と、そのガロア群の群論を結びつけるコホモロジー論的アプローチを採用している。核心となる手法は以下の通りである：

1. コホモロジー的翻訳： 障害群 $X(K/k)$ とノルム1トーラス $T_{K/k}$ のテイト・シャファレヴィッチ群との間の同型を利用する。これはさらに、特定の $G$-格子であるシュヴァレー加群 $J_{G/H}$ を係数とするガロア群 $G = \text{Gal}(\tilde{K}/k)$ の第2コホモロジー群 $H^2(G, J_{G/H})$ に関連付けられる。具体的には、研究の焦点は、$H^2(G, J_{G/H})$ からすべての巡回部分群上のコホモロジー群への制限写像の核として定義される群 $X^2_\omega(G, J_{G/H})$ に置かれる。
2. 群論的分類： 著者は、次数 $p^2$ の推移的群を分析する。これは、DobsonとWitteによる推移的群の分類に基づき、$G$ の $p$-シロー部分群 $P$ の構造に基づくケース分けを行っている。
3. ケース分析：
   • $p$-群： 著者は、次数 $p^2$ の $p$-群に対する $X^2_\omega(G, J_{G/H})$ を計算する。これには、$G$-格子の完全列、マッキー分解、およびボゴモロフ・マルチプライヤーの性質を用いた、群の指数（$p$ か $p^2$ か）に関する詳細な分析が含まれる。主要なテクニックは、第3コホモロジーへの制限写像が単射でないケースを扱うために、問題を wreath product（ wreath 積）へと持ち上げることである。
   • 一般のケース： 非$p$-群については、推移的群の構造を利用して、問題を、次数 $p$ の推移的群の直積、または $(C_p)^2 \rtimes G^\dagger$ という形の半直積のいずれかに帰着させる。ここで $G^\dagger$ は $\text{GL}_2(\mathbb{F}_p)$ の部分群である。
4. 一般化された表現群： 特定の半直積構造におけるコホモロジーを計算するために、著者は一般化された表現群（中心拡大）を構成し、焦点部分群およびextraspecial $p$-群の外自己同型群の構造に関するDrakokhrustおよびMacedo–Newtonの結果を適用する。

主要な貢献と結果
本論文は、次数 $p^2$ ($p$ は奇素数) の拡大に対するハッセ・ノルム原理の完全な特徴付けを提供している。

• 定理 1.3 (主結果)： $K/k$ をガロア閉包 $\tilde{K}$、ガロア群 $G$、およびスタビライザー $H$ を持つ次数 $p^2$ の有限分離拡大とする。
  • もし $X(K/k) \neq 1$ ならば、$G$ は $(C_p)^2 \rtimes_\phi G^\dagger$ に同型であり、$H \cong \{1\} \rtimes_\phi G^\dagger$ でなければならない。ここで $G^\dagger$ は $\text{SL}_2(\mathbb{F}_p)$ の部分群であり、$\phi$ は標準的な表現によって誘導される。
  • この構造的条件が満たされる場合、$\tilde{K}/k$ の分解群がいずれも $(C_p)^2$ に同型な部分群を含まないならば、$X(K/k) \cong \mathbb{Z}/p$ であり、そうでなければ $X(K/k) = 1$ である。
• 既往の研究の回収： 本定理は、次数 $p^2$ の $k$-adequate な拡大に対してHNPが成立するというDrakokhrustとPlatonovの結果を回収している。本論文は、$\text{SL}_2(\mathbb{F}_p)$ の部分群の分類に依存することなく、コホモロジー計算から直接必要な条件を導出することで、この事実の新しい証明を提供している。
• ノルム1トーラスと弱近似： 本論文は、ノルム1トーラス $T_{K/k}$ の滑らかなコンパクト化の非自明なブラウアー群 $H^1(k, \text{Pic}(X))$ の非消滅に関する同値条件を確立している。さらに、弱近似の欠陥 $A_k(T_{K/k})$ の構造を決定し、上述の $G$ の構造的条件および分解群における $(C_p)^2$ の不在の下で、それが $\mathbb{Z}/p$ に同型であることを示している。
• コホモロジー計算： 技術的な中核（セクション4および5）は、次数 $p^2$ の推移的群に対する $X^2_\omega(G, J_{G/H})$ の明示的な計算を提供している。これは、当該の群が $\text{SL}_2(\mathbb{F}_p)$ の部分群を含む特定の半直積構造を持たない限り、当該の群が消滅することを証明している。

意義
本論文は、質問1.1（HNPに対する同値条件の決定）を、すべての素数平方次 $d=p^2$ に対して完全に解決したと主張している。奇素数のケースに関する結果を、既知の $d=4$ のケースと組み合わせることで、任意の素数平方次に対する完全な解を提供している。本研究は以下の点で重要である：

1. 分類の完成： $p$ が奇素数である場合の次数 $p^2$ におけるHNPに関する文献の空白を埋めている。
2. 手法の厳密性： 計算手法を用いて確立されていた $p=3$（次数9）のケースに対し、計算機を用いない代替的な証明を提供している。
3. 統一： HNP、ノルム1トーラスの非自明なブラウアー群、および弱近似の欠陥の研究を、ガロア群の構造に依存する単一のコホモロジー的枠組みの下で統一している。

著者は、証明が $\text{SL}_2(\mathbb{F}_p)$ の部分群の網羅的な分類に依存していないことを指摘しており、それにより、必要十分条件のより構造的かつ自己完結的な導出を提供している。