Geometric regularity of powers of two-dimensional squarefree monomial ideals (Q2038899)

Let \(S := K[x_1,\dots, x_r]\) be the polynomial ring in variables \(x_1,\dots, x_r\) over a field \(K\) and \(\mathfrak{m}\) the maximal homogeneous ideal of \(S\). Let \(M\) be a finitely generated graded \(S\)-module. For each \(0 \leq i \leq \dim M\), the \(a_i\)-invariant of \(M\) is defined by \(a_i (M):= \max\{t : H^i_{\mathfrak{m}}(M)_t\neq 0\}\), where \(H^i_{\mathfrak{m}}(M)\) is the \(i\)th local cohomology module of \(M\) with support in \(\mathfrak{m}\). Also, the (geometric) regularity of \(M\) is defined by (\(\mathrm{g}\)-\(\mathrm{reg}(M):= \max\{a_i (M)+i:i>0\}\)) \(\mathrm{reg} (M):= \max\{a_i (M)+i : 0 \leq i \leq \dim M\}\). Let \(I\) be an arbitrary two-dimensional squarefree monomial ideal of \(S\). In this paper, the author evaluated the geometric regularity and \(a_i\)-invariants of \(S/I^n\) which turns out that they are all linear functions in \(n\) from \(n = 2\) and then obtained the equality \(\mathrm{g}\)-\(\mathrm{reg}(S/I^n)=\mathrm{reg}(S/I^{(n)})\) for all \(n\geq 1\).