[論文レビュー] Invariants of identity-tangent diffeomorphisms: explicit formulae and effective computation

Olivier Bouillot, Jean Écalle|arXiv (Cornell University)|Apr 3, 2014

Mathematical Dynamics and Fractals被引用数 3

ひとこと要約

本稿では、複素数体上での同一接ベクトルを持つ微分同相写像のスカラー不変量について、マルチタンジェント、マルチゼータ、リジューレント関数を用いて明示的な公式と効果的な計算手法を提示する。接続子と収束子を用いた解析的不変量の計算のための体系的枠組みを確立し、重み15まで閉形式展開が得られ、ゼータ値と力学的不変量の間の深い関係が明らかになる。

ABSTRACT

In this short Survey we revisit the subject of local, identity-tangent diffeomorphisms of $\doC$ and their analytic invariants, under two viewpoints: that of explicit expansions, which necessarily involve multitangents and multizetas; and that of effective computation. Along the way, we stress the difference between the extup{collectors} (pre-invariant but of one piece) and the extup{connectors} (invariant but mutually unrelated). We also attempt to streamline the nomenclature and notations.

研究の動機と目的

• 複素力学系における同一接ベクトルを持つ微分同相写像のスカラー解析的不変量について、明示的かつ計算可能な表現を開発すること。
• リジューレント解析の文脈において、収束子（前不変量）と接続子（真の不変量）の違いを明確にすること。
• 微分同相写像の研究におけるマルチタンジェント、マルチゼータ、リジューレント単項式の表記法と用語の体系化を図ること。
• 重みの高い不変量の計算のためのアルゴリズム的・記号的手段を提供し、ゼータ値および多重ゼータ値を含む明示的展開を示すこと。
• 正規化とパリティの考察を含め、分岐および反射的ケースへの理論の拡張を行うこと。

提案手法

• 本稿では、 mould 計算法と対称性（例えば、symmetrel、alternal）を用いて、マルチタンジェントをマルチゼータ値およびリジューレント単項式の形に表現する。
• 微分同相写像 f から収束子と接続子を計算するための、直接的で非対称な手法と、間接的で対称的な手法を導入する。
• 発散する形式的級数を含む指数写像を用いて、無限小生成子 f∗ と π∗ を定義し、接続子を導出する。
• 再帰的関係と ρ(f) ≠ 0 または p(f) ≠ 1 のための正規化を用いて、不変量 Aω の明示的展開を f の整関数として導出する。
• パリティの分離を組み込み、発散および分岐ケースに対して正規化とスケーリング技術を用いて処理する。
• 重み15までにわたるマルチタンジェントおよび不変量の表を作成し、不変量の計算を体系化する。

実験結果

リサーチクエスチョン

• RQ1 同一接ベクトルを持つ微分同相写像のスカラー不変量は、微分同相写像 f の関数としてどのように明示的に表現できるか？
• RQ2 マルチタンジェント、マルチゼータ、および不変量 Aω の間の正確な関係は何か？
• RQ3 収束子と接続子は、その変換性と不変量構造における役割において、どのように異なるか？
• RQ4 ゼータ値および多重ゼータ値を含む高重量の不変量の展開を効果的に行うための計算戦略は何か？
• RQ5 正規化と分岐性は、一般の場合における不変量の構造にどのように影響を与えるか？

主な発見

• 本稿では、重み15までに、不変量 Aω の明示的展開を f の整関数として提示し、その係数をマルチゼータ値およびマルチタンジェントで表す。
• f = l ∘ g かつ g(z) = z(1 + g₂z⁻²)¹ᐟ² の場合、不変量 𝔉∗ は重み12まで計算され、ζ(3)、ζ(5)、ζ(7)、ζ(9) を含む項が得られる。
• g(z) = z(1 + 3g₃z⁻³)¹ᐟ³ の場合、不変量 𝔉∗ は重み15まで計算され、ζ(2)⁶、ζ(3)⁴、ζ(5)²、ζ(10,2) の複雑な組み合わせが含まれる。
• ζ(6,2)、ζ(8,2)、ζ(10,2) などの多重ゼータ値を係数に含む不変量の計算に成功し、代数的関係が式の簡略化に果たす役割を示している。
• 反射的およびユニタリな場合においても、不変量の体系的計算が可能であり、パリティ別に分離された展開が得られる。
• 結果として、不変量が f の整関数であり、制御された成長性を示し、ゼータ値およびその積に明示的な依存関係を持つことが確認された。