[논문 리뷰] On the field intersection problem of generic polynomials: a survey

Akinari Hoshi, Katsuya Miyake|ArXiv.org|2008. 10. 02.

Algebraic Geometry and Number Theory참고 문헌 35인용 수 5

한 줄 요약

이 논문은 특성 ≠ 2인 체 위에서 일반 다항식의 체의 교차 및 동형 문제를 해결하기 위해 형식적 Tschirnhausen 변환과 다중 해석 다항식을 사용하는 체계적인 방법을 제시한다. 삼차, 이면십차 다항식 및 기타 일반 다항식의 분해체가 일치할 경우에 대한 명시적 유리 매개변수화를 제공하며, 주요 결과는 종수 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.

연구 동기 및 목표

• 특성 ≠ 2인 체 M 위에서 일반 다항식의 분해체가 동형이거나 비자명하게 교차할 조건을 결정하는 일반적 방법을 개발하는 것.
• 유한군 G에 대한 k-일반 다항식의 체 교차 문제를 해결하는 것—특히 C₃, S₃, D₄, D₅에 대해.
• 체 확대 계산 없이도 매개변수 특수화에 따라 체 동형 조건을 명시적인 대수적 조건으로 제공하는 것.
• 기존의 분해체 동형 결과를 삼차 이상의 군, 예를 들어 이면십차 다항식 군 D₅로 확장하는 것.
• 문제를 디오판틴 방정식과 종수 1 곡선 위의 유리점과 연결하여 유한성 및 계산 가능성 결과를 도출하는 것.

제안 방법

• 형식적 Tschirnhausen 변환을 사용하여 일반 다항식의 다양한 매개변수 특수화 간의 관계를 설정하고, 동형 조건을 유도하는 것.
• 다중 해석 다항식을 활용하여 다항식의 분해 유형에 1이 포함되는지 검출함으로써 체 동형 여부를 판단하는 것.
• Hilbert의 기약성 정리와 종수 0 및 1 곡선에서 정수점에 관한 Siegel의 정리를 적용하여 해의 유한성 또는 무한성을 도출하는 것.
• 두 특수화가 동일한 분해체를 갖는 조건을 기술하는 명시적 유리 매개변수화(예: z, u, p, q에 대한 유리 함수)를 유도하는 것.
• 유한 범위(예: −10000에서 10000까지)에서의 계산적 검증을 통해 이론적 기준이 유리점과 분해 유형에 대해 올바른지 확인하는 것.
• C₃, S₃, D₄, D₅, C₅에 대해 알려진 일반 다항식을 활용하고, 매개변수 공간 내의 변환 규칙을 통해 동형 조건을 수립하는 것.

실험 결과

연구 질문

• RQ1 체 M의 매개변수 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 정수 해 (s₁, t₁) ∈ ℤ² 중에서 ℚ 위에서 Lehmer의 가장 단순한 오차 다항식 h_n(X)의 분해체가 서로 다른 n과 n′에 대해 일치하는 경우는 무엇인가?
• RQ5 C₅-일반 다항식 g_{A,B}^{C₅}(X)의 두 특수화가 동일한 분해체를 갖는 조건은 무엇이며, 다중 해석 다항식을 통해 어떻게 이를 탐지할 수 있는가?

주요 결과

• 삼차 다항식의 경우, M 위에서 f_m^{C₃}(X)과 f_n^{C₃}(X)의 분해체가 일치하는 것은 n이 m과 매개변수 z ∈ M에 대한 특정 유리 함수로 주어질 때에만 성립하며, 두 가지 가능한 형태가 제시된다.
• S₃의 경우, 분해체가 동형이 되는 것은 어떤 u ∈ M에 대해 b = a(u² + 9u − 3a)³ / (u³ − 2au² − 9au − 2a² − 27a)² 를 만족할 때 정확히 성립한다.
• D₄의 경우, f_{a,b}^{D₄}(X)와 f_{a′,b′}^{D₄}(X)의 분해체가 일치하는 것은 (a′, b′)가 (a, b)와 매개변수 p, q ∈ M에 대한 두 개의 이차 매개변수화로 연결될 때에만 성립한다.
• 이면십차 다항식의 경우, 범위 −400 ≤ s₁, t₁ ≤ 400 내에서 Spl_ℚ f_{0,1}^{D₅}(X) = Spl_ℚ f_{s₁,t₁}^{D₅}(X)를 만족하는 정수 쌍 (s₁, t₁)이 정확히 25개 존재하며, 이 중 12개는 X₁에, 13개는 X₂에 속한다.
• C₅-일반 다항식 g_{A,B}^{C₅}(X)의 경우, −50 ≤ a,a′ ≤ 50, 0 ≤ b,b′ ≤ 50 범위 내에서 서로 다른 매개변수를 갖는 분해체가 동형이 되는 쌍 (a,b,a′,b′)가 정확히 10개 존재하며, 이는 X₁과 X₂에 분포되어 있다.
• Lehmer의 가장 단순한 오차 다항식 h_n(X)의 경우, [−10000, 10000] 범위 내에서 n < n′ 인 유일한 정수 쌍은 (n, n′) = (−2, −1)이며, 이는 분해 유형 분석을 통해 확인되었다.