Abstract :
Given a commutative Noetherian ring R, there is associated with each homomorphism φ: F → E between finitely generated free R modules, a Koszul complex image(φ) over the symmetric algebra of E. As a complex of R modules, image(φ) splits into direct summands of complexes imageμ(φ) for each integer μ. For rank F ≥ rank E, we obtain an upper bound for the degrees of the non-vanishing homology modules of imageμ(φ) in terms of the grades of the Fitting ideals of Coker φ, provided the grade of the 0th Fitting ideal is at least (rank F − rank E + 1).
