Length formulas for the local cohomology of exterior powers (Q1057323): Difference between revisions

Let R be a local ring, and \(f: R^ m\to R^ n\) an injective homomorphism. For each integer k we construct a complex \({\mathcal D}_ k\) with essentially depends only on f. The complexes \({\mathcal D}_ k\) are closely related to those considered by \textit{K. Lebelt} [Math. Ann. 211, 183-197 (1974; Zbl 0275.13015)]. Let I(f) be the ideal generated by the \(m\times m\) minors of a matrix representing f. If the length of R/I(f) is finite and \(n-m\geq \dim R,\) then the homology of \({\mathcal D}_ k\) has finite length, too, and the Euler characteristic vanishes. From this one gets length formulas for the local cohomology of the exterior powers of Coker f in the cases \(n-m\leq \text{grad}e I(f)=\dim R\leq n-m+1.\) Among them is a theorem of Angeniol and Giusti saying that, under the condition grade I(f)\(=\dim R=n-m+1\), Coker \(f^*\) and R/I(f) have the same length. The formulas in the other case may be applied directly to the module of differential forms on a complete intersection with isolated singularity: One obtains some of the main results of \textit{G.-M. Greuel} in Math. Ann. 250, 157-173 (1980; Zbl 0417.14003).