The weak Lefschetz property conjecture for level monomial ideals

At least 14 years old · documented by

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 t≥13(α+β+γ)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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.