[論文レビュー] Decompositions of Laurent polynomials

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

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

ひとこと要約

この論文は、アバニツィ–ツァンニエおよびビルゥ–ティチィの結果を用いて、ラウレンツ多項式（$ f(x)/x^n $ の形の有理関数）に対するリットの関数的分解に関する定理の類似を確立する。ラウレンツ多項式の分解は、一意的な次数列を持ち、単項式、チェビシェフに類似したディクシー多項式、および特定の有理関数形に起因するすべての可能な非分解可能な因子分解を分類する。これは、多項式と一般の有理関数の中間のクラスに拡張された古典的リット理論の延長である。

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.

研究の動機と目的

• 多項式に対して元々確立されたリットの関数的分解理論を、多項式と一般の有理関数の中間のクラスたるラウレンツ多項式へと拡張すること。
• 有理関数に対しては既知の類似定理が不足している問題を、分類が可能な十分な構造を保つラウレンツ多項式に焦点を当てることで解決すること。
• 関数的合成に関するラウレンツ多項式のすべての可能な非分解可能な因子分解を分類すること。
• 分解における次数列の一意性を確立し、任意の二つの分解を結ぶ有限の隣接交換の列を構成する手続きを提供することで、多項式に対するリットの結果を模倣すること。

提案手法

• ディクシー多項式を定義する関数方程式 $ D_n(x + 1/x) = x^n + x^{-n} $ を用い、分解における主要な構成要素とする。
• アバニツィ–ツァンニエおよびビルゥ–ティチィの、曲線 $ g(x) - h(y) $ の種数ゼロ因子に関する結果を関数的分解の分析に応用する。
• 問題を $ \gcd(\deg g, \deg h) = 2 $ を満たす曲線の研究に還元し、ラウレンツ多項式の分解を複素数体上での代数幾何と結びつける。
• メビウス変換（一次写像）を用いて分解を正規化し、標準形に還元する。
• 非分解可能な因子分解を5つの異なるタイプに分類する。これらには単項式、ディクシー多項式、および有理関数の合成が含まれる。
• 次数の比較と指数の互いに素性条件を用いて、非一般系を除外し、分解型の一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 多項式に対してリットが確立した関数的分解定理は、多項式と一般の有理関数の中間のクラスたるラウレンツ多項式へと拡張可能か？
• RQ2 関数的合成に関して、ラウレンツ多項式のすべての可能な非分解可能な因子分解の完全な集合は何か？
• RQ3 同じラウレンツ多項式の異なる因子分解における次数列どうしの関係は何か？
• RQ4 ディクシー多項式と単項式は、これらの分解を分類する際に果たす役割は何か？
• RQ5 ラウレンツ多項式の非分解可能な因子分解は有限個の型に限られ、それらを明示的に記述可能か？

主な発見

• 任意のラウレンツ多項式の完全分解における次数列は、置換を除いて一意的であり、このクラスにおけるリットの第一定理を一般化する。
• 同じラウレンツ多項式の任意の二つの完全分解は、合成を保ちつつ、隣接する非分解可能な因子の交換を有限回繰り返すことで結びつけられる。
• ラウレンツ多項式のすべての非分解可能な因子分解は、正確に5つのタイプに分類される：単項式、ディクシー多項式、および3つの有理関数に基づく形。
• タイプ (1.2.2) において、合成に現れる有理関数 $ q $ はラウレンツ多項式である必要はないが、メビウス共役を用いることでラウレンツ多項式に変換可能である。
• 外側関数の次数が等しい分解に関しては、内側と外側の成分が線形、または $ D_n $、$ x^n $、$ x + 1/x $ によって関連する場合に限り、可能なタイプに限られる。
• 証明により、任意の分解を、中間写像 $ H $ が $ \alpha x^s $（$ s > 0 $）という単項式に正規化できることが示され、分類を簡略化する。