[论文解读] On the field intersection problem of generic polynomials: a survey

Akinari Hoshi, Katsuya Miyake|ArXiv.org|Oct 2, 2008

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

一句话总结

本文提出了一种系统方法，利用形式化的Tschirnhausen变换和多结式多项式，解决特征不等于2的域上通用多项式的域交集与同构问题。该方法为三次、二面体五次及其它通用多项式的分裂域何时重合提供了显式的有理参数化表达，关键结果通过椭圆曲线（genus 1曲线）和Thue方程得到验证。

ABSTRACT

Let $k$ be a field of characteristic $ eq 2$. We survey a general method of the field intersection problem of generic polynomials via formal Tschirnhausen transformation. We announce some of our recent results of cubic, quartic and quintic cases the details of which are to appear elsewhere. In this note, we give an explicit answer to the problem in the cases of cubic and dihedral quintic by using multi-resolvent polynomials.

研究动机与目标

• 开发一种通用方法，用于判断在域 M 上，通用多项式的分裂域何时同构或非平凡相交。
• 解决有限群 G 的 k-通用多项式的域交集问题，特别关注 C₃、S₃、D₄ 和 D₅ 的情形。
• 提供以参数特化形式表示的显式代数条件，用于判断分裂域同构，而无需进行域扩张计算。
• 将已知的分裂域同构结果推广至更高阶的群，如二面体五次群 D₅。
• 将问题与丢番图方程及 genus 1 曲线上的有理点联系起来，从而获得解的有限性与可计算性结果。

提出的方法

• 利用形式化的Tschirnhausen变换，关联通用多项式不同参数特化之间的关系，并推导出同构判别条件。
• 采用多结式多项式，检测多项式的分解类型是否包含 1，该现象可作为域同构的信号。
• 应用Hilbert的不可约性定理和Siegel关于 genus 0 与 genus 1 曲线上整点的定理，推导出解的有限性或无限性。
• 推导出显式的有理参数化表达（例如关于 z, u, p, q 的有理函数），以刻画何时两个特化产生同构的分裂域。
• 通过在有界范围（例如 −10000 到 10000）内的计算验证，确认理论判据在有理点与分解类型上的正确性。
• 依赖已知的 C₃、S₃、D₄、D₅ 和 C₅ 的通用多项式，并通过参数空间中的变换规则建立同构条件。

实验结果

研究问题

• RQ1 对于哪些参数值 a, b ∈ M，通用三次多项式 fₐ^{C₃}(X) 与 f_b^{C₃}(X) 在 M 上的分裂域重合？
• RQ2 在参数 z ∈ M 上，何种有理变换可确保 S₃-通用多项式 f_a^{S₃}(X) 的两个特化分裂域同构？
• RQ3 如何利用参数 p, q ∈ M 判断 D₄-通用多项式 f_{a,b}^{D₄}(X) 的两个特化是否产生同构的分裂域？
• RQ4 满足什么条件时，Lehmer 的最简五次多项式 h_n(X) 在 ℚ 上的分裂域对不同的 n 与 n′ 重合？求整数解 (s₁, t₁) ∈ ℤ²。
• RQ5 在何种条件下，C₅-通用多项式 g_{A,B}^{C₅}(X) 的两个特化分裂域重合？如何通过多结式多项式检测这一现象？

主要发现

• 在三次情形下，f_m^{C₃}(X) 与 f_n^{C₃}(X) 在 M 上的分裂域重合，当且仅当 n 由 m 和参数 z ∈ M 的特定有理函数给出，且提供了两种可能的形式。
• 在 S₃ 情形下，分裂域同构当且仅当 b = a(u² + 9u − 3a)³ / (u³ − 2au² − 9au − 2a² − 27a)² 对某个 u ∈ M 成立。
• 在 D₄ 情形下，f_{a,b}^{D₄}(X) 与 f_{a′,b′}^{D₄}(X) 的分裂域重合，当且仅当 (a′, b′) 通过 M 中参数 p, q 的两个二次参数化形式与 (a, b) 相关联。
• 在二面体五次情形下，在 −400 ≤ s₁, t₁ ≤ 400 范围内，恰好存在 25 组整数对 (s₁, t₁)，使得 Spl_ℚ f_{0,1}^{D₅}(X) = Spl_ℚ f_{s₁,t₁}^{D₅}(X)，其中 12 组属于 X₁，13 组属于 X₂。
• 对于 C₅-通用多项式 g_{A,B}^{C₅}(X)，在 −50 ≤ a,a′ ≤ 50，0 ≤ b,b′ ≤ 50 范围内，恰好存在 10 组 (a,b,a′,b′) 对，其参数不同但分裂域同构，且这些对分布在 X₁ 和 X₂ 中。
• 对于 Lehmer 的最简五次多项式 h_n(X)，在 [−10000, 10000] 范围内，唯一满足 n < n′ 且 Spl_ℚ h_n(X) = Spl_ℚ h_{n′}(X) 的整数对为 (n, n′) = (−2, −1)，该结果通过分解类型分析得到确认。