[論文レビュー] The first, second and fourth Painlevé equations on weighted projective spaces

Hayato Chiba|arXiv (Cornell University)|Nov 8, 2013

Differential Equations and Numerical Methods参考文献 24被引用数 6

ひとこと要約

本稿は、ニュートン図と普遍変形から導かれる重みを有する3次元加重射影空間 $\mathbb{C}P^3(p,q,r,s)$ を用いて、第一、第二、第四パンルヴェ方程式の幾何的枠組みを確立する。これらの空間の軌道体構造を活用することで、パンルヴェ性の簡単な証明がなされ、オカモトの初期条件空間のシンプレクティックアトラスが構成され、パンルヴェとブートルーの座標が複素シンプレクティック曲面におけるダーブル座標として幾何的に解釈される。さらに、アフィン・ウェーラー群や拡張されたディンキン図と関連する構造が明らかにされる。

ABSTRACT

The first, second and fourth Painlevé equations are studied by means of dynamical systems theory and three dimensional weighted projective spaces $\C P^3(p,q,r,s)$ with suitable weights $(p,q,r,s)$ determined by the Newton diagrams of the equations or the versal deformations of vector fields. Singular normal forms of the equations, a simple proof of the Painlevé property and symplectic atlases of the spaces of initial conditions are given with the aid of the orbifold structure of $\C P^3(p,q,r,s)$. In particular, for the first Painlevé equation, a well known Painlevé's transformation is geometrically derived, which proves to be the Darboux coordinates of a certain algebraic surface with a holomorphic symplectic form. The affine Weyl group, Dynkin diagram and the Boutroux coordinates are also studied from a view point of the weighted projective space.

研究の動機と目的

• 加重射影空間 $\mathbb{C}P^3(p,q,r,s)$ を用いて、第一、第二、第四パンルヴェ方程式の幾何的枠組みを提供すること。
• コンパクト化された位相空間上の軌道体構造と力学系理論を用いて、パンルヴェ性を証明すること。
• パンルヴェの座標とブートルーの座標を、複素シンプレクティック曲面上のダーブル座標として幾何的に解釈すること。
• 加重射影空間の軌道体幾何を用いて、オカモトの初期条件空間をシンプレクティックアトラスとして再構成すること。
• 拡張されたディンキン図（例：$\tilde{E}_8$, $\tilde{E}_7$）が、コンパクト化空間における特異点の最小解消とどのように関連するかを明らかにすること。

提案手法

• 著者らは、ニュートン図と普遍変形理論を用いて、各パンルヴェ方程式に付随する加重射影空間 $\mathbb{C}P^3(p,q,r,s)$ の適切な重み $(p,q,r,s)$ を特定する。
• 空間 $\mathbb{C}P^3(p,q,r,s)$ の軌道体構造を活用して、無限遠における分岐の特異点、特に $z=\infty$ における可動極と不規則特異点を分析する。
• ポアンカレ線形化定理を用いて、可動特異点の近傍で方程式を可積分な標準形に局所的に変換する。例えば、$\mathrm{P}_\mathrm{I}$ に対して $y''=6y^2$ の形に変換できる。
• 初期条件空間は、$\mathbb{C}^3/\mathbb{Z}_s$ を無限遠で $\mathbb{C}P^2(p,q,r)$ を貼り付けることでコンパクト化して構成される。
• 初期条件ファイバー $z=0$ の閉包における軌道体特異点の最小解消を計算し、指定された自己交わり数を持つ有理曲線の配置を得る。
• 得られた特異点の例外的除ける配置を、拡張されたディンキン図と比較することで、グラフ構造が異なるものの構造的類似性が明らかになる。

実験結果

リサーチクエスチョン

• RQ1 ニュートン図から得られる重みを有する加重射影空間を用いて、パンルヴェ方程式を自然にコンパクト化する方法は何か？
• RQ2 パンルヴェの変換 $\mathrm{P}_\mathrm{I}$ にはどのような幾何的意味があり、シンプレクティック幾何とどのように関係するか？
• RQ3 不規則特異点 $z=\infty$ の文脈において、ブートルーの座標はどのように幾何的に生じるか？
• RQ4 パンルヴェ方程式に関連する拡張されたディンキン図は、コンパクト化空間における特異点の最小解消から再構成可能か？
• RQ5 $\mathbb{C}P^3(p,q,r,s)$ の軌道体構造は、パンルヴェ性の簡単な証明とシンプレクティックアトラスの構成をどのように支援するか？

主な発見

• 第一、第二、第四パンルヴェ方程式は、それぞれ重み $(3,2,4,5)$, $(2,1,2,3)$, $(1,1,1,2)$ を持つコンパクトな軌道体 $\mathbb{C}P^3(p,q,r,s)$ 上で正則なメラノモーフィック微分方程式として定義可能である。
• 可動特異点の近傍でポアンカレ線形化定理を用いて、解が局所的に可積分系に共役可能であることを示すことで、パンルヴェ性が簡単な形で証明される。
• $\mathrm{P}_\mathrm{I}$ におけるパンルヴェの変換は、複素シンプレクティック曲面上のダーブル座標として幾何的に解釈され、自然なシンプレクティック構造が与えられる。
• ブートルーの座標は、特に $z=\infty$ 近傍の不規則特異点における特異点の最小解消から生じることが示される。
• $\mathrm{P}_\mathrm{I}$, $\mathrm{P}_\mathrm{II}$, $\mathrm{P}_\mathrm{IV}$ に対して、初期条件ファイバー $z=0$ の最小解消における例外的除けるの自己交わり数は、それぞれ $\tilde{E}_8$, $\tilde{E}_7$, $\tilde{E}_6$ の拡張ディンキン図の腕の長さと一致する。
• オカモトの初期条件空間のシンプレクティックアトラスは、$\mathbb{C}P^3(p,q,r,s)$ の軌道体構造と局所座標から直接構成され、空間の幾何的実現が得られる。