[论文解读] Cores of graded algebras with triangular decomposition

Gwyn Bellamy, Ulrich Thiel|arXiv (Cornell University)|Nov 2, 2017

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

一句话总结

该论文证明了具有三角分解的自内射、有限维、分次代数的零度部分（核心）是可胞的，并通过提升理论构造出其典范的最高权覆盖。通过证明核心编码了所有关键的分次表示数据，作者构建了一个拟Hereditary代数，以捕捉分次特征标的乘法性，从而为研究受限包络代数、量子群及相关代数提供了新框架。

ABSTRACT

We consider self-injective finite-dimensional graded algebras admitting a triangular decomposition. In a preceding paper, we have shown that the graded module category of such an algebra is a highest weight category and has tilting objects in the sense of Ringel. In this paper we focus on the degree zero part of the algebra, the core of the algebra. We show that the core captures essentially all relevant information about the graded representation theory. Using tilting theory, we show that the core is cellular. We then describe a canonical construction of a highest weight cover, in the sense of Rouquier, of this cellular algebra using a finite subquotient of the highest weight category. Thus, beginning with a self-injective graded algebra admitting a triangular decomposition, we canonically construct a quasi-hereditary algebra which encodes key information, such as graded multiplicities, of the original algebra. Our results are general and apply to a wide variety of examples, including restricted enveloping algebras, Lusztig's small quantum groups, hyperalgebras, finite quantum groups, and restricted rational Cherednik algebras. We expect that the cell modules and quasi-hereditary algebras introduced here will provide a new way of understanding these important examples.

研究动机与目标

• 证明具有三角分解的自内射分次代数的核心（零度部分）编码了其分次表示理论的所有关键信息。
• 通过最高权范畴中的提升对象，证明核心代数是可胞的。
• 通过最高权范畴的有限子商构造核心代数的典范最高权覆盖。
• 为计算受限包络代数、量子群等不同代数的分次特征标乘法性，提供统一的框架。
• 通过提升理论中的典范构造，将现有的表示论工具推广至一大类代数。

提出的方法

• 利用分次代数的最高权范畴中的提升对象，在提升对象的自同态代数上诱导出标准数据。
• 利用范畴上的对偶性，在自同态代数上诱导出反自同态，满足可胞代数公理。
• 构造最高权范畴的有限子商，以实现核心代数的拟Hereditary覆盖。
• 应用相对Morita定理，建立商范畴与核心代数模之间的等价关系。
• 利用核心代数同构于提升对象的自同态代数的事实，将范畴中的结构转移到代数上。
• 应用[7]中关于最高权范畴与提升对象的结果，确保范畴中存在足够多的提升对象。

实验结果

研究问题

• RQ1 能否证明具有三角分解的自内射分次代数的核心携带可胞结构？
• RQ2 核心代数是否具有编码分次表示数据的典范最高权覆盖？
• RQ3 核心代数在多大程度上捕捉了原代数的完整分次表示理论？
• RQ4 如何利用提升理论构造核心代数的拟Hereditary覆盖？
• RQ5 该构造能否统一应用于受限包络代数、量子群等重要例子？

主要发现

• 核心代数 $A_0$ 是可胞的，因为最高权范畴中提升对象的自同态代数具有标准数据和反自同态。
• 核心代数 $A_0$ 通过最高权范畴的有限子商构造，获得典范的最高权覆盖，该构造基于过滤部分与子商。
• 核心代数 $A_0$ 编码了原代数 $A$ 的分次表示理论的所有关键信息，包括分次特征标乘法性。
• 该构造产生一个拟Hereditary代数，编码了原代数的分次分解数。
• 结果可统一应用于一大类代数，包括受限包络代数、Lusztig的小型量子群和有限量子群。
• 该方法为通过可胞与拟Hereditary结构系统研究代数几何李理论中代数的表示论提供了新途径。