The strong Lefschetz property in codimension two

DOI10.1216/JCA-2014-6-3-323MaRDI QIDQ471975zbMATH OpenOpenAlexFDO

Authors David Cook II

Publication date 18 November 2014

Published in Journal of Commutative Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1301.7614, https://projecteuclid.org/euclid.jca/1416233321

zbMATH Keywords

codim 2lexsegment idealsstrong Leftschetz property

Mathematics Subject Classification ID

Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Commutative Artinian rings and modules, finite-dimensional algebras (13E10)

Abstract: 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 always have the strong Lefschetz property.

Review text

Let \(I\) be a homogeneous artinian ideal in \(S = K[x,y]\). From [\textit{J. Migliore} and \textit{F. Zanello}, J. Pure Appl. Algebra 210, No. 2, 465--471 (2007; Zbl 1118.13018)] it is known that \(S/I\) always has the weak Lefschetz property regardless of the characteristic of the field. Nevertheless, it is only known that \(S/I\) has strong Lefschetz property when the characteristic of the field is zero or larger than the regularity of \(S/I\) \textit{T. Harima} et al. [J. Algebra 262, No. 1, 99--126 (2003; Zbl 1018.13001)]. In the present paper, the author considers the strong Lefschetz property in the case where \(I\) is furthermore a monomial ideal. The general case can be reduced to the monomial ideal case by Proposition 2.8 in [\textit{A. Wiebe}, Commun. Algebra 32, No. 12, 4601--4611 (2004; Zbl 1089.13500)]. Now in the case of monomial ideal, the author proves that the strong Lefschetz property holds when the characteristic of the field is larger than the largest distance between two monomials of \(I\) of degree equal the regularity of \(S/I\). The author also considers some cases where the bound is sharp. Furthermore, he proves that \(S/I\) always has strong Lefschetz property regardless of the characteristic of \(K\) if and only if \(I\) is a lexsegment ideal.

Recommendations

• scientific article; zbMATH DE number 5003799
• The strength of the weak Lefschetz property
• Strong Lefschetz property under reduction
• The strong Lefschetz principle in algebraic geometry
• A tour of the weak and strong Lefschetz properties
• The strong Lefschetz property of monomial complete intersections in two variables
• The Lefschetz properties
• Lefschetz theorems for torsion algebraic cycles in codimension 2
• Strong Lefschetz property on algebras of embedding dimension three
• A new proof of Stanley’s theorem on the strong Lefschetz property

Cites work

• A tour of the weak and strong Lefschetz properties
• Associated graded algebra of a Gorenstein Artin algebra
• Description de Hilb sup(n) C{X,Y}
• Enumeration of Lozenge tilings of hexagons with a central triangular hole
• Forcing the strong Lefschetz and the maximal rank properties
• Ideals of general forms and the ubiquity of the weak Lefschetz property.
• Monomial complete intersections, the weak Lefschetz property and plane partitions
• Monomial Ideals
• Monomial ideals, almost complete intersections and the Weak Lefschetz property
• On the shape of a pure O-sequence
• On the Vector Representations of Induced Matroids
• On the weak Lefschetz property for powers of linear forms
• Pairs of commuting nilpotent matrices, and Hilbert function
• The geometric interpretation of Fröberg-Iarrobino conjectures on infinitesimal neighbourhoods of points in projective space
• The Hilbert functions which force the Weak Lefschetz property
• The Lefschetz properties of monomial complete intersections in positive characteristic
• The Lefschetz Property for Componentwise Linear Ideals and Gotzmann Ideals
• The weak and strong Lefschetz properties for Artinian \(K\)-algebras

Cited in

(14)

• The strong Lefschetz property of monomial complete intersections in two variables
• The Lefschetz properties of monomial complete intersections in positive characteristic
• Artinian algebras and Jordan type
• The weak Lefschetz property for monomial ideals of small type
• The strength of the weak Lefschetz property
• scientific article; zbMATH DE number 5003799 (Why is no real title available?)
• A tour of the weak and strong Lefschetz properties
• Representation theory of symmetric groups and the strong Lefschetz property
• Modular Jordan type for \(\Bbbk [x, y] / (x^m,y^n)\) for \(m = 3, 4\)
• An Artinian ring having the strong Lefschetz property and representation theory
• The Artinian point star configuration quotient and the strong Lefschetz property
• A new proof of Stanley’s theorem on the strong Lefschetz property
• The strong Lefschetz property for quadratic reverse lexicographic ideals
• Notes on Jordan type of an Artinian algebra

This page was built for publication: The strong Lefschetz property in codimension two

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q471975)