1,949 research outputs found

    The strength of the Weak Lefschetz Property

    Full text link
    We study a number of conditions on the Hilbert function of a level artinian algebra which imply the Weak Lefschetz Property (WLP). Possibly the most important open case is whether a codimension 3 SI-sequence forces the WLP for level algebras. In other words, does every codimension 3 Gorenstein algebra have the WLP? We give some new partial answers to this old question: we prove an affirmative answer when the initial degree is 2, or when the Hilbert function is relatively small. Then we give a complete answer to the question of what is the largest socle degree forcing the WLP.Comment: A few minor corrections; to appear in the Illinois J. Mat

    Bounds and asymptotic minimal growth for Gorenstein Hilbert functions

    Get PDF
    We determine new bounds on the entries of Gorenstein Hilbert functions, both in any fixed codimension and asymptotically. Our first main theorem is a lower bound for the degree i+1i+1 entry of a Gorenstein hh-vector, in terms of its entry in degree ii. This result carries interesting applications concerning unimodality: indeed, an important consequence is that, given rr and ii, all Gorenstein hh-vectors of codimension rr and socle degree eβ‰₯e0=e0(r,i)e\geq e_0=e_0(r,i) (this function being explicitly computed) are unimodal up to degree i+1i+1. This immediately gives a new proof of a theorem of Stanley that all Gorenstein hh-vectors in codimension three are unimodal. Our second main theorem is an asymptotic formula for the least value that the ii-th entry of a Gorenstein hh-vector may assume, in terms of codimension, rr, and socle degree, ee. This theorem broadly generalizes a recent result of ours, where we proved a conjecture of Stanley predicting that asymptotic value in the specific case e=4e=4 and i=2i=2, as well as a result of Kleinschmidt which concerned the logarithmic asymptotic behavior in degree i=⌊e2βŒ‹i= \lfloor \frac{e}{2} \rfloor .Comment: Several minor changes; to appear in J. Algebr
    • …
    corecore