The Koszul complex in projective dimension one
摘要
Let be a noetherian ring and a finite -module. With a linear form on one associates the Koszul complex . If is a free module, then the homology of is well-understood, and in particular it is grade sensitive with respect to . In this note we investigate the case of a module of projective dimension 1 (more precisely, has a free resolution of length 1) for which the first non-vanishing Fitting ideal has the maximally possible grade , . Then for all linear forms on , and it turns out that for all even and for all odd where denotes symmetric power and , in other words, for a presentation Moreover, if , then is neither 0 nor isomorphic to a symmetric power of , so that it is justified to say that is grade sensitive for the modules under consideration. We furthermore show that the maximally possible value can only occur in two extreme cases: (i) or (ii) and is odd.
关键词
引用
@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}
}
备注
9 pages