[论文解读] Prime and composite Laurent polynomials

Fedor Pakovich|ArXiv.org|Oct 22, 2007

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定理提供新的证明。
• 在弱等价意义下，对洛朗多项式的双重分解进行分类，识别出涉及切比雪夫多项式或单项式型复合的规范形式。

提出的方法

• 在紧致黎曼曲面上分析形如 $ f \circ p = g \circ q $ 的函数方程，重点关注至多有两个极点的有理函数。
• 应用代数几何与单值群理论，研究极大分解及其等价类。
• 利用亏格为零的曲线参数化方法，刻画方程 $ A(x) - B(y) = 0 $ 的解，特别是当该曲线在无穷远处至多有两个点时的情形。
• 应用置换群理论与Hurwitz型界，分析分解对的循环类型与不可约性。
• 采用弱等价关系比较分解，证明所有极大复合链在自同构下彼此等价。
• 将双重分解的分类简化为涉及切比雪夫多项式 $ T_n $、单项式 $ z^n $ 以及具有特定极点结构的有理函数的规范形式。

实验结果

研究问题

• RQ1 至多有两个极点的有理函数的极大函数分解具有何种结构？
• RQ2 当 $ f, g, p, q $ 均为洛朗多项式时，双重分解 $ f \circ p = g \circ q $ 如何表现？
• RQ3 在何种条件下，一个洛朗多项式的两个极大分解是弱等价的？
• RQ4 Bilu-Tichy关于亏格为零的曲线 $ A(x) - B(y) = 0 $ 的分类是否可推广至具有两个极点的洛朗多项式？
• 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中列出的规范形式，否则将导致矛盾。