[論文レビュー] Uniformization of semistable bundles on elliptic curves

Penghui Li, David Nadler|arXiv (Cornell University)|Oct 29, 2015

Advanced Algebra and Geometry参考文献 33被引用数 3

ひとこと要約

本稿は、再帰的群 $G$ のホロモーフィックループ群内のねじれ共轭類を用いて、楕円曲線 $E$ 上の半安定 $G$-バンドルのスタックの複素解析的均一化を導入する。これは古典的な均一化 $E \simeq \mathbb{C}^*/q^\mathbb{Z}$ を非アーベル的状況に一般化し、$G$ に対して指数写像を用いた均一化を構成し、ノルム的特異補題を持つ層および genus 1 のベティ幾何的ラングランズプログラムへの応用を含む。

ABSTRACT

Let $G$ be a connected reductive complex algebraic group, and $E$ a complex elliptic curve. Let $G_E$ denote the connected component of the trivial bundle in the stack of semistable $G$-bundles on $E$. We introduce a complex analytic uniformization of $G_E$ by adjoint quotients of reductive subgroups of the loop group of $G$. This can be viewed as a nonabelian version of the classical complex analytic uniformization $ E \simeq \mathbb{C}^*/q^{\mathbb{Z}}$. We similarly construct a complex analytic uniformization of $G$ itself via the exponential map, providing a nonabelian version of the standard isomorphism $\mathbb{C}^* \simeq \mathbb{C}/\mathbb{Z}$, and a complex analytic uniformization of $G_E$ generalizing the standard presentation $E = \mathbb{C}/(\mathbb{Z} \oplus \mathbb{Z} τ)$. Finally, we apply these results to the study of sheaves with nilpotent singular support. As an application to Betti geometric Langlands conjecture in genus 1, we define a functor from $Sh_\mathcal{N}(G_E)$ (the semistable part of the automorphic category) to ${IndCoh}_{\check{\mathcal{N}}}({Locsys}_{\check G} (E))$ (the spectral category).

研究の動機と目的

• 楕円曲線 $E$ 上の半安定 $G$-バンドルのスタック $G_E$ の複素解析的均一化を、古典的均一化を一般化する形で開発すること。
• 指数写像を用いて $G$ に対して $\mathbb{C}^* \simeq \mathbb{C}/\mathbb{Z}$ の非アーベル的類似を構成すること。
• ループ群の部分多様体を用いて、標準的な均一化 $E \simeq \mathbb{C}/(\mathbb{Z} \oplus \mathbb{Z}\tau)$ を非アーベル的状況に拡張すること。
• 均一化をノルム的特異補題を持つ層およびベティ幾何的ラングランズプログラムにおける函手の定義に応用すること。
• パラボリック部分群に依存する制限函手の性質と、genus 1 におけるその位相的性質を明確にすること。

提案手法

• ホロモーフィックループ群 $L_{\text{hol}}G$ 内のねじれ共轭類を用いて、$E$ 上の $G$-バンドルをパrametrizeする。これは古典的な $E \simeq \mathbb{C}^*/q^\mathbb{Z}$ 均一化を一般化する。
• $G$ 自身の均一化を指数写像を用いて構成し、$\mathbb{C}^* \simeq \mathbb{C}/\mathbb{Z}$ の非アーベル的版を提供する。
• ループ群の再帰的部分群を用いて、スタック $G_E$ 上に解析的チャートを定義し、 simply-connected および一般の再帰的 $G$ に対して Lie 理論的選択によるチャートを構成する。
• エタールチャートおよび 1-シフトされたシンプレクティック構造を用いて、局所モデルの貼り合わせによりグローバルな均一化を構成する。
• 均一化を用いて、$\text{Sh}_{\mathcal{N}}(G_E)$ から $\text{IndCoh}_{\check{\mathcal{N}}}(\text{Locsys}_{\check{G}}(E))$ への函手を定義し、自動的およびスペクトル的カテゴリの関係を結ぶ。
• $S^1$ および $E$ 上のゲージ理論とねじれ共轭の理論を活用し、ホロモーフィック構造と位相的構造の関係を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 楕円曲線上の半安定 $G$-バンドルのスタックは、ループ群の有限次元部分多様体によって均一化可能か？
• RQ2 ループ群構造を用いて、古典的均一化 $E \simeq \mathbb{C}^*/q^\mathbb{Z}$ を非アーベル的状況に一般化できるか？
• RQ3 ホロモーフィックループ群におけるねじれ共轭が、$E$ 上の $G$-バンドルのパラメトライゼーションに果たす役割は何か？
• RQ4 均一化は、ノルム的特異補題を持つ層の幾何にどのように関係するか？
• RQ5 ベティ幾何的ラングランズ予想の genus 1 における文脈で、パラボリック部分群に依存する制限函手の依存関係は何か？

主な発見

• 楕円曲線 $E$ 上の半安定 $G$-バンドルのスタック $G_E$ は、ホロモーフィックループ群 $L_{\text{hol}}G$ 内のねじれ共轭類によって複素解析的均一化可能である。
• $G$ に対する非アーベル的均一化が指数写像を用いて構成され、$\mathbb{C}^* \simeq \mathbb{C}/\mathbb{Z}$ を一般化する。
• $G_E$ の均一化は、ループ群の再帰的部分群を用いて、標準的表現 $E \simeq \mathbb{C}/(\mathbb{Z} \oplus \mathbb{Z}\tau)$ を非アーベル的状況に一般化する。
• 均一化により、解析的スタック $T_E^{\text{reg}}/W$ と正則半安定バンドルの開部分スタック $G_E^{\text{reg}}$ の間に同型が誘導される。
• この構成により、$\text{Sh}_{\mathcal{N}}(G_E)$ から $\text{IndCoh}_{\check{\mathcal{N}}}(\text{Locsys}_{\check{G}}(E))$ への函手が得られ、ベティ幾何的ラングランズプログラムにおける重要な一歩が達成される。
• 点 $x$ における自明化をもつ半安定 $G$-バンドルのモジュライスタック $\text{Bun}^{0,ss}_{G,x}(E)$ は、複素多様体によって代表可能であり、解析的滑らかさが裏付けられる。