Brauer-Siegel theorem for families of number fields over almost Sn fields

技術的要約：Almost $S_n$ 体上の数体族に対するブラウアー・ジーゲル定理

問題提起
古典的なブラウアー・ジーゲル予想（BS）は、数体の族 $\{K_i\}$ に対する類数 ($h_K$) とレギュレーター ($R_K$) の積の漸近的挙動を記述するものである。具体的には、根判別式 $d_K^{1/n_K} \to \infty$ であるならば、$\lim_{i \to \infty} \frac{\log(h_{K_i}R_{K_i})}{\log \sqrt{d_{K_i}}} = 1$ となることを提唱している。

様々な数体の族（二次体、ガロア体、almost normal 体、および可解なガロア閉包を持つ体）に対して成立している既存の証明は、特定の決定的な還元メカニズムに依拠している。Starkらによって確立されたこのメカニズムは、デデキント・ゼータ関数 $\zeta_K(s)$ が $s=1$ 付近に例外的な実数零点を持つ場合、そのような零点は二次部分体に下降しなければならないことを示すことで、問題を二次体に対するシーゲル（Siegel）の定理へと還元するものである。しかし、一般の拡大 $K/\mathbb{Q}$ に対しては、既知の無条件の零点のない領域に関する下界は、この還元を保証するには弱すぎる。

本論文が取り組む中心的な問題は、問題 1.2 である。もし基底体の族 $\{L_i\}$ に対してブラウアー・ジーゲル特性が成立するならば、$[N_i : L_i] = 2$ である二次拡大の族 $\{N_i\}$ に対しても、必ずそれが成立するか？ 基底体が固定されている場合は自明である（シーゲルの定理）が、基底体が変化する場合に困難が生じる。

手法
著者は、特に対称群 ($S_n$) の対称性を持つ分野に特化した、解析的数論と群論的下降の組み合わせを用いている。

1. 群論的下降: 本論文では、almost $S_n$-field という概念を導入している。体 $L$ が almost $S_n$-field であるとは、$L$ が $S_n$-field $K$ とそのガロア閉包 $\tilde{K}$ の間に位置し、$\text{Gal}(\tilde{K}/L) \cong S_m$ （ただし $m \le n-1$）を満たすことを指す。
2. 指標理論とアルティン $L$ 関数: 証明には、対称群の表現論を利用している。誘導された指標（具体的には、フック分割と $\mathbb{Z}/2\mathbb{Z}$ の符号文字とのテンソル積）の分解を分析することにより、基底体のゼータ関数、二次拡大、および中間体の間の関係を構築している。
3. 零点の多重度に関する議論: 中心的な技法は、補題 2.5 である。これは、基底 $K$ 上の二つの共役な二次体が特定の領域に零点を持つ場合、それらの合成体（二次拡大）は少なくとも 2 重の零点を持つことを述べている。Stark の定理は、クリティカル・ストリップ内の実数零点の数を高々 1 つ（かつそれは単一である必要がある）に制限しているため、このような零点の存在は、特定の構造的条件が満たされない限り矛盾を導く。
4. 反復的還元: 主定理（定理 3.3）の証明には、反復的な下降プロセスが含まれる。almost $S_n$-field である $N/L$ から出発し、$S_{m-j} \times S_j$ の形の部分群を固定することで、中間体のタワーを構成する。このプロセスは、共役な二次体の議論を適用して、例外的な零点の存在に関する矛盾を導くために、ガロア群が減少するまで継続される。

主要な貢献と結果

1. 定理 1.4 (Almost $S_n$-fields に対する下降):
   本論文は、もし almost $S_n$-field の族 $\{L_i\}$ に対してブラウアー・ジーゲル予想が成立するならば、$N_i \cap \tilde{L}_i = L_i$ かつ判別式の増大度が十分に大きい（$\log d_{N_i} / \log d_{L_i} \to \infty$）という条件下において、$\{L_i\}$ 上の二次拡大の族 $\{N_i\}$ に対しても、必ずそれが成立することを確立している。

   • 意義: これは、基底体が固定されておらず、特定の群論的クラス内で変化する場合の、ブラウアー・ジーゲル予想に対する新しい形式の下降を提供している。

2. 定理 1.6 (漸近的に良好なタワーに対する一般化されたブラウアー・ジーゲル):
   著者は、Tsfasman と Vlădut によって定式化された、漸近的に正確な族に対する一般化されたブラウアー・ジーゲル (GBS) への拡張を行っている。$\{L_i\}$ が GBS を満たす漸近的に良好な almost $S_n$-field の族であるとき、$M_i/L_i$ が almost normal であるか、あるいは可解なガロア閉包を持つならば、$\{M_i\}$ という漸近的に良好なタワーに対しても GBS が成立することが示されている。

   • 区別: 定理 1.4 とは異なり、この結果は $\log d_{N_i} / \log d_{L_i} \to \infty$ という条件を必要とせず、数体のタワーに対してより高い汎用性を提供している。

3. 命題 5.1 ($S_n$-fields に対する条件付き結果):
   特定の表現（$L(s, \rho_{n-2})$ および $L(s, \rho_{n-3})$）に対する アルティン・ホロモフィー予想 (Artin Holomorphy Conjecture) を仮定した条件下で、本論文は $S_n$-field の族に対してブラウアー・ジーゲル予想が成立することを証明している。これは、例外的な零点の存在が関連するゼータ関数の二重零点を意味し、それが Stark の定理に矛盾することを示すことで達成される。

意義と主張
本論文は、ブラウアー・ジーゲル予想のための「新しい形式の下降」を確立したと主張している。主な意義は、固定された基底における古典的なシーゲルの定理と、変化する基底上の数体の挙動との間の溝を埋めることにある。

• シーゲルの定理のアナロジー: この結果は、基底体が変化することを許容する、シーゲルの定理の系として提示されている（特に almost $S_n$-fields のクラスにおいて）。
• 問題 1.2 の解決: 本論文は、基底体が almost $S_n$-fields である特定のケースにおいて、問題 1.2 に対し肯定的に回答している。
• 限界: 著者は、二次拡大に関する結果（定理 1.4）が、拡大の判別式が基底よりも大幅に速く増大するという条件に依存していることを明記している。この条件は、追加の仮定なしに、すべての almost normal 体を almost $S_n$-fields 上の対象として直接一般化することを妨げている。さらに、純粋な $S_n$-fields に関する結果（命題 5.1）は、依然としてアルティン・ホロモフィー予想に条件付けられている。

要約すれば、本論文は、複雑な数体の族に対するブラウアー・ジーゲル問題を、よく理解されている二次体のケースへと還元するための、厳密な群論的枠組みを提供しており、それによって、almost $S_n$-fields およびその二次拡大の族に対する予想の妥当性を拡張している。