[논문 리뷰] Minimum Degree of the Difference of Two Polynomials over Q, and Weighted Plane Trees

Fedor Pakovich, Alexander K. Zvonkin|arXiv (Cornell University)|2013. 06. 18.

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

한 줄 요약

이 논문은 블랙 및 화이트 정점의 차수로 유일하게 결정되는 유니트리—가중치가 부여된 이분색 평면 트리—의 완전한 분류를 수립하며, 이는 ℚ 위에서 정의된 서로소 다항식 쌍과 최소 차수의 차이를 맺는다. 디신 다엔팡과 갈루아 이론을 활용하여, 이러한 트리가 ℚ 위에서 정의된 다베토-잔니어 삼중항과 대응됨을 증명하며, 이는 현재까지 알려진 가장 큰 다항식 클래스를 제공하고, 갈루아 불변량을 통한 조합적 프레임워크를 통해 그 산술적 성질을 연구할 수 있게 한다.

ABSTRACT

A weighted bicolored plane tree is a bicolored plane tree whose edges are endowed with positive integral weights. The degree of a vertex is defined as the sum of the weights of the edges incident to this vertex. Using the theory of dessins d'enfants, which studies the action of the absolute Galois group on graphs embedded into Riemann surfaces, we show that a weighted plane tree is a graphical representation of a pair of coprime complex polynomials A,B such that: (a) deg A = deg B, and A and B have the same leading coefficient; (b) the multiplicities of the roots of A (respectively, of B) are equal to the degrees of the black (respectively, white) vertices of the corresponding tree; (c) the degree of the difference A-B attains the minimum which is possible for the given multiplicities of the roots of A and B. Moreover, if a tree in question is uniquely determined by the set of its black and white vertex degrees (we call such trees unitrees), then the corresponding polynomials are defined over Q. The pairs of polynomials A,B such that the degree of the difference A-B attains the minimum, and especially those defined over Q, are related to some important questions of number theory. Dozens of papers were dedicated to their study. The main result of this paper is a complete classification of the unitrees which provides us with the most massive class of such pairs defined over Q. We also study combinatorial invariants of the Galois action on trees, as well as on the corresponding polynomial pairs, which permit us to find yet more examples defined over Q. In a subsequent paper we compute the polynomials A,B corresponding to all the unitrees.

연구 동기 및 목표

• 정점의 차수 순서로 유일하게 결정되는 가중치가 부여된 이분색 평면 트리(유니트리)를 모두 분류하는 것. 이는 ℚ 위에서 최소 차수의 다항식 차이와 대응된다.
• 이러한 트리와 ℚ 위에서 정의된 다베토-잔니어 삼중항 사이의 대응관계를 수립하여, 디오판틴 추측과 다항식 분해 분야에서 오랫동안 남아있던 문제를 해결하는 것.
• 갈루아 작용의 조합적 불변량(예: 모노드로미 군, 쌍대성, 합성)을 탐색하여 ℚ 위에서 정의된 다항식 쌍의 추가 예를 식별하는 것.
• 주어진 근의 다중도 패턴에 대해 deg(P − Q)가 최소가 되는 다항식 P, Q ∈ ℚ[x]를 체계적으로 구성하는 방법을 제공하는 것.

제안 방법

• 디신 다엔팡 이론을 활용하여 다항식 문제를 가중치가 부여된 이분색 평면 트리 위의 조합 문제로 변환한다.
• 모서리의 가중치와 인접한 모서리의 가중치 합으로 정점의 차수를 정의하는 가중치가 부여된 이분색 평면 트리를 정의한다.
• 유리 함수 f = P/R에 대해 리만-허리츠 공식을 적용하여 deg(R)의 하한을 유도하며, 이를 트리의 위상과 연결한다.
• 유니트리—블랙 및 화이트 정점의 차수로 유일하게 결정되는 트리—의 개념을 도입하고, 그 존재성이 ℚ 위에서 정의된 DZ-삼중항과 대응됨을 증명한다.
• 모노드로미 군, 쌍대성, 합성과 같은 갈루아 불변량을 활용하여 다항식 쌍의 산술적 성질을 분석한다.
• 디오판틴 방정식의 유리수 해 존재 문제(예: 타원곡선 위의 유리점)를 활용하여, 조합적 궤도가 ℚ 위에서 정의된 갈루아 궤도로 분할되는 조건을 결정한다.

실험 결과

연구 질문

• RQ1 어떤 가중치가 부여된 이분색 평면 트리가 ℚ 위에서 정의된 다베토-잔니어 삼중항과 대응되며, 이를 완전히 분류할 수 있는가?
• RQ2 정점의 차수에 대한 어떤 조합 조건이 트리가 유니트리가 되게 하고, 이는 deg(P − Q)의 최소성과 어떻게 관련되는가?
• RQ3 갈루아 불변량(예: 모노드로미 군, 쌍대성)은 ℚ 위에서 정의된 트리와 수체 위에서만 정의된 트리를 어떻게 구분하는가?
• RQ4 갈루아 궤도가 유리 및 비유리 성분으로 분할되는 것은 정점 차수에 대한 디오판틴 조건으로 설명될 수 있는가?
• RQ5 최소 차수 조건을 충족시킬 수 없는 경우, ℚ 위에서 정의된 다항식에 대해 deg(P − Q)의 최대 가능한 차수는 얼마인가?

주요 결과

• 논문은 블랙 및 화이트 정점의 차수로 유일하게 결정되는 유니트리의 완전한 분류를 제공하며, 이는 ℚ 위에서 정의된 다베토-잔니어 삼중항의 가장 큰 알려진 클래스를 형성한다.
• deg(P − Q) = (n + 1) − (p + q) 인 DZ-삼중항이 존재하는 것은, 주어진 정점 차수를 갖는 가중치가 부여된 이분색 평면 트리가 존재하는 것과 필요충분조건으로 대응됨을 증명한다.
• 특정 트리 가족, 예를 들어 패assport (7¹1ⁿ⁻⁷, p²q⁵)의 경우, 관련된 타원곡선 위에 유리점이 존재하면, 전체 궤도가 유리가 아니더라도 ℚ 위에서 정의된 갈루아 궤도의 존재가 보장된다.
• 비최소 차수의 차이를 갖는 ℚ 위의 DZ-삼중항의 가장 작은 예는 n = 686개의 간선(p = 33, q = 124)을 포함하며, 11번째 해는 n ≈ 3.45 × 10¹³⁴개의 간선을 가진다.
• 최소 차수 조건을 완화함으로써, 최소 차수가 ℚ 위에서 실현 불가능하더라도 ℚ 위에서 다항식 쌍을 구성할 수 있음을 도식 60과 61을 통해 보여주었다.
• 갈루아 궤도가 유리 및 이차 성분으로 분할되는 것은 단순히 조합론적 조건이 아니라, 정점 차수에 대한 디오판틴 조건으로 설명될 수 있음을 증명하였으며, 예를 들어 ∆ = 3(p + 2q)(2p + 3q)가 완전제곱수일 경우가 이를 보여준다.