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$.
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.
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.
In this paper we classify the monomial complete intersection algebras, in two variables, and of positive characteristic, which has the strong Lef- schetz property. Together with known results, this gives a complete classi- fication of the monomial complete intersections with the strong Lefschetz property.
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.
We compute the generic initial ideal of a complete intersection of embedding dimension three with strong Lefschetz property and we show that it is an almost reverse lexicographic ideal. This enable us to give a proof for Moreno's conjecture in the case $n=3$.
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.
Deciding the presence of the weak Lefschetz property often is a challenging problem. In this work an in-depth study is carried out in the case of Artinian monomial ideals with four generators in three variables. We use a connection to lozenge tilings to describe semistability of the syzygy bundle of such an ideal, to determine its generic splitting type, and to decide the presence of the weak Lefschetz property. We provide results in both characteristic zero and positive characteristic.
In this paper we study the Lefschetz properties of monomial complete intersections in positive characteristic. We give a complete classification of the strong Lefschetz property when the number of variables is at least three, which proves a conjecture by Cook II. We also extend earlier results on the weak Lefschetz property by dropping the assumption on the residue field being infinite, and by giving new sufficient criteria.
We prove that any quadratic complete intersection with certain action of the symmetric group has the strong Lefschetz property over a field of characteristic zero. As a consequence of it we construct a new class of homogeneous complete intersections with generators of higher degrees which have the strong Lefschetz property.
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.
Many algebras are expected to have the Weak Lefschetz property though this is often very difficult to establish. We illustrate the subtlety of the problem by studying monomial and some closely related ideals. Our results exemplify the intriguing dependence of the property on the characteristic of the ground field, and on arithmetic properties of the exponent vectors of the monomials.
We generalize some properties related to Hilbert series and Lefschetz properties of Milnor algebras of projective hypersurfaces with isolated singularities to the more general case of an almost complete intersection ideal $J$ of dimension one. When the saturation $I$ of $J$ is a complete intersection, we get explicit formulas for a number of related invariants. New examples of hypersurfaces $V:f=0$ in $P^n$ whose Jacobian ideal $J_f$ satisfies this property and with explicit nontrivial Alexander polynomials are given in any dimension. A Lefschetz type property for the graded quotient $I/J$ is …
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 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.
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…
Let K be an algebraically closed field of characteristic p > 0. We apply a theorem of C. Han to give an explicit description for the weak Lefschetz property of the monomial Artinian complete intersection A = K[X,Y,Z]/(X^d,Y^d,Z^d) in terms of d and p. This answers a question of J. Migliore, R. M. Miro-Roig and U. Nagel and, equivalently, characterizes for which characteristics the rank-2 syzygy bundle Syz(X^d,Y^d,Z^d) on PP^2 satisfies the Grauert-Muelich theorem. As a corollary we obtain that for p=2 the algebra A has the weak Lefschetz property if and only if d=(2^t+1)/3 or d=(2^t-1)/3 for s…
Given an ideal $I=(f_1,\ldots,f_r)$ in $\mathbb C[x_1,\ldots,x_n]$ generated by forms of degree $d$, and an integer $k>1$, how large can the ideal $I^k$ be, i.e., how small can the Hilbert function of $\mathbb C[x_1,\ldots,x_n]/I^k$ be? If $r\le n$ the smallest Hilbert function is achieved by any complete intersection, but for $r>n$, the question is in general very hard to answer. We study the problem for $r=n+1$, where the result is known for $k=1$. We also study a closely related problem, the Weak Lefschetz property, for $S/I^k$, where $I$ is the ideal generated by the $d$'th powers of the v…
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.
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…
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…
We characterize the monomial complete intersections in three variables satisfying the Weak Lefschetz Property (WLP), as a function of the characteristic of the base field. Our result presents a surprising, and still combinatorially obscure, connection with the enumeration of plane partitions. It turns out that the rational primes p dividing the number, M(a,b,c), of plane partitions contained inside an arbitrary box of given sides a,b,c are precisely those for which a suitable monomial complete intersection (explicitly constructed as a bijective function of a,b,c) fails to have the WLP in chara…
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 investigate Lefschetz properties of Veronese subalgebras. We show that, for a sufficiently large $r$, the $r$\textsuperscript{th} Veronese subalgebra of a Cohen-Macaulay standard graded $K$-algebra has properties similar to the weak and strong Lefschetz properties, which we call the `almost weak' and `almost strong' Lefschetz properties. By using this result, we obtain new results on $h$- and $g$-polynomials of Veronese subalgebras.
According to the Grothendieck-Lefschetz theorem from SGA 2, there are no nontrivial line bundles on the punctured spectrum $U_R$ of a local ring $R$ that is a complete intersection of dimension $\ge 4$. Dao conjectured a generalization for vector bundles $\mathscr{V}$ of arbitrary rank on $U_R$: such a $\mathscr{V}$ is free if and only if $\mathrm{depth}_R(\mathrm{End}_R(Γ(U_R, \mathscr{V}))) \ge 4$. We use deformation theoretic techniques to settle Dao's conjecture. We also present examples showing that its assumptions are sharp and draw consequences for splitting of vector bundles on complet…
We introduce a natural correspondence between artinian monomial almost complete intersections in three variables and punctured hexagonal regions. We use this correspondence to investigate the algebras for the presence of the weak Lefschetz property. In particular, we relate the field characteristics in which such an algebra fails to have the weak Lefschetz property to the prime divisors of the enumeration of signed lozenge tilings of the associated punctured hexagonal region. On the one side this allows us to establish the weak Lefschetz property in many new cases. For numerous classes of punc…
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…
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…
Lefschetz properties for monomial complete intersections
Busitema University（布西泰马大学）；Università degli Studi di Genova（热那亚大学）；CIMAT - Centro de Investigación en Matemáticas（墨西哥数学研究中心）；University of Notre Dame（圣母大学）；Institute of Mathematics “Simion Stoilow” of the Romanian Academy（罗马尼亚科学院西蒙·斯托伊洛数学研究所）；Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）
We prove that the $d$-component of the generic initial ideal, with respect to the reverse lexicographic order, of an ideal generated by a regular sequence of homogeneous polynomials of degree $d$ is revlex in a particular, but important, case. Using this property, we compute the generic initial ideal for several complete intersection with strong Lefschetz property.
Let $A=\pmb k[x_1,...,x_n]/{(x_1^d,...,x_n^d)}$, where $\pmb k$ is an infinite field. If $\pmb k$ has characteristic zero, then Stanley proved that $A$ has the Weak Lefschetz Property (WLP). Henceforth, $\pmb k$ has positive characteristic $p$. If $n=3$, then Brenner and Kaid have identified all $d$, as a function of $p$, for which $A$ has the WLP. In the present paper, the analogous project is carried out for $4\le n$. If $4\le n$ and $p=2$, then $A$ has the WLP if and only if $d=1$. If $n=4$ and $p$ is odd, then we prove that $A$ has the WLP if and only if $d=kq+r$ for integers $k,q,d$ with …
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…
Schenck and Seceleanu proved that if $R = k[x,y,z]$, where $k$ is an infinite field, and $I$ is an ideal generated by any collection of powers of linear forms, then multiplication by a general linear form $L$ induces a homomorphism of maximal rank from any component of $R/I$ to the next. That is, $R/I$ has the {\em weak Lefschetz property}. Considering the more general {\em strong Lefschetz question} of when $\times L^j$ has maximal rank for $j \geq 2$, we give the first systematic study of this problem. We assume that the linear forms are general and that the powers are all the same, i.e. tha…
We establish the upper bound in the multiplicity conjecture of Herzog, Huneke and Srinivasan for the codimension three almost complete intersections. We also give some partial results in the case where I is the aci linked to a complete intersection in one step.
In this short note, we confirm a conjecture of Vasconcelos which states that the Rees algebra of any Artinian almost complete intersection monomial ideal is almost Cohen-Macaulay.
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.
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 study Gorenstein ideals of codimension $4$ derived from generic doublings of almost complete intersection perfect ideals of codimension $3$. We also investigate spinor coordinates of such Gorenstein ideals with $8$ and $9$ generators. For an ideal $J$ of commutative ring $R$, the $R/J$ module $J/J^2$ is called conormal module and $R/J$-dual of $J/J^2$ is called normal module. We study properties of conormal and normal modules of almost complete intersection perfect ideals of codimension $3$.
We are interested in the structure of almost complete intersection ideals of grade 3. We give three constructions of these ideals and their free resolutions: one from the commutative algebra point of view, an equivariant construction giving a nice canonical form, andfinally an interpretation in terms of open sets in certain Schubert varieties.
Let $K$ be a field and $I$ a monomial ideal of the polynomial ring $S=K[x_1,\ldots, x_n]$. We show that if either: 1) $I$ is almost complete intersection, 2) $I$ can be generated by less than four monomials; or 3) $I$ is the Stanley-Reisner ideal of a locally complete intersection simplicial complex on $[n]$, then Stanley's conjecture holds for $S/I$.
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) W…
In this paper we examine the role of four Hilbert functions in the determination of the defining relations of the Rees algebra of almost complete intersections of finite colength. Because three of the corresponding modules are Artinian, some of these relationships are very effective, opening up tracks to the determination of the equations and also to processes of going from homologically defined sets of equations to higher degrees ones assembled by resultants.
Let $S$ be a polynomial ring over an algebraic closed field $k$ and $ \mathfrak p =(x,y,z,w) $ a homogeneous height four prime ideal. We give a finite characterization of the degree two component of ideals primary to $\mathfrak p$, with multiplicity $e \leq 3$. We use this result to give a tight bound on the projective dimension of almost complete intersections generated by five quadrics with $e \leq 3$.
In this article, we propose a question on the annihilators of positive Koszul homologies of a system of parameters of an almost complete intersection $R$. The question can be stated in terms of the acyclicity of certain (finite) residual approximation complexes whose $0$-th homologies are the residue field of $R$. We show that our question has an affirmative answer for the first Koszul homology of any almost complete intersection, as well as for all positive Koszul homologies of certain system of parameters which exist in some almost complete intersection rings with small multiplicities. The s…
