On decomposing monomial algebras with the Lefschetz properties (Q2069820)

Let \(R\) be a polynomial ring over a field \(\mathbb{K}\) and let \(I\subset R\) be a homogeneous ideal such that \(S=R/I\) is Artinian. \(S\) is said to have the weak Lefschetz property if there exists a degree \(1\) form, \(\ell \in R_1\), such multiplication by \(\ell\) yields a homomorphism, \(S\to S\), of maximal rank in every positive degree. \(S\) is said to have the strong Lefschetz property if there exists \(\ell \in R_1\) such that, for every positive integer \(i\), the multiplication by \(\ell^{i}\) yields a homomorphism, \(S\to S\), of maximal rank in every positive degree. In the article under review, all ideals are monomial and \(\mathbb{K}\) is a field of characteristic zero. Based on a decomposition argument (Theorem 1), whereby the Lefschetz properties of \(R/I\) are deduced from those of \(R/(I,m)\) and \(R/(I:m)\), with \(m\in R\), a monomial satisfying certain assumptions, the authors show that \(R/I\), where \[ I= (x_1^{d_1}+cx_2^{\alpha_2}\cdots x_n^{\alpha_n},x_2^{d_2},\dots,x_n^{d_n}) + x_1^{d_1-\alpha_1}(x_2^{d_2-\alpha_2},\dots,x_n^{d_n-\alpha_n}) \] with \(\alpha_i\) and \(d_i\) nonnegative integers such that \(0\leq \alpha_i\leq d_i\), \(d_1=\alpha_2+\cdots+\alpha_n\), \(I\not = R\) and \(c\in \mathbb{K}\setminus \{0\}\), is Gorenstein and has the strong Lefschetz property (Theorem 2). Using the same technique, the authors show that \(R/I\), where \(I\) is the following monomial almost complete intersection ideal: \[ (x_1^a,\dots,x_n^a,x_1^{a-1}x_2). \] has the strong Lefschetz property (Theorem 5).