[논문 리뷰] Minimum Degree of the Difference of Two Polynomials over $\mathbb Q$. Part II: Davenport-Zannier pairs

Fedor Pakovich, Alexander K. Zvonkin|arXiv (Cornell University)|2015. 09. 26.

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

한 줄 요약

이 논문은 유리계수를 가진 Davenport–Zannier 쌍의 분류를 완성하며, 정점 차수 분할에 의해 유일하게 결정되는 유니트리—가중치가 부여된 이색 평면 트리—에 대응하는 모든 다항식을 계산한다. 디세인 덴팡 대응을 통해 저자들은 무한한 10개의 시리즈(A–J)와 10개의 비정규 사례(K–T)에 대해 명시적인 다항식 표현을 유도하며, 이들이 모두 유리수 계수를 가지며, 갈루아 불변량을 분석함으로써 ℚ 위에서의 다항식 차이의 최소 차수 문제를 해결한다.

ABSTRACT

In this paper we study pairs of polynomials with a given factorization pattern and such that the degree of their difference attains its minimum. We call such pairs of polynomials Davenport--Zannier pairs, or DZ-pairs for short. The paper is devoted to the study of DZ-pairs with rational coefficients. In our earlier paper, in the framework of the theory of dessins d'enfants, we established a correspondence between DZ-pairs and weighted bicolored plane trees. These are bicolored plane trees whose edges are endowed with positive integral weights. When such a tree is uniquely determined by the set of black and white degrees of its vertices, it is called unitree, and the corresponding DZ-pair is defined over $\mathbb Q$. In our earlier paper, we classified all unitrees. In this paper, we compute all the corresponding polynomials. In the final part of the paper we present some additional material concerning the Galois theory of DZ-pairs and weighted trees.

연구 동기 및 목표

• 정점 차수 분할에 의해 유일하게 결정되는 가중치가 부여된 이색 평면 트리인 유니트리에 대응하는 모든 다항식을 계산하는 것.
• 유니트리와 관련된 Davenport–Zannier 쌍이 ℚ 위에 정의됨을 입증하여 이전 연구의 분류를 확장하는 것.
• DZ-쌍과 그에 대응하는 가중치가 부여된 트리에 대한 갈루아 작용을 분석하고, 불변량과 분할 행동을 규명하는 것.
• 무한 시리즈 A–J와 비정규 사례 K–T에 속하는 모든 DZ-쌍에 대해 명시적인 해석적 표현을 제공하는 것.
• 최소 차수 조건을 완화한 경우를 탐색하여, 비최소 차수의 차이를 가짐에도 불구하고 유리수 해를 얻을 수 있는 조건을 규명하는 것.

제안 방법

• 정점 차수가 사전에 정해진 가중치가 부여된 이색 평면 트리와 Davenport–Zannier 쌍 사이의 디세인 덴팡 대응을 활용하는 것.
• 이전 연구에서의 유니트리 분류 [17]를 기반으로 하여 모든 유리수 DZ-쌍을 구성하는 것.
• Belyi 함수와 대칭적인 유리 함수를 사용하여 각 DZ-쌍에 대한 명시적인 다항식 표현을 도출하는 것.
• 다항식의 근과 계수가 모두 ℚ에 속함을 확인하여 구성된 다항식의 유리수 성질을 검증하는 것.
• 단일화 작용과 조합적 궤도의 분할 행동을 연구함으로써 갈루아 불변량을 분석하는 것.
• 트리의 수정과 세제곱 구조를 이용하여 최소 차수를 초과하는 차수를 가짐에도 불구하고 유리수 계수를 가지는 예를 구성하는 것.

실험 결과

연구 질문

• RQ1 유리수 계수를 가진 Davenport–Zannier 쌍 중 유니트리에 대응하는 것은 무엇이며, 그 명시적인 다항식 형태는 어떻게 되는가?
• RQ2 갈루아 군은 DZ-쌍과 그에 대응하는 가중치가 부여된 트리에 어떻게 작용하며, 이 작용으로부터 도출되는 불변량은 무엇인가?
• RQ3 이론적 최소 차수를 초과하는 차수를 가짐에도 불구하고 유리수 DZ-쌍을 구성할 수 있는가, 그리고 어떤 조건에서 가능한가?
• RQ4 동일한 풋프린트를 가진 일부 가중치가 부여된 트리들은 비록 비대칭성이 깨져도 왜 ℚ 위에서 정의된 DZ-쌍을 생성하는가?
• RQ5 특히 갈루아 작용이 분할되는 경우에, 트리의 조합적 궤도가 DZ-쌍의 정의 체를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 무한한 10개의 시리즈(A–J)와 10개의 비정규 사례(K–T)에 대응하는 Davenport–Zannier 쌍은 모두 명시적으로 구성되었으며, 이들이 모두 ℚ 위에 정의됨을 보였다.
• 풋프린트 (9⁵, 5⁹)에 대응하는 DZ-쌍은 모든 알려진 갈루아 불변량이 이 현상을 설명하지 못함에도 불구하고 ℚ 위에 정의되어 있음을 확인하였다.
• 풋프린트 (k², 4¹1²ᵏ⁻⁴)를 가진 무한한 트리의 가족은 서로 동형이 아닌 두 개의 트리를 생성한다—한 쪽은 대칭적이고, 다른 한 쪽은 비대칭적이다—각각이 ℚ 위에 정의된 DZ-쌍을 생성한다.
• k=7일 때, 최소 차수 k+1=8을 초과하는 9차의 차이를 가지는 DZ-쌍이 구성되었으며, A와 B 모두 ℚ 위에 정의되어 있다.
• k=6일 때, 차수 다항식에 중복근이 존재하는 DZ-쌍(차수 9 > 최소 7)이 구성되었으며, 명시적인 유리수 계수를 가짐을 확인하였다.
• (k², 4¹1²ᵏ⁻⁴) 가족 내 대칭적이고 비대칭적인 트리에 대한 Belyi 함수는 명시적으로 제시되었으며, x=0에서 도함수가 0이 되는 것으로 정확성이 검증되었다.