On a definition of multi-Koszul algebras

Abstract

In this article we introduce the notion of multi-Koszul algebra for the case of a nonnegatively graded connected algebra with a finite number of generators of degree 1 and with a finite number of relations, as a generalization of the notion of (generalized) Koszul algebras defined by R. Berger for homogeneous algebras, which were in turn an extension of Koszul algebras introduced by S. Priddy. Our definition is in some sense as closest as possible to the one given in the homogeneous case. Indeed, we give an equivalent description of the new definition in terms of the Tor (or Ext) groups, similar to the existing one for homogeneous algebras, and also a complete characterization of the multi-Koszul property, which derives from the study of some associated homogeneous algebras, providing a very strong link between the new definition and the generalized Koszul property for the associated homogeneous algebras mentioned before. We further obtain an explicit description of the Yoneda algebra of a multi-Koszul algebra. As a consequence, we get that the Yoneda algebra of a multi-Koszul algebra is generated in degrees 1 and 2, so a K2 algebra in the sense of T. Cassidy and B. Shelton. We also exhibit several examples and we provide a minimal graded projective resolution of the algebra A considered as an A-bimodule, which may be used to compute the Hochschild (co)homology groups. Finally, we find necessary and sufficient conditions on some (fixed) sequences of vector subspaces of the tensor powers of the base space V to obtain in this case the multi-Koszul property in the case we have relations in only two degrees.