[论文解读] An algebraic study of extension algebras

Syu Kato|arXiv (Cornell University)|Jul 19, 2012

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

一句话总结

本文引入了几何条件 $(lat)$，确保由代数群作用在代数簇上所导出的几何扩展代数表现出类似广义赫雷迪特代数的性质，从而保证关键的表示论性质，如有限整体维数、Brauer-Humphreys 对偶性以及半正交性。在这些条件下，证明了 IC 层的纯性，从而确立了关于类型 B 的极限符号的 Shoji 猜想以及奇异 Springer 纤维的纯性。

ABSTRACT

We present simple conditions which guarantee a geometric convolution algebra to behave like a variant of the quasi-hereditary algebra. In particular, standard modules of the affine Hecke algebras of type $\mathsf{BC}$, and the quiver Schur algebras are shown to satisfy the Brauer-Humphreys type reciprocity and the semi-orthogonality property. In addition, we present a new criterion of purity of weights in the geometric side. This yields a proof of Shoji's conjecture on limit symbols of type $\mathsf{B}$ [Shoji, Adv. Stud. Pure Math. 40 (2004)], and the purity of the exotic Springer fibers [K, Duke Math. 148 (2009)]. Using this, we describe the leading terms of the $C^{\infty}$-realization of a solution of the Lieb-McGuire system in the appendix. In [K, arXiv:1203.5254], we apply the results of this paper to the KLR algebras of type $\mathsf{ADE}$ to establish Kashwara's problem and Lusztig's conjecture.

研究动机与目标

• 识别几何扩展代数在标准判据不成立时，仍表现出类似广义赫雷迪特代数行为的几何条件。
• 为类型 BC 的仿射 Hecke 代数与 quiver Schur 代数的标准模建立 Brauer-Humphreys 对偶性与半正交性。
• 为表示理论几何侧的权重纯性提供一个新判据。
• 利用该判据证明关于类型 B 的极限符号的 Shoji 猜想，以及奇异 Springer 纤维的纯性。
• 为后续关于 ADE 型 KLR 代数的工作奠定基础，以证明 Kashiwara 问题与 Lusztig 猜想。

提出的方法

• 引入两个关键几何条件：$(lat)_1$（代数 $A_{(G,rak{X})}$ 的零权纯性）与 $(lat)_2$（IC 层的逐点纯性）。
• 证明 $(lat)_2$ 可由两个辅助条件推出：IC 稳态的奇偶性消失性与等变上同调映射核的非包含性。
• 将几何扩展代数 $A = A_{(G,rak{X})}$ 定义为扭曲 IC 层之间等变 Ext-群的直和。
• 利用分次投射分解与权重滤过结构，分析分次 $A$-模的范畴。
• 通过等变上同调映射 $\psi_\lambda$ 的挠自由性与中心作用相容性论证，在纯性失效时导出矛盾。
• 利用条件在局部闭子集上的稳定性，将结果推广至中间簇。

实验结果

研究问题

• RQ1 在何种几何条件下，几何扩展代数即使在标准判据不成立时，仍表现出类似广义赫雷迪特代数的行为？
• RQ2 IC 层的纯性能否由内在的几何与上同调条件保证？
• RQ3 所提出的判据是否蕴含关键代数（如类型 BC 的仿射 Hecke 代数与 quiver Schur 代数）中标准模的 Brauer-Humphreys 对偶性与半正交性？
• RQ4 能否利用此新纯性判据证明关于类型 B 的极限符号的 Shoji 猜想？
• RQ5 奇异 Springer 纤维在几何意义上是否纯？能否从同一框架中推导出此结论？

主要发现

• 代数 $A_{(G,rak{X})}$ 具有有限整体维数，这是 quiver Schur 代数与 KLR 代数的新结果。
• 类型 BC 的仿射 Hecke 代数与 quiver Schur 代数的标准模满足 Brauer-Humphreys 对偶性与半正交性。
• IC 层的纯性在以下条件下得以保证：(1) 稳态的奇偶性消失性，以及 (2) 对 $\mu \prec \lambda$，有 $\ker \psi_\lambda \subset \ker \psi_\mu$ 的非包含性。
• 通过新纯性判据，证明了关于类型 B 的极限符号的 Shoji 猜想。
• 奇异 Springer 纤维的纯性作为同一判据的推论得以确立。
• 若任一 $\mathsf{IC}_\lambda$ 不满足逐点纯性，则可导出矛盾：$\ker \psi_\lambda \subset \ker \psi_\gamma$ 违反了核的非包含性条件。