Applications of representation theory and of explicit units to Leopoldt's conjecture

この論文「レオポルト予想への表現論と明示的単元の応用（Applications of Representation Theory and of Explicit Units to Leopoldt's Conjecture）」は、数体 $L$ のガロア群 $G$ の表現論的性質と、単元群の明示的な記述を組み合わせて、レオポルト予想（Leopoldt's Conjecture）に関する新たな結果を導出するものです。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細な技術的サマリーを記します。

1. 問題設定：レオポルト予想

レオポルト予想は、数体 $K$ と素数 $p$ に対して、$p$-進完備化された単元群 $\widehat{O_K^\times}$ から $p$-進局所単元群の直積への対角埋め込み写像 $\lambda_{K,p}$ が単射であるかどうかを問うものです。

• レオポルト核 $L(K, p)$：この写像の核。
• レオポルト欠損 $\delta(K, p)$：$L(K, p)$ の $\mathbb{Q}_p$ 上の次元。
• 予想：任意の数体 $K$ と素数 $p$ に対して $\delta(K, p) = 0$ であること。

既知の結果として、$K$ が $\mathbb{Q}$ または虚二次体の有限アーベル拡大である場合、あるいは $K$ が CM 体でその最大実部分体がアーベル拡大である場合などは証明されています。しかし、非アーベルな全実数体（totally real number fields）に対する非自明な無限族におけるレオポルト予想の証明は、特に奇素数 $p$ に対しては未解決でした。

2. 手法とアプローチ

著者たちは、従来の $p$-進ガロア加群構造の詳細な解析に依存するのではなく、以下の 2 つの異なるアプローチを融合させました。

A. 有限群の表現論と冪等元関係（Idempotent Relations）

• 中心冪等元と核の分解: $L/K$ をガロア拡大、$G = \text{Gal}(L/K)$ とします。レオポルト核 $L(L, p)$ は $\mathbb{Q}_p[G]$-加群です。$G$ の既約指標 $\chi$ に対応する中心冪等元 $e_\chi$ を用いることで、$L(L, p)$ が部分体 $L_{\ker \chi}$ 上のレオポルト核の直和として分解されることを示しました。
• 一般化された有用な冪等元関係: 部分群の集合 $\mathcal{H}$ に対して、$\mathbb{Q}[G]$ における等式 $1 = \sum_{H \in \mathcal{H}, H \neq 1} a_H e_H$ （ここで $a_H \in \mathbb{Q}[G]$）が存在する場合、$L(L, p) = 0$ であるための必要十分条件は、すべての $H \in \mathcal{H}$ に対して $L(L^H, p) = 0$ であることです。
• ブラウアー関係（Brauer Relations）: 指標の誘導と制限を用いた関係式から、中間体のレオポルト欠損 $\delta(L^H, p)$ の間に線形関係が成り立つことを導出しました。

B. 明示的単元と Buchmann-Sands の手法

• 特定の無限族の数体に対して、単元群の明示的な基底（独立な単元）を構成します。
• Buchmann と Sands が開発した手法（$p$-進対数写像の像の次元を調べるための同値条件）を用いて、特定の素数 $p$ に対してレオポルト予想が成り立つことを数値的・代数的に証明します。
• これらの結果を、上記の表現論的な「部分体からの帰結」定理と組み合わせることで、非ガロアな部分体からガロア閉包へのレオポルト予想の成立を拡張します。

3. 主要な理論的結果（表現論的側面）

1. 既約指標による判定（定理 1.5）:
   $L/K$ がガロア拡大のとき、$\text{Leo}(L, p)$ が成り立つ必要十分条件は、$G$ のすべての複素既約指標 $\chi$ に対して $\text{Leo}(L_{\ker \chi}, p)$ が成り立つことです。

   • 帰結：アーベル拡大の場合、中間体 $F$ が $K$ 上巡回的であるものすべてに対して $\text{Leo}(F, p)$ が成り立てば、$L$ についても成り立ちます。

2. 欠損の下限と構造（定理 1.7, 3.8, 3.9）:
   $K=\mathbb{Q}$ または虚二次体の場合、非アーベルな $G$ に対して、$\delta(L, p)$ は $0$または$G$の非線形既約指標の次数の最小値$d_1$以上となります。特に、$\delta(L, p) = 1$ となることはありません（Khare-Wintenberger の結果の一般化）。

3. 部分体からの帰結（定理 1.8, 1.9）:
   $G$ が特定の条件（非巡回的な部分群を持つ、または $SL_2(\mathbb{F}_\ell)$ 型部分群を持つなど）を満たす場合、すべての真の中間体 $F$ に対して $\text{Leo}(F, p)$ が成り立てば、$\text{Leo}(L, p)$ も成り立ちます。

4. 欠損間の関係式（定理 1.10, 5.20）:
   ブラウアー関係 $0 = \sum a_H \text{Ind}_H^G 1_H$ に対して、$\sum a_H \delta(L^H, p) = 0$ が成り立ちます。

   • 具体例：$S_3$ 拡大 $L/\mathbb{Q}$ とその 3 次部分体 $M$ に対して、$\delta(L, p) = 2\delta(M, p)$ が成り立ちます。

4. 具体的な無限族への応用（結果）

表現論的な結果と明示的単元の構成を組み合わせることで、以下の新しい無限族におけるレオポルト予想の証明に成功しました。

• 定理 1.12（$S_3$ 拡大）:
  任意の有限素数集合 $P$ に対して、全実 $S_3$ 拡大の無限族 $\mathcal{F}$ が存在し、すべての $F \in \mathcal{F}$ と $p \in P$ に対して $\text{Leo}(F, p)$ が成り立ちます。

  • 構成：$x^3 - t^2 x - 1 = 0$ の根からなる 3 次体 $K_t$ とそのガロア閉包 $F_t$ を用います。$t$ が $p$ で割り切れる条件などで単元の独立性を確認し、Buchmann-Sands の手法で $K_t$ での予想を証明、その後 $S_3$ への拡張定理を適用します。

• 定理 1.13（$D_8$ 拡大）:
  全実 $D_8$（位数 8 の二面体群）拡大の無限族 $\mathcal{F}$ が存在し、すべての $F \in \mathcal{F}$ と $p \le 10^6$ ($p \neq 3$) に対して $\text{Leo}(F, p)$ が成り立ちます。

  • 構成：$x^4 - tx^3 - x^2 + tx + 1 = 0$ の根を用いた 4 次体 $K_t$ とそのガロア閉包 $F_t$ を用います。

5. 意義と新規性

• 非アーベル全実数体への初例: 過去、非アーベルな全実ガロア拡大 $F/\mathbb{Q}$ と奇素数 $p$ に対して、$\text{Leo}(F, p)$ がすべての $F$ に対して証明された例はありませんでした。この論文は、$S_3$ 拡大と $D_8$ 拡大の無限族において、任意の有限素数集合（$D_8$ の場合は $p=3$ を除く）に対して予想が成立することを初めて示しました。
• 手法の革新: 従来の $p$-進ガロア加群の構造解析に依存せず、表現論的な「部分体からの帰結」と「明示的単元の構成」という 2 つの異なる手法を組み合わせることで、より広範な群構造に対して結果を得ています。
• 欠損の構造的理解: レオポルト欠損が単なる数値ではなく、群の表現論的データ（既約指標の次数など）と密接に関連していることを明確に示し、欠損が $0$ または一定の閾値以上になるという構造定理を提供しました。

総じて、この論文はレオポルト予想の研究において、表現論的ツールを数体の単元群の具体的な計算と統合することで、長年の未解決問題に対する突破口を開いた重要な成果です。