Regularity defect stabilization of powers of an ideal

From MaRDI portal



Abstract: When I is an ideal of a standard graded algebra S with homogeneous maximal ideal mm, it is known by the work of several authors that the Castelnuovo-Mumford regularity of I^m ultimately becomes a linear function dm + e for m gg 0. We give several constraints on the behavior of what may be termed the emph{regularity defect} (the sequence e_m = eg I^m - dm). When I is mm-primary we give a family of bounds on the first differences of the e_m, including an upper bound on the increasing part of the sequence; for example, we show that the e_i cannot increase for i geq dim(S). When I is a monomial ideal, we show that the e_i become constant for i geq n(n-1)(d-1), where n = dim(S).


Let \(S\) be a standard graded algebra with homogeneous maximal ideal \(\mathfrak{m}\) and \(I\) an ideal of \(S\). It is known that the Castelnuovo-Mumford regularity of \(I^m\) becomes a linear function \(dm+e\) for \(m\gg 0\). While the integer \(d\) is known as being the asymptotic generating degree of \(I\), there are not many things known about the integers \(m\) and \(e\). In order to understand the integer \(e\), the author considers the regularity defect sequence as being the sequence \(e_m=\mathrm{reg}(I^m)-\mathrm{reg}(I^{m-1})\). For \(\mathfrak{m}\)-primary ideals, the author gives a family of bounds on the first differences of \(e_m\). In characteristic \(0\), he shows that the regularity of the powers of homogeneous \(\mathfrak{m}\)-primary ideals is a strictly increasing function. For monomial ideals, he shows that the regularity defect sequence becomes constant and gives a lower bound for the level from which this happens.




Cited in
(26)








This page was built for publication: Regularity defect stabilization of powers of an ideal

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2391589)