[論文レビュー] Irreducible connections admit generic oper structures

D. Arinkin|arXiv (Cornell University)|Feb 29, 2016

Algebraic Geometry and Number Theory参考文献 6被引用数 7

ひとこと要約

本稿は、特性がゼロの代数閉体上の滑らかで射影的な曲線上の任意のメロモーフィック $G$-接続が、おそらく退化するオペル構造を持つゲージ同値な接続をもつことを証明する。特に、任意の既約なメロモーフィック $G$-接続は一般（非退化）オペル構造を持つ。この結果は、接続のモジュライ空間をヒッグスバンドルへと退化させることにより得られ、形式的ディスクにおける局所解析とゲージ同値性の議論に依存する。

ABSTRACT

Let G be a connected reductive group and X be a smooth curve over an algebraically closed field of characteristic zero. We show that every meromorphic G-connection on X admits a possibly degenerate oper structure; in particular, every irreducible meromorphic G-connection admits a generic oper structure.

研究の動機と目的

• 滑らかで射影的な曲線上の任意のメロモーフィック $G$-接続が、おそらく退化するオペル構造を持つゲージ同値な接続をもつことを確立すること。
• 既約なメロモーフィック $G$-接続が一般（非退化）オペル構造をもつことを示すこと。
• 古典的な $\ mathrm{GL}(n)$ の結果を任意の連結再帰的群 $G$ に拡張すること。
• 近似とゲージ同値性を介して、曲線上のグローバル接続と形式的ディスク上の局所オペル構造を結びつけること。
• グローバルな既約性とモジュライ空間の技法を用いて、既約接続に対する局所オペル構造の存在をグローバルに証明すること。

提案手法

• おそらく退化するオペルの空間を定義するためのリー代数 $\mathfrak{g}^{(-1)} = \{x \in \mathfrak{g} : [x,\mathfrak{n}] \subset \mathfrak{b}\}$ の使用。
• 曲線上の点における完備化を用いた、グローバル問題を形式的ディスクにおける局所解析に還元すること。
• 接続をオペル形式に結びつけるために $G(\mathbb{F})$-作用によるゲージ変換の適用。
• 局所設定におけるイワサワ分解を用いて、ゲージ同値性の下での安定性を分析すること。
• 形式的設定におけるゲージ同値類の開性を活用し、近似接続を構成すること。
• 接続からヒッグスバンドルへのモジュライ空間の退化を適用して、主定理を証明すること。

実験結果

リサーチクエスチョン

• RQ1 滑らかで射影的な曲線上の任意のメロモーフィック $G$-接続は、おそらく退化するオペルの空間にあるゲージ同値な接続をもつか？
• RQ2 既約な $G$-接続に対して、オペル構造を非退化（すなわち一般）に選べるか？
• RQ3 既約接続に一般オペル構造が存在することは、モジュライ空間のグローバル幾何的性質の結果か？
• RQ4 形式的ディスク上のオペル理論は、曲線上のグローバル理論とどのように関係するか？
• RQ5 $\mathrm{GL}(n)$ に対する古典的フロベニウス標準形の構成は、任意の再帰的群に一般化可能か？

主な発見

• 特性がゼロの代数閉体上の滑らかで射影的な曲線上の任意のメロモーフィック $G$-接続は、おそらく退化するオペル構造を持つゲージ同値な接続をもつ。
• 任意の既約なメロモーフィック $G$-接続は、一般（非退化）オペル構造を持つゲージ同値な接続をもつ。
• この結果は、$\mathrm{GL}(n)$ に対する古典的フロベニウス標準形を任意の連結再帰的群に拡張する。
• 証明は、形式的ディスク設定におけるゲージ同値類の開性と近似技法に依存する。
• 既約接続に対する一般オペル構造のグローバル存在は、既約な局所接続の存在と近似補題から導かれる。
• 主定理は、フレンケルとズーの局所版（定理B）を含意し、形式的ディスク上の既約接続が一般オペル構造をもつことを示している。