[论文解读] New graded methods in the homological algebra of semisimple algebraic groups

Brian Parshall, Leonard L. Scott|arXiv (Cornell University)|Apr 4, 2013

Algebraic structures and combinatorial models参考文献 22被引用 8

一句话总结

本文在正特征的半单代数群表示理论中引入了新的分级同调方法，通过强制分级技术证明：当卢茨蒂格特征公式成立且 $p \geq 2h-2$ 为奇数时，第一弗罗贝尼乌斯核上的 Ext 群具有优良滤子。关键贡献是通过仿射 Weyl 群的 Kazhdan-Lusztig 多项式，给出了这些滤子中对偶 Weyl 模的重数的组合公式。

ABSTRACT

Let $G$ be a semisimple algebraic group over an algebraically closed field $k$ of positive characteristic $p$. Under some restrictions on the size of $p$, the present paper establishes new results on the $G$-module structure of $\Ext^\bullet_{G_1}(V,W)$ when $V,W$ belong to several important classes of rational $G$-modules, and $G_1$ denotes the first Frobenius kernel of $G$. For example, it is proved that, if $L,L'$ are ($p$-regular) irreducible $G_1$-modules, then $\Ext^n_{G_1}(L,L')^{[-1]}$ has a good filtration with computable multiplicities. This and many other results depend on the entirely new technique of using methods of what we call forced gradings in the representation theory of $G$, as developed by the authors in recent papers, and extended here. In addition to providing proofs, these methods lead effectively to a new conceptual framework for the study of rational $G$-modules, and, in this context, to the introduction of a new class of graded finite dimensional algebras, which we call Q-Koszul algebras. These algebras are similar to Koszul algebras, but are quasi-hereditary, rather than semisimple, in grade 0.

研究动机与目标

• 通过强制分级技术，为半单代数群的有理表示建立新的概念框架。
• 研究 $G$-模结构 $\operatorname{Ext}^n_{G_1}(V,W)$，其中 $V,W$ 为有理 $G$-模，特别是当 $V$ 和 $W$ 为不可约或 Weyl 模时。
• 在 $p$ 和卢茨蒂格特征公式满足特定条件时，证明 $\operatorname{Ext}^n_{G_1}(L(\lambda),L(\mu))^{[-1]}$ 具有优良滤子。
• 引入并分析一类新的分次代数——Q-Koszul 代数，其在零次分次为拟序，且推广了 Koszul 代数。
• 在拟序代数背景下，提供一种利用分次结构构建同调解析的递归方法。

提出的方法

• 作者采用先前工作中发展的强制分级技术，并通过表示的分次提升将其扩展至同调代数。
• 他们定义了一类新的分次有限维代数，称为 Q-Koszul 代数，其在零次分次为拟序，并满足类似 Koszul 的对偶性。
• 该方法依赖于分次格罗滕迪克群，以及使用 $\widetilde{\operatorname{gr}}$ 函子将解析从关联分次范畴上提升。
• 关键技术工具是在分次模范畴中构造一个正合序列的交换图，其中竖直映射均为满射，以分析 Ext 群。
• 作者运用整数拟序代数理论，并在该设定下证明了 $\operatorname{Tor}$ 群的消去结果，支持递归解析方法。
• 该方法通过递归应用，逐步构建解析，依赖于存在在子代数 $\mathfrak{a}$ 上限制为投射的投射模。

实验结果

研究问题

• RQ1 在什么条件下，$p$ 为素数且卢茨蒂格特征公式成立时，$\operatorname{Ext}^n_{G_1}(L(\lambda),L(\mu))^{[-1]}$ 具有优良滤子？
• RQ2 能否组合计算 $\operatorname{Ext}^n_{G_1}(L(\lambda),L(\mu))^{[-1]}$ 滤子中对偶 Weyl 模 $\nabla(\gamma)$ 的重数？
• RQ3 强制分级技术如何从模论扩展至同调代数，特别是在有理 $G$-模背景下？
• RQ4 在相同假设下，$\operatorname{Ext}^n_{G_1}(\Delta(\lambda),L(\mu))^{[-1]}$ 和 $\operatorname{Ext}^n_{G_1}(L(\mu),\nabla(\lambda))^{[-1]}$ 的结构如何？
• RQ5 新引入的 Q-Koszul 代数具有哪些性质？它们在模表示理论背景下如何推广经典 Koszul 代数？

主要发现

• 当 $p \geq 2h-2$ 为奇数且卢茨蒂格特征公式成立时，$\operatorname{Ext}^n_{G_1}(L(\lambda),L(\mu))^{[-1]}$ 具有优良滤子，其分量为 $\nabla(\gamma)$，其中 $\gamma$ 为极大权。
• 在 $\operatorname{Ext}^n_{G_1}(L(\lambda),L(\mu))^{[-1]}$ 的滤子中，$\nabla(\gamma)$ 的重数由 $G$ 的仿射 Weyl 群的 Kazhdan-Lusztig 多项式系数给出。
• 在相同假设下，$\operatorname{Ext}^n_{G_1}(\Delta(\lambda),L(\mu))^{[-1]}$ 和 $\operatorname{Ext}^n_{G_1}(L(\mu),\nabla(\lambda))^{[-1]}$ 也具有优良滤子。
• 作者引入 Q-Koszul 代数——在零次分次为拟序且满足类似 Koszul 对偶性的分次代数，推广了经典 Koszul 理论。
• 基于分次结构，发展了一种递归方法用于构建同调解析，依赖于在子代数上限制为投射的投射模。
• 建立了 $\operatorname{Tor}$ 群的消去结果：若 $n=0$ 且 $\lambda=\mu$，则 $\operatorname{Tor}^{{\widetilde{A}}}_n({\widetilde{\Delta}}(\lambda)^\circ, {\widetilde{\Delta}}(\mu)) \cong \mathcal{O}$，否则为 0。