[論文レビュー] Classifying Brumer's quintic polynomials by weak Mordell-Weil groups

Masanari Kida, Yūichi Rikuna+1 more|ArXiv.org|Feb 1, 2008

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

ひとこと要約

この論文は、有理数体上の有理5-自己準同型を持つ楕円曲線を用いたクーマー理論を用いて、ブルーマーの二面体的5次多項式の分類枠組みを構築する。各多項式を、そのモーデル・ヴェイユ群が同型な分解体を符号化する楕円曲線 $ E_{a,b} $ に結びつけることで、無限に多くのパラメータ対が同型な分解体をもたらすことを示し、従来のパラメータ変換および非分岐拡大に関する結果を一般化する。

ABSTRACT

We develop a general classification theory for Brumer's dihedral quintic polynomials by means of Kummer theory arising from certain elliptic curves. We also give a similar theory for cubic polynomials.

研究の動機と目的

• 有理5-自己準同型を持つ楕円曲線から生じるクーマー理論を用いて、ブルーマーの二面体的5次多項式の一般分類理論を構築すること。
• 類似のクーマー理論的構成を用いて、一般の3次多項式の分類法を拡張すること。
• 二面体的5次体におけるパラメータ変換および非分岐拡大に関する従来の結果を説明し、一般化すること。
• 有理点を持つ楕円曲線とブルーマー多項式の分解体の同型類との間の体系的関係を確立すること。

提案手法

• 有理数体上に定義された、有理5-自己準同型と無限位数の有理点 $ P_0 $ を持つ楕円曲線 $ E_{a,b} $ に、ブルーマーの5次多項式を対応付ける。
• モーデル・ヴェイユ群 $ E_{a,b}(\mathbb{Q}) $ を用いて、$ \mathrm{Bru}(\alpha, \beta; X) $ と $ \mathrm{Bru}(a, b; X) $ が同じ分解体を持つようなパラメータ対 $ (\alpha, \beta) $ を分類する。
• 自己準同型 $ \phi: E_{a,b} \to E_{a,b}^* $ にクーマー理論を適用し、双対自己準同型 $ \phi^* $ を用いて有理点と非分岐拡大を関連付ける。
• 群 $ E_{a,b}(\mathbb{Q}) / \phi^*(E_{a,b}^*(\mathbb{Q})) $ の部分群と分解体の同型類との間の対応を構築する。
• 双対自己準同型の像によるモーデル・ヴェイユ群の構造を用いて、非分岐拡大およびパラメータ変換を列挙する。
• 有理3-自己準同型を持つ類似の楕円曲線を構成し、そのモーデル・ヴェイユ群を解析することで、この手法を3次多項式へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 ブルーマーの5次多項式に対して同型な分解体をもたらすパラメータ対 $ (a,b) $ の集合を、どのように体系的に分類できるか？
• RQ2 関連する楕円曲線のモーデル・ヴェイユ群が、分解体の同値性を符号化する役割を果たす仕組みは何か？
• RQ3 有理自己準同型を持つ楕円曲線におけるクーマー理論を用いて、与えられた分解体に対して無限に多くの同値なパラメータ対を生成できるか？
• RQ4 この手法は、$ \mathcal{D}_3 $ のような他のガロア群へ、どの程度一般化可能か？

主な発見

• 任意の与えられたブルーマーの5次多項式 $ \mathrm{Bru}(a,b;X) $ に対して、$ E_{a,b} $ 上の有理点 $ P_0 $ の無限位数のおかげで、同型な分解体をもたらす無限に多くの異なるパラメータ対 $ (\alpha, \beta) $ が存在する。
• すべての有理点 $ P \in \mathcal{E}(\mathbb{Q}) $ で $ x(P) \neq 0 $ を満たすものに対して、$ \mathrm{Bru}(1, x(P); X) $ の分解体は $ \mathrm{Bru}(1,0;X) $ の分解体と同型であり、楕円曲線 $ \mathcal{E}: 47y^2 = 4x^3 + 28x^2 + 24x + 47 $ 上には無限に多くのそのような点が存在する。
• モーデル・ヴェイユ群 $ E_{-3321607}(\mathbb{Q}) $ は $ \mathbb{Z}^{\oplus 6} $ に同型であり、商 $ E_{-3321607}(\mathbb{Q}) / \phi^*(E_{-3321607}^*(\mathbb{Q})) $ は $ (\mathbb{Z}/3\mathbb{Z})^{\oplus 3} $ に同型であり、この群には位数3の部分群が13個存在し、それぞれが $ \mathbb{Q}(\sqrt{-3321607}) $ 上の非分岐な3次拡大に対応する。
• 13個の非分岐な3次拡大は、すべての同型類のモニックで非可約な3次多項式（判別式 $ -3321607 $）に対応し、それらはすべて楕円曲線上のクーマー構成から生じる。
• この手法は3次多項式へ一般化可能であり、与えられた判別式 $ D $ に対して、分解体の同型類の数は、モーデル・ヴェイユ群を双対自己準同型の像で割った商の位数3部分群の数に等しい。
• 7-自己準同型を持つ7 torsion 点をもつ曲線を用いて、$ \mathbb{Q}(a,b) $ 上に二面体的7次多項式を構成したが、その $ \mathcal{D}_7 $-拡大としての一般性は未解決のままである。