[논문 리뷰] Functional composition of polynomials: indecomposability, Diophantine equations and lacunary polynomials

Dijana Kreso, Robert F. Tichy|arXiv (Cornell University)|2015. 03. 18.

Algebraic Geometry and Number Theory참고 문헌 43인용 수 6

한 줄 요약

이 논문은 체 위의 다항식의 기능적 분해를 조사하며, 불가분성 기준, f(x) = g(y) 형태의 디오판틴 방정식, 그리고 적은 항을 가진 다항식(라쿠나리 다항식)에 중점을 두고 있다. Galois 이론적 방법을 사용하여 Ritt의 고전적 정리들을 확장하고, 사항다항식의 분해 가능성에 대한 새로운 기준을 제시한다. 이에 따르면, f(x) = a₁xⁿ¹ + a₂xⁿ² + a₃xⁿ³ + a₄ 형태의 사항다항식은 f(x) = g(h(x))로 분해 가능할 때만 h(x) = xᵏ이고 g는 xᵏ에 대한 다항식이 되며, 이때 k는 gcd(n₁, n₂, n₃)의 약수여야 한다.

ABSTRACT

Starting from Ritt's classical theorems, we give a survey of results in functional decomposition of polynomials and of applications in Diophantine equations. This includes sufficient conditions for the indecomposability of polynomials, the study of decompositions of lacunary polynomials and the finiteness criterion for the equations of type f(x) = g(y).

연구 동기 및 목표

• 다양한 체로의 Ritt의 고전적 결과를 확장하여 다항식의 기능적 분해에 대한 종합적 서베이를 제공하는 것.
• 특히 라쿠나리 및 사항다항식 형태에 대해 다항식의 불가분성에 대한 충분 조건을 설정하는 것.
• Bilu-Tichy 기준을 적용하여 f(x) = g(y) 형태의 디오판틴 방정식이 무한히 많은 정수 해를 가질 조건을 분류하는 것.
• 적은 항을 가진 다항식(라쿠나리 다항식)의 분해 구조, 특히 사항다항식의 경우를 분석하는 것.
• 유리함수 및 대수적 함수의 기능적 분해에서 항의 수가 제한된 경우의 결과를 일반화하는 것.

제안 방법

• 다항식 분해 문제를 체 이론 및 군 이론 문제로 변환하기 위해 Ritt의 Galois 이론적 프레임워크를 활용한다.
• 완전한 분해가 인접한 불가분성 인자들에 대한 유한한 변환에 대해 유일함을 보여주는 Ritt 분해 정리(정리 2.1)를 적용한다.
• Bilu-Tichy 기준을 사용하여 f(x) = g(y)의 정수 해의 수가 유한한지 여부를 f와 g의 구조에 기반해 판단한다.
• h(x)가 모닉이며 h(0) = 0임을 가정하고 사항다항식의 함수적 합성 f(x) = g(h(x))를 분석하며, f(x) = ∏(h(x) - xᵢ)ᵃⁱ의 인수분해를 연구한다.
• h(x) - xᵢ의 근에 대한 차수와 중복도를 고려하여 h(x)의 가능한 형태를 제약하고, h(x)가 단항식 xᵏ여야 한다는 것을 증명한다.
• 유리함수 및 대수방정식의 기능적 분해에서 항의 수가 제한된 경우에 관한 Zannier와 Fuchs-Zannier의 결과를 응용한다.

실험 결과

연구 질문

• RQ1 라쿠나리 다항식, 특히 사항다항식이 기능적으로 분해 가능한가? 조건은 무엇인가?
• RQ2 Bilu-Tichy 기준을 어떻게 적용하여 f(x) = g(y)가 무한히 많은 정수 해를 가질 조건을 판단할 수 있는가?
• RQ3 f가 소수의 항을 가지며 h가 단항식이 아닌 경우, f(x) = g(h(x))의 기능적 분해의 구조는 어떻게 되는가?
• RQ4 h가 소수의 항을 가질 때 g(h(x))의 항 수는 어느 정도로 제한될 수 있으며, 예외적인 경우는 무엇인가?
• RQ5 f(x) = g(h(x))의 합성에서 근의 차수와 중복도는 h(x)의 가능한 형태를 어떻게 제약하는가?

주요 결과

• 사항다항식 f(x) = a₁xⁿ¹ + a₂xⁿ² + a₃xⁿ³ + a₄는 f(x) = g(h(x))로 분해 가능할 때만 h(x) = xᵏ이고 g(x) = a₁xⁿ¹ᐟᵏ + a₂xⁿ²ᐟᵏ + a₃xⁿ³ᐟᵏ + a₄로 표현될 수 있으며, 이때 k는 gcd(n₁, n₂, n₃)의 약수여야 한다.
• h(x)가 단항식이 아니라면, 합성에서 근의 중복도는 모순을 초래하는 제약을 가중하며, 이는 h(x)가 단항식이어야 한다는 결론을 이끈다.
• h(x)의 항 수가 증가함에 따라 g(h(x))의 항 수는 무한히 증가하는 경향이 있으며, h(x)가 단항식이 아닐 경우에만 그렇다.
• f가 최대 ℓ개의 항을 가지는 유리함수 f(x) = g(h(x))의 경우, g의 차수는 ℓ에 따라 유계이지만, 유한한 예외 케이스를 제외하고는 성립한다.
• 사항다항식의 분해 f(x) = g(h(x))에서 h(x) ≠ xᵏ이면, 근의 중복도 분석에 의해 α₁ ≤ 2가 되며, h(x)가 단항식이 아닐 경우 모순이 발생한다.
• lα₁ = n₃ 조건과 g(h(x)) 전개에서의 차수 비교는 n₁ + n₃ ≤ 2n₂를 이끌어내며, 이는 일반적인 위치 조건을 위반한다. 유일한 예외는 h(x)가 단항식일 경우이다.