[論文レビュー] Prime and composite Laurent polynomials

Fedor Pakovich|ArXiv.org|Oct 22, 2007

Algebraic Geometry and Number Theory参考文献 19被引用数 6

ひとこと要約

この論文は、高々2つの極をもつ有理関数へとリットの関数的分解理論を拡張し、ローレン卜多項式のための自己完備な枠組みを導入する。リットの定理およびビル・ティチの定理の新たな証明を提供し、このような関数の二重分解がチェビシェフ多項式またはモノミアル型構造によって支配されることを確立する。同値類は合成の鎖の弱同値性によって定まる。

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.

研究の動機と目的

• 多項式から高々2つの極をもつ有理関数へとリットの関数的分解理論を一般化すること。
• ローレン卜多項式のための関数的分解の自己完備理論を構築すること。
• この拡張された枠組み内でのリットの定理およびビル・ティチの定理の新たな証明を提供すること。
• 弱同値に関して、ローレン卜多項式の二重分解を分類し、チェビシェフ多項式またはモノミアル型の合成を含む標準形を同定すること。

提案手法

• 高々2つの極をもつ有理関数に制限して、コンパクトなリーマン面上での関数方程式 $ f \circ p = g \circ q $ を分析する。
• 代数幾何学およびモノドロミー群論を用いて、最大分解およびその同値類を研究する。
• 種数0の曲線のパラメトライゼーションを用いて、$ A(x) - B(y) = 0 $ の解を特徴づけ、特に無限遠点が高々2つの場合を扱う。
• 置換群論およびヒューリッツ型の上限を用いて、分解対のサイクル型および可約性を分析する。
• 弱同値関係を用いて分解を比較し、すべての最大鎖の合成が自己同型に関して同値であることを示す。
• 二重分解の分類を、チェビシェフ多項式 $ T_n $、単項式 $ z^n $、および特定の極構造をもつ有理関数を含む標準形に還元する。

実験結果

リサーチクエスチョン

• RQ1 高々2つの極をもつ有理関数の最大関数的分解の構造は何か？
• RQ2 $ f, g, p, q $ がローレン卜多項式であるとき、二重分解 $ f \circ p = g \circ q $ はどのように振る舞うか？
• RQ3 どのような条件下で、ローレン卜多項式の2つの最大分解が弱同値となるか？
• RQ4 種数0の曲線 $ A(x) - B(y) = 0 $ のビル・ティチ分類を、2つの極をもつローレン卜多項式へと拡張可能か？
• RQ5 チェビシェフ多項式およびモノミアル型の合成は、ローレン卜多項式の関数的分解を分類する上で果たす役割は何か？

主な発見

• $ \mathcal{R}_2 $ に属するローレン卜多項式のすべての二重分解は、$ \frac{1}{2}(z + 1/z) $、$ z^n $、またはチェビシェフ多項式との合成を含む標準形に弱同値である。
• 高々2つの極をもつ有理関数のクラス $ \mathcal{R}_2 $ は、リットクラスである。これは、すべての最大分解が自己同型に関して弱同値であることを意味する。
• $ A, B $ が多項式で、 $ C, D $ が分解不能であるとき、 $ A \circ C = B \circ D $ の任意の解に対して、 $ (A, B) $ は $ l > 2 $ の特定のケースを除いて可約でない。
• 分類のすべてのケースにおいて、曲線 $ \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にリストされた標準形に制限されない限り、矛盾が生じる。