[論文レビュー] Frenkel-Gross' irregular connection and Heinloth-Ngô-Yun's are the same

Xinwen Zhu|arXiv (Cornell University)|Oct 9, 2012

Advanced Algebra and Geometry参考文献 10被引用数 4

ひとこと要約

この論文は、Frenkel-Gross が構成した $\mathbb{G}_m$ 上の不規則接続と、Heinloth-Ngô-Yun が構成した接続が同型であることを証明し、[HNY] の予想 2.14 を確認した。Beilinson-Drinfeld のヒッチンの可積分系の量子化を用いて、両者の構成が、$G$-バンドルのモジュライスタック上の同じ自己同一的 $D$-加群をもたらすことを示した。これにより、ヘッケ固有値対応を通じて、接続が同一であることが示された。

ABSTRACT

We show that the irregular connection on $\bbG_m$ constructed by Frenkel-Gross (2009) and the one constructed by Heinloth-Ngô-Yun (arXiv:1005.2765) are the same, which confirms the Conjecture 2.14 of arXiv:1005.2765.

研究の動機と目的

• 幾何的ラングランズの文脈において、$\mathbb{G}_m$ 上の不規則接続の二つの異なる構成の同値性を確立すること。
• Heinloth-Ngô-Yun の予想 2.14 を検証すること。この予想は、彼らの自己同一的 $D$-加群が特定の不規則接続のヘッケ固有値として得られることを示唆している。
• 等長性と一意性を用いて、Beilinson-Drinfeld の道具立てによって構成された $D$-加群が、Heinloth-Ngô-Yun が直接的に構築したものと一致することを示すこと。
• 操作形を持つ Frenkel-Gross の接続が、[HNY] に現れる同じ $D$-加群のヘッケ固有値であることを示し、それによって両者の構成が同値であることを証明すること。

提案手法

• Frenkel-Gross の接続 $\mathcal{E}$ が操作形をもつことが示され、これにより Beilinson-Drinfeld の量子化枠組みへの適用が可能になった。
• Beilinson-Drinfeld の道具立てを用いて、モジュライスタック $\operatorname{Bun}_{\mathcal{G}}$ 上の自己同一的 $D$-加群が、ヘッケ固有値 $\mathcal{E}$ をもって構成された。
• 構成された $D$-加群が、非退化な加法的特徴 $\Psi$ に対して $I(1)/I(2)$ の作用に関して等長的であることが証明され、[HNY] の構造と一致した。
• モジュライ空間上のこのような等長的 $D$-加群の一意性により、Beilinson-Drinfeld の $D$-加群が、Heinloth-Ngô-Yun が構築したものと一致することが示された。
• [HNY] における不規則接続が、彼らの $D$-加群のヘッケ固有値として定義されていることから、それは $\mathcal{E}$ に等しいはずであり、証明が完了した。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{G}_m$ 上に構成された Frenkel-Gross と Heinloth-Ngô-Yun の不規則接続は同型か？
• RQ2 Hitchin の可積分系の Beilinson-Drinfeld 量子化から得られる自己同一的 $D$-加群は、[HNY] で直接構築されたものと一致するか？
• RQ3 Frenkel-Gross の接続は、[HNY] の $D$-加群のヘッケ固有値であると予想されているが、その通りか？
• RQ4 モジュライスタック上の等長的 $D$-加群の一意性を用いて、二つの異なる方法で構築された同一の対象を同定できるか？

主な発見

• Frenkel-Gross が構成した $\mathbb{G}_m$ 上の不規則接続は、Heinloth-Ngô-Yun が構成したものと同型であり、[HNY] の予想 2.14 が確認された。
• Beilinson-Drinfeld の道具立てによって構築された自己同一的 $D$-加群は、特徴 $\Psi$ に対して $I(1)/I(2)$ に関して等長的であり、[HNY] の構造と一致した。
• Beilinson-Drinfeld の量子化から得られる $D$-加群は、その等長性と固有値の性質によって一意に定まるため、[HNY] の $D$-加群と一致するはずである。
• よって、[HNY] の $D$-加群のヘッケ固有値は、結局のところ Frenkel-Gross の接続であることが示され、両者の構成が同一の対象をもたらすことが証明された。