[论文解读] Equivariant analogues of Zuckerman functors

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

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

一句话总结

本文在Beilinson-Ginzburg的Harish-Chandra模的等变导出范畴框架下，引入了Zuckerman函子的等变类比。它为这些函子提供了统一的显式公式，适用于具有固定无穷小特征的模，从而可通过Beilinson-Bernstein理论实现局部化。关键结果表明，通过取等变构造的上同调，可恢复经典导出Zuckerman函子，建立了同调表示理论与几何局部化之间的桥梁。

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.

研究动机与目标

• 将Zuckerman函子推广到使用Harish-Chandra模的导出范畴的等变设定中。
• 为适用于具有固定无穷小特征的模的等变Zuckerman函子构造一个统一适用的显式公式。
• 通过确保与无穷小特征条件的相容性，使Beilinson-Bernstein局部化理论能够应用于该构造。
• 表明经典导出Zuckerman函子作为等变构造的上同调被恢复。
• 通过等变导出范畴统一同调表示理论与几何方法。

提出的方法

• 本文使用Beilinson-Ginzburg关于Harish-Chandra模的等变导出范畴理论。
• 通过$(\mathfrak{g},K)$-模的导出范畴中的导出右伴随，定义等变Zuckerman函子。
• 该构造依赖于平凡$(\mathfrak{k},T)$-模$\mathbb{C}$的投射化解析，即$N(\mathfrak{k}) \otimes_{N(\mathfrak{t})} \mathbb{C}$，并证明其为K-投射。
• 等变函子$\Gamma^{eq}_{K,T}$被定义为$(\mathfrak{k},T,N(\mathfrak{t}))$-模范畴中的导出Hom。
• 该构造与从$\Cal{M}(\mathfrak{g},K)$到$\Cal{M}(\mathfrak{g},T)$的遗忘函子相容，保持了Harish-Chandra模的结构。
• 等变函子的上同调通过$H^p(\Gamma^{eq}_{K,T}(Q(D(V)))) = \operatorname{Ext}^p_{(\mathfrak{k},T)}(\mathbb{C}, R(K,V))$与经典Ext群相关联。

实验结果

研究问题

• RQ1 如何在Harish-Chandra模的导出范畴中，将Zuckerman函子推广到等变设定？
• RQ2 何种显式公式可确保与具有固定无穷小特征的模的相容性？
• RQ3 等变Zuckerman函子与经典导出Zuckerman函子之间有何关系？
• RQ4 Beilinson-Bernstein局部化理论能否应用于等变构造？
• RQ5 等变与经典Zuckerman函子之间的上同调关系为何？

主要发现

• 等变Zuckerman函子$\Gamma^{eq}_{K,T}$通过等变导出范畴中的导出右伴随定义，为具有固定无穷小特征的模提供了统一的构造。
• 该构造与Beilinson-Bernstein局部化相容，因为显式公式在固定无穷小特征下保持统一适用。
• 等变Zuckerman函子的上同调计算$\operatorname{Ext}^p_{(\mathfrak{k},T)}(\mathbb{C}, R(K,V))$，从而恢复了经典导出Zuckerman函子。
• $N(\mathfrak{k}) \otimes_{N(\mathfrak{t})} \mathbb{C}$的解析被证明是平凡$(\mathfrak{k},T)$-模$\mathbb{C}$的K-投射解析，确保了导出构造的有效性。
• 经典Zuckerman函子作为等变构造的上同调被恢复，建立了两个框架之间的精确联系。
• 该结果在$T$为半单且$\Cal{A}$关于$\Cal{U}(\mathfrak{k})$平坦的假设下成立，此条件在标准情形（如$\Cal{A} = \Cal{U}(\mathfrak{g})$）下满足。