[论文解读] From forced gradings to Q-Koszul algebras

Brian Parshall, Leonard L. Scott|arXiv (Cornell University)|Feb 24, 2015

Algebraic structures and combinatorial models参考文献 24被引用 3

一句话总结

本文引入了 Q-Koszul 代数这一新的分次代数类，其来源于在正特征下半单代数群 G 的分布代数 Dist(G) 的商代数上的强制分次。通过利用理想滤链构造一个正分次代数，作者证明了其对应的分次代数为标准 Q-Koszul 代数，从而通过 Kazhdan-Lusztig 理论建立了量子群上同调与代数群 Ext 群之间的联系，尤其针对小素数和奇异权的情形。

ABSTRACT

This paper has two parts. The main goal, carried out in Part I, is to survey some recent work by the authors in which "forced" grading constructions have played a significant role in the representation theory of semisimple algebraic groups $G$ in positive characteristic. The constructions begin with natural finite dimensional quotients of the distribution algebras Dist$(G)$, but then "force" gradings into the picture by passing to positively graded algebras constructed from ideal filtrations of these quotients. This process first guaranteed a place for itself by proving, for large primes, that all Weyl modules have $p$-Weyl filtrations. Later it led, under similar circumstances, to a new "good filtration" result for restricted Lie algebra Ext groups between restricted irreducible $G$-modules. In the process of proving these results, a new kind of graded algebra was invented, called a Q-Koszul algebra. Recent conjectures suggest these algebras arise in forced grading constructions as above, from quotients of Dist$(G)$, even for small primes and even in settings possibly involving singular weights. Related conjectures suggest a promising future for using Kazhdan-Lusztig theory to relate quantum and algebraic group cohomology and Ext groups in these same small prime and possibly singular weight settings. A part of one of these conjectures is proved in Part II of this paper. The proof is introduced by remarks of general interest on positively graded algebras and Morita equivalence, followed by a discussion of recent Koszulity results of Shan-Varagnalo-Vasserot, observing some extensions. Version 2 corrects some minor typos and inaccurate references. The paper will appear in PSPUM.

研究动机与目标

• 为研究正特征下代数群 G 的表示理论与上同调理论，特别是小素数和奇异权的情形，建立一个框架。
• 通过 Dist(G) 的有限维商代数的理想滤链引入“强制分次”，以弥补模表示理论中天然正分次的缺失。
• 定义并研究一类新的代数——Q-Koszul 代数与标准 Q-Koszul 代数，其位于拟旗伦代数与 Koszul 代数之间。
• 利用分次结构与 Kazhdan-Lusztig 多项式，建立量子群 Ext 群与代数群 Ext 群之间的联系。
• 证明 Q-Koszul 性质在 Morita 等价下保持不变，并将 Shan-Varagnolo-Vasserot 的近期 Koszul 性结果推广至非 A 型量子群。

提出的方法

• 通过理想滤链从 Dist(G) 的有限维商代数 A 构造一个正分次代数 gr̃A，从而在原本无自然分次的位置‘强制’引入分次。
• 将 Q-Koszul 代数定义为 Koszul 代数的推广，其在拟旗伦代数与 Koszul 结构之间插值，特别关注分次设定下的 Ext 同构。
• 利用 Morita 等价证明 Q-Koszul 性质在范畴等价下不变，从而实现导出范畴间性质的传递。
• 借助 Shan-Varagnolo-Vasserot 的抛物-奇异对偶理论，将 A 型的 Koszul 性结果扩展至其他量子群，需满足特定限制条件。
• 在分次设定下应用基变换技术，将量子群与代数群 Ext 群的猜想约化为涉及对应分次代数的同构问题。
• 利用 Kazhdan-Lusztig 多项式，为量子群上同调中的 Ext 维数提出显式公式猜想，并在 p > h 的 p-正则情形下予以验证。

实验结果

研究问题

• RQ1 在 Dist(G) 的商代数上强制分次是否能产生具有 Q-Koszul 结构的代数，即使在小素数和奇异权的情形下？
• RQ2 gr̃A 的 Q-Koszul 性质在多大程度上能推出量子群与代数群设定下 Ext 群的同构？
• RQ3 Q-Koszul 性质在 Morita 等价下如何表现？这对表示理论中的导出等价性有何含义？
• RQ4 能否利用抛物-奇异对偶理论证明非 A 型情形下 q-Schur 代数的 Koszul 性？
• RQ5 在何种条件下，代数 A 本身可赋予正分次，使得 A ≅ gr̃A？这对 Ext 群计算有何影响？

主要发现

• Q-Koszul 性质在 Morita 等价下保持不变，该结果在第 5 节中证明，是跨等价范畴传递性质的基础。
• 量子群代数 B = U_ζ,Γ 的对应分次代数 gr̃B 是标准 Koszul 代数，如定理 7.2 所示。
• 对于 p-正则权且 p ≥ 2h−2 为奇素数的情形，A 与 gr̃A 之间 Ext 群联系的猜想成立，由定理 3.4 证明。
• 当 p > h 且 Lusztig 字符公式成立时，p-正则权下 Ext 同构的猜想已得证，扩展了 [CPS09] 的先前结果。
• 量子群设定下的 Ext 群维数与分次代数设定下的维数一致，且在基域变换至 ℂ 时仍保持不变。
• 当猜想 4.6 成立时，猜想 7.3 可约化为已知结果，且证明过程关键依赖于 Q-Koszul 性质在分次范畴中实现清晰的基变换。