[논문 리뷰] Prime and composite Laurent polynomials

Fedor Pakovich|ArXiv.org|2007. 10. 22.

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

한 줄 요약

이 논문은 다항함수에서 유리함수로의 Ritt의 함수 분해 이론을 최대 두 개의 극점을 가진 유리함수로 확장하며, 로렌츠 다항함수의 분해를 위한 자가 포함된 프레임워크를 제안한다. 이는 Ritt의 정리와 Bilu-Tichy 정리에 대한 새로운 증명을 제공하며, 이러한 함수의 이중 분해가 체비세프 다항식 또는 모노미얼 유형의 구조에 의해 지배되며, 구성 사슬의 약한 동치에 의해 결정되는 동치류를 포함함을 입증한다.

ABSTRACT

In 1922 Ritt constructed the theory of functional decompositions of polynomials with complex coefficients. In particular, he described explicitly indecomposable polynomial solutions of the functional equation f(p(z))=g(q(z)). In this paper we study the equation above in the case when f,g,p,q are holomorphic functions on compact Riemann surfaces. We also construct a self-contained theory of functional decompositions of rational functions with at most two poles generalizing the Ritt theory. In particular, we give new proofs of the theorems of Ritt and of the theorem of Bilu and Tichy.

연구 동기 및 목표

• 다항함수에서 최대 두 개의 극점을 가진 유리함수로 Ritt의 함수 분해 이론을 일반화한다.
• 로렌츠 다항함수에 대한 함수 분해의 자가 포함된 이론을 구축한다.
• 이 확장된 프레임워크 내에서 Ritt의 정리와 Bilu-Tichy 정리를 위한 새로운 증명을 제공한다.
• 체비세프 또는 모노미얼 유형의 구성이 포함된 표준형으로, 약한 동치에 관해 분류된 로렌츠 다항함수의 이중 분해를 규명한다.

제안 방법

• 최대 두 개의 극점을 가진 유리함수에 대해, 컴acts 리만 곡면 위에서 $ f \circ p = g \circ q $ 형태의 함수 방정식을 분석한다.
• 대수기하학과 단형군 이론을 적용하여 최대 분해와 그 동치류를 연구한다.
• 종수 0 곡선의 매개변수화를 사용하여 $ A(x) - B(y) = 0 $ 의 해를 특성화하며, 특히 무한원에 최대 두 개의 점을 가진 경우에 중점을 둔다.
• 치환군 이론과 허리츠 유형의 경계를 적용하여 분해 쌍의 순환 유형과 기약성을 분석한다.
• 약한 동치 관계를 사용하여 분해를 비교하며, 모든 최대 구성 사슬이 자동형사상에 의해 동치임을 보여준다.
• 이중 분해의 분류를 체비세프 다항식 $ T_n $, 모노미얼 $ z^n $, 그리고 특정 극점 구조를 가진 유리함수를 포함하는 표준형으로 환원한다.

실험 결과

연구 질문

• RQ1 최대 두 개의 극점을 가진 유리함수의 최대 함수 분해의 구조는 어떠한가?
• RQ2 만일 $ f, g, p, q $ 가 로렌츠 다항함수일 경우, 이중 분해 $ f \circ p = g \circ q $ 는 어떻게 행동하는가?
• RQ3 로렌츠 다항함수의 두 최대 분해가 약한 동치가 되는 조건은 무엇인가?
• RQ4 종수 0 곡선 $ A(x) - B(y) = 0 $ 의 Bilu-Tichy 분류가 최대 두 개의 극점을 가진 로렌츠 다항함수로 확장될 수 있는가?
• RQ5 체비세프 다항식과 모노미얼 유형의 구성은 로렌츠 다항함수의 함수 분해를 분류하는 데 어떤 역할을 하는가?

주요 결과

• 모든 로렌츠 다항함수 $ \mathcal{R}_2 $ 의 이중 분해는 $ \frac{1}{2}(z + 1/z) $, $ z^n $, 또는 체비세프 다항식과의 구성이 포함된 표준형으로 약한 동치임이 입증된다.
• $ \mathcal{R}_2 $ 는 최대 분해가 자동형사상에 의해 약한 동치임을 보장하는 Ritt 클래스이다.
• 모든 $ A \circ C = B \circ D $ 의 해에서 $ A, B $ 가 다항함수이고 $ C, D $ 가 기약일 경우, $ l > 2 $ 인 특정 경우를 제외하고는 쌍 $ (A, B) $ 는 기약이 아니다.
• 분류의 모든 경우에서 $ \tilde{A}(x) - \tilde{B}(y) = 0 $ 은 기약이며, 숨겨진 인수분해가 존재하지 않음을 보장한다.
• $ \tilde{A} \circ \tilde{C} \sim z^n \circ z^r R(z^n) $ 의 경우 $ \gcd(n, r) = 1 $ 이면, 분해가 약한 동치에 대해 유일함이 보장된다.
• 증명은 $ n \geq 6 $ 일 때 $ S < -1 $ 임을 보여주며, 이는 정리 1.1에 나열된 표준형 외에 분해 구조가 제약을 받지 않으면 모순이 발생함을 의미한다.