The Koszul complex in projective dimension one
Abstract
Description
Let $R$ be a noetherian ring and $M$ a finite $R$-module. With a linear form $χ$ on $M$ one associates the Koszul complex $K(χ)$. If $M$ is a free module, then the homology of $K(χ)$ is well-understood, and in particular it is grade sensitive with respect to $\Imχ$.
In this note we investigate the case of a module $M$ of projective dimension 1 (more precisely, $M$ has a free resolution of length 1) for which the first non-vanishing Fitting ideal $\I_M$ has the maximally possible grade $r+1$, $r=\rank M$. Then $h=\grade \Imχ\le r+1$ for all linear forms $χ$ on $M$, and it turns out that $H_{r-i}(K(χ))=0$ for all even $i<h$ and $H_{r-i}(K(χ))\iso \SS^{(i-1)/2}(C)$ for all odd $i<h$ where $\SS$ denotes symmetric power and $C=\Ext_R^1(M,R)$, in other words, $C=\Cokψ^*$ for a presentation $$ 0\to F\stackrelψ{\to} G \to M\to 0. $$ Moreover, if $h\le r$, then $H_{r-h}(K(χ))$ is neither 0 nor isomorphic to a symmetric power of $C$, so that it is justified to say that $K(χ)$ is grade sensitive for the modules $M$ under consideration.
We furthermore show that the maximally possible value $\grade \Imχ=r+1$ can only occur in two extreme cases: (i) $r=1$ or (ii) $\rank F=1$ and $r$ is odd.
9 pages
9 pages