Let A = bigoplus_{i >= 0} A_i be a standard graded Artinian K-algebra, where char K = 0. Then A has the Weak Lefschetz property if there is an element ell of degree 1 such that the multiplication times ell : A_i --> A_{i+1} has maximal rank, for every i, and A has the Strong Lefschetz property if times ell^d : A_i --> A_{i+d} has maximal rank for every i and d.
The main results obtained in this paper are the following.
1) EVERY height three complete intersection has the Weak Lefschetz property. (Our method, surprisingly, uses rank two vector bundles on P^2 and the Grauert-Mulich theorem.)
2) We give a complete characterization (including a concrete construction) of the Hilbert functions that can occur for K-algebras with the Weak or Strong Lefschetz property (and the characterization is the same one).
3) We give a sharp bound on the graded Betti numbers (achieved by our construction) of Artinian K-algebras with the Weak or Strong Lefschetz property and fixed Hilbert function. This bound is again the same for both properties. Some Hilbert functions in fact FORCE the algebra to have the maximal Betti numbers.
4) EVERY Artinian ideal in K[x,y] possesses the Strong Lefschetz property. This is false in higher codimension.
In this paper, we exploit some geometric-differential techniques to prove the strong Lefschetz property in degree $1$ for a complete intersection standard Artinian Gorenstein algebra of codimension $6$ presented by quadrics. We prove also some strong Lefschetz properties for the same kind of Artinian algebras in higher codimensions. Moreover, we analyze some loci that come naturally into the picture of "special" Artinian algebras: for them, we give some geometric descriptions and show a connection between the non emptiness of the so-called non-Lefschetz locus in degree $1$ and the "lifting" of…
We deal with the Weak Lefschetz property (WLP) for Artinian standard graded Gorenstein algebras of codimension $3.$ We prove that many Gorenstein sequences force the WLP for such algebras. Moreover for every Gorenstein sequence $H$ of codimension 3 we found several Gorenstein Betti sequences compatible with $H$ which again force the WLP. Finally we show that for every Gorenstein Betti sequence the general Artinian standard graded Gorenstein algebra with such Betti sequence has the WLP.
We introduce a family of standard bigraded binomial Artinian Gorenstein algebras, whose combinatoric structure characterizes the ones presented by quadrics. These algebras provide, for all socle degree grater than two and in sufficiently large codimension with respect to the socle degree, counter-examples to Migliore-Nagel conjectures, see \cite{MN1} and \cite{MN2}. One of them predicted that Artinian Gorenstein algebras presented by quadratics should satisfy the weak Lefschetz property. We also prove a generalization of a Hessian criterion for the Lefschetz properties given by Watanabe, see \…
Codimension two Artinian algebras $A$ have the strong and weak Lefschetz properties provided the characteristic is zero or greater than the socle degree. It is open to what extent such results might extend to codimension three AG algebras - the most promising results so far have concerned the weak Lefschetz property for such algebras. We here show that every standard-graded codimension three Artinian Gorenstein algebra $A$ having low maximum value of the Hilbert function - at most six - has the strong Lefschetz property, provided that the characteristic is zero. When the characteristic is grea…
We give a characterization of the Lefschetz elements in Artinian Gorenstein rings over a field of characteristic zero in terms of the higher Hessians. As an application, we give new examples of Artinian Gorenstein rings which do not have the strong Lefschetz property.
We define the strong Lefschetz property for finite graded modules over graded Artinian algebras whose grading is not necessarily standard. We show that most results which have been obtained for Artinian algebras with standard grading can be extended for non-standard grading. Our results on the strong Lefschetz property for non-standard grading can be used to prove that certain Artinian complete intersections with standard grading have the strong Lefschetz property.
In a recent paper, F. Zanello showed that level Artinian algebras in 3 variables can fail to have the Weak Lefschetz Property (WLP), and can even fail to have unimodal Hilbert function. We show that the same is true for the Artinian reduction of reduced, level sets of points in projective 3-space. Our main goal is to begin an understanding of how the geometry of a set of points can prevent its Artinian reduction from having WLP, which in itself is a very algebraic notion. More precisely, we produce level sets of points whose Artinian reductions have socle types 3 and 4 and arbitrary socle degr…
We study the weak Lefschetz property of artinian Gorenstein algebras and in particular of artinian complete intersections. In codimension four and higher, it is an open problem whether all complete intersections have the weak Lefschetz property. For a given artinian Gorenstein algebra $A$ we ask what linear forms are Lefschetz elements for this particular algebra, i.e., which linear forms $\ell$ give maximal rank for all the multiplication maps $\times \ell: [A]_i \longrightarrow [A]_{i+1}$. This is a Zariski open set and its complement is the \emph{non-Lefschetz locus}. For monomial complete …
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.
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 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.
In this article, we study the $k$-Lefschetz properties for non-Artinian algebras, proving that several known results in the Artinian case can be generalized in this setting. Moreover, we describe how to characterize the graded algebras having the $k$-Lefschetz properties using sectional matrices. We then apply the obtained results to the study of the Jacobian algebra of hyperplane arrangements, with particular attention to the class of free arrangements.
We introduce a new type of Hessian matrix, that we call Mixed Hessian. The mixed Hessian is used to compute the rank of a multiplication map by a power of a linear form in a standard graded Artinian Gorenstein algebra. In particular we recover the main result of \cite{MW} for identifying Strong Lefschetz elements, generalizing it also for Weak Lefschetz elements. This criterion is also used to give a new proof that Boolean algebras have the Strong Lefschetz Property (SLP). We also construct new examples of Artinian Gorenstein algebras presented by quadrics that does not satisfy the Weak Lefsch…
We study the problem of whether an arbitrary codimension three graded artinian Gorenstein algebra has the Weak Lefschetz Property. We reduce this problem to checking whether it holds for all compressed Gorenstein algebras of odd socle degree. In the first open case, namely Hilbert function (1,3,6,6,3,1), we give a complete answer in every characteristic by translating the problem to one of studying geometric aspects of certain morphisms from $\mathbb P^2$ to $\mathbb P^3$, and Hesse configurations in $\mathbb P^2$.
For a standard Artinian $k$-algebra $A=R/I$, we give equivalent conditions for $A$ to have the weak (or strong) Lefschetz property or the strong Stanley property in terms of the minimal system of generators of the generic initial ideal $\mathrm{gin}(I)$ of $I$ under the reverse lexicographic order. Using the equivalent condition for the weak Lefschetz property, we show that some graded Betti numbers of $\mathrm{gin}(I)$ are determined just by the the Hilbert function of $I$ if $A$ has the weak Lefschetz property. Furthermore, for the case that $A$ is a standard Artinian $k$-algebra of codimens…
Stanley showed that monomial complete intersections have the strong Lefschetz property. Extending this result we show that a simple extension of an Artinian Gorenstein algebra with the strong Lefschetz property has again the strong Lefschetz property.
In this article, we study the weak and strong Lefschetz properties, and the related notion of almost revlex ideal, in the non-Artinian case, proving that several results known in the Artinian case hold also in this more general setting. We then apply the obtained results to the study of the Jacobian algebra of hyperplane arrangements.
Stanley proved that, in characteristic zero, all artinian monomial complete intersections have the strong Lefschetz property. We provide a positive characteristic complement to Stanley's result in the case of artinian monomial complete intersections generated by monomials all of the same degree, and also for arbitrary artinian monomial complete intersections in characteristic two. To establish these results, we first prove an a priori lower bound on the characteristics that guarantee the Lefschetz properties. We then use a variety of techniques to complete the classifications.
The basic sequence of a homogeneous ideal $I\sset R=k[\seq{x}{1}{r}]$ defining an Artinian graded ring $A=R/I$ not having the weak Lefschetz property has the property that the first term of the last part is less than the last term of the penultimate part. For a general linear form $\ell$ in $\seq{x}{1}{r}$, this fact affects in a certain way the behavior of the $r-1$ square matrices in $k[\ell]$ which represent the multiplications of the elements of $A$ by $\seq{x}{1}{r-1}$ through a minimal free presentation of $A$ over $k[\ell]$. Taking advantage of it, we consider some modules over an algeb…
An SI-sequence is a finite sequence of positive integers which is symmetric, unimodal and satisfies a certain growth condition. These are known to correspond precisely to the possible Hilbert functions of Artinian Gorenstein algebras with the Weak Lefschetz Property, a property shared by most Artinian Gorenstein algebras. Starting with an arbitrary SI-sequence, we construct a reduced, arithmetically Gorenstein configuration $G$ of linear varieties of arbitrary dimension whose Artinian reduction has the given SI-sequence as Hilbert function and has the Weak Lefschetz Property. Furthermore, we s…
The purpose of this note is to characterize the finite Hilbert functions which force all of their artinian algebras to enjoy the Weak Lefschetz Property (WLP). Curiously, they turn out to be exactly those (characterized by Wiebe in $[Wi]$) whose Gotzmann ideals have the WLP. This implies that, if a Gotzmann ideal has the WLP, then all algebras with the same Hilbert function (and hence lower Betti numbers) have the WLP as well. However, we will answer in the negative, even in the case of level algebras, the most natural question that one might ask after reading the previous sentence: If $A$ is …
Hilbert functions and Jordan type of Perazzo Artinian algebras
Borås University（博罗斯大学）；Queen’s University（女王大学）；KTH Royal Institute of Technology（皇家理工学院）；Università degli Studi di Udine（乌迪内大学）；Università di Genova（热那亚大学）；Northeastern University（东北大学）；Universidade de Évora（埃武拉大学）；Università di Trieste（的里雅斯特大学）
Let A be a standard graded Artinian algebra over a field of characteristic zero and let z be a linear form in A. We define the central simple modules for each such pair (A, z). Assume that A is Gorenstein. Then we prove that A has the strong Lefschetz property if and only if there exists a linear form z in A such that all central simple modules of the pair (A,z) have the strong Lefschetz property. In the course of proof we need to extend the definition of the strong Lefschetz property to finite graded modules over graded Artinian algebra, which previously was defined only for standard graded A…
We introduce Artinian Gorenstein algebras defined by the face posets of regular polyhedra. We consider the strong Lefschetz property and Hodge--Riemann relation for the algebras. We show the strong Lefschetz property of the algebras for all Platonic solids. On the other hand, for some Platonic solids, we show that the algebras do not satisfy the Hodge--Riemann relation with respect to some strong Lefschetz elements.
We deal with a generalization of a Theorem of P. Gordan and M. Noether on hypersurfaces with vanishing (first) Hessian. We prove that for any given $N\geq 3$, $d \geq 3$ and $2\leq k < \frac{d}{2}$ there are infinitely many irreducible hypersurfaces $X = V(f)\subset \mathbb{P}^N$, of degree $\operatorname{deg}(f)=d$, not cones and such that their Hessian determinant of order $k$, $\operatorname{hess}^k_f$, vanishes identically. The vanishing of higher Hessians is closely related with the Strong (or Weak) Lefschetz property for standard graded Artinian Gorenstein algebra, as pointed out firstly…
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 connected sum construction for local rings was introduced in a paper by H. Ananthnarayan, L. Avramov, and W.F. Moore. In the graded Artinian Gorenstein case, this can be viewed as an algebraic analogue of the topological construction of the same name. We give two alternative description of this algebraic connected sum: the first uses algebraic analogues of Thom classes of vector bundles and Gysin homomorphisms, the second is in terms of Macaulay dual generators. We also investigate the extent to which the connected sum construction preserves the weak or strong Lefschetz property, thus provid…
We study the general Jordan type of standard graded Artinian Gorenstein algebras, it is a finer invariant than Weak and Strong Lefschetz properties for those algebras. We prove that their Jordan types are determined by the rank of certain Mixed Hessians. We give a description of the possible Jordan types for algebras of low socle degree and low codimension.
We study the WLP and SLP of artinian monomial ideals in $S=\mathbb{K}[x_1,\dots ,x_n]$ via studying their minimal free resolutions. We study the Lefschetz properties of such ideals where the minimal free resolution of $S/I$ is linear for at least $n-2$ steps. We give an affirmative answer to a conjecture of Eisenbud, Huneke and Ulrich for artinian monomial ideals with almost linear resolutions.
We consider artinian algebras $A=\mathbb{C}[x_0,\ldots,x_m]/I$, with $I$ generated by a regular sequence of homogeneous forms of the same degree $d\geq 2$. We show that the multiplication by a general linear form from $A_{d-1}$ to $A_d$ is injective. We prove that the Weak Lefschetz Property holds for artinian complete intersection algebras as above, with $d=2$ and $m\leq 4$. Apparently, this was previously known only for $m\leq 3$. Although we are proposing only very limited progress towards the WLP conjecture for complete intersections, we hope that the methods of the present article can ill…
We show that an Artinian quotient of K[x, y, z] by an ideal I generated by powers of linear forms has the Weak Lefschetz property. If the syzygy bundle of I is semistable this follows from results of Brenner-Kaid; our proof works without this hypothesis, which typically does not hold.
The weak and strong Lefschetz properties are two basic properties that Artinian algebras may have. Both Lefschetz properties may vary under small perturbations or changes of the characteristic. We study these subtleties by proposing a systematic way of deforming a monomial ideal failing the weak Lefschetz property to an ideal with the same Hilbert function and the weak Lefschetz property. In particular, we lift a family of Artinian monomial ideals to finite level sets of points in projective space with the property that a general hyperplane section has the weak Lefschetz property in almost all…
Every artinian quotient of $K[x,y]$ has the strong Lefschetz property if $K$ is a field of characteristic zero or is an infinite field whose characteristic is greater than the regularity of the quotient. We improve this bound in the case of monomial ideals. Using this we classify when both bounds are sharp. Moreover, we prove that the artinian quotient of a monomial ideal in $K[x,y]$ always has the strong Lefschetz property, regardless of the characteristic of the field, exactly when the ideal is lexsegment. As a consequence we describe a family of non-monomial complete intersections that alwa…
For standard graded Artinian $K$-algebras defined by componentwise linear ideals and Gotzmann ideals, we give conditions for the weak Lefschetz property in terms of numerical invariants of the defining ideals.
We find a sufficient condition that $\H$ is not level based on a reduction number. In particular, we prove that a graded Artinian algebra of codimension 3 with Hilbert function $\H=(h_0,h_1,..., h_{d-1}>h_d=h_{d+1})$ cannot be level if $h_d\le 2d+3$, and that there exists a level O-sequence of codimension 3 of type $\H$ for $h_d \ge 2d+k$ for $k\ge 4$. Furthermore, we show that $\H$ is not level if $β_{1,d+2}(I^{\rm lex})=β_{2,d+2}(I^{\rm lex})$, and also prove that any codimension 3 Artinian graded algebra $A=R/I$ cannot be level if $β_{1,d+2}(\Gin(I))=β_{2,d+2}(\Gin(I))$. In this case, the H…
In this paper, we study the strong Lefschetz property of artinian complete intersection ideals generated by products of linear forms. We prove the strong Lefschetz property for a class of such ideals with binomial generators.
It has been conjectured that {\it all} graded Artinian Gorenstein algebras of codimension three have the weak Lefschetz property over a field of characteristic zero. In this paper, we study the weak Lefschetz property of associated graded algebras $A$ of the Apéry set of $M$-pure symmetric numerical semigroups generated by four natural numbers. In 2010, Bryant proved that these algebras are graded Artinian Gorenstein algebras of codimension three. In a recent article, Guerrieri showed that if $A$ is not a complete intersection, then $A$ is of form $A=R/I$ with $R=K[x,y,z]$ and \begin{align*} I…
We study the weak Lefschetz property and the Hilbert function of level Artinian monomial almost complete intersections in three variables. Several such families are shown to have the weak Lefschetz property if the characteristic of the base field is zero or greater than the maximal degree of any minimal generator of the ideal. Two of the families have an interesting relation to tilings of hexagons by lozenges. This lends further evidence to a conjecture by Migliore, Miro-Roig, and the second author. Finally, using our results about the weak Lefschetz property, we show that the Hilbert function…
The aim is to study Perazzo hypersurfaces $X=V(F)\subseteq\mathbb{P}(K^5)$, defined by $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$. These hypersurfaces are the "building blocks" for all possible hypersuface in $\mathbb{P}^4$ with vanishing Hessian. A minimal and a maximal Hilbert vector is found for the associated Artinian Gorenstein $K$-algebras $A_F$: in the minimal case they satisfy the Weak Lefschetz property, but in the m…
We study a generalization of Nagata idealization for level algebras. These algebras are standard graded Artinian algebras whose Macaulay dual generator is given explicity as a bigraded polynomial of bidegree $(1,d)$. We consider the algebra associated to polynomials of the same type of bidegree $(d_1,d_2)$. We prove that the geometry of the Nagata hypersurface of order $e$ is very similar to the geometry of the original hypersurface. We study the Lefschetz properties for Nagata idealizations of order $e$, proving that WLP holds if $d_1\geq d_2$. We give a complete description of the associated…
The authors T.Harima, J.C.Migliore, U.Nagel and J.Watanabe characterized the Hilbert function of algbebras with the Lefschetz property. We extend this characterization to algebras with the Lefschetz property m times. We also give upper bounds for the Betti numbers of Artinian algebras with a given Hilbert function and with the Lefschetz property m times and describe the cases in which these bounds are reached.
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 introduce the $k$-strong Lefschetz property ($k$-SLP) and the $k$-weak Lefschetz property ($k$-WLP) for graded Artinian $K$-algebras, which are generalizations of the Lefschetz properties. The main results obtained in this paper are as follows: 1. Let $I$ be a graded ideal of $R=K[x_1, x_2, x_3]$ whose quotient ring $R/I$ has the SLP. Then the generic initial ideal of $I$ is the unique almost revlex ideal with the same Hilbert function as $R/I$. 2. Let $I$ be a graded ideal of $R=K[x_1, x_2, ..., x_n]$ whose quotient ring $R/I$ has the $n$-SLP. Suppose that all $k$-th differences of the Hil…
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.
