[論文レビュー] Classification of Okamoto-Painlevé Pairs

Masa-Hiko Saito, Taro Takebe|ArXiv.org|Jun 5, 2000

Advanced Differential Equations and Dynamical Systems参考文献 2被引用数 6

ひとこと要約

この論文は、オカモト–パレブレ方程式のペアを完全に分類している—コンパクトな複素表面 $S$ と除集合 $Y$ で、$S \setminus Y$ がザリスキ開集合として $\mathbb{C}^2$ を含み、$Y$ が特定のコhomologicalおよび幾何的条件を満たすものである。著者らは、すべてのこのようなペアを、コダイラの特異ファイバー型 $ {E}_8, {E}_7, {E}_6, {D}_7, {D}_6, {D}_5, {D}_4$ に対応する7つのタイプに分類し、それぞれが $ {P}^2$、$ {F}_0$、または $ {F}_2$ の吹き上げから生じることを証明した。また、パレブレ微分方程式と直接的な対応関係を確立し、$ {D}_7$ 型に対しては新しい $P_{III}^*$ システムを同定した。

ABSTRACT

In this paper, we introduce the notion of an Okamoto-Painlevé pair (S, Y) which consists of a compact smooth complex surface S and an effective divisor Y on S satisfying certain conditions. Though spaces of initial values of Painlevé equations introduced by K. Okamoto give examples of Okamoto-Painleve pairs, we find a new example of Okamoto-Painlevé pairs not listed in \cite{Oka}. We will give the complete classification of Okamoto-Painlevé pairs.

研究の動機と目的

• オカモト–パレブレ方程式ペア $(S,Y)$ の定義と形式化—$S$ をコンパクトな複素表面とし、特定のコhomologicalおよび幾何的条件を満たす除集合 $Y$ を持つこと。
• $Y$ の構成の配置に基づいて、すべてのペアを完全に分類すること。この配置は、コダイラの特異ファイバー型に対応することが示された。
• $\t{D}_7$ 型の、オカモトのオリジナルのリストに含まれない新しいオカモト–パレブレ方程式ペアの構成。
• これらのペアと、パレブレ微分方程式に同等のハミルトニアン系との直接的な対応関係を確立すること。特に、$ {D}_7$ 型に対して新しい $P_{III}^*$ システムを含む。
• すべての構成が、$ {P}^2$、$ {F}_0$、または $ {F}_2$ からの吹き上げおよび吹き下ろしによって得られ、$ {P}^2$ の反標準除集合と双有理同値であることを示すこと。

提案手法

• 4つの条件を用いてオカモト–パレブレ方程式ペア $(S,Y)$ を定義する：$Y$ を極とするメラモーフィック2次形式の存在、すべての成分 $Y_i$ に対して $Y \cdot Y_i = 0$、$S \setminus Y$ がザリスキ開集合として $\mathbb{C}^2$ を含むこと、および $F = S \setminus \mathbb{C}^2$ が正則交差除集合であること。
• ホッジ指数定理と交点論を用いて、除集合 $F$ の可能な構成を制限し、特に自己交点数と成分間の交点を重点的に分析する。
• 正確に10個の成分を持つ $F$ のすべての可能な構成を分類し、それらをコダイラのファイバー型 $ {E}_8, {E}_7, {E}_6, {D}_7, {D}_6, {D}_5, {D}_4$ の双対グラフとして特定する。この際、吹き上げおよび吹き下ろし操作を用いる。
• $\mathbb{F}_0 = \mathbb{P}^1 \times \mathbb{P}^1$ の反標準除集合上に中心を持つ吹き上げを用いて、オカモト–パレブレ方程式ペアの明示的例を構成する。特に $ {D}_7$ 型に対して。
• $\mathbb{P}^2$ とその反標準除集合 $-K_{\mathbb{P}^2} = 3h$ との双有理同値性を、クリエーモナ変換の系列を用いて示す。
• 変形理論を用いて、各オカモト–パレブレ方程式ペアをハミルトニアン系に結びつけ、パレブレ型微分方程式に同等であることを示す。$ {D}_7$ 型に対しては $P_{III}^*$ を含む。

実験結果

リサーチクエスチョン

• RQ1 定義上の4条件を満たすすべての可能なオカモト–パレブレ方程式ペア $(S,Y)$ の構成は何か？
• RQ2 $Y$ の構成は、楕円的表面におけるコダイラの特異ファイバー型とどのように関係しているか？
• RQ3 オカモトのオリジナルのリストに含まれない、特に $ {D}_7$ 型の新しいオカモト–パレブレ方程式ペアを構成できるか？
• RQ4 各オカモト–パレブレ方程式ペアとパレブレ微分方程式との間に直接的な対応関係があるか？その性質は何か？
• RQ5 すべてのペアが $ {P}^2$、$ {F}_0$、$ {F}_2$ からの有理的変換によって得られるか？

主な発見

• オカモト–パレブレ方程式ペアの完全分類により、コダイラの特異ファイバー型 $ {E}_8, {E}_7, {E}_6, {D}_7, {D}_6, {D}_5, {D}_4$ に対応する7つのタイプが得られた。
• $\mathbb{F}_0 = \mathbb{P}^1 \times \mathbb{P}^1$ の反標準除集合 $-K_{\mathbb{F}_0}$ 上の点に吹き上げを施すことにより、$ {D}_7$ 型の新しいオカモト–パレブレ方程式ペアが構成された。
• $\t{D}_7$ 型ペアは、新しいパレブレ方程式 $P_{III}^*$ を生じさせ、これはオカモトによって確認された $P_{III}$ の特別な場合である。
• 除集合 $F = S \setminus \mathbb{C}^2$ のすべての構成が、$ {P}^2$、$ {F}_0$、$ {F}_2$ からの吹き上げ・吹き下ろしによって得られ、$F$ は常に正確に10個の成分を持つことが示された。
• 各オカモト–パレブレ方程式ペアは、クリエーモナ変換の系列を用いて、$ {P}^2$ とその反標準除集合 $-K_{\mathbb{P}^2} = 3h$ と双有理同値である。
• オカモト–パレブレ方程式ペアとパレブレ方程式の間の対応関係は直接的かつ標準的である：各ペアは、パレブレ型微分方程式に同等なハミルトニアン系を定義し、$ {D}_7$ 型に対しては $P_{III}^*$ を含む。