[论文解读] Semi-infinite highest weight categories

Jonathan Brundan, Catharina Stroppel|arXiv (Cornell University)|Aug 24, 2018

Advanced Algebra and Logic参考文献 86被引用 12

一句话总结

本文引入并公理化了半无限高权范畴——具体而言是上有限与下有限变体——将经典高权范畴理论扩展至非局部阿廷ian的设定。通过半无限Ringel对偶性，建立了这些范畴之间的对偶性，并提供了代数刻画：每个上有限高权范畴都同构于某个上有限基于拟遗传代数的局部有限维模范畴。

ABSTRACT

We develop axiomatics of highest weight categories and quasi-hereditary algebras in order to incorporate two semi-infinite situations which are in Ringel duality with each other; the underlying posets are either upper finite or lower finite. We also consider various more general sorts of stratified categories. In the upper finite cases, we give an alternative characterization of these categories in terms of based quasi-hereditary algebras and based stratified algebras, which are certain locally unital algebras possessing triangular bases.

研究动机与目标

• 为半无限设定中的高权范畴构建一个公理化框架，其中偏序集要么是上有限，要么是下有限，将经典理论扩展至非局部阿廷ian情形。
• 将拟遗传代数与分层代数推广至包含具有三角基的局部单位代数的情形，以处理非有限维的例子。
• 通过半无限Ringel对偶性建立上有限与下有限高权范畴之间的对偶性，避免对Z-分次或拟紧致性等假设的依赖。
• 将上有限高权范畴代数化刻画为上有限基于拟遗传代数上的模范畴。
• 在ε-分层范畴的统一框架下，整合并推广现有概念，如对象自适应的细胞范畴与类型ε的分层代数。

提出的方法

• 引入ε-分层范畴作为一般框架，将类型ε的分层代数概念推广至阿贝尔范畴。
• 通过标准与余标准对象指标集的偏序集有限性条件，定义上有限与下有限高权范畴。
• 利用有限维余模（下有限）与局部有限维模（上有限）构造半无限Ringel对偶性，避免对Z-分次的假设。
• 使用[AST]中的构造方法，为tilting对象的自同态代数构造三角基，证明其可产生对象自适应的细胞基。
• 将上有限高权范畴刻画为与某个上有限基于拟遗传代数的局部有限维模范畴同构。
• 将理论应用于表示论中的例子，包括半单群与李超代数（如osp_{m|2n}与q_n(C)）的表示范畴。

实验结果

研究问题

• RQ1 经典高权范畴理论如何被推广至非局部阿廷ian设定，特别是当标准对象的偏序集既非上有限也非下有限时？
• RQ2 在半无限设定中，Ringel对偶性的正确表述是什么？如何在不依赖Z-分次或拟紧致性的情况下建立它？
• RQ3 上有限高权范畴能否通过一类具有三角基的局部单位代数被代数化刻画？
• RQ4 在半无限对偶性背景下，基于拟遗传代数与对象自适应细胞范畴的概念之间有何关联？
• RQ5 现有例子（如李超代数的O-范畴或半单群的表示）在多大程度上能被纳入这一新的公理化框架？

主要发现

• 上有限高权范畴同构于某个上有限基于拟遗传代数的局部有限维模范畴，提供了完整的代数刻画。
• 半无限Ringel对偶性在下有限与上有限高权范畴之间建立了对偶性，将经典Ringel对偶性推广至非局部阿廷ian设定。
• ε-分层范畴理论统一了高权范畴的各种推广，包括类型ε的分层代数与对象自适应细胞范畴。
• 通过[AST]方法构造tilting对象自同态代数的基，可得到对象自适应的细胞基，证实了Elias等人早期工作中隐含的猜想。
• 该框架避免了Z-分次或拟紧致性等限制性假设，使其适用于重要例子，如半单群G的非半单Rep(G)。
• 李超代数中的例子，包括osp_{3|2}(C)与q_n(C)，自然地融入新框架，其中q_n(C)的整数块被识别为纤维化高权范畴。