http://dx.doi.org/10.4153/CJM-2008-019-2
Canad. J. Math. 60(2008), 391-411
Published:2008-04-01 Printed: Apr 2008
Features coming soon:
Citations (via CrossRef)
Tools:
Search Google Scholar:
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, 2013
|