[論文レビュー] On Singular Localization of $\mathfrak{g}$-modules

Erik Backelin, Kobi Kremnizer|arXiv (Cornell University)|Nov 3, 2010

Algebraic structures and combinatorial models参考文献 11被引用数 3

ひとこと要約

本稿は、複素単純リー代数における特異局在定理を確立し、放物型フラッグ多様体とねじれ微分作用素を用いて、Beilinson-Bernstein局在理論を特異的中心的特徴に拡張する。主な結果は、カテゴリ $\mathcal{O}$ の特異的ブロックと、放物型フラッグ多様体上の特定の $\omega$-不変 $\omega$-加群のあいだのアーベル圏の同値性であり、これにより特異的中心的特徴における移動関手とホイットカー加群の新しい幾何的解釈が可能になる。

ABSTRACT

We prove a singular version of Beilinson-Bernstein localization for a complex semi-simple Lie algebra following ideas from the positive characteristic case done by \cite{BMR2}. We apply this theory to translation functors, singular blocks in the Bernstein-Gelfand-Gelfand category $\BGGcat$ and Whittaker modules.

研究の動機と目的

• 特異的中心的特徴における特異的バージョンの Beilinson-Bernstein 局在理論を、Bezrukavnikov, Mirković, Rumynin が正の特徴で構築したものに類似させる形で、特徴 0 で開発すること。
• 放物型フラッグ多様体上の $\omega$-加群を用いて、カテゴリ $\mathcal{O}$ の特異的ブロックの幾何的構造を明確にすること。
• 特異的局在理論を、移動関手、カテゴリ $\mathcal{O}$ の特異的ブロック、ホイットカー加群に適用すること。
• 量子群の類似と導来表現理論における奇妙な t-構造のための、圏論的および幾何的基盤を構築すること。

提案手法

• 放物型フラッグ多様体 $\pi = G/P$ 上に、$\lambda$-ねじれ微分作用素の層 ${\omega}^{\lambda}_{\pi}$ を構成する。ここで $P$ は $\lambda$ の特異的根に対応する。
• $\omega$-加群の層 ${\omega}^{\lambda}_{\pi}$ を、$R$ を $P$ の冪零部分とし、$L$ を $P$ のレヴィ因子とするとき、$\pi_*\omega_{G/R}$ の $L$-不変部分として定義する。
• 関連層の層の層のグレーディングに移行し、放物型スプリンガー解体を用いて、${\omega}^{\lambda}_{\pi}$ の全体切断が $\mathcal{O}^{\lambda} = \mathcal{O} / (I_{\lambda})$ に同型であることを証明する。
• adjoint 関手を用い、$\omega$-重みによる分解を用いて、$\pi$ 上の $\omega$-加群の圏とカテゴリ $\mathcal{O}$ の特異的ブロック $\mathcal{O}^{\lambda}_{\lambda}$ のあいだのアーベル圏同値性を確立する。
• 移動関手への応用として、それらが特異的ブロックを通じて因数分解されることを示し、通常の局在化と比較して構成を簡略化する。
• 同値性を放物型カテゴリ $\mathcal{O}^{\rho}$ に拡張し、${\mathcal{O}}^{\rho}_{\widehat{\lambda}} \cong \mathcal{N}^{\rho}_f$ を証明する。ここで $\mathcal{N}^{\rho}_f$ は $I_{\mathfrak{l},\lambda}$-作用を持つ $\omega$-不変 $\omega$-加群の圏である。

実験結果

リサーチクエスチョン

• RQ1 特徴 0 における Beilinson-Bernstein 局在理論の特異的バージョンを、BMR06 が正の特徴で構築したものに類似させる形で定式化できるか？
• RQ2 カテゴリ $\mathcal{O}$ の移動関手は、幾何的局在を通じて特異的ブロックとどのように関係するか？
• RQ3 放物型フラッグ多様体上の $\omega$-加群の観点から、カテゴリ $\mathcal{O}$ の特異的ブロックの正確な幾何的構造は何か？
• RQ4 特異的局在理論は、量子群表現理論における奇妙な t-構造の構成をどのように促進するか？
• RQ5 放物型カテゴリ $\mathcal{O}^{\rho}$ と $G/Q$ 上の $\omega$-不変 $\omega$-加群の圏との間の関係は何か？

主な発見

• 本稿は、同値性 ${\mathcal{O}}^{\rho}_{\widehat{\lambda}} \cong \mathcal{N}^{\rho}_f$ を確立し、放物型カテゴリ $\mathcal{O}^{\rho}$ の特異的ブロックと $G/Q$ 上の $\omega$-不変 $\omega$-加群を結びつける。
• 放物型フラッグ多様体 $\pi = G/P$ 上の層 ${\omega}^{\lambda}_{\pi}$ の全体切断は $\mathcal{O}^{\lambda}$ に同型であり、これは通常のケースを一般化する。
• 正則ブロック間の移動関手は特異的ブロックを通じて因数分解され、この因数分解は特異的局在構成によって幾何的に実現される。
• 同値性は導来レベルでのみ成り立つ正の特徴とは異なり、アーベル圏レベルで確立される。
• 理論はホイットカー加群とカテゴリ $\mathcal{O}$ の特異的ブロックとの関係を、$\omega$-加群の解釈を通じて幾何的フレームワークとして提供する。
• 構成は等変圏論的言語で定式化されており、将来の量子群や奇妙な t-構造への応用が可能になる。