Vector space summands of lower syzygies

Abstract

In this paper, we investigate problems concerning when the residue field $k$ of a local ring $(R,\mathfrak{m}$, $k)$ appears as a direct summand of syzygy modules, from two perspectives. First, we prove that the following conditions are equivalent: (i) $k$ is a direct summand of second syzygies of all non-free finitely generated $R$-modules; (ii) $k$ is a direct summand of third syzygies of all non-free finitely generated $R$-modules; (iii) $k$ is a direct summand of $\mathfrak{m}$. We also prove various consequences of these conditions. The second point of this article is to investigate for what artinian local rings $R$ the dual $E^{\ast }=Ho{m}_R(E_R(k),R)$ of the injective envelope of the residue field, which is also a second syzygy, is a $k$-vector space. Using the notion of Eliahou-Kervaire resolution, we introduce a large class of artinian local rings that satisfy this condition.

arXiv comment18 pages; significant revision done on the previous version