Homological properties of the homology algebra of the Koszul complex of a local ring: examples and questions (Q306550)

Let \(R\) be a local commutative noetherian ring and \(HKR\) the homology ring of the corresponding Koszul complex. We study the homological properties of \(HKR\) in particular the Avramov spectral sequence. When the embedding dimension of \(R\) is four and when \(R\) can be presented with quadratic relations we have found 101 cases where this spectral sequence degenerates and only three cases where it does not degenerate. We also determine completely the Hilbert series of the bigraded Tor of these \(HKR\) in Tables A-D at the end of the paper. We also study some higher embedding dimensions. Among the methods used are the programme \texttt{BERGMAN} by Jörgen Backelin et al., the \texttt{Macaulay2}-package \texttt{DG Algebras} by Frank Moore combined with results by \textit{V. E. Govorov} [Math. Notes 12, 552--556 (1973; Zbl 0253.16003)], \textit{C. Löfwall} [Mat. Inst., Stockh. Univ. 5 (1976; Zbl 0429.13008)], \textit{V. A. Ufnarovskij} [Itogi Nauki Tekh., Ser. Sovrem. Probl. Mat., Fundam. Napravleniya 57, 5--177 (1990; Zbl 0706.16001)] and others.