Regularity defect stabilization of powers of an ideal (Q2391589)

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.