[論文レビュー] A problem around Mahler functions

Boris Adamczewski, Jason P. Bell|arXiv (Cornell University)|Mar 8, 2013

Mathematical Dynamics and Fractals参考文献 18被引用数 7

ひとこと要約

本稿は、ロクストンとヴァン・ダー・プールテンの長年の予想を証明する。特性0の体上の形式的冪級数が、乗法的に独立な整数 $k$ と $\/ell$ に対して、それぞれ $k$-マーラー方程式および $\ell$-マーラー方程式を満たすならば、その級数は有理関数でなければならない。証明は代数幾何学、値論、無限積の漸近的解析を組み合わせ、単位根における特異点を除去し、一般の体から数体への還元を図り、最終的にディオファントス近似理論およびマーラー関数の構造に関する深い結果に依拠する。

ABSTRACT

Let $K$ be a field of characteristic zero and $k$ and $l$ be two multiplicatively independent positive integers. We prove the following result that was conjectured by Loxton and van der Poorten during the Eighties: a power series $F(z)\in K[[z]]$ satisfies both a $k$- and a $l$-Mahler type functional equation if and only if it is a rational function.

研究の動機と目的

• 1980年代のロクストンとヴァン・ダー・プールテンによる、複数のマーラー型関数方程式を満たす冪級数の構造に関する予想を解決すること。
• 明確な二分法を確立すること：乗法的に独立な $k$, $\ell$ に対して $k$-マーラー方程式および $\ell$-マーラー方程式を満たす冪級数は、必ず有理関数でなければならない。
• 反復関数合成の線形従属性構造を分析することで、マーラーの超越論とオートマトン理論、代数幾何学を結びつけること。
• 無限積の漸近的推定とベッカー関数を用いて、単位根におけるマーラー関数の特異点を除去すること。
• 任意の特性0の体上の一般の場合を、代数的還元技術と素イデアルの存在定理を用いて数体の場合に還元すること。

提案手法

• 問題を、$K(z)$ 上での族 $\{F(z^{k^i})\}_{i \geq 0}$ の線形従属性に還元し、これは $k$-マーラー関数を特徴付ける。
• 代数的独立性と特殊化の議論を用いて、基本体 $K$ が数体であると仮定する還元技術を適用する。
• 単位根を含む無限積の漸近的推定を用いて、マーラー関数の成長と特異点を制御する。
• ベッカーの $k$-正則関数およびその母関数の理論を用いて、マーラー関数が単位根付近で示す挙動を分析する。
• 数体における素イデアルの存在定理とチェボタレフの密度定理を応用し、有理性を検出する補助的イデアルを構成する。
• これらの道具を統合し、乗法的に独立な $k$, $\ell$ に対して二つの関数方程式を満たす場合、その係数が定数係数の線形再帰的関係を満たすことを示し、有理関数であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 乗法的に独立な整数 $k$, $\ell$ に対して、$k$-マーラー方程式および $\ell$-マーラー方程式を満たす冪級数が有理関数となる条件は何か？
• RQ2 乗法的に独立な $k$, $\ell$ に対して、二つの異なるマーラー方程式の解集合の共通部分は代数的に特徴付けられるか？
• RQ3 マーラー関数の有理関数性を妨げる要因として、単位根における特異点は果たすどのような役割を果たすか？
• RQ4 無限積およびベッカー関数の漸近的推定は、マーラー級数の解析的挙動をどのように制御できるか？
• RQ5 マーラー関数論において、任意の特性0の体上の一般の場合を、数体の場合にどの程度まで還元できるか？

主な発見

• 乗法的に独立な整数 $k$, $\ell$ に対して、$k$-マーラー方程式および $\ell$-マーラー方程式を満たす冪級数 $F(z) \in K[[z]]$ は、必然的に有理関数である。
• 証明により、$\{F(z^{k^i})\}$ および $\{F(z^{\ell^j})\}$ が $K(z)$ 上で線形従属であることは、$F(z)$ の係数が定数係数の線形再帰的関係を満たすことを強制する。
• 数体の整数環における素イデアルの列を構成し、その値論的議論により冪級数の有理関数性を検出する。
• 形 $\prod_{n \geq 1} (1 - \zeta_n^{m})$ の無限積に対する漸近的推定を用いて、単位根付近でのマーラー関数の成長を制御する。
• 単位根における特異点の除去は、関数の特異部が関数方程式の共同性質により消えることを示すことで達成される。
• 数体の場合への還元は、特殊化の議論と数体における指定された分解型を有する素イデアルの存在を用いることで実現される。