[论文解读] Representation theory of geometric extension algebras

Peter J. McNamara|arXiv (Cornell University)|Jan 27, 2017

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

一句话总结

该论文为多项式准赫伯特代数建立了一个几何准则：几何扩张代数是多项式准赫伯特代数，当且仅当其底层面的态射是偶数的。关键结果将代数性质‘多项式准赫伯特性’与几何条件‘偶性’联系起来，从而通过奇偶性层和反射函子为 quiver Hecke 代数提供了一种新方法，以范畴化量子群的 braid 群作用。

ABSTRACT

We study the question of when geometric extension algebras are polynomial quasihereditary. Our main theorem is that under certain assumptions, a geometric extension algebra is polynomial quasihereditary if and only if it arises from an even resolution. We give an application to the construction of reflection functors for quiver Hecke algebras.

研究动机与目标

• 确定几何扩张代数在模表示理论背景下的多项式准赫伯特性成立的条件。
• 用新的几何条件——‘偶性’——取代先前工作中基于纯度的论证，以在任意域上推广结果。
• 将主定理应用于有限 ADE 型 quiver Hecke 代数，证明其为多项式准赫伯特代数，从而具有最高权结构。
• 利用奇偶性层构造 quiver Hecke 代数的反射函子，范畴化量子群的 braid 群作用。
• 在相关代数的 Grothendieck 群与量子群的 braid 群作用之间建立去范畴化同构。

提出的方法

• 将几何扩张代数定义为 $ A(X,f) = \operatorname{Hom}_{D^b_G(X)}^\bullet(f_*\underline{k}_Y, f_*\underline{k}_Y) $，其中 $ f: Y \to X $ 是一个适当的 $ G $-等变态射，且 $ Y $ 是光滑的。
• 引入‘偶态射’的概念——对 $ f $ 的几何条件，确保纤维的上同调集中在偶数度上。
• 证明若 $ f $ 是偶数态射且满足某些技术条件，则 $ A(X,f) $ 是多项式准赫伯特代数（定理 4.7）。
• 建立逆命题：若 $ A(X,f) $ 的上同调集中在偶数度且为多项式准赫伯特代数，则 $ f $ 必为偶数态射（定理 5.2）。
• 将主结果应用于 quiver Hecke 代数，通过证明其扩张代数为多项式准赫伯特代数，从而说明其具有最高权结构。
• 利用奇偶性层与 Verdier 对偶性构造不同 Weyl 群反射对应的代数之间的 Morita 等价，从而得到反射函子。

实验结果

研究问题

• RQ1 在何种几何条件下，几何扩张代数是多项式准赫伯特代数？
• RQ2 ‘偶性’这一态射概念能否取代在任意域上研究扩张代数时的纯度论证？
• RQ3 quiver Hecke 代数的扩张代数的多项式准赫伯特性是否意味着其底层面态射为偶数？
• RQ4 能否通过奇偶性层与 Morita 等价几何地构造 quiver Hecke 代数的反射函子？
• RQ5 模范畴上的诱导等价是否去范畴化为量子群上的标准 braid 群作用？

主要发现

• 在条件 $ (\spadesuit)_1 $、$ (\spadesuit)_2 $ 和 $ (\heartsuit) $ 下，几何扩张代数 $ A(X,f) $ 是多项式准赫伯特代数当且仅当态射 $ f $ 是偶数的。
• 逆命题成立：若 $ A(X,f) $ 的上同调集中在偶数度且为多项式准赫伯特代数，则 $ f $ 必为偶数态射。
• 有限型 quiver Hecke 代数是多项式准赫伯特代数，如定理 6.11 所示，且给出了完整证明。
• 有限 ADE 型 quiver Hecke 代数所关联的态射是偶数的，此结果由其扩张代数的多项式准赫伯特性推导得出。
• 在代数 $ A(U_i(\nu),f) $ 与 $ A({_i}U(s_i\nu),f) $ 之间构造了几何 Morita 等价，从而导出一个范畴化反射函子。
• 在 Grothendieck 群上诱导的等价去范畴化为量子群正部分 $ \mathbf{f} $ 上的标准 braid 群作用 $ T_i $，与 PBW 基一致。