[论文解读] Highest weight theory for finite-dimensional graded algebras with triangular decomposition

Gwyn Bellamy, Ulrich Thiel|arXiv (Cornell University)|Jan 1, 2017

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

一句话总结

本文证明了在具有三角分解的有限维分次代数上，其分次有限维模的范畴即使在代数自内射且全局维数无限时，也具有最高权范畴结构。关键贡献在于证明了此类设定下存在倾斜模，统一了代数李理论中各类代数（如受限包络代数和量子群）的表示理论。

ABSTRACT

We show that the category of graded modules over a finite-dimensional graded algebra admitting a triangular decomposition can be endowed with the structure of a highest weight category. When the algebra is self-injective, we show furthermore that this highest weight category has tilting modules in the sense of Ringel. This provides a new perspective on the representation theory of such algebras, and leads to several new structures attached to them. There are a wide variety of examples in algebraic Lie theory to which this applies: restricted enveloping algebras, Lusztig's small quantum groups, hyperalgebras, finite quantum groups, and restricted rational Cherednik algebras.

研究动机与目标

• 为具有三角分解的有限维分次代数发展系统化的最高权理论，尽管其全局维数无限，且在未分次情形下缺乏标准的最高权结构。
• 通过将关注点转向分次模范畴，解决自内射代数中传统最高权范畴的失效问题。
• 证明在此类自内射代数中，存在符合 Ringel 意义的倾斜模，将倾斜理论扩展至全局维数无限的有限维代数之外。
• 统一代数李理论中各类代数（包括受限包络代数、量子群与有理哈里克尼代数）的表示结构。
• 为该推广设定提供抽象 Kazhdan–Lusztig 理论与 BGG 对偶性的框架，支持特征标计算与结构性结果。

提出的方法

• 定义有限维分次代数 $A$ 上的分次有限维模范畴，其中 $A$ 具有三角分解 $A = A^- times T times A^+$，且 $A^-$、$T$ 与 $A^+$ 分别为负、零与正次数的分次子代数。
• 通过从 $T$-模的不可约模 $\lambda$ 的诱导构造标准模 $\Delta(\lambda)$ 与余标准模 $\nabla(\lambda)$，并定义适当的准标准与余准标准模。
• 在不可约 $T$-模 $\lambda$ 的集合上定义偏序，以定义标准滤子，并验证 BGG 性质：$\Delta(\lambda)$ 在 $P(\lambda)$ 的滤子中以重数一出现，且仅当 $\mu > \lambda$ 时。
• 证明分次模范畴是标准分层的，并满足 BGG 对偶性：$[P(\lambda):\Delta(\mu)] = [\ol{\nabla}(\mu):L(\lambda)]$。
• 对于自内射代数，证明倾斜模的存在性源于最高权结构与三角反自同构的存在性。
• 将该框架应用于示例，如受限包络代数、Lusztig 的小量子群与受限有理哈里克尼代数，验证每种情形下的条件。

实验结果

研究问题

• RQ1 在具有三角分解的有限维分次代数上，其分次模范畴是否可赋予最高权范畴结构，即使其全局维数无限？
• RQ2 此类代数中标准模与余标准模的存在是否导致 BGG 对偶性，并在单模上定义良好的偏序？
• RQ3 对于此类自内射代数，是否存在符合 Ringel 意义的倾斜模，尽管其全局维数无限？
• RQ4 受限包络代数与量子群等代数在何种程度上可通过三角分解共享一个共同的表示理论框架？
• RQ5 能否在此推广设定中发展抽象 Kazhdan–Lusztig 理论？其与正特征下特征标计算的关系如何？

主要发现

• 在具有三角分解的有限维分次代数上，其分次有限维模范畴即使在代数自内射且全局维数无限时，仍为最高权范畴。
• BGG 对偶性成立：在投影覆盖中的重数 $[P(\lambda):\Delta(\mu)]$ 等于在余标准模中的合成重数 $[\ol{\nabla}(\mu):L(\lambda)]$。
• 对于自内射代数，最高权范畴在 Ringel 意义下存在倾斜模，将倾斜理论扩展至全局维数有限的范畴之外。
• 在受限有理哈里克尼代数中，$p$-余不变环 $K[\mathfrak{h}]^{p\mathrm{co}W}$ 的最高非零次数为 $N = (p-1)\dim\mathfrak{h} + p|\mathrm{Ref}(W)|$，这是关键的结构性不变量。
• $\overline{\mathsf{H}}_{1,\mathbf{c}}(W)$ 是良生成的：$K[\mathfrak{h}]^{p\mathrm{co}W}$ 由其一次部分生成，而 $K[\mathfrak{h}^*]^{p\mathrm{co}W}$ 由其负一次部分生成。
• 当 $W$ 为 Coxeter 群时，$\overline{\mathsf{H}}_{1,\mathbf{c}}(W)$ 上存在三角反自同构，通过非退化的 $W$-等变配对推广了特征零情形的构造。