Regular sequences on squares of monomial ideals

Combinatorial aspects of commutative algebra (05E40) Dimension theory, depth, related commutative rings (catenary, etc.) (13C15) Homological dimension and commutative rings (13D05) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Abstract: We use initially regular sequences that consist of linear sums to explore the depth of

R / I^{2}

, when

I

is a monomial ideal in a polynomial ring

R

. We give conditions under which these linear sums form regular or initially regular sequences on

R / I^{2}

. We then obtain a criterion for when

d e p t h R / I^{2} > 1

and a lower bound on

d e p t h R / I^{2}

.

Review text

Let \(R\) be a polynomial ring over a field \(k\) and \(I\) a monomial ideal in \(R\). In [\textit{N. Terai} et al., J. Pure Appl. Algebra 218(6), 1117--1129 (2014; Zbl 1284.13030)] the authors asked for a criterion for \(\mathrm{depth}\,R/I^2>1\). This question is the main focus of the paper under review. Let \(f=b_0+b_1+\dots+b_t\), where \(b_i\) are variables in the polynomial ring. In each of the following, the authors give conditions on \(f\) such that: \begin{itemize} \item If \(I=I(G)\) is the edge ideal of a bipartite graph (resp.\ a graph with a unique odd cycle), then \(f\) is regular on \(R/I^r\) for all \(r\in\mathbb R\) (resp.\ for all \(r\leq r_0\), where \(r_0\) is certain number depending on the unique odd cycle and \(b_0\)). \item If \(t=1\), then \(f\) is regular on \(R/I^2\). Additionally, a condition for \(f_i=b_{i,0}+b_{i,1}\), \(1\leq i\leq s\), is given such that \(f_1,\ldots,f_s\) is a regular sequence on \(R/I^2\). \end{itemize} In the second part of the paper the authors consider linear sums \(f_i\), \(1\leq i\leq s\), of three variables. Given a term order \(>\), they find a sufficient condition such that \(f_1,\ldots,f_s\) is an \textit{initially regular sequence} on \(R/I^2\), i.e.\ such that \(f_i\) is a regular element on \(R/I_i\), where \(I_1=\mathrm{in}_{>}(I^2)\) and \(I_i=\mathrm{in}_{>}(I_{i-1},f_i)\) for \(i>1\). The existence of such a sequence implies \(\mathrm{depth}\,R/I^2\geq s\).

Recommendations

Cites work

Cited in

(1)

Initially regular sequences and depths of ideals

This page was built for publication: Regular sequences on squares of monomial ideals

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