arXiv Science⌕ Search

arXiv · math/0208201

The Weak and Strong Lefschetz Properties for Artinian K-Algebras

Abstract

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.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

T. Harima, J. Migliore, U. Nagel, J. Watanabe. 2002-08-26. The Weak and Strong Lefschetz Properties for Artinian K-Algebras. https://arxiv.org/abs/math/0208201

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Homology with the theme of Matlis

Matlis proved a lot of homological properties of the fraction field of an integral domain. In this paper, we simplify and extend some of them from 1-dimensional (resp. rank one) cases to the higher dimensional (resp. finite rank) cases. For example, we study the weakly co-torsion property of Ext$(-,\sim)$, and use it to present splitting criteria. These are equipped with several applications. For instance, we compute the projective dimension of $\widehat{R}$ and present some non-noetherian versions of Grothendieck's localization problem. We construct a new class of co-Hopfian modules and extend Matlis' decomposability problem to higher ranks. In particular, this paper deals with the basic properties of Matlis' quadric $(Q,Q/R, \widehat{R},\overset{\sim}R).$

math.AC↗

Descent along flat composed with radicalization

We study the following general situation. Let $R\to S$ be a finite flat morphism of regular rings of zero (resp. prime) mixed or (equi)-characteristic. For $P\in Spec R$, put $A=R/P, C=S/PS,$ and $B=S/\sqrt{PS}=C_{\mathrm{red}}.$ The basic question is whether a property of $B$ forces the same property of $A$. The main point is that ordinary finite-flat descent applies naturally to $A\to C$, whereas the passage $C\to C_{\mathrm{red}}$ may (not) destroy nilpotent information.

math.AC↗

When Hilbert functions determine generic initial ideals

Over a field of characteristic zero, we characterize the Hilbert functions that determine the degree reverse lexicographic generic initial ideal among Artinian quotients of embedding dimension $n\ge2$ with the $(n-2)$-strong Lefschetz property. The criterion is a finite arithmetic test on successive positive differences of the Hilbert function. It uses recursively defined integer vectors and requires no construction of a monomial ideal. When uniqueness holds, the same vectors recover the common generic initial ideal degree by degree. The proof reduces uniqueness successively to uniqueness of lower sets of specified cardinalities in Borel orders. In four variables, the test simplifies to avoidance of explicitly computed integer intervals. We recover the quasi-symmetry criterion of Harima and Wachi and give infinite families beyond that criterion in every number of variables at least four.

math.AC↗