The strong Lefschetz conjecture for Milnor algebras

About 16 years old · traced to

Let F∈SdF\in S_d be a smooth homogeneous polynomial, let M(F)M(F) be its Milnor algebra, and set T=(n+1)(d−2)T=(n+1)(d-2). For an integer k∈[0,T/2)k\in[0,T/2) and a generic linear form ℓ∈S1\ell\in S_1, consider the multiplication map

ℓT−2k:M(F)k→M(F)T−k.\ell^{T-2k}: M(F)_k\to M(F)_{T-k}.

Strong Lefschetz conjecture. For any smooth F∈SdF\in S_d, any integer k∈[0,T/2)k\in[0,T/2), and any generic linear form ℓ∈S1\ell\in S_1, the induced multiplication map is an isomorphism. The strong Lefschetz property is a standard expected property of Milnor algebras; the source describes this as a well-known conjecture and refers to a brief overview, with no resolution supplied here.

References

Primary source

Zhenjian Wang, “New proofs for technical results in "Infinitesimal invariants of mixed Hodge structures'' (arXiv:2406.17118v1)”, arXiv:2601.05571 (2026).

Additional references

5 papers in this index state this conjecture (2010–2026). The statement above is taken from the most recent of them; the others are arXiv:2407.11916, arXiv:1301.7614, arXiv:1107.5094, arXiv:1012.2601.

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.