Lefschetz properties and the Veronese construction

From MaRDI portal
(Redirected from Publication:2391644)



Abstract: In this paper, we investigate Lefschetz properties of Veronese subalgebras. We show that, for a sufficiently large r, the r extsuperscript{th} Veronese subalgebra of a Cohen-Macaulay standard graded K-algebra has properties similar to the weak and strong Lefschetz properties, which we call the `almost weak' and `almost strong' Lefschetz properties. By using this result, we obtain new results on h- and g-polynomials of Veronese subalgebras.


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.











This page was built for publication: Lefschetz properties and the Veronese construction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2391644)