On complete monomial ideals (Q2629209)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On complete monomial ideals |
scientific article |
Statements
On complete monomial ideals (English)
0 references
5 July 2016
0 references
Let \(\mathbf{R}=k[x,y]\), \(\mathfrak{m}=(x,y)\), and \(I\) be a monomial ideal of \(\mathbf{R}\). Recall that an \(\mathfrak{m}\)-primary ideal \(J\) is said to be \textit{\(\mathfrak{m}\)-full} if \(\mathfrak{m}J:a=J\) for some \(a\in\mathfrak{m}\setminus\mathfrak{m}^2\). As a first result of the present paper, the authors describe how to find the smallest \(\mathfrak{m}\)-full ideal containing a monomial ideal \(I\). In the case where \(I\) is minimally generated by \(n\) monomials that are listed lexicographically, \(I=(x^{a_1}, x^{a_2}y^{b_{n-1}},\ldots, x^{a_i}y^{b_{n-i+1}},\ldots, x^{a_{n-1}}y^{b_2}, y^{b_1})\), they characterize when \(I\) is \(\mathfrak{m}\)-full. Also, in a different direction, they establish separate necessary or sufficient conditions for normality, expressed by systems of linear inequalities \(Q(p_1,\ldots,p_n)\leqslant 0\), where \(P_i=(a_i, b_{n-i+1})\). (Recall that an ideal \(I\) is said to be \textit{normal} if for all positive integer \(n\), \(I^n\) is integrally closed) Finally, they study the Rees algebras \(\mathbf{R}[It]\) emphasizing when they are cohen-Macaulay and obtaining their defining equations.
0 references
\(\mathfrak m\)-full ideal
0 references
normal ideal
0 references
Newton polytope
0 references
Hilbert function
0 references
Rees algebra
0 references
Jacobian dual
0 references
Cohen-Macaulay ring
0 references
0 references
0 references
0 references