The strong Lefschetz property of the coinvariant ring of the Coxeter group of type \(H_{4}\) (Q2470385)

Let \(K\) be an field with \(\mathrm{char} K=0\). A commutative graded artinian \(K\)-algebra \(R= \bigoplus_{i \geq 0} R_i\) with \(R_0=K\) is said to have the strong Lefschetz property, if there is a non-zero element \(a \in R_1\) satisfying the property that, for any \(i \geq 0\), any \(s \geq 1\), the map \(R_i \rightarrow R_{i+s}\) defined by multiplication by \(a^s\) is a \(K\)-linear map of full rank, i.e. it is either injective or surjective. This notion came from the hard Lefschetz Theorem in algebraic geometry and is related to some questions in combinatorics (see, for examples, the papers by \textit{R. P. Stanley} [SIAM J. Algebraic and Discrete Methods 1, 168--184 (1980; Zbl 0502.05004)]; \textit{J. Watanabe} [in: Commutative Algebra and Combinatorics, Kyoto, 1985, Advanced Study Pure Math. 11 (North-Holland)] or \textit{T. Harima} and \textit{J. Watanabe} [J. Algebra 311, 511--537 (2007; Zbl 1133.13021)]. Let \(G\) be a finite group acting on a finite-dimensional vector space over \(K\). The coinvaiant ring is \(K(V)/I\) where I is the ideal generated by all the homogeneous invariant polynomials of positive degree. In this article under review the base field \(K\) is the real number field, the graded artinian algebra \(R\) is the coinvariant ring arose from the action of \(G\) where \(G\) is the irreducible Coxeter group of type \(H_4\) and the action is the natural irreducible representation of \(H_4\). The purpose of this paper is to prove that this graded artinian algebra \(R\) has the strong Lefschetz property.