When S is a polynomial ring or more generally a standard graded algebra over a field K, with homogeneous maximal ideal m, it is known that for an ideal I of S, the regularity of powers of I becomes eventually a linear function, i.e., reg(Im) = dm + e for m ≫ 0 and some integers d, e. This motivates writing reg(Im) = dm+em for every m ≥ 0. The sequence em, called the defect sequence of the ideal I, is the subject of much research and its nature is still widely unexplored. We know that em is eventually constant. In this article, after proving various results about the regularity of monomial ideals and their powers, we give several bounds and restrictions on em and its first differences when I is a primary monomial ideal. Our theorems extend the previous results about m-primary ideals in the monomial case. We also use our results to obtatin information about the regularity of powers of a monomial ideal using its primary decomposition. Finally, we study another interesting phenomenon related to the defect sequence, namely that of regularity jump, where we give an infinite family of ideals with regularity jumps at the second power.
Castelnuovo-Mumford regularity powers of ideal defect sequence
This is a preview of subscription content, log in to check access.
M. P. Brodmann, R. Y. Sharp: Local Cohomology: An Algebraic Introduction with Geometric Applications. Cambridge Studies in Advanced Mathematics 60, Cambridge University Press, Cambridge, 1998.CrossRefGoogle Scholar
M. Chardin: Some results and questions on Castelnuovo-Mumford regularity. Syzygies and Hilbert Functions (I. Peeva, ed.). Lecture Notes in Pure and Applied Mathematics 254, Chapman & Hall/CRC, Boca Raton, 2007, pp. 1–40.zbMATHGoogle Scholar
A. Conca: Regularity jumps for powers of ideals. Commutative Algebra: Geometric, Homological, Combinatorial and Computational Aspects (A. Corso et al., eds.). Lecture Notes in Pure and Applied Mathematics 244, Chapman & Hall/CRC, Boca Raton, 2006, pp. 21–32.zbMATHGoogle Scholar
S. D. Cutkosky, J. Herzog, N. V. Trung: Asymptotic behaviour of the Castelnuovo-Mumford regularity. Compos. Math. 118 (1999), 243–261.MathSciNetCrossRefGoogle Scholar