On a definition of multi-koszul algebras

TL;DR

This paper introduces the concept of multi-Koszul algebras, generalizing Koszul algebras to nonhomogeneous graded algebras, providing characterizations, examples, and tools for their homological study.

Contribution

It defines multi-Koszul algebras for nonhomogeneous cases, links them to associated homogeneous algebras, and describes their Yoneda algebra and resolutions.

Findings

Yoneda algebra generated in degrees 1 and 2

Characterization of multi-Koszul property via Tor and Ext groups

Explicit minimal projective resolution provided

Abstract

In this article we introduce the notion of \emph{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 \textrm{Tor} (or \textrm{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 $\mathcal{K}_{2}$ 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.