[論文レビュー] Hamiltonian structures of isomonodromic deformations on moduli spaces of parabolic connections

Arata Komyo|arXiv (Cornell University)|Nov 11, 2016

Algebraic Geometry and Number Theory参考文献 23被引用数 3

ひとこと要約

この論文は、パラボリック接続のモジュライ空間に対して、アフィン開被覆を導入し、各開集合上でハミルトニアン関数を定義することにより、等モノドロミー変形のハミルトニアン構造を構成する。主な結果は、ファイバーごとのシンプレクティック形式が、等モノドロミー変形ベクトル場をハミルトニアン系として実現することであり、Painlevé方程式に関する既知の結果を一般化し、微分ガロア理論における非自己同型ハミルトニアン系の幾何的枠組みを提供する。

ABSTRACT

In this paper, we treat moduli spaces of parabolic connections. We take étale coverings of the moduli spaces, and we construct a Hamiltonian structure of an algebraic vector field determined by the isomonodromic deformation for each étale morphism.

研究の動機と目的

• パラボリック接続のモジュライ空間における等モノドロミー変形のハミルトニアン記述を提供すること。
• Painlevé VIおよび関連するハミルトニアン系に関する既知の結果を、一般のパラボリック接続へと拡張すること。
• 相対的モジュライ空間に、変形ベクトル場をハミルトニアン流として符号化するシンプレクティック構造を確立すること。
• アフィン開部分集合上で局所的ハミルトニアン関数を定義し、局所的ハミルトニアン力学を可能にすること。

提案手法

• パラボリック接続の ${\boldsymbol{\alpha}}$-安定性をパラメータとする相対的ファインモジュライスキーム $ M_{{\mathcal{C}}/T}^{{\boldsymbol{\alpha}}}(\tilde{{\mathbb{t}}},r,d) \to T \times N^{(n)}_r(d) $ を構成する。
• 時刻パラメータの基底上のファイバー $ M_{{\mathcal{C}}/T}^{{\boldsymbol{\alpha}}}(\tilde{{\mathbb{t}}},r,d)_{{\boldsymbol{\nu}}} \to T $ に対するアフィン開被覆 $ \{M_i\} $ を導入する。
• 各ファイバー上でシンプレクティックであり、その核が等モノドロミー変形ベクトル場に対応する2次形式 $ \omega $ をモジュライ空間上に定義する。
• コホモロジー複体 $ {\mathcal{F}}^\bullet $ のハイパーコホモロジーとKodaira–Spencer類を用いて、各 $ M_i $ 上にハミルトニアン関数 $ H_k $ を構成する。
• ハイパーコホモロジー $ \mathbb{H}^1({\mathcal{G}}^{\bullet}_M) $ に代数的ダーブォー座標 $ \partial/\partial q_i, \partial/\partial p_i $ が存在すると仮定し、局所的ハミルトニアン形式を可能にする。
• 等モノドロミーベクトル場を $ v_{\hat{\mu}_k} = \sum_i \left( dH_k(\partial/\partial p_i) \frac{\partial}{\partial q_i} - dH_k(\partial/\partial q_i) \frac{\partial}{\partial p_i} \right) $ として導出し、ハミルトニアン構造の妥当性を確認する。

実験結果

リサーチクエスチョン

• RQ1 パラボリック接続のモジュライ空間上の等モノドロミー変形ベクトル場は、局所的にハミルトニアンベクトル場として表現可能か？
• RQ2 相対的モジュライ空間に、変形フローと整合するシンプレクティック構造をどのように構成できるか？
• RQ3 ハイパーコホモロジーは、変形ベクトル場の記述とハミルトニアン形式の実現において果たす役割は何か？
• RQ4 アフィン開部分集合上で局所的ハミルトニアン関数を定義するための条件は何か？
• RQ5 Painlevé型ハミルトニアン系は、パラボリック接続のモジュライを用いて幾何的に実現可能か？

主な発見

• ファイバーごとのシンプレクティック形式 $ \omega $ を持つモジュライ空間 $ M_{{\mathcal{C}}/T}^{{\boldsymbol{\alpha}}}(\tilde{{\mathbb{t}}},r,d)_{{\boldsymbol{\nu}}} \to T $ が存在し、$ \mathrm{Ker}(\omega) $ が等モノドロミー変形ベクトル場に正確に一致する。
• 各アフィン開部分集合 $ M_i $ 上では、局所的ハミルトニアン関数 $ H_k $ を用いたハミルトニアン構造が構成され、変形がハミルトニアン流として実現される。
• 等モノドロミーベクトル場は $ v_{\hat{\mu}_k} = \sum_i \left( dH_k(\partial/\partial p_i) \frac{\partial}{\partial q_i} - dH_k(\partial/\partial q_i) \frac{\partial}{\partial p_i} \right) $ として表現され、変形のハミルトニアン性が確認される。
• この構成は、変形データを符号化する複体 $ {\mathcal{F}}^\bullet $ のハイパーコホモロジーに依存しており、ベクトル場とコホモロジー類の同定を可能にする。
• 論文は、$ \mathbb{H}^1({\mathcal{G}}^{\bullet}_M) $ に代数的ダーブォー座標 $ \partial/\partial q_i, \partial/\partial p_i $ が存在すると仮定しており、これが成立するならば、完全な局所的ハミルトニアン記述が得られる。
• この結果は、Painlevé VI に対する既知のハミルトニアン構造を一般化し、モジュライ理論における非自己同型ハミルトニアン系の幾何的枠組みを提供する。