The weak Lefschetz property of Gorenstein algebras of codimension three associated to the Apéry sets
It has been conjectured that {\it all} graded Artinian Gorenstein algebras of codimension three have the weak Lefschetz property over a field of characteristic zero. In this paper, we study the weak Lefschetz property of associated graded algebras $A$ of the Apéry set of $M$-pure symmetric numerical semigroups generated by four natural numbers. In 2010, Bryant proved that these algebras are graded Artinian Gorenstein algebras of codimension three. In a recent article, Guerrieri showed that if $A$ is not a complete intersection, then $A$ is of form $A=R/I$ with $R=K[x,y,z]$ and \begin{align*} I=(x^a, y^b-x^{b-γ} z^γ, z^c, x^{a-b+γ}y^{b-β}, y^{b-β}z^{c-γ}), \end{align*} where $ 1\leq β\leq b-1,\; \max\{1, b-a+1 \}\leq γ\leq \min \{b-1,c-1\}$ and $a\geq c\geq 2$. We prove that $A$ has the weak Lefschetz property in the following cases: (a) $ \max\{1,b-a+c-1\}\leq β\leq b-1$ and $γ\geq \lfloor\frac{β-a+b+c-2}{2}\rfloor$; (b) $ a\leq 2b-c$ and $| a-b| +c-1\leq β\leq b-1$; (c) one of $a,b,c$ is at most five.