Some extension algebras for standard modules over KLR algebras of type \(A\) (Q2184797)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some extension algebras for standard modules over KLR algebras of type \(A\) |
scientific article |
Statements
Some extension algebras for standard modules over KLR algebras of type \(A\) (English)
0 references
29 May 2020
0 references
In 2008 \textit{M. Khovanov} and \textit{A. D. Lauda} [Represent. Theory 13, 309--347 (2009; Zbl 1188.81117)] and \textit{R. Rouquier} [``2-Kac-Moody algebras'', Preprint, \url{arXiv:0812.5023}] defined a family of algebras (now known as KLR algebras) which categorify the upper half of the quantized enveloping algebra of a given Lie algebra. In the paper under review the authors study KLR algebras \(R_{\theta}\) of Lie type \(A_{\infty}\) where \(\theta\) is a positive root. It is known that \(R_{\theta}\) is affine quasihereditary with standard modules \(\Delta(\pi)\) labeled by Kostant partitions of \(\theta\). Let \(\Delta\) be the direct sum of all standard modules. Then the Yoneda algebra \({\mathcal E}_{\theta}:=\text{Ext}^{\ast}_{R_{\theta}}(\Delta,\Delta)\) carries the structure of an \(A_{\infty}\)-algebra which can be used to reconstruct the category of standardly filtered \(R_{\theta}\)-modules. The authors consider the Yoneda algebra \({\mathcal E}_{\theta}\) as the \(\mathbb Z\)-linear category whose objects are the partitions in the set \(\text{KP}(\theta)\) of Kostant partitions of \(\theta\) and the set of morphisms from \(\rho\in\text{KP}(\theta)\) to \(\sigma\in\text{KP}(\theta)\) is \({\mathcal E}_{\theta}(\rho,\sigma):=\text{Ext}^{\ast}_{R_{\theta}}(\Delta(\rho),\Delta(\sigma)\). The main results of the paper describe the category \({\mathcal E}_{\theta}\) (as a bigraded category) in two special cases: (1) when \(\theta\) an arbitrary positive root, and (2) when \(\theta\) of type \(A_2\), i.e., \(\theta\) is of the form \(c_1\alpha_1+c_2\alpha_2\), where \(\{\alpha_i\mid i\in{\mathbb Z}\}\) is the set of the simple roots. It has turned out that in these cases \({\mathcal E}_{\theta}\) is torsion free and intrinsically formal. The authors also provide an example (for \(\theta=\alpha_1+2\alpha_2+\alpha_3\)) which shows that the \(A_{\infty}\)-algebra \({\mathcal E}_{\theta}\) is non-formal in general.
0 references
Khovanov-Lauda-Rouquier algebras
0 references
affine quasihereditary algebras
0 references
Kostant partitions
0 references
Yoneda algebra
0 references