On ideals with the Rees property (Q387593)

Let \((R,m,K)\) be a local ring. An ideal \(I\subset R\) is said to have the Rees property if, for any ideal \(J\supset I\), one has \(\mu(J)\leq\mu(I)\), where \(\mu(L)=\dim_{K}L/mL\) denotes the number of minimal generators of an ideal \(L\subset R\). An ideal \(I\subset R\) is said to be \(m\)-full if there is an element \(y\in m\) such that \(mI:y=I\). By the work of \textit{J. Watanabe} [Nagoya Math. J. 106, 101--111 (1987; Zbl 0623.13012)], \(m\)-full ideals have the Rees property and that the converse is also true if \(R\) is a regular local ring of dimension 2. The main purpose of this work is to show that, in a polynomial ring with more than two variables, there are infinitely many ideals which have the Rees property but are not \(m\)-full. Let \(S=K[x_{1},x_{2},\dots,x_{n}]\) be a standard graded polynomial ring and \(m=(x_{1},\dots,x_{n})\) the graded maximal ideal of \(S\). An Artinian graded \(K\)-algebra \(A=S/I\) is said to have the Sperner property if \(\max\{\mu(J):J\text{ is an ideal of }A\}=\max\{\dim_{K}A_{k}:k\in Z_{\geq0}\}.\) An Artinian graded \(K\)- algebra \(A\) is said to have the weak Lefschetz property if there is a linear form \(y\in A\) such that the multiplication \(\times y:A_{k-1}\rightarrow A_{k}\) is either injective or surjective for all \(k\). It is known that the weak Lefschetz property implies the Sperner property. For integers \(a,b,c,\alpha,\beta,\gamma\in Z_{\geq0}\), let \[ I_{a,b,c,\alpha,\beta,\gamma}=(x_{1}^{a},x_{2}^{b},x_{3}^{c},x_{1}^{\alpha}x_{2}^{\beta}x_{3}^{\gamma})\subset K[x_{1},x_{2},x_{3}], \] where \(\alpha<a,\beta<b,\gamma<c\) and where at least two of \(\alpha,\beta,\gamma\) are nonzero. \(I_{a,b,c,\alpha,\beta,\gamma}\) is called a monomial almost complete intersection ideal in \(K[x_{1},x_{2},x_{3}].\) The authors show that \(K[x_{1},x_{2},x_{3}]/I_{a,b,c,\alpha,\beta,\gamma}\) has Sperner property in Theorem 1.1. They also show if \(K[x_{1},x_{2},x_{3}]/I_{a,b,c,\alpha,\beta,\gamma}\) does not have the weak Lefschetz property in characteristic 0 and \(I_{a,b,c,\alpha,\beta,\gamma}\) has no generators of degree \(s+1\), where \(s=\frac{1}{3}(a+b+c+\alpha+\beta+\gamma)-2\), then the ideal \(I_{a,b,c,\alpha,\beta,\gamma}+m^{s+1}\) has the Rees property but is not \(m\)-full in Theorem 1.2.