論文「THE RATIONALITY PROBLEM FOR MULTINORM ONE TORI, II」の技術的サマリー

1. 概要と研究の背景

本論文は、有限エタール代数 $K$ に付随するマルチノルム 1 トーラス（multinorm one torus）$T_{K/k}$ の安定有理性（stably rational）および後退有理性（retract rational）に関する研究の続編である。
$k$ を体、$K = \prod_{i=1}^r K_i$ を $k$ 上の有限エタール代数（$k$ の有限可分拡大の有限直積）とする。マルチノルム 1 トーラスは、ノルム写像 $N_{K/k}: \text{Res}_{K/k} \mathbb{G}_m \to \mathbb{G}_m$ の核として定義される代数トーラスである。

有理性の階層は以下の通りであり、本論文はこの階層の中間にある「安定有理性」と「後退有理性」の判定条件を明らかにすることを目的としている。
$$\text{有理} \implies \text{安定有理} \implies \text{後退有理} \implies \text{単有理}$$

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

本論文の証明手法は、代数トーラスの有理性をその特性群（character group）$X^*(T)$ の性質に帰着させる標準的な方法に基づいている。

• G-格子の同値性: $T$ が $k$ 上で安定有理（resp. 後退有理）であるための必要十分条件は、その特性群 $X^*(T)$ が擬置換格子（quasi-permutation）（resp. 擬可逆格子、quasi-invertible）であることである。
• マルチノルム 1 格子の構造: $K = \prod K_i$ に対して、$X^*(T_{K/k})$ は特定の $G$-格子 $J_{G/H}$ と同型であることが知られている（ここで $G$ はガロア群、$H$ は部分群の多重集合）。
• 最大公約数 $d$ の役割: 論文は、各因子の次数の最大公約数 $d_k(K) := \gcd([K_1:k], \dots, [K_r:k])$ によって結果を分類している。
• 既知の結果の一般化: Endo-Miyata (1975) や Endo (2011) の結果（$K$ が体である場合）を、$K$ が一般のエタール代数である場合に拡張している。

3. 主要な結果

3.1. $d_k(K) = 1$ の場合（定理 1.1）

$K$ の因子の次数の最大公約数が 1 である場合、マルチノルム 1 トーラスは常に安定有理である。

• 証明の要点: この条件下では、対応する $G$-格子 $J_{G/H}$ が「擬置換」になることが示される。具体的には、$J_{G/H} \oplus \mathbb{Z}$ が置換格子と同型になることを証明している。

3.2. $d_k(K) > 1$ における後退有理性の非成立条件（定理 1.2, 1.3）

$d_k(K) > 1$ の場合、有理性は成立しない可能性が高まる。本論文は、後退有理性が成立しないための十分条件を与えている。

• 定理 1.2 ($d_k(K)=2$):
  • $r=2$ の場合、次数が 4 の倍数であること、かつ特定のガロア閉包と部分体の交わりが自明である条件下で非後退有理となる。
  • $r \ge 3$ の場合、3 つの因子の組に対して同様の交わり条件が成り立てば非後退有理となる。
• 定理 1.3 ($d_k(K) \ge 3$):
  • 異なる 2 つの因子 $K_i, K_j$ について、$K_i$ のガロア閉包と $K_j$ の交わりが $k$ であるという比較的弱い条件の下で、非後退有理となることが示された。これは Demarche-Wei の結果を一般化し、条件を緩和したものである。

3.3. ガロア群が巡回 Sylow 部分群を持つ場合（定理 1.5）

$K$ のガロア閉包 $L$ のガロア群 $G$ のすべての Sylow 部分群が巡回群である場合、後退有理性と安定有理性の完全な判定基準が得られる。

• 後退有理性: $G$ のすべての Sylow 部分群が巡回群であれば、$T_{K/k}$ は常に後退有理である。
• 安定有理性: 安定有理であるための必要十分条件は、$d_k(K)$ の素因数の集合と、$G$ の特定の部分集合 $P^*(G)$（正規な Sylow 部分群を持ち、その自己同型への共役作用の像の位数が 3 以上であるような素数 $p$ の集合）が交わらないことである。
  • 特筆すべき点として、$G$ が巡回群であれば $P^*(G) = \emptyset$ となり、常に安定有理となることが導かれる（Remark 1.6）。

3.4. ガロア群が二面体群の場合（定理 1.7）

$G \cong D_n$（位数 $2n$ の二面体群）の場合の結果を一般化している。

• $d_k(K)$ が奇数の場合: 常に安定有理である。
• $d_k(K)$ が偶数の場合: 安定有理であることと後退有理であることは同値である。さらに、これらが成立するための具体的な条件（中間体 $K'$ の存在と、そのガロア群の構造に関する 4 つのケース）が示された。
  • この結果は、$K$ が体である場合（HY24）を、$K$ が一般のエタール代数である場合に拡張したものである。

4. 技術的な貢献と証明の工夫

1. 格子の簡約化と分解:
   論文では、格子 $J_{G/H}$ の性質を調べるために、部分群の多重集合を「強簡約化**（strongly reduced）**」や「簡約化（reduced）」な集合に置き換える操作（Proposition 3.8, 3.11）を体系的に用いている。これにより、複雑な格子をより単純な構造に分解して解析可能にしている。

2. 二面体群上のコフラビー分解の構成（第 7 章）:
   定理 1.7 の証明において、二面体群 $D_{2m}$ 上の特定の格子 $I_{D_{2m}/H_m}$ に対して、コフラビー分解（coflabby resolution）を具体的に構成している。

   • 核 $E_m$ が可逆（invertible）格子であることを示し、さらに $E_m$ に特定の置換格子を直和することで置換格子になることを証明した。
   • この構成は、Endo や Hasegawa-Kanai-Oki 以前の手法を高度に発展させたものであり、二面体群における有理性問題の核心部分である。

3. Sylow 部分群への局所化:
   定理 4.5 やその後の議論において、大域的な格子の性質を、$d_k(K)$ の素因数 $p$ に対する $p$-Sylow 部分群 $G_p$ における局所的な性質（$G_p$-格子としての擬可逆性）に帰着させる手法を用いている。これにより、複雑な群構造を持つ場合でも、素数ごとの解析で結論を導き出している。

5. 意義と結論

本論文は、マルチノルム 1 トーラスの有理性問題において、$K$ が単一の体ではなく、複数の体の直積（エタール代数）であるという一般化された設定において、以下の重要な進展をもたらした。

• 完全な解決: $d_k(K)=1$ の場合の安定有理性の証明。
• 非有理性の明確な基準: $d_k(K) > 1$ の場合、後退有理性が成立しないための具体的な幾何的・代数的条件の提示。
• 一般化された判定基準: ガロア群が巡回 Sylow 部分群を持つ場合や二面体群の場合において、$K$ が体でない場合でも適用可能な、安定有理性と後退有理性の同値条件および判定基準の確立。

これらの結果は、数論幾何学における有理点の存在問題（Hasse 原理の反例の構成など）や、代数群の分類理論において重要な基礎を提供するものである。特に、二面体群に対する具体的な格子分解の構成は、今後の同種の問題解決における重要な技術的ツールとなるだろう。