Graded algebras of global dimension 3 (Q1095992)

Let \(A=k\oplus A_ 1\oplus A_ 2\oplus..\). be a finitely presented graded algebra over the algebraically closed field k of characteristic 0. The algebra A is here called regular if (i) every graded A-module has projective dimension at most d; (ii) A has polynomial growth; and (iii) A is Gorenstein, meaning that \(Ext^ q_ A(k,A)=0\) if \(q\neq d\), and \(Ext^ d_ A(k,A)\cong k\). When \(d=2\), A has the form k[x,y]/(f), where k[x,y] is the free algebra and f is either yx-cxy (0\(\neq c\in k)\) or \(yx- xy-x^ 2.\) The bulk of this very interesting paper consists of a complete classification of the regular algebras of dimension 3. The results were obtained with the aid of computer calculations, and are too complicated to state here. A wealth of subsidiary examples and results is included, of which I mention two: It is shown (Theorem 1.16) that when A is a finite module over its centre, then (i) alone suffices to ensure that A is regular - this was for the authors one of the main reasons for undertaking the present study. Secondly, a generalized notion of skew polynomial ring is introduced, and it is proved that a regular algebra A of dimension 3 is a skew polynomial ring if and only if a certain invariant associated with A is infinite (Theorem 6.11).