Some extension algebras for standard modules over KLR algebras of type A

Syzygies, resolutions, complexes in associative algebras (16E05) Representation theory of associative rings and algebras (16G99) Quantum groups (quantized enveloping algebras) and related deformations (17B37)

Abstract: Khovanov-Lauda-Rouquier algebras

R_{h} e t a

of finite Lie type are affine quasihereditary with standard modules

D e l t a (p i)

labeled by Kostant partitions of

h e t a

. Let

D e l t a

be the direct sum of all standard modules. It is known that the Yoneda algebra

m a t h c a l E_{h} e t a := o p e r a t o r n a m e {E x t}_{R_{h} e t a}^{*} (D e l t a, D e l t a)

carries a structure of an

A_{i} n f t y

-algebra which can be used to reconstruct the category of standardly filtered

R_{h} e t a

-modules. In this paper, we explicitly describe

m a t h c a l E_{h} e t a

in two special cases: (1) when

h e t a

is a positive root in type

m a t h t t A

, and (2) when

h e t a

is of Lie type

m a t h t t A_{2}

. In these cases,

m a t h c a l E_{h} e t a

turns out to be torsion free and intrinsically formal. We provide an example to show that the

A_{i} n f t y

-algebra

m a t h c a l E_{h} e t a

is non-formal in general.

Review text

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.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: Some extension algebras for standard modules over KLR algebras of type \(A\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2184797)