The strong Lefschetz property for coinvariant rings of finite reflection groups (Q716449): Difference between revisions

A commutative finite dimensional graded ring \(R=\bigoplus_{i=0}^{r} R^i\) with \(R^0={\mathbb R}\) is said to have the strong Lefschetz property if there exists an element \(l\in R^1\) such that the multiplication maps \(l^{r-2i}: R^i\to R^{r-i}\) are isomorphisms for \(0\leqslant i\leqslant \lfloor r/2\rfloor\). The pair \((R, l)\) is called a Lefschetz algebra. The author proves that the coinvariant algebra of any finite reflection group has the strong Lefschetz property. The proof is based on another general statement proved in this paper: a deformed tensor product of two Lefschetz algebras is a Lefschetz algebra.