Geometric regularity of powers of two-dimensional squarefree monomial ideals

Syzygies, resolutions, complexes and commutative rings (13D02) Local cohomology and commutative rings (13D45) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55)

Abstract: Let

I

be a two-dimensional squarefree monomial ideal of a polynomial ring

S

. We evaluate the geometric regularity,

a_{i}

-invariants for

i g e q 1

of the power

I^{n}

. It turns out they are all linear functions in

n

from

n = 2

. Moreover, it is proved

m b o x g - r e g (S / I^{n}) = e g (S / I^{(n)})

for all

n g e q 1

.

Review text

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\).

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Geometric regularity of powers of two-dimensional squarefree monomial ideals

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