Lefschetz properties and the Veronese construction (Q2391644)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Lefschetz properties and the Veronese construction
scientific article

    Statements

    Lefschetz properties and the Veronese construction (English)
    0 references
    0 references
    5 August 2013
    0 references
    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.
    0 references
    Veronese subalgebra
    0 references
    \(h\)-polynomial
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references