[論文レビュー] On Ritt's polynomial decomposition theorems

Michael E. Zieve, Mueller, Peter|ArXiv.org|Jul 23, 2008

Coding theory and cryptography参考文献 33被引用数 37

ひとこと要約

本稿は、多項式の分解に対する完全な不変量としてモノドロミー群を導入することにより、複素数体上の多項式分解の新たな特徴付けを提供する。これはリットの古典的結果を一般化し、分解の系列としてのモノドロミー群（同型および置換を除いて）が、多項式のすべての完全分解を一意に特定することを証明する。これにより、無限大のリット移動列という長年の問題が、有限で構造的な分解同値類の記述によって解決される。

ABSTRACT

Ritt studied the functional decomposition of a univariate complex polynomial f into prime (indecomposable) polynomials, f = u_1 o u_2 o ... o u_r. His main achievement was a procedure for obtaining any decomposition of f from any other by repeatedly applying certain transformations. However, Ritt's results provide no control on the number of times one must apply the basic transformations, which makes his procedure unsuitable for many theoretical and algorithmic applications. We solve this problem by giving a new description of the collection of all decompositions of a polynomial. Our results have been used by Ghioca, Tucker and Zieve (arXiv:0807.3576) to describe the polynomials f,g having orbits with infinite intersection; they have also been used by Medvedev and Scanlon to describe the affine curves invariant under a coordinatewise polynomial action.

研究の動機と目的

• 一つの多項式分解を別の多項式分解に変換するために必要なリット移動の回数に制御が利かないという問題を解決すること。
• リットの次数不変量およびビーディソン–ニューの置換群不変量を、モノドロミー群を用いて統一的な不変量に一般化すること。
• 多項式のすべての完全分解を有限で構造的な記述によって特徴付けること。リット移動の無限大列による手続きに代わるものとする。
• モノドロミー群の系列（同型および置換を除いて）が、与えられた多項式のすべての分解を一意に特定することを証明すること。
• 算術的力学および不変曲線論への応用の基盤を提供し、安定的かつアルゴリズム的に利用可能な不変量を提供すること。

提案手法

• 多項式 $ u(X) $ のモノドロミー群を、$ \mathbb{C}(t) $ 上の $ u(X) - t $ のガロア群として定義し、根の上での置換群として見る。
• 多項式の分解のガロア理論的構造を用い、モノドロミー群と関数的合成構造との関係を確立する。
• リットの基本的変換の下でモノドロミー群が不変であることを証明し、不変量としての有効性を確立する。
• 群論的および算術的技法を用いて分解系列の構造を分析し、特に次数と群作用の間の相互作用に注目する。
• リットの元来の証明の簡略化・再構成版を用い、多項式算術および群作用の観点から主定理を確立する。
• 特に、$ \#\Gamma_0(u) = 1 $ であるか、$ \operatorname{Mon}(u) $ が巡回群である場合に限り $ \#\Gamma_0(u) = \#\operatorname{Mon}(u) $ であるという事実を活用し、ビーディソン–ニュー不変量と同等であることを示す。

実験結果

リサーチクエスチョン

• RQ1 多項式分解における非分解可能因子のモノドロミー群の系列は、置換を除いて完全な不変量として用いられるか？
• RQ2 モノドロミー群不変量は、リットの次数不変量およびビーディソン–ニューの置換群不変量を一般化し、多項式のすべての完全分解を一意に特定するか？
• RQ3 多項式のすべての分解を、無限大のリット移動プロセスを避ける有限でアルゴリズム的に利用可能な記述で特徴付けることは可能か？
• RQ4 合成 $ a \circ b $ が $ f $ の高次の反復である場合、$ a $ や $ b $ が $ f $ との合成であることを示す条件は何か？
• RQ5 非分解可能因子のモノドロミー群は、関数的分解ラティスの構造とどのように関係するか？

主な発見

• 同型および置換を除いて、多項式 $ f $ のすべての完全分解を一意に特定する、モノドロミー群の系列 $ (\operatorname{Mon}(u_1), \dots, \operatorname{Mon}(u_r)) $ が成立する。これはリットの次数不変量を一般化する。
• ビーディソン–ニュー不変量（線形対称性の数 $ \#\Gamma_0(u) $ に基づく）は、分解における巡回モノドロミー群の部分系列と同等である。
• 多項式 $ f $ が $ X^n $ や $ \pm T_n $ に共役でない限り、$ k > \log_2(n+2) $ に対して $ a \circ b = f^{(k)} $ ならば、ある多項式 $ c $ が存在して $ a = f \circ c $ または $ b = c \circ f $ である。これは分解構造における強い剛性を示す。
• 多項式のモノドロミー群は、$ u(X) - t $ の $ \mathbb{C}(t) $ 上のガロア群と同型であり、この群は分解の全組合せ的および代数的構造を捉えている。
• 主定理の証明は、リットの元来の議論の簡略化・再構成版であり、多項式算術および群作用の観点から表現されており、より明確で理解しやすい。
• 本稿では、二つの分解を関連付けるために必要なリット移動の回数が、モノドロミー群構造に基づいて有界であることが示され、関数的分解理論における長年の問題が解決された。