[論文レビュー] Moduli space of irregular singular parabolic connections of generic ramified type on a smooth projective curve

Michi-aki Inaba|arXiv (Cornell University)|Jun 8, 2016

Algebraic Geometry and Number Theory参考文献 21被引用数 8

ひとこと要約

本稿は、滑らかな射影曲線上の一般的分岐型の不規則特異パラボリック接続の代数的モジュライ空間を構成し、一般性の条件下でそれが滑らかであり、代数的シンプレクティック形式を備えていることを証明する。構成は、フレーミングに依存せずに形式的分岐接続を符号化するためのフィルトレーションと商モジュール構造を用いる。これは、非分岐接続に関する先行結果を一般化するものである。

ABSTRACT

We give an algebraic construction of the moduli space of irregular singular connections of generic ramified type on a smooth projective curve. We prove that the moduli space is smooth and give its dimension. Under the assumption that the exponent of ramified type is generic, we give an algebraic symplectic form on the moduli space.

研究の動機と目的

• 滑らかな射影曲線上の一般的分岐型の不規則特異パラボリック接続の代数的モジュライ空間を構成すること。
• 非分岐不規則接続に関する先行結果を、より代数的に複雑な分岐の場合に一般化すること。
• バンドルの自明性や局所的フレーミングに依存しない枠組みを提供し、等モノドロミー変形のグローバルな幾何的定式化を可能にすること。
• 分岐型の一般性仮定の下で、このモジュライ空間が滑らかであり、代数的シンプレクティック構造を備えていることを確立すること。
• 接続のモジュライを通じて、Painlevé方程式およびその初期値空間の幾何的理解の基盤を築くこと。

提案手法

• 各特異点におけるベクトルバンドルの完備化上に、$ \mathbb{C}[[w]]/(w^{mr}) $ の構造（$ w = z^{1/r} $ とおく）を模したフィルトレーション $ V_0 \supset V_1 \supset \cdots \supset V_{r-1} \supset zV_0 $ を導入する。
• 接続作用素の $ \nu(w) $-固有空間として、ランク1の自由 $ \mathbb{C}[w]/(w^{mr - r + 1}) $-モジュール $ L_k $ を定義する。
• マップ $ \pi_k $ と $ \phi_k $ を通じた、フィルトレーションと接続の間の整合性条件を課し、形式的接続データが保存されることを保証する。
• 指数 $ \nu(w) $ に一般性条件を課して、固有値が相異なるようにし、退化を避ける。
• このようなフィルタリング済み・商モジュール化されたデータのパラメータ空間の商としてモジュライ空間を構成し、幾何的不変量理論または類似の代数的技法を用いる。
• 一般性仮定の下で、モジュライ空間上に標準的な代数的シンプレクティック形式の存在を確立する。

実験結果

リサーチクエスチョン

• RQ1 滑らかな射影曲線上の一般的分岐型の不規則特異パラボリック接続のモジュライ空間をどのように代数的に構成できるか？
• RQ2 局所的フレーミングに依存せずに接続を再構成するための、形式的接続データに必要な構造的条件は何か？
• RQ3 なぜ分岐の場合の方が非分岐の場合よりも代数的に困難であり、どのようにしてその困難を克服できるか？
• RQ4 どのような条件下で、このような接続のモジュライ空間が滑らかであり、シンプレクティック構造を備えているか？
• RQ5 この構成は、幾何的 Painlevé 性質および等モノドロミー変形とどのように関係しているか？

主な発見

• 一般的分岐型の不規則特異パラボリック接続のモジュライ空間は、分岐型の一般性仮定の下で滑らかであることが証明された。
• モジュライ空間の次元が明示的に計算され、正則特異および非分岐不規則の場合の既知の結果を一般化した。
• モジュライ空間上に代数的シンプレクティック形式が構成され、非分岐の場合に知られているシンプレクティック構造を拡張した。
• 基になるベクトルバンドルの自明性やフレーミングの選択に依存しない構成であり、$ \mathbb{P}^1 $ 上でも同様に成り立つ。
• 形式的接続データは、補助的選択を伴わずに、分岐特異性を捉えるフィルトレーションと商モジュール構造によって符号化されている。
• 反例により、定義1.2の条件(v)を欠如させると、誤った固有値を持つ不正な接続が生じることを示し、構造的公理の必要性を強調した。