[論文レビュー] Holomorphic dynamics, Painlevé VI equation and Character Varieties

Serge Cantat, Frank Loray|ArXiv.org|Nov 10, 2007

Meromorphic and Entire Functions参考文献 35被引用数 8

ひとこと要約

本稿は、正則力学系、Painlevé VI方程式、および4個の穴あき球面の特徴的多様体の間の深い関係を確立する。モジュラー群 $\Gamma_2^*$ が立方曲面上の正則幾何構造を保存するパラメータを分類し、ガロア理論的手法を用いて $P_{VI}$ の既約性を証明するとともに、力学系とモノドロミー、アフィン構造の間の関係を示す。

ABSTRACT

We study the monodromy of Painlevé VI equation from a dynamical point of view. This is applied to the description of bounded orbits, and to a proof of the irreducibility of Painlevé VI equation in the sens of Casale and Malgrange. On our way, we compute the entropy of each element of the monodromy group, and we precise the dictionary between character varieties and Painlevé equations.

研究の動機と目的

• 複素パラメータ $(A,B,C,D)$ を分類し、モジュラー群 $\Gamma_2^*$ が立方曲面 $S_{(A,B,C,D)}$ 上の正則幾何構造を保存する条件を特定すること。
• 4個の穴あき球面の特徴的多様体における軌道の力学的分類を、$\Gamma_2^*$ の作用を通じて確立すること。
• 幾何的および力学的不変量を用いて、ガロア理論的手法による第六Painlevé方程式の既約性の証明を提供すること。
• Painlevé VI方程式のモノドロミー、分岐被覆、およびCayley立方曲面の幾何学的性質との相互作用を調査すること。
• 双有理変換の力学的性質とそのエントロピーが、曲面上の不変幾何構造とどのように関係するかを分析すること。

提案手法

• Painlevé VI方程式の位相空間として、特徴的多様体 $\chi(\mathbb{S}^2_4) \cong \{x^2 + y^2 + z^2 + xyz = Ax + By + Cz + D\}$ を用い、モノドロミー行列のトレースを座標とする。
• 群 $\Gamma_2^* \subset \mathrm{PGL}(2,\mathbb{Z})$（mod 2）を、写像類群作用によって誘導される自己同型を通じて特徴的多様体に作用させる力学的群として適用する。
• リーマン＝ヒルベルト対応を用い、モノドロミー表現と $P_{VI}$ の解とを関連させ、代数的解を周期的軌道に特定する。
• 2重被覆を通じて4個の穴あき球面に誘導される、2次変換（例：$\mathrm{Quad}$）を、立方曲面間の双有理写像として用いる。
• オビフォールド構造と不変面積形式を用い、エントロピー、固定点、曲面の特異点を通じて力学的性質を分析する。
• Okamoto対称性と $\mathrm{SU}(2)$-表現を用い、異なるパラメータ族の関係を確立し、既約性や有界性を検出する。

実験結果

リサーチクエスチョン

• RQ1 どのパラメータ $(A,B,C,D)$ に対して、モジュラー群 $\Gamma_2^*$ が立方曲面 $S_{(A,B,C,D)}$ 上の正則幾何構造を保存するか？
• RQ2 $\Gamma_2^*$-軌道の力学的性質は、Painlevé VI方程式のモノドロミーとどのように関係するか？
• RQ3 2次変換 $\mathrm{Quad}$ は、$P_{VI}$ の異なる解族およびそれらの幾何的不変量をどのように関連付けるか？
• RQ4 有界軌道および曲面上の放物的力学は、$P_{VI}$ の代数的解とどのように対応するか？
• RQ5 $\Gamma_2^*$ による不変幾何構造の非存在性から、$P_{VI}$ の既約性を示すことができるか？

主な発見

• $\Gamma_2^*$ が立方曲面 $S_{(A,B,C,D)}$ 上の正則幾何構造を保存するのは、$S_{(0,0,0,4)}$ であるCayley立方曲面またはその退化形である場合に限り、そのとき成立する。
• $\mathrm{Quad}: S_{(0,B,0,D)} \to S_{(2B,4-D,2B,2D-B^2-4)}$ は、有限指数まで $\Gamma_2^*$ と可換であり、力学的性質と周期性を保存する。
• $D=4$ のとき、$\mathrm{Quad}$ はCayley立方曲面への自己準同型となり、$\mathbb{C}^* \times \mathbb{C}^*$ 上の正則被覆 $(u,v) \mapsto (v,u^2)$ によって誘導される。
• $P_{VI}$ の代数的解は、$\Gamma_2^*$ による周期的軌道にちょうど一致し、これらは $\mathrm{SU}(2)$-表現に関連する特別なパラメータ値でのみ存在する。
• $P_{VI}$ の既約性はガロア理論的手法により証明される：不変幾何構造が存在しないことから、代数的解は有限個の例外を除いて存在しないことが示される。
• $\Gamma_2^*$ 内の放物的元の力学は有界であり、有限モノドロミーを持つ解に対応するが、双曲的元は正エントロピーを伴う非有界軌道を生成する。