[論文レビュー] p-Tower Groups over Quadratic Imaginary Number Fields

Cam McLeman|arXiv (Cornell University)|Aug 18, 2010

Algebraic Geometry and Number Theory参考文献 12被引用数 4

ひとこと要約

本稿では、奇素数 $p$ に対して、二次虚数体上の $p$-類体塔が有限か無限かを特定するためのコhomologicalな基準を開発する。群コホモロジーにおける三重マッセイ積の分析とゴロド＝シャファレヴィチの不等式を適用することで、$(3,3)$ 予想を仮定したもとで、類群の $p$-ランクが 2 の場合の無限性に関する必要十分条件を導出し、計算的に評価可能なアルゴリズム的手法を提示する。

ABSTRACT

The modern theory of class field towers has its origins in the study of the p-class field tower over a quadratic imaginary number field, so it is fitting that this problem be the first in the discipline to be nearing a solution. We survey the state of the subject and present a new cohomological condition for a quadratic imaginary number field to have an infinite p-class field tower (for p odd). Under an additional hypothesis, we refine this to a necessary and sufficient condition and describe an algorithm for evaluating this condition for a given quadratic imaginary number field.

研究の動機と目的

• 奇素数 $p$ に対して、二次虚数体上の $p$-類体塔が有限か無限かであるかを特定する長年の未解決問題に取り組む。
• 群コホモロジーにおける三重マッセイ積とトレース不変量に基づいたコホモロジー的条件を構築する。
• $(3,3)$ 予想を仮定することで、この条件を必要十分条件へと精錬する。
• 与えられた二次虚数体に対して、$p$-塔の有限性を評価するアルゴリズム的手法を提示する。

提案手法

• Zassenhausフィルトレーションと $p$-タワーグループのプロ-$p$群としての構造を用いて、群表示における関係のレベルを分析する。
• Golod-Shafarevichの不等式を適用し、群のゼータ関数をバウンドし、関係の数と深さに基づいて無限性を検出する。
• $H^3(G, \bbF_p)$ における三重マッセイ積のトレースを計算することで、関係がZassenhausフィルトレーションのどの最小レベルに位置するかを特定する。
• Koch-Venkovの結果 $r_4 = 0$ を活用し、特定のマッセイ積トレースが消える場合、関係はレベル 5 以上に位置することを示す。
• $(3,3)$ 予想を用いることで、トレース不変量の $2 \times 2$ 行列の可逆性に条件を還元する。
• 有限性を決定するためのアルゴリズムを構築：$\dim_{\bbF_p} G_3/G_4$ を計算する。偶数次元ならば塔は有限、奇数次元ならば無限。

実験結果

リサーチクエスチョン

• RQ1 奇素数 $p$ に対して、二次虚数体上の $p$-類体塔が無限であるためのコホモロジー的条件は何か？
• RQ2 $p$-塔の有限性は、ガロア群のコホモロジーの不変量、特に三重マッセイ積によって特定可能か？
• RQ3 類群の $p$-ランクと $p$-タワーグループの構造との間の正確な関係は何か？
• RQ4 $(3,3)$ 予想をどのように用いて、$p$-塔の有限性の必要十分条件を導出できるか？
• RQ5 与えられた二次虚数体に対して、$p$-塔の有限性を決定するアルゴリズム的手順は存在するか？

主な発見

• 三重マッセイ積 $\operatorname{tr}_{\rho_i}\langle\chi_1,\chi_1,\chi_2\rangle$ および $\operatorname{tr}_{\rho_i}\langle\chi_1,\chi_2,\chi_2\rangle$ のトレースが両方とも消えると、関係はZassenhausフィルトレーションの第5レベルに押し込まれ、$p$-塔は無限である。
• 類群の $p$-ランクが 2 であり、$(3,3)$ 予想が成り立つ場合、$p$-塔は、ある特定のトレース不変量の $2 \times 2$ 行列が $\bbF_p$ 上で可逆であるときにかつそのときに限り有限である。
• アルゴリズム的決定手順は、$\dim_{\bbF_p} G_3/G_4$ の計算に帰着される：偶数次元ならば塔は有限、奇数次元ならば無限。
• 証明により、レベル 5 以上の関係が2つでは、2生成のプロ-$p$群が有限に保てないことが示され、Golod-Shafarevichの不等式と矛盾する。
• 直接的な関係の計算を避けるために、特にマッセイ積のトレースといったコホモロジー不変量を用いて、構造の深さを推論する。
• $(3,3)$ 予想の下で、$p$-塔の有限性の完全なコホモロジー的特徴付けが得られ、$p > 3$ に対して実用的な決定手順を提供する。