Degree bounds for local cohomology

TL;DR

This paper develops new methods to determine the maximal generator degrees of local cohomology modules using approximate resolutions, with applications to algebraic geometry and commutative algebra.

Contribution

It introduces a novel approach to read generator degrees from approximate resolutions, extending existing techniques for socle degrees.

Findings

Derived bounds for generator degrees of local cohomology modules.

Applied results to symbolic powers of ideals defining curves and points.

Connected local cohomology bounds to Castelnuovo-Mumford regularity and blow-up algebras.

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.