[論文レビュー] Flat G-bundles and regular strata for reductive groups

Christopher L. Bremer, Daniel S. Sage|arXiv (Cornell University)|Sep 24, 2013

Advanced Algebra and Geometry参考文献 18被引用数 8

ひとこと要約

本稿は、代数的曲線上の平坦な $G$-バンドルを分類するための幾何的枠組みを構築する。その中心となるのは、正則性と半単純性の追加条件を課した基本的ストラトゥム（regular strata）であり、これはループ群 $\hat{G}$ 内の最大トーラスへの構造群の縮約を可能にし、滑らかなモジュライ空間の構成を可能にする。主な結果は、このようなバンドルのモジュライ空間が $\mathbf{A}(S,r)/\hat{W}_S$ に同型であるというもので、ここで $\mathbf{A}(S,r)$ は $S$-形式的型をパラメトライズする多様体であり、$\hat{W}_S$ はトーラス $S$ のアフィンワイル群である。この理論は、正則接続および等モノドロミー的変形に関する古典的結果を一般化する。

ABSTRACT

Let LG be an algebraic loop group associated to a reductive group G. A fundamental stratum is a triple consisting of a point x in the Bruhat-Tits building of LG, a nonnegative real number r, and a character of the corresponding depth r Moy-Prasad subgroup that satisfies a non-degeneracy condition. The authors have shown in previous work how to associate a fundamental stratum to a formal flat G-bundle and used this theory to define its slope. In this paper, the authors study fundamental strata that satisfy an additional regular semisimplicity condition. Flat G-bundles that contain regular strata have a natural reduction of structure to a (not necessarily split) maximal torus in LG, and the authors use this property to compute the corresponding moduli spaces. This theory generalizes a natural condition on algebraic connections (the GL_n case), which plays an important role in the global analysis of meromorphic connections and isomonodromic deformations.

研究の動機と目的

• 任意の再帰的群 $G$ に対して、$\mathrm{GL}_n$ の場合から正則ストラトゥムの理論を一般化し、正則接続および等モノドロミー的変形の枠組みを拡張すること。
• 正則ストラトゥムを含む平坦な $G$-バンドルの幾何的分類を確立し、それがループ群 $\hat{G}$ 内の（非分裂を許す可能性のある）最大トーラスへの自然な構造群の縮約を許すことを示すこと。
• $S$-形式的型の多様体 $\mathbf{A}(S,r)$ とそのアフィンワイル群 $\hat{W}_S$ による商を用いて、このようなバンドルのモジュライ空間を計算すること。
• フレーム付きカテゴリ $\mathcal{C}^\mathrm{fr}_x(S,r)$ を用いてモジュライ空間の解消を提供し、そのカテゴリから非フレーム付きモジュライ空間への射影写像を通じて関係を構築すること。

提案手法

• ループ群 $\hat{G}$ 内の最大トーラス $S$ によって、ある意味で順次的に中心化される基本的ストラトゥムとして正則ストラトゥムの概念を導入し、$\mathrm{GL}_n$ の場合を一般化する。
• Moy-Prasadのフィルトレーションと関連するリー代数を用いて、深さ $r$ のストラトゥムとその非退化性条件を定義する。
• 深さ $r$ の $S$-形式的型の多様体 $\mathbf{A}(S,r)$ を構成し、これはリー代数 $S$ 内の形式的接続行列を高次の項を除いてパラメトライズする。
• アフィンブルハット分解と $\hat{G}_{x,r}$ を用いたゲージ変換を適用し、接続を $\mathfrak{s}\frac{dz}{z}$ 形式に同型変換することで、正則半単純性を保証する。
• $\mathbf{A}(S,r)$ 上の $N(S)$-作用と射影 $\rho_{\mathfrak{s}}$ を用い、異なる形式的型を関連付け、$\mathbf{A}(S,r)/\hat{W}_S$ をモジュライ空間として定義する。
• フレーム付きから非フレーム付きへの変換関手 $\mathcal{C}^\mathrm{fr}_x(S,r) \to \mathcal{C}(S,r)$ が、写像 $\mathbf{A}(S,r) \to \mathbf{A}(S,r)/\hat{W}_S$ に正確に対応することを示し、フレーム付きカテゴリが非フレーム付きモジュライ空間の解消であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 平坦な $G$-バンドルの文脈において、正則ストラトゥムの概念を $\mathrm{GL}_n$ から任意の再帰的群 $G$ にどのように一般化できるか。
• RQ2 正則ストラトゥムを含む平坦な $G$-バンドルのモジュライ空間の幾何的構造は何か。
• RQ3 ループ群 $\hat{G}$ 内の最大トーラス $S$ への構造群の縮約が、このようなバンドルの分類にどのように影響するか。
• RQ4 アフィンワイル群 $\hat{W}_S$ は、形式的型のパラメトライズとモジュライ空間の構成において果たす役割は何か。
• RQ5 フレーム付きモジュライカテゴリ $\mathcal{C}^\mathrm{fr}_x(S,r)$ と非フレーム付きモジュライ空間 $\mathcal{C}(S,r)$ の関係は何か。

主な発見

• 正則ストラトゥムを含む平坦な $G$-バンドルのモジュライ空間は、$\mathbf{A}(S,r)/\hat{W}_S$ に同型であり、ここで $\mathbf{A}(S,r)$ は深さ $r$ の $S$-形式的型の多様体である。
• 正則ストラトゥムを含む任意の平坦な $G$-バンドルは、$\mathfrak{s}\frac{dz}{z}$ 形式のゲージ同値代表元を持つ。ここで $\mathfrak{s} = \operatorname{Lie}(S)$ であり、最大トーラスへの縮約が確認される。
• $\mathbf{A}(S,r)$ 上のアフィンワイル群 $\hat{W}_S$ の作用により、商 $\mathbf{A}(S,r)/\hat{W}_S$ が正しいモジュライ空間として実現され、$N(S)$-作用が形式的型上の群作用を誘導する。
• 非フレーム付きへの変換関手 $\mathcal{C}^\mathrm{fr}_x(S,r) \to \mathcal{C}(S,r)$ は、写像 $\mathbf{A}(S,r) \to \mathbf{A}(S,r)/\hat{W}_S$ に正確に対応し、フレーム付きカテゴリが非フレーム付きモジュライ空間の解消であることを示している。
• $r > 0$ または $r = 0$ かつ $H_x = G$ の場合、モジュライ空間 $\mathcal{C}(S,r)$ は滑らかであり、形式的型多様体の商を用いて幾何的に構成される。
• この理論は、等モノドロミー的変形および接続のモジュライに関する既存の結果を統合・一般化し、特にBoalchおよびFrenkel-Grossの構成を任意の再帰的群にまで拡張する。