Lefschetz properties and the Veronese construction (Q2391644)

For a standard graded \(K\)-algebra \(A=\bigoplus_{i\geq 0} A_i\) and an integer \(r\geq 1\), the \(K\)-algebra \(A^{\langle r\rangle}=\bigoplus_{i\geq 0} A_{ir}\) is called the \(r\)th Veronese subalgebra of \(A\). In the paper under review, the authors investigate the \(h\)-polynomial of Veronese subalgebras of Cohen-Macaulay standard graded \(K\)-algebras using the Lefschetz properties of the \(K\)-algebras. To this aim, the concepts of almost strong and quasi-weak Lefschetz properties for a standard graded \(K\)-algebra are introduced and it is proved that for a Cohen-Macaulay standard graded \(K\)-algebra \(A\) of dimension \(d\) and a linear system of parameters \(\Theta=\theta_1,\dots,\theta_d\) for \(A\), the \(K\)-algebra \(A^{\langle r\rangle}_{\Theta}:=A^{\langle r\rangle}/(\theta_1^rA^{\langle r\rangle}+\cdots+\theta_d^rA^{\langle r\rangle})\) is almost strong and quasi-weak Lefschetz for a sufficiently large \(r\). Moreover, if \(d\) is even it has also the weak Lefschetz property for a sufficiently large \(r\). Observing the fact that the Hilbert series of \(A^{\langle r\rangle}_{\Theta}\) is equal to the \(h\)-polynomial of \(A^{\langle r\rangle}\), the authors investigate the \(h\)-polynomial of \(A^{\langle r\rangle}\) via Lefschetz properties for \(A^{\langle r\rangle}_{\Theta}\). More precisely, it is proved that for a sufficiently large \(r\), the \(h\)-polynomial \(h_{A^{\langle r\rangle}}(t)\) is the \(f\)-polynomial of a flag simplicial complex. Moreover, \(h_{A^{\langle r\rangle}}(t)\) is unimodal and the \(g\)-polynomial \(g_{A^{\langle r\rangle}}(t)\) is the \(f\)-polynomial of a simplicial complex.