Degree bounds for local cohomology

Abstract

Let R be a non-negatively graded Cohen-Macaulay ring with R_0 a Cohen-Macaulay factor ring of a local Gorenstein ring. Let d be the dimension of R, m be the maximal homogeneous ideal of R, and M be a finitely generated graded R-module. It has long been known how to read information about the socle degrees of the local cohomology module H_m^0(M) from the twists in position d in a resolution of M by free R-modules. It has also long been known how to use local cohomology to read valuable information from complexes which approximate resolutions in the sense that they have positive homology of small Krull dimension. The present paper reads information about the maximal generator degree (rather than the socle degree) of H_m^0M from the twists in position d-1 (rather than position d) in an approximate resolution of M. We apply the local cohomology results to draw conclusions about the maximum generator degree of the second symbolic power of the prime ideal defining a monomial curve and the second symbolic power of the ideal defining a finite set of points in projective space. There is an application to general hyperplane sections of subschemes of projective space over an infinite field. There is an application of the local cohomology techniques to partial Castelnuovo-Mumford regularity. An application to the ideals generated by the lower order Pfaffians of an alternating matrix will appear in a future paper. One additional application to the study of blow-up algebras appears in a separate paper.