[論文レビュー] Geometric Bernstein Asymptotics and the Drinfeld-Lafforgue-Vinberg degeneration for arbitrary reductive groups

Simon Schieder|arXiv (Cornell University)|Jul 3, 2016

Advanced Algebra and Geometry参考文献 28被引用数 7

ひとこと要約

本稿は、再帰的群 $G$ のヴィンバーグ半群を用いて、曲線上の $G$-バンドルのモジュライスタック $Δ\text{Bun}_G$ の標準的で多次元パラメータを持つ退化 $Δ\text{VinBun}_G$ を導入する。局所モデルを構成し、それらがファミリーに沿って因数分解することを示し、この退化の近くのサイクルが、層-関数対応の下でバーナインの漸近写像に対応することを証明する。これはサケラリディスの予想を確認し、以前の $\mathrm{SL}_2$ の結果を任意の再帰的群へ拡張する。

ABSTRACT

We define and study the Drinfeld-Lafforgue-Vinberg compactification of the moduli stack of G-bundles Bun_G for an arbitrary reductive group G; its definition is given in terms of the Vinberg semigroup of G, and is due to Drinfeld (unpublished). Throughout the article we prefer to view the compactification as a canonical multi-parameter degeneration of Bun_G which we call the Drinfeld-Lafforgue-Vinberg degeneration VinBun_G. We construct local models for the degeneration VinBun_G which "factorize in families" and use them to study its singularities, generalizing results of the article [Sch1] which was confined with the case G = SL_2. The multi-parameter degeneration VinBun_G gives rise to, for each parabolic of G, a corresponding nearby cycles functor. Our main theorem expresses the stalks of these nearby cycles in terms of the cohomology of the parabolic Zastava spaces. From this description we deduce that the nearby cycles of VinBun_G correspond, under the sheaf-function correspondence, to Bernstein's asymptotics map on the level of functions. This had been speculated by Bezrukavnikov-Kazhdan [BK] and Chen-Yom Din [CY] and conjectured in a precise form by Sakellaridis [Sak2].

研究の動機と目的

• 再帰的群 $G$ に対して、ヴィンバーグ半群を用いて、$\mathrm{Bun}_G$ の標準的で多次元パラメータを持つ退化 $\mathrm{VinBun}_G$ を定義・研究すること。
• ファミリーに沿って因数分解する局所モデルを構成し、それらを用いて退化の特異点を解析すること。
• 各パラボリック $P$ に対し、近くのサイクル関手 $\Psi_P$ が、層-関数対応の下で関数上のバーナインの漸近写像に対応することを証明すること。
• 以前の $\mathrm{SL}_2$ に関する結果を任意の再帰的群へ一般化し、幾何的ラングランズプログラムの文脈でバーナインの漸近写像の幾何的実現を確立すること。

提案手法

• 退化 $\mathrm{VinBun}_G$ は、$G$ のヴィンバーグ半群を用いて定義され、$\mathrm{Bun}_G$ の標準的コンパクト化 ${\overline{\mathrm{Bun}}}_G$ を与える。
• 局所モデルは、ヴィンバーグ半群の開部分集合を用いたGIT商として構成され、パラボリックに分類され、因数分解性を持つ。
• 近くのサイクル $\Psi_P$ は、これらの局所モデルを用いて解析され、それらがパラボリック・ザスタヴァ空間に沿ってファイバーするこが示される。
• 層-関数対応が適用され、$\Psi_P$ に対応する関数がバーナインの漸近写像と一致することが示される。
• 正のコワイトの重みに関するコスタント分割を用いて、$\Psi_P$ のスターファイバーをグロチェンディーク群内で計算し、$q$-変形とオイラー特性を含む明示的公式を得る。
• 証明は、近くのサイクルの因数分解と、$\overline{\mathbb{Q}}_\ell$-層の導来圏におけるユニポテンツ不変性の技法に依拠する。

実験結果

リサーチクエスチョン

• RQ1 任意の再帰的群 $G$ に対して、ドリンフェルト＝ラフォルジュ＝ヴィンバーグ退化 $\mathrm{VinBun}_G$ を体系的に定義・研究する方法は何か？
• RQ2 各パラボリック $P$ に対応する近くのサイクル $\Psi_P$ の幾何的構造は何か？
• RQ3 $\Psi_P$ のスターファイバーは、パラボリック・ザスタヴァ空間のコホモロジーとどのように関係するか？
• RQ4 層-関数対応が、サケラリディスの予想に従って、近くのサイクル $\Psi_P$ を関数上のバーナインの漸近写像に写すか？
• RQ5 バーナインの漸近公式は、幾何的ラングランズプログラムの文脈で、ザスタヴァ空間のコホモロジーを通じて幾何的に実現可能か？

主な発見

• 各パラボリック $P$ に対する近くのサイクル $\Psi_P$ は、対応するパラボリック・ザスタヴァ空間のコホモロジーと同型であり、グロチェンディーク群内に明示的公式が得られる。
• 主な近くのサイクル $\Psi^{\mathrm{princ}}$ に対応する関数は、$\sum_{{\mathcal{K}} \in \mathrm{Kostant}(\check{\theta})} (1-q)^{|R_{{\mathcal{K}}}|} q^{-|{\mathcal{K}}|} q^{\langle \rho, \check{\theta} \rangle} \mathbbold{1}_{\check{\theta}}$ として計算され、バーナインの漸近写像と一致する。
• 因数分解とユニポテンツ不変性を用いて漸近写像の公式が導かれ、サケラリディスの予想が正確に確認される。
• 局所モデルは、厳密な $P$-領域およびブルハット領域のGIT商として構成され、ファミリーに沿って因数分解する。
• 定数層の $*$-拡張のスターファイバーは、同じザスタヴァ空間のコホモロジーを用いて計算され、幾何的ラングランズプログラムへの応用が得られる。
• $G = \mathrm{SL}_2$ の場合の以前の結果が、任意の再帰的群へ一般化され、幾何的漸近の均一な枠組みが確立される。