We determine the class of Hilbert series H so that if M is a finitely generated zero-dimensional R-graded module with the strong Lefschetz property, then the tensor product of M and k[y]/(y^m) has the strong Lefschetz property for y an indeterminate and all positive integers m if and only if the Hilbert series of M is in H. Given two finite graded R-modules M and N with the strong Lefschetz property, we determine sufficient conditions in order that the tensor product of M and N has the strong Lefschetz property.
We prove that a sequence $h$ of non-negative integers is the Hilbert function of some Artinian Gorenstein algebra with the strong Lefschetz property if and only if it is an SI-sequence. This generalizes the result by T. Harima which characterizes the Hilbert functions of Artinian Gorenstein algebras with the weak Lefschetz property. We also provide classes of Artinian Gorenstein algebras obtained from the ideal of points in $\mathbb{P}^n$ such that some of their higher Hessians have non-vanishing determinants. Consequently, we provide families of such algebras satisfying the SLP.
We prove the strong Lefschetz property for certain complete intersections defined by products of linear forms, using a characterization of the strong Lefschetz property in terms of central simple modules.
We introduce a method for studying the Lefschetz properties for $k[x,y]$-modules based on the Lindström-Gessel-Viennot Lemma. In particular, we prove that certain modules over Artinian Clements-Lindström rings in characteristic zero have the strong Lefschetz property. In particular, we show that every homogeneous idea in a Clements-Lindström ring of embedding dimension two has the strong Lefschetz property. As an application, we study the strong Lefschetz property of type two monomial ideals of codimension three.
In this paper, we study the dependence of the weak Lefschetz property of algebras defined by a special class of monomials ideals in a polynomial ring with coefficient in a field, to the characteristic of the base field.
We study the weak Lefschetz property of a class of graded Artinian Gorenstein algebras of codimension three associated in a natural way to the Apéry set of a numerical semigroup generated by four natural numbers. We show that these algebras have the weak Lefschetz property whenever the initial degree of their defining ideal is small.
We give an alternate proof for a theorem of Migliore and Nagel. In particular, we show that if $\mathcal H$ is an SI-sequence, then the collection of Betti diagrams for all Artinian Gorenstein $k$-algebras with the weak Lefschetz property and Hilbert function $\mathcal H$ has a unique largest element.
We use Macaulay's inverse system to study the Hilbert series for almost complete intersections generated by uniform powers of general linear forms. This allows us to give a classification of the Weak Lefschetz property for these algebras, settling a conjecture by Migliore, Miró-Roig, and Nagel.
We determine a sharp lower bound for the Hilbert function in degree $d$ of a monomial algebra failing the weak Lefschetz property over a polynomial ring with $n$ variables and generated in degree $d$, for any $d\geq 2$ and $n\geq 3$. We consider artinian ideals in the polynomial ring with $n$ variables generated by homogeneous polynomials of degree $d$ invariant under an action of the cyclic group $\mathbb{Z}/d\mathbb{Z}$, for any $n\geq 3$ and any $d\geq 2$. We give a complete classification of such ideals in terms of the weak Lefschetz property depending on the action.
In 2012, Migliore, the first author, and Nagel conjectured that, for all $n\geq 4$, the artinian ideal $I=(L_0^d,\ldots,L_{2n+1}^d) \subset R=k[x_0,\ldots,x_{2n}]$ generated by the $d$-th powers of $2n+2$ general linear forms fails to have the weak Lefschetz property if and only if $d>1$. This paper is entirely devoted to prove partially this conjecture. More precisely, we prove that $R/I$ fails to have the weak Lefschetz property, provided $4\leq n\leq 8,\ d\geq 4$ or $d=2r,\ 1\leq r\leq 8,\ 4\leq n\leq 2r(r+2)-1$.
A standard graded artinian monomial complete intersection algebra $A=\Bbbk[x_1,x_2,\ldots,x_n]/(x_1^{a_1},x_2^{a_2},\ldots,x_n^{a_n})$, with $\Bbbk$ a field of characteristic zero, has the strong Lefschetz property due to Stanley in 1980. In this paper, we give a new proof for this result by using only the basic properties of linear algebra. Furthermore, our proof is still true in the case where the characteristic of $\Bbbk$ is greater than the socle degree of $A$, namely $a_1+a_2+\cdots+a_n - n$.
In this paper we study the Weak Lefschetz property of two classes of standard graded Artinian Gorenstein algebras associated in a natural way to the Apéry set of numerical semigroups. To this aim we also prove a general result about the transfer of Weak Lefschetz property from an Artinian Gorenstein algebra to its quotients modulo a colon ideal.
A simplicial sphere $Δ$ is said to be generically anisotropic over a field $\mathbb{F}$ if, for a certain purely transcendental field extension $\mathbf{k}$ of $\mathbb{F}$, a certain Artinian reduction $A$ of the face ring $\mathbf{k}[Δ]$ has the following property: For every nonzero homogeneous element $α\in A$ of degree at most $(\dimΔ+1)/2$, its square $α^2$ is also nonzero. The importance of this property is that the hard Lefschetz property for simplicial spheres can be derived from it. A recent result of Papadakis and Petrotou shows that every simplicial sphere is generically anisotropic…
In this article, we consider the weighted generating function of matchings in the complete graph. We define an Artinian Gorenstein algebra as the quotient ring of a polynomial ring by the annihilator of the generating function. We show the strong Lefschetz property of the algebra.
We deal with Perazzo 3-folds in $\mathbb P^4$, i.e. hypersurfaces $X=V(f)\subset \mathbb P^4$ of degree $d$ defined by a homogeneous polynomial $f(x_0,x_1,x_2,u,v)=p_0(u,v)x_0+p_1(u,v)x_1+p_2(u,v)x_2+g(u,v)$, where $p_0,p_1,p_2$ are algebraically dependent but linearly independent forms of degree $d-1$ in $u,v$, and $g$ is a form in $u,v$ of degree $d$. Perazzo 3-folds have vanishing hessian and, hence, the associated graded artinian Gorenstein algebra $A_f$ fails the strong Lefschetz property. In this paper, we determine the maximum and minimum Hilbert function of $A_f$ and we prove that if $…
