Search arXiv⌕ 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

Mixed linkage of numerical semigroup ideals

We introduce principal and canonical linkage for relative ideals of a numerical semigroup $S$ and study their interaction modulo translation. On normalized $S$-reflexive ideals, a principal link followed by a canonical link acts by addition of the canonical ideal $K$. The resulting mixed components have paths as their underlying simple graphs, and their even liaison classes are chains under inclusion. If $r(K)$ is the positive reduction number of $K$, every even class has at most $r(K)$ elements and every mixed component has at most $2r(K)$ vertices. For components with a loop, the bound improves to $r(K)$. For semigroups of type two, we compute the even class of a given ideal from its occupied and gap blocks along arithmetic progressions and prove that the largest even class has exactly $r(K)$ elements. This equality can fail in type three. Both component bounds are sharp, and explicit families of embedding dimension three give components of unbounded size with and without loops.

math.AC↗

Hilbert Series in Four Variables and Linear Factors of High Multiplicity

Explicit sequences of forms with the Hilbert series predicted by Fröberg's conjecture are difficult to construct beyond the almost complete intersection case. Over a field of characteristic zero, we prove that six forms of degree $d\ge4$ in four variables cannot have the predicted series if each is divisible by a power of a linear form with exponent at least $(15d+91)/16$. A power of the product of six quadric cones gives a nonzero element of the inverse system in a degree where the predicted series vanishes. This obstruction implies that every fixed-order Taylor truncation of the homogeneous Rogers--Szegő polynomial at $q=1$ fails to complete five powers of linear forms to the predicted series in all sufficiently large degrees. As a fixed-degree counterpart, we use exact certificates to prove the conjecture for any number of general quintics or septics; together with known results, this establishes the equal-degree conjecture in four variables for $1\le d\le9$.

math.AC↗