DOCUMENTA MATHEMATICA, Vol. 18 (2013), 1301-1347

Estanislao Herscovich

On the Multi-Koszul Property for Connected Algebras

{\small In this article we introduce the notion of \emph{multi-Koszul algebra} for the case of a locally finite dimensional nonnegatively graded connected algebra, as a generalization of the notion of (generalized) Koszul algebras defined by R. Berger for homogeneous algebras. This notion also extends and generalizes the one recently introduced by the author and A. Rey, which was for the particular case of algebras further assumed to be finitely generated in degree 1 and with a finite dimensional space of relations. The idea of this new notion for this generality, which should be perhaps considered as a probably interesting common property for several of these algebras, was to find a grading independent description of some of the more appealing features shared by all generalized Koszul algebras. It includes several new interesting examples, \textit{e.g.} the super Yang-Mills algebras introduced by M. Movshev and A. Schwarz, which are not generalized Koszul or even multi-Koszul for the previous definition given by the author and Rey in any natural manner. On the other hand, we provide 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 we show that several of the typical homological computations performed for the generalized Koszul algebras are also possible in this more general setting. In particular, we give a very explicit description of the $A_{\infty}$-algebra structure of the Yoneda algebra of a multi-Koszul algebra, which has a similar pattern as for the case of generalized Koszul algebras. We also show that a finitely generated multi-Koszul algebra with a finite dimensional space of relations is a $K_{2}$ algebra in the sense of T. Cassidy and B. Shelton. }

2010 Mathematics Subject Classification: 16E05, 16E30, 16E40, 16S37, 16W50

Keywords and Phrases: Koszul algebra, Yoneda algebra, homological algebra, A_{\infty}-algebras.

Full text: dvi.gz 99 k, dvi 344 k, ps.gz 396 k, pdf 499 k.