[논문 리뷰] On the field intersection problem of quartic generic polynomials via formal Tschirnhausen transformation

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

Finite Group Theory Research참고 문헌 7인용 수 4

한 줄 요약

이 논문은 특성 ≠ 2인 체 위에서 4차 일반 다항식의 분해체 교차 및 동형 문제를 형식적 Tschirnhausen 변환과 다중 해석 다항식을 사용하여 해결한다. 대칭군 $\mathcal{S}_4$에 대해 분해체가 서로 동형인 무한한 매개변수 특수화가 존재함을 증명하고, $\mathcal{D}_4$, $\mathcal{C}_4$, $\mathcal{V}_4$를 포함한 모든 4차 갈루아 군에 대해 분해체의 교차 및 동형을 판별하는 디스크riminant 유형의 불변량을 명시적으로 제공한다. 주요 기여는 다중 해석 다항식에서 유도된 대수적 불변량을 통해 분해체의 교차 및 동형을 완전히 분류한 데 있다.

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$ 위에서 4차 일반 다항식에 대해 분해체 교차 문제 $\mathbf{Int}(f_{\mathbf{s}}^G/M)$를 해결하기 위해.
• 두 일반 다항식의 특수화가 체 $M$ 위에서 동일한 분해체를 갖는 조건을 규명하여 분해체 동형 문제 $\mathbf{Isom}(f_{\mathbf{s}}^G/M)$를 다루기 위해.
• 주어진 특수화에 대해 동일한 분해체를 갖는 다른 특수화가 무한히 존재하는지 조사하기 위해, 즉 $\mathbf{Isom}^\infty(f_{\mathbf{s}}^G/M)$를 위해.
• 다중 해석 다항식과 군론적 불변량을 통해 분해체의 모든 가능한 교차 구조를 분류하기 위해.
• 이전의 3차 일반 다항식 결과를 형식적 Tschirnhausen 변환과 디스크림이넌트 유형의 불변량을 사용하여 4차 경우로 확장하기 위해.

제안 방법

• 다양한 매개변수 특수화 간의 관계를 분석하고 그들의 분해체를 연구하기 위해 형식적 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$에 대해 $\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일 때, $b'/b$가 $M$에서 4제곱이 아니더라도 $\mathrm{Spl}_M f_{\mathbf{a}'}^{\mathcal{D}_4}(X) = \mathrm{Spl}_M f_{\mathbf{a}}^{\mathcal{D}_4}(X)$를 만족하는 무한히 많은 $\mathbf{a}'$를 찾을 수 있는가?
• RQ5 불변량 $\mathrm{DT}(\mathcal{R}_{\mathbf{a},\mathbf{a}'})$는 교차 $L_{\mathbf{a}} \cap L_{\mathbf{a}'}$의 갈루아 군을 어떻게 분류하는가?

주요 결과

• G = \mathcal{S}_4일 때, 스케일링과 관련이 없더라도 $\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에서 보여진 lin.
• 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$이 Hilbertian이라면 $\mathrm{Spl}_M f_{\mathbf{a}'}^{\mathcal{D}_4}(X) = \mathrm{Spl}_M f_{\mathbf{a}}^{\mathcal{D}_4}(X)$이면서 $b'/b$가 $M$에서 4제곱이 아닌 무한히 많은 $\mathbf{a}'$가 존재한다. 이는 정리 4.16에서 보여진 lin.
• 디스크림이넌트 유형의 불변량 $\mathrm{DT}(\mathcal{R}_{\mathbf{a},\mathbf{a}'})$는 모든 4차 군에 대해 교차 $L_{\mathbf{a}} \cap L_{\mathbf{a}'}$의 갈루아 군 $G_{\mathbf{a},{\mathbf{a}'}}$를 완전히 결정한다. 이는 표 5와 6에서 입증된 lin.
• $\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$에 대해 수립된 프레임워크를 확장한 것이다.