Quasi-hereditary extension algebras. (Q1868345): Difference between revisions

Quasi-hereditary algebras \(A\) have finite global dimension. Thus their `homological dual', that is, the Yoneda extension algebra of the sum \(L\) of simple modules, \(B=\text{Ext}^*_A(L,L)\), again is a finite dimensional algebra. In some of the most prominent classes of quasi-hereditary algebras, such as Schur algebras or blocks of category \(\mathcal O\), it happens frequently, but not always, that the dual \(B\) again is quasi-hereditary, and there even may be additional properties; in particular \(A\) may be Koszul, and, less frequently, \(A\) and \(B\) may be isomorphic. See work of \textit{A. Beilinson, V. Ginzburg} and \textit{W. Soergel} [J. Am. Math. Soc. 9, No. 2, 473-527 (1996; Zbl 0864.17006)] and of \textit{E. Cline, B. Parshall} and \textit{L. Scott} [Tôhoku Math. J., II. Ser. 45, No. 4, 511-534 (1993; Zbl 0801.20013), Proc. Lond. Math. Soc., III. Ser. 68, No. 2, 294-316 (1994; Zbl 0819.20045)]. The paper under review, which continues and extends earlier work of its authors [Can. J. Math. 48, No. 5, 897-917 (1996; Zbl 0868.16009)], aims at defining a large enough class of quasi-hereditary algebras closed under taking homological duals. While an algebra being Koszul is defined by the existence of linear (or, as the authors call them, top) projective resolutions of simple modules, this article investigates such top projective resolutions of (left or right) standard (e.g. Verma, Weyl) modules. It is shown that the existence of such resolutions (both left and right) implies the quasi-hereditary algebra is Koszul. Calling such Koszul algebras standard Koszul, it is then shown that the homological dual \(B\) of a standard Koszul quasi-hereditary algebra \(A\) is again quasi-hereditary. If the algebra \(A\) is graded Koszul quasi-hereditary, then \(B\) is quasi-hereditary if and only if \(A\) is standard. Hence, the class of graded standard Koszul quasi-hereditary algebras is closed under taking homological duals. Blocks of category \(\mathcal O\) are known to fall into this class of algebras.