[论文解读] 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-同源的有理椭圆曲线上的库默理论，发展了一套用于布鲁默二面体五次多项式的分类框架。通过将每个多项式与一个 Mordell-Weil 群编码等价分裂域的椭圆曲线相关联，作者证明了存在无穷多组参数对使得分裂域同构，推广了先前关于参数变换和无分歧扩张的结果。

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-同源的椭圆曲线的库默理论，对布鲁默二面体五次多项式建立一般分类理论。
• 通过类似库默理论的构造，将分类方法扩展至一般三次多项式。
• 解释并推广先前关于二面体五次域中参数变换和无分歧扩张的结果。
• 系统建立有理点在椭圆曲线上与布鲁默多项式分裂域同构类之间的联系。

提出的方法

• 将每个布鲁默五次多项式与定义在 $ \mathbb{Q} $ 上的椭圆曲线 $ E_{a,b} $ 关联，该曲线具有有理 5-同源及一个无限阶的有理点 $ P_0 $。
• 利用 Mordell-Weil 群 $ E_{a,b}(\mathbb{Q}) $ 对参数对 $ (\alpha, \beta) $ 进行分类，使得 $ \mathrm{Bru}(\alpha, \beta; X) $ 与 $ \mathrm{Bru}(a, b; X) $ 具有相同的分裂域。
• 对同源 $ \phi: E_{a,b} \to E_{a,b}^* $ 应用库默理论，利用对偶同源 $ \phi^* $ 将有理点与无分歧扩张联系起来。
• 在 $ E_{a,b}(\mathbb{Q}) / \phi^*(E_{a,b}^*(\mathbb{Q})) $ 的子群与分裂域的同构类之间建立对应关系。
• 利用 Mordell-Weil 群模对偶同源像的结构，枚举无分歧扩张与参数变换。
• 通过构造具有有理 3-同源的类似椭圆曲线并分析其 Mordell-Weil 群，将该方法推广至三次多项式。

实验结果

研究问题

• RQ1 如何系统地对所有产生同构分裂域的参数对 $ (a,b) $ 进行分类？
• RQ2 关联椭圆曲线的 Mordell-Weil 群在编码分裂域等价性方面起什么作用？
• RQ3 能否利用具有有理同源的椭圆曲线上的库默理论，为给定分裂域生成无穷多组等价参数对？
• RQ4 该方法在多大程度上可推广至其他伽罗瓦群，如三次多项式的 $ \mathcal{D}_3 $？

主要发现

• 对于任意给定的布鲁默五次多项式 $ \mathrm{Bru}(a,b;X) $，存在无穷多组不同的参数对 $ (\alpha, \beta) $，使得 $ \mathrm{Bru}(\alpha, \beta; X) $ 具有相同的分裂域，这由 $ E_{a,b} $ 上有理点 $ P_0 $ 的无限阶保证。
• 对于所有满足 $ x(P) \neq 0 $ 的有理点 $ P \in \mathcal{E}(\mathbb{Q}) $，多项式 $ \mathrm{Bru}(1, x(P); X) $ 的分裂域同构于 $ \mathrm{Bru}(1,0;X) $，且椭圆曲线 $ \mathcal{E}: 47y^2 = 4x^3 + 28x^2 + 24x + 47 $ 上存在无穷多个这样的点。
• Mordell-Weil 群 $ E_{-3321607}(\mathbb{Q}) $ 同构于 $ \mathbb{Z}^{\oplus 6} $，商群 $ E_{-3321607}(\mathbb{Q}) / \phi^*(E_{-3321607}^*(\mathbb{Q})) $ 同构于 $ (\mathbb{Z}/3\mathbb{Z})^{\oplus 3} $，该群有 13 个 3 阶子群，每个子群对应一个 $ \mathbb{Q}(\sqrt{-3321607}) $ 上的无分歧三次扩张。
• 这 13 个无分歧三次扩张对应于 13 个同构类的首一不可约三次多项式，其判别式为 $ -3321607 $，全部源于该椭圆曲线上的库默构造。
• 该方法可推广至三次多项式：对于给定判别式 $ D $，三次分裂域的同构类数量等于 Mordell-Weil 群模对偶同源像的商群中 3 阶子群的数量。
• 该构造通过具有 7-挠点的曲线上的 7-同源，在 $ \mathbb{Q}(a,b) $ 上生成了一个二面体七次多项式，但其对 $ \mathcal{D}_7 $-扩张的通用性尚未证明。