Monomial ideals and the failure of the Strong Lefschetz property

We give a sharp lower bound for the Hilbert function in degree d of artinian quotients $$\Bbbk [x_1,\ldots ,x_n]/I$$ k [ x 1 , … , x n ] / I failing the Strong Lefschetz property, where I is a monomial ideal generated in degree $$d \ge 2$$ d ≥ 2 . We also provide sharp lower bounds for other classes of ideals, and connect our result to the classification of the Hilbert functions forcing the Strong Lefschetz property by Zanello and Zylinski.

A generalization of Kruskal–Katona’s theorem

Let K be a field, E the exterior algebra of a finite dimensional K-vector space, and F a finitely generated graded free E-module with homogeneous basis g1, . . ., gr such that deg g1 ≤ deg g2 ≤ · · · ≤ deg gr. We characterize the Hilbert functions of graded E–modules of the type F/M, with M graded submodule of F. The existence of a unique lexicographic submodule of F with the same Hilbert function as M plays a crucial role.