[论文解读] Minimum Degree of the Difference of Two Polynomials over Q, and Weighted Plane Trees

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

Algebraic Geometry and Number Theory参考文献 11被引用 5

一句话总结

本文對單行樹（unitrees）——即由其黑點與白點度數序列唯一確定的加權二分平面樹——進行了完整分類，並建立其與 ℚ 上一對互素多項式之間最小次數差的聯繫。透過使用童話圖（dessins d’enfants）與伽羅瓦理論，本文證明此類樹對應於定義在 ℚ 上的達梵特–贊尼耶三元組（Davenport–Zannier triples），從而構成目前已知最大規模的此類多項式，並提供一個組合框架，以伽羅瓦不變量研究其算術性質。

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.

研究动机与目标

• 對由其頂點度數序列唯一確定的加權二分平面樹（即單行樹）進行分類，此類樹對應於 ℚ 上的最小次數多項式差。
• 建立此類樹與定義在 ℚ 上的達梵特–贊尼耶三元組之間的對應關係，從而解決了丟番圖逼近與多項式分解領域中長期存在的問題。
• 探討伽羅瓦作用於樹與多項式對時的組合不變量，以識別更多定義在 ℚ 上的範例。
• 提供系統化方法，以構造 ℚ[x] 中的多項式 P, Q，使得在給定根重數模式下，deg(P − Q) 的次數最小化。

提出的方法

• 利用童話圖理論，將多項式問題轉化為加權二分平面樹上的組合問題。
• 定義具有邊權重與頂點度數（即相鄰邊權重之和）的加權二分平面樹。
• 對有理函數 f = P/R 應用黎曼–霍爾茨公式，推導出 deg(R) 的下界，並與樹的拓撲結構關聯。
• 引入單行樹的概念——即由其黑點與白點度數唯一確定的樹——並證明其存在性對應於 ℚ 上的 DZ-三元組。
• 運用伽羅瓦不變量（如單值群、對偶性與複合性）分析多項式對的算術性質。
• 將有理數解的存在性問題（例如橢圓曲線上有理點的存在性）轉化為判斷組合軌道是否可分裂為定義在 ℚ 上的伽羅瓦軌道。

实验结果

研究问题

• RQ1 哪些加權二分平面樹對應於定義在 ℚ 上的達梵特–贊尼耶三元組？它們能否被完全分類？
• RQ2 頂點度數的哪些組合條件可確保一棵樹為單行樹？此條件與 deg(P − Q) 最小化的關係為何？
• RQ3 伽羅瓦不變量（如單值群與對偶性）如何區分定義在 ℚ 上的樹與僅定義在數域上的樹？
• RQ4 伽羅瓦軌道分裂為有理與非有理部分的現象，能否由頂點度數上的丟番圖條件來解釋？
• RQ5 當最小次數不可達時，ℚ 上多項式對的 deg(P − Q) 最大可能次數為何？

主要发现

• 本文提供了單行樹的完整分類，此類樹由其黑點與白點度數唯一確定，構成目前已知最大規模的定義在 ℚ 上的達梵特–贊尼耶三元組。
• 證明了當且僅當存在具有指定度數的對應加權二分平面樹時，存在一個 DZ-三元組，使得 deg(P − Q) = (n + 1) − (p + q)。
• 對於某些樹族（如通行證為 (7¹1ⁿ⁻⁷, p²q⁵) 的樹），其關聯橢圓曲線存在有理點，可推出存在定義在 ℚ 上的伽羅瓦軌道，即使整個軌道並非有理。
• ℚ 上非最小次數差的 DZ-三元組的最小例子對應於 n = 686 條邊（p = 33, q = 124），其中第 11 個解的 n ≈ 3.45 × 10¹³⁴ 條邊。
• 本文表明，放寬最小次數條件允許即使在 ℚ 上無法實現最小次數時，仍可構造 ℚ 上的多項式對，如圖 60 與圖 61 所示。
• 本文確立了伽羅瓦軌道分裂為有理與二次部分的現象，可由頂點度數上的丟番圖條件解釋，而不僅僅是組合性質，如 ∆ = 3(p + 2q)(2p + 3q) 為完全平方數之情況所示。