Rationality problem for norm one tori of tensor products of étale algebras and Hasse norm principle

技術的サマリー：エタール代数のテンソル積に付随するノルム 1 トーラスの合理性とハッセノルム原理

1. 問題提起
本論文は、体 $k$ 上の代数トーラスの算術幾何学における、相互に関連する 2 つの問題に取り組んでいる：

1. 合理性の問題：特定の合理性性質 $P$（例えば、安定 $k$-合理性または再収束 $k$-合理性）を有する 2 つの代数 $k$-トーラス $T_1$ と $T_2$ が与えられたとき、それらのテンソル積 $T_1 \otimes_k T_2$ もまた性質 $P$ を有するか？具体的には、著者らは 2 つのエタール $k$-代数 $A$ と $B$ のテンソル積に付随するノルム 1 トーラス $T_{A \otimes B} = R^{(1)}_{A \otimes B/k}(\mathbb{G}_m)$ を調査する。
2. ハッセノルム原理：大域体 $k$ に対して、次数が互いに素な拡大のテンソル積として構成される体拡大 $K/k$（あるいはエタール代数 $A/k$）に対して、ハッセノルム原理が成り立つか？

合理性に関する一般的な答えは否定的であるが、著者らは性質が保持される特定の条件を特定し、それによって安定および再収束有理的なトーラスの新たな例を生成し、これらの場合におけるハッセノルム原理の有効性を確立している。

2. 手法
著者らは、有限群のコホモロジーと $G$-格子（ここで $G$ は分解体のガロア群）の理論に基づく構成的手法を採用している。中核的な手法は以下の通りである：

• フラビー分解：代数トーラスと $G$-格子の対応を利用し、トーラス $T$ の合理性は、その指標加群 $M$ の「フラビー類」$[M]_{fl}$ によって決定される。$T$ が安定有理であるのは $[M]_{fl} = 0$ の場合であり、再収束有理であるのは $[M]_{fl}$ が可逆な場合である。
• 置換次数（$p$-ord）：論文は、$G$-格子 $M$ に対する新しい不変量 $p\text{-ord}(M)$ を導入する。これは、$a \cdot \text{Id}_M$ が置換 $G$-格子を介して分解するような最小の整数 $a \geq 1$ として定義される。この不変量は、格子が置換格子の直和因子からどれだけ離れているかを測る尺度として機能する。
• 拡大のテンソル積：著者らは、$G$-格子の拡大のテンソル積を扱うための明示的なコホモロジー的道具を開発している。増大写像に関連する完全系列（例えば、$0 \to I_X \to \mathbb{Z}[X] \to \mathbb{Z} \to 0$）を分析することにより、格子のテンソル積に対する分解を構成する。
• 互いに素の条件：中核的な技術的メカニズムは、構成トーラスの指標加群の置換次数が互いに素であるという条件に依存している。これにより、テンソル積を含む特定の完全系列の分裂が可能となり、積のフラビー類が予測可能に振る舞うことを保証する。

3. 主要な貢献と結果

• トーラスの合理性に関する主要定理（定理 6.15）：
  $T_1$ と $T_2$ を指標加群 $M_1$ と $M_2$ を持つ代数 $k$-トーラスとする。置換次数 $d_1 = p\text{-ord}(M_1)$ と $d_2 = p\text{-ord}(M_2)$ が $\gcd(d_1, d_2) = 1$ を満たす場合、以下のことが成り立つ：

  • $T_1$ と $T_2$ が安定 $k$-有理であれば、$T_1 \otimes_k T_2$ も安定 $k$-有理である。
  • $T_1$ と $T_2$ が再収束 $k$-有理であれば、$T_1 \otimes_k T_2$ も再収束 $k$-有理である。

• ノルム 1 トーラスへの応用（定理 7.4）：
  $A = \prod K_i$ および $B = \prod E_j$ を、次数 $m_i = [K_i:k]$ および $n_j = [E_j:k]$ を持つエタール $k$-代数とする。すべての $i, j$ に対して $\gcd(m_i, n_j) = 1$ であり、かつノルム 1 トーラス $T_A$ と $T_B$ が安定（それぞれ再収束）$k$-有理であるならば、以下のことが成り立つ：

  • 代数トーラス $T_A \otimes_k T_B$ は安定（それぞれ再収束）$k$-有理である。
  • テンソル積代数のノルム 1 トーラス $T_{A \otimes B}$ は安定（それぞれ再収束）$k$-有理である。
  • 具体的には、$A$ と $B$ が互いに素な次数を持つ体拡大である場合、$A \otimes_k B$ は体拡大となり、そのノルム 1 トーラスは合理性性質を継承する。

• ハッセノルム原理（定理 8.1 と系）：
  大域体 $k$ に対して、$K = K_1 \otimes_k \cdots \otimes_k K_t$ が次数 $[K_i:k]$ が互いに素な有限可分拡大の合成であるとき、かつ個々のノルム 1 トーラス $T_{K_i}$ が安定または再収束有理であるならば、以下のことが成り立つ：

  • $K/k$ に対してハッセノルム原理が成り立つ。
  • $T_K$ に対して弱近似性質が成り立つ。
  • これは、有理性の結果に由来する、結果として得られるトーラスに対する非分岐ブラウアー群（あるいは同値に、シャファレヴィッチ・タテ群）の消滅から導かれる。

• 明示的な分類（第 8.1 節–第 8.3 節）：
  著者らは、次数 $n \leq 30$ の合成拡大 $K/k$ に対して、そのノルム 1 トーラスが安定または再収束有理となるガロア群 $G = \text{Gal}(L/k)$ を分類する詳細な表を提供している。これには、個々の拡大に関連する群の半直積（例えば、$G \leq S_{n_1} \times S_{n_2}$）の部分群である $G$ の場合が含まれる。$n=6, 10, 12, 14, 15$ の場合を明示的にリストアップし、分類を $18 \leq n \leq 30$ に拡張している。

4. 意義と主張
本論文は、次数（より正確には置換次数）が互いに素であるという条件の下で、既存のものをテンソル積によって組み合わせることで、安定および再収束有理なノルム 1 トーラスの新たな例を生成する体系的な手法を提供すると主張している。

• 不変量の新奇性：「置換次数」$p\text{-ord}(M)$ の導入は、この文脈で以前に研究されていなかった体系的な道具として強調されており、テンソル積下での合理性の保持に対する正確な基準（互いに素性）を可能にしている。
• 構成証明：証明は、抽象的な存在論的議論ではなく、$G$-格子のフラビー分解の明示的な操作に依存する構成的なものとして記述されている。
• 算術的帰結：結果は、幾何学的性質である合理性と算術的ハッセノルム原理を直接結びつけている。互いに素な次数の合成拡大に対して有理性を確立することにより、著者らは大域体上のこれらの特定の体拡大に対してハッセノルム原理が成り立つことを確認している。
• 限界：著者らは、互いに素の条件が必要であることを指摘している。次数が共通因子を持つ場合、2 つの安定有理トーラスのテンソル積が再収束有理にならない例（例 7.6）を提供している。また、$r \geq 3$ のテンソル積に対する一般的な $k$-合理性（安定または再収束ではなく）の問題は未解決であることを認めている。

要約すると、本論文は、代数トーラスのテンソル積下での合理性性質の挙動を理解するための堅牢な枠組みを確立しており、特に次数の互いに素性を活用してこれらの性質の保持と、結果として得られる体拡大に対するハッセノルム原理の有効性を保証している。