[論文レビュー] Roots of polynomials of degrees 3 and 4

Svante Janson|arXiv (Cornell University)|Sep 13, 2010

History and Theory of Mathematics参考文献 9被引用数 11

ひとこと要約

この論文は、ガロア理論と有限アーベル群上のフーリエ解析を用いて、3次および4次方程式の代数的解法を提示し、古典的公式に現代的で群論的な動機を与える。3次方程式の可解性がそのガロア群の構造、特に3次交代群A3と4次方程式のクライン4元群から自然に生じることを示し、対称関数と補助方程式を用いた明示的構成がなされる。

ABSTRACT

We present the solutions of equations of degrees 3 and 4 using Galois theory and some simple Fourier analysis for finite groups, together with historical comments on these and other solution methods.

研究の動機と目的

• ガロア理論を指針とする枠組みとして、3次および4次方程式の古典的解法を再導出すること。
• 特にガロア群とその部分群といった群論的構造が、これらの多項方程式の解法における主要な代数的構成をどのように自然に示唆するかを示すこと。
• 有限アーベル群（例：C3およびC2×C2）上のフーリエ解析が、解法で用いられる補助方程式および対称関数の操作に概念的動機を与えること。
• 判別式とその平方根δが、ガロア群における偶置換と奇置換を区別する上で果たす役割を明らかにすること。
• カルダーノとフェラーリの歴史的アプローチとは対照的に、3次および4次多項方程式の可解性を統一的かつ概念的に説明するアプローチを提供すること。

提案手法

• 変数変換x = y - b/3を用いて一般3次方程式をへこみ3次方程式（x²項がない形）に変形し、根の求め方を単純化する。
• 根の対称的作用をモデル化するため、ガロア群Gal(E/K(δ)) ≅ A3 ≅ C3を用い、巡回群C3上の離散フーリエ変換の使用を動機づける。
• 根の対称関数を用いて3次補助方程式を導入し、判別式Δ = -4p³ - 27q²を重要な不変量として用いる。
• 4次方程式に対しては、ビクアドレート形式で平方を完成させるフェラーリの方法を適用し、補助3次方程式に到る。
• 補助3次方程式R(u) = 0を用いて、4次方程式が2つの2次方程式に因数分解できるパラメータuを特定する。
• 根は2次方程式の解の公式を用いて回復される。
• 幾何学的には、2次曲線の線型族に属する特異な円錐曲線を見つけることとして解釈され、この円錐曲線は2本の直線に分解され、w = y²との交点が根を与える。

実験結果

リサーチクエスチョン

• RQ1 ガロア理論をどのように系統的に用いて、3次および4次方程式の古典的公式の動機づけができるか？
• RQ2 ガロア群が、3次および4次多項方程式の補助方程式の構造をどのように示唆するか？
• RQ3 有限アーベル群（例：C3およびC2×C2）上のフーリエ解析が、解法で用いられる対称関数の構成にどのように洞察をもたらすか？
• RQ4 なぜ判別式Δとその平方根δが、ガロア群における偶置換と奇置換を区別する上で不可欠な役割を果たすのか？
• RQ5 フェラーリの方法を線型族の円錐曲線による幾何的解釈が、代数的因数分解プロセスをどのように明確にするのか？

主な発見

• 相異なる根をもつ3次方程式のガロア群はS3またはA3であり、δ（判別式の平方根）を固定する部分群はA3 ≅ C3であり、これは根の巡回置換によって作用する。
• へこみ3次方程式y³ + py + q = 0に対して、C3の作用とフーリエ解析に基づいて、複素数の立方根を含む公式により根が根号を用いて表現可能である。
• 4次方程式の補助3次方程式の根は、元の4次方程式の根の対称関数であり、特に異なるペアについてu = (αiαj + αkαl)/2であり、その根が因数分解のパラメータを決定する。
• フェラーリの方法により、補助3次方程式R(u) = 0が根uを持つとき、4次方程式が2つの2次方程式に因数分解され、その後これらの2次方程式を解くことで根が得られる。
• 幾何的解釈により、解が線型族に属する特異な円錐曲線を見つけることに対応し、この円錐曲線が2本の直線に分解され、w = y²との交点が根を与える。
• 判別式Δ ≠ 0のとき、ガロア群は根に忠実に作用し、分解体EはK(δ)のガロア拡大であり、3次方程式ではガロア群がA3、4次方程式ではクライン4元群をとる。