[论文解读] On the field intersection problem of quartic generic polynomials via formal Tschirnhausen transformation

Akinari Hoshi, Katsuya Miyake|ArXiv.org|Dec 28, 2008

Finite Group Theory Research参考文献 7被引用 4

一句话总结

该论文通过形式Tschirnhausen变换和多重预解多项式，解决了特征不为2的域上四次通用多项式的域交集与同构问题。证明了对于对称群 $\mathcal{S}_4$，存在无穷多组参数特化使得分裂域同构，并通过判别式型不变量提供了所有四次伽罗瓦群（包括 $\mathcal{D}_4$、$\mathcal{C}_4$ 和 $\mathcal{V}_4$）的域交集与同构的显式判别准则。主要贡献在于，通过从多重预解多项式导出的代数不变量，实现了对域交集与同构的完整分类。

ABSTRACT

Let $k$ be a field of characteristic $ eq 2$. We give an answer to the field intersection problem of quartic generic polynomials over $k$ via formal Tschirnhausen transformation and multi-resolvent polynomials.

研究动机与目标

• 解决特征不为2的域 $M$ 上四次通用多项式的域交集问题 $\mathbf{Int}(f_{\mathbf{s}}^G/M)$。
• 确定四次通用多项式在 $M$ 上的两个特化何时产生同构的分裂域，即解决域同构问题 $\mathbf{Isom}(f_{\mathbf{s}}^G/M)$。
• 研究对于给定特化，是否存在无穷多组其他特化使得分裂域相同，即 $\mathbf{Isom}^\infty(f_{\mathbf{s}}^G/M)$。
• 通过多重预解多项式和群论不变量，对分裂域的所有可能交集结构进行分类。
• 利用形式Tschirnhausen变换和判别式型不变量，将先前关于三次通用多项式的结论推广至四次情形。

提出的方法

• 利用形式Tschirnhausen变换关联通用多项式不同参数特化之间的关系，并分析其分裂域。
• 采用多重预解多项式编码分裂域交集的伽罗瓦群结构。
• 应用判别式型不变量 $\mathrm{DT}(\mathcal{R}_{\mathbf{a},\mathbf{a}'})$ 对域交集与同构进行分类。
• 使用群论数据如GAP ID和轨道结构，对交集 $L_{\mathbf{a}} \cap L_{\mathbf{a}'}$ 的伽罗瓦群进行分类。
• 分析伽罗瓦群在根上的作用，以判断两个分裂域是否重合或有非平凡交集。
• 应用Hilbertian域技巧，构造无穷多组非平凡参数特化，使得分裂域同构。

实验结果

研究问题

• RQ1 对于 $G = \mathcal{S}_4$，在无限域 $M$ 上，何时两个特化 $f_{\mathbf{a}}^{\mathcal{S}_4}(X)$ 与 $f_{\mathbf{a}'}^{\mathcal{S}_4}(X)$ 的分裂域同构？
• RQ2 交集 $\mathrm{Spl}_M f_{\mathbf{a}}^{\mathcal{S}_4}(X) \cap \mathrm{Spl}_M f_{\mathbf{a}'}^{\mathcal{S}_4}(X)$ 的结构是什么？如何从 $\mathbf{a}$ 和 $\mathbf{a}'$ 计算该交集？
• RQ3 对于固定的 $\mathbf{a} \in M^2$，是否存在无穷多组 $\mathbf{a}' \in M^2$ 使得 $\mathrm{Spl}_M f_{\mathbf{a}}^{\mathcal{S}_4}(X) = \mathrm{Spl}_M f_{\mathbf{a}'}^{\mathcal{S}_4}(X)$？
• RQ4 对于 $G = \mathcal{D}_4$，能否找到无穷多组 $\mathbf{a}'$，使得 $\mathrm{Spl}_M f_{\mathbf{a}'}^{\mathcal{D}_4}(X) = \mathrm{Spl}_M f_{\mathbf{a}}^{\mathcal{D}_4}(X)$ 且 $b'/b$ 在 $M$ 中不是四次幂？
• RQ5 不变量 $\mathrm{DT}(\mathcal{R}_{\mathbf{a},\mathbf{a}'})$ 如何对交集 $L_{\mathbf{a}} \cap L_{\mathbf{a}'}$ 的伽罗瓦群进行分类？

主要发现

• 对于 $G = \mathcal{S}_4$，存在无穷多组 $\mathbf{a}' \in M^2$ 使得 $\mathrm{Spl}_M f_{\mathbf{a}}^{\mathcal{S}_4}(X) = \mathrm{Spl}_M f_{\mathbf{a}'}^{\mathcal{S}_4}(X)$，即使 $\mathbf{a}$ 与 $\mathbf{a}'$ 不通过缩放相关，如推论3.5所示。
• 当且仅当 $\mathrm{DT}(\mathcal{R}_{\mathbf{a},\mathbf{a}'}) = 24$ 时，对于 $G = \mathcal{S}_4$，域交集 $L_{\mathbf{a}} \cap L_{\mathbf{a}'}$ 是平凡的（等于 $M$），如表5 (IV-1) 所示。
• 对于 $G = \mathcal{D}_4$，若 $M$ 是Hilbertian域，则存在无穷多组 $\mathbf{a}'$ 使得 $\mathrm{Spl}_M f_{\mathbf{a}'}^{\mathcal{D}_4}(X) = \mathrm{Spl}_M f_{\mathbf{a}}^{\mathcal{D}_4}(X)$ 且 $b'/b$ 在 $M$ 中不是四次幂，如定理4.16所示。
• 判别式型不变量 $\mathrm{DT}(\mathcal{R}_{\mathbf{a},\mathbf{a}'})$ 完全决定了所有四次群的交集 $L_{\mathbf{a}} \cap L_{\mathbf{a}'}$ 的伽罗瓦群 $G_{\mathbf{a},{\mathbf{a}'}}$，如表5和表6所示。
• 当 $\mathrm{DT}(\mathcal{R}_{\mathbf{a},\mathbf{a}'}) = 6^2, 3^3, 2, 1$ 时，分裂域 $\mathrm{Spl}_M f_{\mathbf{a}}^{\mathcal{S}_4}(X)$ 与 $\mathrm{Spl}_M f_{\mathbf{a}'}^{\mathcal{S}_4}(X)$ 同构，经验证于 $\mathbf{a} = (1,-1)$，$\mathbf{a}' = (-1,1)$ 在 $\mathbb{Q}$ 上成立。
• 对于 $G = \mathcal{C}_4$ 和 $\mathcal{V}_4$，通过多重预解多项式和形式Tschirnhausen变换的方法，实现了对域交集与同构的完整分类，扩展了 $\mathcal{S}_4$ 和 $\mathcal{D}_4$ 建立的框架。