The weak Lefschetz property of equigenerated monomial ideals (Q2178500)

The weak Lefschetz property (WLP) for an artinian graded algebra \(A\) over a field \(\mathbf{k}\) says that there exists a linear form \(\ell\) that induces, for each degree \(i\), a multiplication map \(\times\ell:(A)_i\rightarrow (A)_{i+1}\) that has maximal rank, i.e. is either injective or surjective. The present paper studies the WLP for quotients of a polynomial ring \(S=\mathbf{k}[x_1,\dots,x_n]\) over a field \(\mathbf{k}\) of characteristic zero by an artinian monomial ideal \(I\) generated in degree \(d\). The first part of the paper provides a sharp bound for \(H_{S/I}(d)\) for artinian monomial algebras \(S/I\) where surjectivity fails in degree \(d-1\). This contribution is presented in two theorems: Theorem 1.1 gives a bound when the polynomial ring has three variables, and Theorem 1.2 gives a sharp bound when the number of variables is bigger than three. In the second part of the paper the authors consider the ideals generated by homogeneous polynomials of degree \(d\) invariant under an action of the cyclic group \(\mathbb{Z}/d\mathbb{Z}\) for \(n\geq 3,\, d\geq 2\) and give a complete classification of such ideals in terms of the WLP depending on the action. The main result in this part is Theorem 7.8, which generalizes previous results in [\textit{E. Mezzetti} and \textit{R. M. Miró-Roig}, J. Algebra 509, 263--291 (2018; Zbl 1395.13019); \textit{L. Colarte} et al., ``On the coefficients of the permanent and the determinant of a circulant matrix. Applications'', Preprint, \url{arXiv:1806.05905}].