N-Koszul Algebras , A summary
E. L. G. E. N. M. R. Mart́ınez-Villa,Pu Zhang
2003-01-01
Abstract:In this paper we study N -koszul algebras which were introduced by R. Berger. We show that when n ≥ 3, these are classified by the Ext-algebra being generated in degrees 0, 1, and 2. We give a description of the Ext-algebra using the analogous of the Koszul complex and we also show that it is, is a Koszul algebra, after regrading. This notions can be generalized in various ways one was is to study categories of homogeneous algebras and this can be found in [2] 1 A general overview In [1], Roland Berger introduced what he called “generalized” Koszul algebras. The generalized Koszul algebras are graded algebras A = K ⊕A1⊕A2⊕ · · · which are generated in degrees 0 and 1 such that there is a graded projective resolution of K for which the k projective in the resolution is generated in degree δ(k) where δ(k) = { k 2n if k is even k−1 2 n + 1 if k is odd, for some n. We generalize this definition to the nonlocal case, i.e., K is replaced by a semisimple Kalgebra and we call this class of algebras N -koszul algebras. We provide some general tools to study when the Yoneda product map ExtA(A0, A0)⊗HomA(M,A0) → Ext (M,A0) is surjective where A = A0 ⊕A1 ⊕ · · · is a graded algebra and M is a graded left A-module. We summarize the contents of the paper. In order to do that we need to introduce some notation: 2 Notation Let K be a commutative ring and A = A0 ⊕ A1 ⊕ A2 ⊕ · · · be a graded K-algebra where the direct sum is as K-modules. Assume that A is generated in degrees 0 and 1; that is, Ai ·Aj = Ai+j for all 0 ≤ i, j < ∞. Let Gr(A) denote the category of graded A-modules and degree 0 homomorphisms and Mod(A) denote the category of left A-modules. We denote by gr(A) and mod(A) the full subcategories of Gr(A) and Mod(A) respectively, consisting of finitely generated modules. Let F : Gr(A) → Mod(A) denote the forgetful functor and Gr0(A) (respectively gr0(A)) be the full subcategory of Gr(A) whose objects are the graded modules (respectively, finitely generated modules) generated in degree 0. We assume A0 is a semisimple Artin algebra. The graded Jacobson radical of A, which we denote by rA, or simply r, when no confusion can arise, is A1 ⊕ A2 ⊕ · · ·. Since A is