zbMATH — the first resource for mathematics

The Lefschetz property for componentwise linear ideals and Gotzmann ideals. (English) Zbl 1089.13500
From the paper: Let \(S=K[x_1,\dots,x_n]\) be the polynomial ring over an infinite field \(K\). The maximal ideal \((x_1,\dots,x_n)\) will be denoted by \({\mathfrak m}\). Let \(I\subset S\) be an \({\mathfrak m}\)-primary graded ideal and set \(A=S/I\). One says that \(A\) has the weak Lefschetz property, if there is a linear form \(l\in A_1\) which satisfies the following condition: The multiplication map \(A_1\to A_{i+1}\), \(f \mapsto lf\), has maximal rank (that means, is injective or surjective) for all \(i\in\mathbb{N}\).
If there exists an element \(l\in A_1\) such that the multiplication map \(A_i\to A_{i+k}\), \(f\mapsto l^kf\), has maximal rank for all \(i\in\mathbb{N}\) and all \(k\geq 1\), one says that \(A\) has the strong Lefschetz property.
Under which conditions does a standard graded Artinian \(K\)-algebra \(A\) admit the weak (respectively strong) Lefschetz property? Since more than twenty years, this question has challenged several authors, and many interesting results have been obtained.
In this paper, we give an answer to the above question in the following special cases: Let \(I\) be a componentwise linear ideal (respectively a Gotzmann ideal) in the polynomial ring \(S=K[x_1,\dots,x_n]\). In the case that \(I\) is componentwise linear, we give a necessary and sufficient condition for \(S/I\) to have the weak Lefschetz property in terms of the graded Betti numbers of \(I\). Under the stronger assumption that \(I\) is even a Gotzmann ideal, we give a necessary and sufficient condition for \(S/I\) to have the weak Lefschetz property in terms of the Hilbert function of \(I\).

13A02 Graded rings
13C05 Structure, classification theorems for modules and ideals in commutative rings
13D03 (Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.)
13D40 Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series
13E10 Commutative Artinian rings and modules, finite-dimensional algebras
Full Text: DOI arXiv
[1] DOI: 10.1006/aima.1998.1888 · Zbl 0968.13008
[2] DOI: 10.2140/pjm.1999.187.1 · Zbl 0940.13009
[3] Bruns W., Cohen–Macaulay Rings (1998)
[4] DOI: 10.1090/S0002-9939-02-06607-8 · Zbl 1015.13010
[5] Eisenbud D., Commutative Algebra with a View Toward Algebraic Geometry (1995) · Zbl 0819.13001
[6] DOI: 10.1016/0021-8693(90)90237-I · Zbl 0701.13006
[7] DOI: 10.1090/S0002-9939-1995-1307527-7
[8] DOI: 10.1016/S0021-8693(03)00038-3 · Zbl 1018.13001
[9] Herzog J., Advanced Studies in Pure Mathematics, 33, in: Computational Commutative Algebra and Combinatorics pp 75– (2002)
[10] Herzog J., Nagoya Math. J. 153 pp 141– (1999)
[11] Iarrobino A., Mem. Am. Math. Soc. 107 (1994)
[12] Ikeda H., Jap. J. Math. 22 pp 147– (1996)
[13] DOI: 10.1016/0001-8708(80)90050-X · Zbl 0427.52006
[14] DOI: 10.1137/0601021 · Zbl 0502.05004
[15] Watanabe J., Advanced Studies in Pure Mathematics, 11, in: Commutative Algebra and Combinatorics pp 303– (1987)
[16] DOI: 10.1090/S0002-9939-98-04477-3 · Zbl 0901.13019
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.