[論文レビュー] Equivariant analogues of Zuckerman functors

Pavle Pandžić|ArXiv.org|Jan 11, 2004

Algebraic structures and combinatorial models参考文献 16被引用数 6

ひとこと要約

この論文は、ハリシュ・チャンドラ加群のベイリノン＝ジンツブルクの等変導来カテゴリの枠組みにおいて、ズッカーマン関手の等変版を導入する。固定された無限小的特徴を持つモジュールに対して一様に働く明示的な公式を提供し、ベイリノン＝バーナイン理論による局在化を可能にする。主な結果は、古典的導来ズッカーマン関手が等変構成のコホモロジーとして回復されることを示しており、ホモロジカル表現論と幾何的局在化の間の橋渡しを果たす。

ABSTRACT

We review the Beilinson-Ginzburg construction of equivariant derived categories of Harish-Chandra modules, and introduce analogues of Zuckerman functors in this setting. They are given by an explicit formula, which works equally well in the case of modules with a given infinitesimal character, which is important if one wants to apply Beilinson-Bernstein localization. We also show how to recover the usual Zuckerman functors from the equivariant ones by passing to cohomology.

研究の動機と目的

• ズッカーマン関手をハリシュ・チャンドラ加群の導来カテゴリを用いて等変設定に拡張すること。
• 固定された無限小的特徴を持つモジュールに一様に適用可能な等変ズッカーマン関手の明示的公式を構成すること。
• 無限小的特徴の条件と整合性を持つことで、ベイリノン＝バーナイン局在化理論の適用を可能にすること。
• 古典的導来ズッカーマン関手が等変構成のコホモロジーとして得られることを示すこと。
• 等変導来カテゴリを通じてホモロジカル表現論と幾何的手法を統合すること。

提案手法

• 論文は、ハリシュ・チャンドラ加群のためのベイリノン＝ジンツブルクの等変導来カテゴリ理論を用いる。
• 等変ズッカーマン関手は、$(\mathfrak{g},K)$-加群の導来カテゴリにおける導来右随伴を通じて定義される。
• 構成は、$\mathbb{C}$ を $N(\mathfrak{k}) \otimes_{N(\mathfrak{t})} \mathbb{C}$ を用いた $\mathfrak{k}$-代数的 $T$-モジュールの射影的分解に依存し、これが $K$-射影的であることが示される。
• 等変関手 $\Gamma^{eq}_{K,T}$ は、$(\mathfrak{k},T,N(\mathfrak{t}))$-モジュールのカテゴリにおける導来ホムとして定義される。
• この構成は、$\Cal{M}(\mathfrak{g},K)$ から $\Cal{M}(\mathfrak{g},T)$ への忘却関手と整合的であり、ハリシュ・チャンドラ加群の構造を保存する。
• 等変関手のコホモロジーは、$H^p(\Gamma^{eq}_{K,T}(Q(D(V)))) = \operatorname{Ext}^p_{(\mathfrak{k},T)}(\mathbb{C}, R(K,V))$ を通じて古典的Ext群と関係づけられる。

実験結果

リサーチクエスチョン

• RQ1 導来カテゴリにおけるハリシュ・チャンドラ加群の枠組みの中で、ズッカーマン関手をどのように等変設定に一般化できるか？
• RQ2 固定された無限小的特徴を持つモジュールと整合する明示的公式は何か？
• RQ3 等変ズッカーマン関手は古典的導来ズッカーマン関手とどのように関係するか？
• RQ4 等変構成にベイリノン＝バーナイン局在化理論を適用できるか？
• RQ5 等変ズッカーマン関手と古典的ズッカーマン関手のコホモロジカル関係は何か？

主な発見

• 等変ズッカーマン関手 $\Gamma^{eq}_{K,T}$ は、等変導来カテゴリにおける導来右随伴を通じて定義され、固定された無限小的特徴を持つモジュールに対して一様な構成を提供する。
• 明示的公式が固定された無限小的特徴の下で一様に機能するため、この構成はベイリノン＝バーナイン局在化と整合的である。
• 等変ズッカーマン関手のコホモロジーは $\operatorname{Ext}^p_{(\mathfrak{k},T)}(\mathbb{C}, R(K,V))$ を計算し、これにより古典的導来ズッカーマン関手が回復される。
• $N(\mathfrak{k}) \otimes_{N(\mathfrak{t})} \mathbb{C}$ の分解が、自明な $(\mathfrak{k},T)$-モジュール $\mathbb{C}$ の $K$-射影的分解であることが示され、導来構成の正当性が保証される。
• 古典的ズッカーマン関手は、等変構成のコホモロジーとして回復され、両者の枠組みの間の明確な接続が確立される。
• この結果は、$T$ が再帰的であり、$\Cal{A}$ が $\Cal{U}(\mathfrak{k})$ 上に平坦であるという仮定の下で成り立つ。これは $\Cal{A} = \Cal{U}(\mathfrak{g})$ のような標準的な場合に満たされる。