CMS/SMC
Canadian Mathematical Society
www.cms.math.ca
Canadian Mathematical Society
  location:  PublicationsjournalsCJM
Abstract view

The Geometry of the Weak Lefschetz Property and Level Sets of Points

  Published:2008-04-01
 Printed: Apr 2008
  • Juan C. Migliore
Features coming soon:
Citations   (via CrossRef) Tools: Search Google Scholar:
Format:   HTML   LaTeX   MathJax   PDF   PostScript  

Abstract

In a recent paper, F. Zanello showed that level Artinian algebras in 3 variables can fail to have the Weak Lefschetz Property (WLP), and can even fail to have unimodal Hilbert function. We show that the same is true for the Artinian reduction of reduced, level sets of points in projective 3-space. Our main goal is to begin an understanding of how the geometry of a set of points can prevent its Artinian reduction from having WLP, which in itself is a very algebraic notion. More precisely, we produce level sets of points whose Artinian reductions have socle types 3 and 4 and arbitrary socle degree $\geq 12$ (in the worst case), but fail to have WLP. We also produce a level set of points whose Artinian reduction fails to have unimodal Hilbert function; our example is based on Zanello's example. Finally, we show that a level set of points can have Artinian reduction that has WLP but fails to have the Strong Lefschetz Property. While our constructions are all based on basic double G-linkage, the implementations use very different methods.
Keywords: Weak Lefschetz Property, Strong Lefschetz Property, basic double G-linkage, level, arithmetically Gorenstein, arithmetically Cohen--Macaulay, socle type, socle degree, Artinian reduction Weak Lefschetz Property, Strong Lefschetz Property, basic double G-linkage, level, arithmetically Gorenstein, arithmetically Cohen--Macaulay, socle type, socle degree, Artinian reduction
MSC Classifications: 13D40, 13D02, 14C20, 13C40, 13C13, 14M05 show english descriptions Hilbert-Samuel and Hilbert-Kunz functions; Poincare series
Syzygies, resolutions, complexes
Divisors, linear systems, invertible sheaves
Linkage, complete intersections and determinantal ideals [See also 14M06, 14M10, 14M12]
Other special types
Varieties defined by ring conditions (factorial, Cohen-Macaulay, seminormal) [See also 13F15, 13F45, 13H10]
13D40 - Hilbert-Samuel and Hilbert-Kunz functions; Poincare series
13D02 - Syzygies, resolutions, complexes
14C20 - Divisors, linear systems, invertible sheaves
13C40 - Linkage, complete intersections and determinantal ideals [See also 14M06, 14M10, 14M12]
13C13 - Other special types
14M05 - Varieties defined by ring conditions (factorial, Cohen-Macaulay, seminormal) [See also 13F15, 13F45, 13H10]
 

© Canadian Mathematical Society, 2014 : http://www.cms.math.ca/