[論文レビュー] 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

ひとこと要約

この論文は、特徴量 ≠ 2 の体上での四次一般多項式の分岐体の交わりと同型問題を、形式的ツィルンハウゼン変換と多重リゾルベント多項式を用いて解決する。対称群 $ackslash mathcal extless{}$ S_4 $ackslash text extless{}$ に対して、同型な分解体をもたらすパラメータの特殊化が無限に存在することを証明し、$ackslash mathcal extless{}$ D_4 $ackslash text extless{}$、$ackslash mathcal extless{}$ C_4 $ackslash text extless{}$、$ackslash mathcal extless{}$ V_4 $ackslash text extless{}$ を含むすべての四次ガロア群について、体の交わりと同型を特定するための判別式型不変量を明示的に提供する。主な貢献は、多重リゾルベント多項式から導かれる代数的不変量を用いた、体の交わりと同型の完全分類である。

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)$ を検討する。
• 多重リゾルベント多項式と群論的不変量を用いて、分解体のすべての可能な交わり構造を分類する。
• 立方一般多項式に関する先行結果を、形式的ツィルンハウゼン変換と判別式型不変量を用いて四次の場合に拡張する。

提案手法

• 一般多項式の異なるパラメータの特殊化とそれらの分解体を関連付けるために、形式的ツィルンハウゼン変換を用いる。
• 多重リゾルベント多項式を用いて、分解体の交わりのガロア群構造を符号化する。
• 判別式型不変量 $\mathrm{DT}(\mathcal{R}_{\mathbf{a},\mathbf{a}'})$ を用いて、体の交わりと同型を分類する。
• GAP ID や軌道構造などの群論的データを用いて、交わり $L_{\mathbf{a}} \cap L_{\mathbf{a}'}$ のガロア群を分類する。
• ガロア群の根への作用を分析し、二つの分解体が一致するか、非自明に交わる条件を特定する。
• ヒルベルト体の技法を適用して、無限に多くの非自明なパラメータの特殊化を構成し、それらが同型な分解体をもたらすことを示す。

実験結果

リサーチクエスチョン

• 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$ に対して、$\mathrm{Spl}_M f_{\mathbf{a}}^{\mathcal{S}_4}(X) = \mathrm{Spl}_M f_{\mathbf{a}'}^{\mathcal{S}_4}(X)$ を満たす $\mathbf{a}' \in M^2$ が無限に存在するか？
• RQ4 $G = \mathcal{D}_4$ のとき、$\mathrm{Spl}_M f_{\mathbf{a}'}^{\mathcal{D}_4}(X) = \mathrm{Spl}_M f_{\mathbf{a}}^{\mathcal{D}_4}(X)$ かつ $b'/b$ が $M$ 内で四乗数でないような $\mathbf{a}'$ が無限に存在するか？
• RQ5 不変量 $\mathrm{DT}(\mathcal{R}_{\mathbf{a},\mathbf{a}'})$ は、$L_{\mathbf{a}} \cap L_{\mathbf{a}'}$ のガロア群をどのように分類するか？

主な発見

• $G = \mathcal{S}_4$ のとき、$\mathbf{a}$ と $\mathbf{a}'$ がスケーリングで関連付けられていなくても、$\mathrm{Spl}_M f_{\mathbf{a}}^{\mathcal{S}_4}(X) = \mathrm{Spl}_M f_{\mathbf{a}'}^{\mathcal{S}_4}(X)$ を満たす $\mathbf{a}' \in M^2$ が無限に存在する。これはコロナリー3.5で示されている。
• $G = \mathcal{S}_4$ のとき、体の交わり $L_{\mathbf{a}} \cap L_{\mathbf{a}'}$ が自明（$M$ に等しい）であるための必要十分条件は、$\mathrm{DT}(\mathcal{R}_{\mathbf{a},\mathbf{a}'}) = 24$ であることである。これは表5 (IV-1) で確認できる。
• $G = \mathcal{D}_4$ のとき、$M$ がヒルベルト体であれば、$\mathrm{Spl}_M f_{\mathbf{a}'}^{\mathcal{D}_4}(X) = \mathrm{Spl}_M f_{\mathbf{a}}^{\mathcal{D}_4}(X)$ かつ $b'/b$ が $M$ 内で四乗数でないような $\mathbf{a}'$ が無限に存在する。これは定理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$ の場合、多重リゾルベント多項式と形式的ツィルンハウゼン変換を用いた手法により、体の交わりと同型の完全分類が得られ、$\mathcal{S}_4$ および $\mathcal{D}_4$ で確立された枠組みが拡張された。