[論文レビュー] The 4-class group of real quadratic number fields

Franz Lemmermeyer|arXiv (Cornell University)|Oct 24, 2013

Algebraic Geometry and Number Theory参考文献 7被引用数 3

ひとこと要約

本稿は、二分二次記号と判別式の因数分解性質を用いて、実二次体における4類群の構造についてA. ショルツの結果の初等的証明を提供する。この研究では、無限遠点以外で分岐しない巡回的四次拡大が完全に実的であるための必要十分条件として、二分二次記号の積 $(d_1/d_2)_4$ と $(d_2/d_1)_4$ が +1 に等しいこと、および4-ランクが4以上である場合に2類体塔が無限大であることを示し、ハジールの手法を用いてマリの結果を強化する。

ABSTRACT

In this paper we give an elementary proof of results on the structure of 4-class groups of real quadratic number fields originally due to A. Scholz. In a second (and independent) section we strengthen C. Maire's result that the 2-class field tower of a real quadratic number field is infinite if its ideal class group has 4-rank at least $4$, using a technique due to F. Hajir.

研究の動機と目的

• 実二次数体の4類群に関するショルツの結果の、クラス体論を用いない初等的証明を提供すること。
• 4-ランクが4以上であるとき2類体塔が無限大であるというマリの結果を強化すること。
• 無限遠点以外で分岐しない完全に実的である巡回的四次拡大の存在を二分二次記号を用いて特徴付けること。
• 判別式の $C_4^+$-因数分解を $ℝ_2$ 上のベクトル空間とそのファイバー分解を用いて分析すること。
• 複数の独立した $C_4^+$-因数分解が存在する場合、そのうちの1つが素数判別式であるか、特定の共通因数パターンを持つ因数分解が存在することを示すこと。

提案手法

• 局所記号を用いて定義される二分二次ヤコビ記号 $(d/d')_4$ を用い、$d=2$ の場合の規約を含む。
• 無限遠点以外で分岐しない巡回的四次拡大の問題を、$d = d_1 d_2$ を満たす $x^2 - d_1 y^2 = d_2 z^2$ というディオファントス方程式の解法に還元する。
• 方程式に対してモジュラー還元技術を適用し、二分二次記号の積に関する条件を導出する。
• $C_4^+$-因数分解を、$d$ を割る素数判別式の数を $t$ として、$ℝ_2^t / X$ 内のベクトルとしてモデル化し、座標の和を用いてファイバー分解 $V_\nu$ を定義する。
• $ℝ_2$ 上のベクトル空間における組合せ論的議論（ディリクレの箱の原理を含む）を用い、次元4の部分空間における特定の構成の存在を証明する。
• トレース写像 $T_{2k}$ を用いて、負の素数因子が $2k$ 個ある因数分解に対応する部分空間 $V^{(2k)}$ を定義し、そのファイバー構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 実二次体の巡回的四次拡大が無限遠点以外で分岐しないとき、どのような条件下で完全に実的となるか？
• RQ2 判別式の複数の $C_4^+$-因数分解が存在する場合、そのうちの1つが素数因子を持つことを示す条件は何か？
• RQ3 積 $(d_1/d_2)_4 (d_2/d_1)_4$ と拡大体 $k(\sqrt{d_1}, \sqrt{\alpha})$ の実性との関係は何か？
• RQ4 実二次体の2類体塔が、その類群の4-ランクが4以上であれば無限大である可能性はあるか？
• RQ5 $V$ の4次元部分空間において、$a + b + c = 0$ となる解の存在を強制する $C_4^+$-因数分解の構造的条件は何か？

主な発見

• 無限遠点以外で分岐しない巡回的四次拡大 $k(\sqrt{d_1}, \sqrt{\alpha})$ が完全に実的であるための必要十分条件は、$d = d_1 d_2$ が $C_4^+$-因数分解であるとき、$(d_1/d_2)_4 (d_2/d_1)_4 = +1$ が成り立つことである。
• 無限遠点以外で分岐しない巡回的八次拡大がこのような四次拡大を含むならば、$(d_1/d_2)_4 = (d_2/d_1)_4 = +1$ が成り立つ。
• $t = 6$ のとき、任意の $V$ 内の4次元部分空間 $U$ が $V_1$ を避けるならば、$U$ は $V_2$ と非自明に交わる。これは、1つの因子が素数判別式であるか、2つの因数分解が共通の素数因子を持つような $C_4^+$-因数分解が存在することを示唆する。
• $t = 7$ のとき、任意の $V^{(2k)}$ 内の4次元部分空間 $U$ は、$V^{(2k)}_1$ または $V^{(2k)}_2$ のいずれかと非自明に交わる。これは、低重み構成を避けることはできないことを示している。
• ファイバーの濃度 $​\#V_\nu$ は明示的に計算可能であり、$t = 2s+1$（奇数）のとき $​\#V_\nu = \binom{t}{\nu}$、$t = 2s$ で $ u = s$ のとき $​\#V_\nu = \frac{1}{2}\binom{t}{s}$ である。
• 部分空間 $U \subset V^{(2k)}$ で $U \cap V^{(2k)}_1 = U \cap V^{(2k)}_2 = \varnothing$ を満たすものが存在すると、矛盾が生じる。これは、このような部分空間は常に重み1または2の要素を含む必要があることを証明する。