The weak Lefschetz property conjecture for level monomial ideals

From papers

Let RR be the polynomial ring in the variables used to define the ideal, over a field KK of characteristic zero. Let 0<αβγ2(α+β)0<\alpha\leq\beta\leq\gamma\leq2(\alpha+\beta), let t13(α+β+γ)t\geq\frac{1}{3}(\alpha+\beta+\gamma), and assume that α+β+γ\alpha+\beta+\gamma is divisible by three. Exclude (α,β,γ,t)=(2,9,13,9)(\alpha,\beta,\gamma,t)=(2,9,13,9) and (3,7,14,9)(3,7,14,9). The weak Lefschetz property conjecture. The algebra

R/Iα+t,β+t,γ+t,α,β,γR/I_{\alpha+t,\beta+t,\gamma+t,\alpha,\beta,\gamma}

fails to have the weak Lefschetz property if and only if tt is even, α+β+γ\alpha+\beta+\gamma is odd, and α=β\alpha=\beta or β=γ\beta=\gamma. The conjecture gives an explicit characteristic-zero criterion for failure of the weak Lefschetz property in this family; the two exceptional parameter tuples are excluded, and no resolution is supplied here.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

David Cook and Uwe Nagel, “Enumerations deciding the weak Lefschetz property”, arXiv:1105.6062 (2011).

Solutions 0

No solutions have been posted yet.