English

The Koszul complex in projective dimension one

Commutative Algebra 2007-05-23 v1 Algebraic Geometry

Abstract

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

Keywords

Cite

@article{arxiv.math/0007069,
  title  = {The Koszul complex in projective dimension one},
  author = {Winfried Bruns and Udo Vetter},
  journal= {arXiv preprint arXiv:math/0007069},
  year   = {2007}
}

Comments

9 pages