[논문 리뷰] Solvable Sextic Equations

C. Boswell, M. L. Glasser|ArXiv.org|2005. 04. 01.

Advanced Thermodynamics and Statistical Mechanics참고 문헌 2인용 수 5

한 줄 요약

이 논문은 유리수 계수를 가진 기약 육차방정식이 복소수체 위에서 대수적으로 가역 가능한지 판별하기 위한 기준을 제시한다. 이를 위해 두 개의 잠재적 해석 방정식을 분석함으로써 그 갈루아 군을 분석한다. 연구는 육차방정식의 가역성이 유리수 계수를 가진 두 개의 15차 또는 10차 잠재적 다항식 중 하나가 유리수 해를 가질 때에만 성립함을 증명하며, 페르마의 5차방정식에 대한 덩위트의 방법을 6차로 확장한다.

ABSTRACT

Criteria are given for determining whether an irreducible sextic equation with rational coefficients is algebraically solvable over the complex numbers.

연구 동기 및 목표

• 유리수 계수를 가진 기약 5차방정식에 대한 덩위트의 가역성 기준을 기약 6차방정식으로 확장한다.
• 육차방정식의 갈루아 군이 S₆의 전이적 부분군 J와 K의 부분군이 되기 위한 필요 및 충분 조건을 규명한다.
• 기본 6차방정식의 가역성을 나타내는 15차 및 10차 잠재적 방정식을 명시적으로 구성한다.
• 대칭 함수와 다항식 불변량을 사용하여 가역성 판별을 위한 계산 도구를 제공한다.

제안 방법

• 일般 육차방정식을 x⁶ + x² + dx + e = 0 형태로 줄이기 위해 체르노하우젠 변환을 사용한다.
• 기약 육차방정식에 대해 유일한 해석 가능한 갈루아 군으로서 S₂#S₃와 S₃#Z₂인 두 전이적 부분군 J와 K를 식별한다.
• J와 K에 대해 각각 불변인 대칭 함수 θ₁과 φ₁을 구성하며, 이들의 공액이 잠재적 다항식 f(x)와 g(x)를 생성한다.
• f(x)와 g(x)의 계수를 근에 대한 대칭 다항식으로 유도하며, 이를 줄여낸 육차방정식의 d와 e로 표현한다.
• 갈루아 군 G가 J의 부분군이 되는 것과 f(x)가 유리수 해를 가지는 것이 동치임을 증명한다. 마찬가지로 G가 K의 부분군이 되는 것과 g(x)가 유리수 해를 가지는 것이 동치임을 증명한다.
• Δ의 판별식을 사용하여 갈루아 군을 A₆에 속하는지 여부를 확인함으로써 더 정교하게 분류한다.

실험 결과

연구 질문

• RQ1 유리수 계수를 가진 기약 육차방정식이 복소수체 위에서 루트를 통해 가역 가능한가?
• RQ2 잠재적 다항식을 사용하여 육차방정식의 갈루아 군을 어떻게 결정할 수 있는가?
• RQ3 S₆에서 전이적 부분군 J와 K의 안정자에 대응하는 근의 대칭 함수는 무엇인가?
• RQ4 15차 및 10차 잠재적 방정식의 유리수 해를 통해 육차방정식의 가역성을 테스트할 수 있는가?
• RQ5 판별식과 J와 K가 A₆와의 교집합은 해석 가능한 육차 갈루아 군의 분류를 어떻게 정교하게 하는가?

주요 결과

• 줄여진 육차방정식 x⁶ + x² + dx + e = 0의 갈루아 군이 J의 부분군이 되는 것은 그 15차 잠재적 다항식 f(x)가 유리수 해를 가질 때에만 성립한다.
• 갈루아 군이 K의 부분군이 되는 것은 그 10차 잠재적 다항식 g(x)가 유리수 해를 가질 때에만 성립한다.
• d = 1/2일 때, 36x⁶ + 36x² + 18x + 5는 갈루아 군이 J의 부분군이므로 해석 가능하다.
• x⁶ - x² + 2x + 1 = 0은 d = 2, e = 1일 때 g(x)가 유리수 해를 가지므로 갈루아 군이 K의 부분군이 되며, 따라서 해석 가능하다.
• f(x)와 g(x)가 모두 유리수 해를 가질 경우 갈루아 군은 J ∩ K ≅ D₆, 즉 위수 12인 이면체군의 부분군이 된다.
• 판별식 Δ = 46656e⁵ + 13824e³ - 43200d²e² + 22500d⁴e + 1024e - 3125d⁶ - 256d²는 갈루아 군이 A₆에 속하는지 테스트하는 데 사용된다.