[論文レビュー] Doubly periodic monopoles and $q$-difference modules

Takuro Mochizuki|arXiv (Cornell University)|Feb 10, 2019

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

ひとこと要約

本稿では、twistorパラメータを用いて、2重周期的幾何を持つ3次元多様体上のmeromorphicな2重周期的モノポールと、楕円曲線上のパラボリック$q$-差分モジュールの間のKobayashi-Hitchin対応を確立する。主な結果は、局所座標の選択に依存しない$q$-差分モジュール構造の独立性を示し、非アーベルHodge理論に類似した、$q$-差分設定における正規化された対応を確立することである。

ABSTRACT

An interesting theme in complex differential geometry is to find a correspondence between algebraic objects and differential geometric objects. One of the most attractive is the non-abelian Hodge theory of Simpson. In this paper, pursuing an analogue of the non-abelian Hodge theory in the context of $q$-difference modules, we study Kobayashi-Hitchin correspondences between doubly periodic monopoles and parabolic $q$-difference modules, depending on twistor parameters.

研究の動機と目的

• 非アーベルHodge理論を$q$-差分設定に拡張し、幾何的対象（2重周期的モノポール）と代数的対象（$q$-差分モジュール）の間の対応を構成すること。
• 楕円曲線上の良いフィルトレーションとディラック型特異点をもつパラボリック$q$-差分モジュールの定義と研究。
• 局所座標の選択に依存しない、meromorphicな2重周期的モノポールとパラボリック$q$-差分モジュールの間の正規化された対応を確立すること。
• 差分モジュールおよびモノポールに関する既存の結果を、2重周期性および$q$-差分構造の状況に一般化すること。
• 複素微分幾何におけるKobayashi-Hitchin対応の$q$-差分類似を提供すること。

提案手法

• 格子$\Gamma$による$\mathbb{R} \times \mathbb{C}$の商として、$\mathcal{M} = \mathbb{R} \times T^0$を3次元多様体として構成し、$T^0$を楕円曲線とする。
• 2重周期的モノポールを、$\mathcal{M} \setminus Z$上でBogomolny方程式を満たす、$\partial_t$-平坦な接続とディラック型特異点、および無限遠で有界な曲率を持つ、$E,h,\nabla,\phi$の組として定義する。
• $\Phi^*(f) = f(\mathfrak{q} y)$を満たす自己同型$\Phi^*$を用いて、${\mathbb{C}}[y,y^{-1}]$-モジュールとしての$q$-差分モジュールを定義し、有限および無限遠点におけるパラボリック構造を導入する。
• ディラック型特異点をもつフィルター付きバンドルを用い、twistorパラメータ$\lambda$を介して、$\partial_t$-平坦なセクションの成長に従って、モノポールから$\mathfrak{q}^\lambda$-差分モジュールを定義する。
• 局所座標$({\tt e}_1, {\tt s}_1)$の選択に依存しないことを示すために、フィルトレーションおよびパラボリックデータの不変性を証明することで、結果として得られるパラボリック$q$-差分モジュールが座標の選択に依存しないことを示す。
• $\mathfrak{t}^\lambda({\tt e}_1,{\tt s}_1)$によるパラボリック構造のスケーリングを適用し、$T^\lambda$上に正規化されたモジュール構造を獲得する。

実験結果

リサーチクエスチョン

• RQ1 パラボリック構造およびtwistorパラメータを伴う状況において、2重周期的モノポールと$q$-差分モジュールの間でKobayashi-Hitchin対応を確立できるか？
• RQ2 モノポールに付随する$q$-差分モジュール構造は、twistor空間上の局所座標の選択にどのように依存するか？
• RQ3 モノポールから得られるフィルター付き$q$-差分モジュールが、自明化やフレームの選択に依存しない条件は何か？
• RQ4 $q$-差分モジュール上のフィルトレーションは、接続における平坦セクションの漸近的挙動とどのように関係するか？
• RQ5 局所データに依存しない、meromorphicな2重周期的モノポールにパラボリック$q$-差分モジュールを正規化された方法で関連付けることができるか？

主な発見

• モノポールに付随するパラボリック$q$-差分モジュール$\tt H^{(\mathfrak{t}^\lambda)}(\widetilde{\tt E}_{({\tt e}_1,{\tt s}_1)\ast})$は、局所座標$({\tt e}_1, {\tt s}_1)$の選択に依存せず、正規化された対応を確立する。
• フィルター構造$\widetilde{\tt E}_{({\tt e}_1,{\tt s}_1)\ast}$は、メトリックや接続に依存せず、基本的な正則バンドル$(E, \overline{\partial}_E)$にのみ依存する。
• フィルトレーション$\mathfrak{F}_\pm({\tt e}_1,{\tt s}_1)$および$\mathcal{F}_\pm({\tt e}_1,{\tt s}_1)$は、$\partial_t$-平坦セクションの成長順序によって特徴づけられ、幾何的不変性が保証される。
• $\tt t({\tt e}_1,{\tt s}_1) - \mathfrak{t}^\lambda({\tt e}_1,{\tt s}_1) \cdot \frac{\log|{\tt U}|}{\log|\mathfrak{q}^\lambda|}$の差は$({\tt e}_1,{\tt s}_1)$に依存せず、これはスケーリングされたパラボリック構造の不変性を示唆する。
• 同型写像$f_{({\tt e}_1,{\tt s}_1)}: \mathcal{M}^\lambda \to \mathcal{M}_{\mathfrak{q}^\lambda}$は、フィルター付きモジュール構造を保存するため、自明化間で一貫性が保証される。
• 最終的な$q$-差分モジュール構造は、$T^\lambda = \mathbb{C}^* / (\mathfrak{q}^\lambda)^\mathbb{Z}$上でwell-definedであり、グローバルな対応を提供する。