The rationality problem for multinorm one tori

技術要約：マルチノルム1トーラスの有理性問題

問題提起
本論文は、有限エタール代数 $K$ を $k$ 上の代数とし、マルチノルム写像 $N_{K/k}: \text{Res}_{K/k} \mathbb{G}_m \to \mathbb{G}_m$ の核として定義される代数多様体である、マルチノルム1トーラスの有理性問題に取り組んでいる。ノルム1トーラス（$K$ が体である場合）の有理性は広範に研究されてきたが、マルチノルムの場合（$K$ が体の直積である場合）は、まだ十分に理解されていない。著者らは、これらのトーラスが安定有理的（射影空間と射影空間の直積に双有理等価であること）であるか、あるいはリトラクト有理的（有理写像に関するより弱い条件）であるための条件を決定することに焦点を当てている。中心的な動機は、マルチノルム1トーラスがノルム1トーラスのベースチェンジとして自然に現れるため、これらマルチノルム1トーラスの有理性の性質を理解することが、ノルム1トーラスに関する未解決問題を解決するための道筋となるという点にある。

手法
著者らは、トーラスの有理性と、その文字群（character group）がガロア群 $G = \text{Gal}(L/k)$ 上の加群であることとの間の確立された対応関係を用いている。ここで、$L$ は $K$ の各因子からなる合成体のガロア閉包である。

1. 文字群の解析： トーラス $T_{K/k}$ の有理性は、関連する $G$-格子 $J_{G/\mathcal{H}}$（部分群の集合 $\mathcal{H} = \{\text{Gal}(L/K_i)\}$ に付随する置換格子の増大核の双対）が、準置換的（stable rationalityのため）または準可逆的（retract rationalityのため）であるかどうかを判定することに帰着される。
2. 格子の一般化： 主要な手法上の革新は、重み関数 $\varphi$ を用いた一般化された文字群 $I^{(\varphi)}_{G/\mathcal{H}}$ および $J^{(\varphi)}_{G/\mathcal{H}}$ の導入である。この一般化により、標準的な増大核では直接扱うことができない多重度や特定の部分群構成を扱うことが可能になる。
3. 簡約手法： 著者らは、複雑な $G$-格子を、部分群または商群上のより小さな格子へと分解するための体系的な簡約方法（命題 3.16, 3.17, 3.20, 3.22）を開発している。これらの手法は、Endo (2001, 2011) による先行研究を一般化したものであり、著者らが帰納的に有理性の条件を分析することを可能にしている。
4. フラビー分解（Flabby Resolutions）： 著者らは、格子が準置換的または準可逆的であるかどうかを決定するために、フラビー分解およびフラビー類（具体的には $G$-格子の類似モノイドにおけるクラス $[M]_{fl}$）の理論を利用している。彼らは、二面体群や巡回群を含む直積などの特定のケースに対して、明示的に分解を構成している。

主要な貢献と結果

• べき零群における有理性条件の同値性： 主要な結果（定理 1.5）は、べき零なガロア群を持つ有限ガロア拡大において、マルチノルム1トーラスの安定有理性とリトラクト有理性が同値であることを確立している。これは、Endo (2011) によるノルム1トーラスの結果をマルチノルムの設定へと一般化したものである。
• $p$ 群に関する基準：
  • 奇素数 ($p > 2$)： 定理 1.2 は、$p$ 群ガロア拡大において、トーラスが安定/リトラクト有理的であるための必要十分条件は、直因子数 $r=1$ かつガロア群が巡回群であることであることを証明している。
  • 素数 $p=2$： 定理 1.3 は、より複雑な基準を提供している。安定/リトラクト有理性が成立するのは、あるいは $r=1$ でガロア群が巡回群である場合、または $r \ge 2$ でガロア群が二面体群 $D_{2\nu}$ であり、かつ部分群が二面体群の生成元に関する特定の共役性および指数条件を満たす場合である。
• 新しい安定有理な族： 本論文は、ガロア群がべき零でない場合でも、新たな安定有理なマルチノルム1トーラスの族を特定している。具体的には、定理 1.8 は、$K = K_1 \times K_2$ であり、合成体のガロア群が二面体群 $D_{2m}$（$K_1$ と $K_2$ に関する特定の非共役条件を伴う）であるとき、当該トーラスは安定有理的であることを示している。
• マルチノルム原理への応用： 有理性の結果と、Ono の定理を通じたタテ・シャファレヴィッチ群への接続を活用し、著者らはマルチノルム原理が成立する新たな例（定理 1.9）を提示している。具体的には、$K = K_1 \times K_2$ でガロア群が $C_m \times D_{2\nu}$ （$m$ は奇数）であるとき、群 $X(K/k)$ は自明であり、したがってマルチノルム原理は有効である。

意義と主張
本論文は、ノルム1トーラスからマルチノルム1トーラスへと、有理性問題の理解を大幅に拡張したと主張している。一般化された文字群と体系的な簡約方法を導入することで、著者らはべき零ガロア群という広いクラスに対して、安定有理性とリトラクト有理性の分類に成功している。べき零の場合における安定有理性とリトラクト有理性の同値性は、主要な理論的進展であり、分類問題を簡略化するものである。さらに、本論文は、これらの有理性の結果を用いて、代数的数論における古典的な問題であるマルチノルム原理の特定の事例を解決することで、その有用性を実証している。著者らは、自身のアプローチが Endo (2011) の結果を一般化し、$G$-格子の簡約を通じて任意のマルチノルム1トーラスを調査するための枠組みを提供するものであると述べている。