[论文解读] Decompositions of Laurent polynomials

Michael E. Zieve|ArXiv.org|Oct 10, 2007

Advanced Differential Equations and Dynamical Systems参考文献 27被引用 14

一句话总结

本文利用 Avanzi–Zannier 与 Bilu–Tichy 的结果，建立了 Laurent 多项式（形如 $ f(x)/x^n $ 的有理函数）的函数分解的 Ritt 定理类比。证明了 Laurent 多项式的分解具有唯一的次数序列，并通过单项式、类似切比雪夫的 Dickson 多项式以及特定有理函数形式，对所有可能的不可约分解进行分类，将经典的 Ritt 理论扩展至介于多项式与一般有理函数之间的类。

ABSTRACT

In the 1920's, Ritt studied the operation of functional composition g o h(x) = g(h(x)) on complex rational functions. In the case of polynomials, he described all the ways in which a polynomial can have multiple `prime factorizations' with respect to this operation. Despite significant effort by Ritt and others, little progress has been made towards solving the analogous problem for rational functions. In this paper we use results of Avanzi--Zannier and Bilu--Tichy to prove analogues of Ritt's results for decompositions of Laurent polynomials, i.e., rational functions with denominator a power of x.

研究动机与目标

• 将原本仅适用于多项式的 Ritt 函数分解理论——扩展至介于多项式与一般有理函数之间的 Laurent 多项式类。
• 通过聚焦于保留足够结构以实现分类的 Laurent 多项式，解决有理函数缺乏已知类比的问题。
• 在函数复合下，对 Laurent 多项式的所有可能不可约分解进行分类。
• 确立分解中次数序列的唯一性，并提供一种递归过程，以关联任意两个分解，镜像多项式情形下 Ritt 的结果。

提出的方法

• 利用函数方程 $ D_n(x + 1/x) = x^n + x^{-n} $ 定义 Dickson 多项式，使其成为分解中的关键构建块。
• 应用 Avanzi–Zannier 与 Bilu–Tichy 关于曲线 $ g(x) - h(y) $ 的亏格零因子的研究结果，分析函数分解。
• 将问题简化为研究满足 $ \gcd(\deg g, \deg h) = 2 $ 的曲线，将 Laurent 多项式分解与复数域上的代数几何联系起来。
• 使用莫比乌斯变换（一次映射）对分解进行标准化，将其约化为典范形式。
• 将所有可能的不可约分解分类为五种不同类型，包括单项式、Dickson 多项式以及有理函数复合。
• 通过比较次数与指数的互素条件，排除非一般情形，证明分解类型的唯一性。

实验结果

研究问题

• RQ1 Ritt 对多项式适用的函数分解定理能否推广至介于多项式与一般有理函数之间的 Laurent 多项式？
• RQ2 在函数复合下，Laurent 多项式的所有可能不可约分解的完整集合是什么？
• RQ3 同一 Laurent 多项式的不同分解中，其次数序列之间有何关系？
• RQ4 Dickson 多项式与单项式在这些分解的分类中起到何种作用？
• RQ5 Laurent 多项式的不可约分解类型是否有限，并可显式描述？

主要发现

• 任何 Laurent 多项式完全分解的次数序列在排列意义下唯一，推广了该类的 Ritt 第一定理。
• 任意两个同一 Laurent 多项式的完全分解可通过有限步相邻不可约因子交换相互连接，且保持复合关系。
• Laurent 多项式的所有不可约分解恰好属于五类：单项式、Dickson 多项式，以及三类基于有理函数的形式。
• 在类型 (1.2.2) 中，复合中的有理函数 $ q $ 不必本身是 Laurent 多项式，但可通过莫比乌斯共轭变换为 Laurent 多项式。
• 对于外函数次数相等的分解，唯一可能的类型是内层与外层函数为线性函数，或通过 $ D_n $、$ x^n $ 或 $ x + 1/x $ 相关联的情形。
• 证明表明，任何分解均可标准化为中间映射 $ H $ 为形如 $ \alpha x^s $（$ s > 0 $）的单项式，从而简化分类。