English

Perazzo hypersurfaces and the weak Lefschetz property

Algebraic Geometry 2024-02-15 v1

Abstract

We deal with Perazzo hypersurfaces X=V(f)X=V(f) in \PPn+2\PP^{n+2} defined by a homogeneous polynomial f(x0,x1,,xn,u,v)=p0(u,v)x0+p1(u,v)x1++pn(u,v)xn+g(u,v)f(x_0,x_1,\dots,x_n,u,v)=p_0(u,v)x_0+p_1(u,v)x_1+\cdots +p_n(u,v)x_n+g(u,v), where p0,p1,,pnp_0,p_1,\dots ,p_n are algebraically dependent but linearly independent forms of degree d1d-1 in K[u,v]K[u,v] and gg is a form in K[u,v]K[u,v] of degree dd. Perazzo hypersurfaces have vanishing hessian and, hence, the associated graded artinian Gorenstein algebra AfA_f fails the strong Lefschetz property. In this paper, we first determine the maximum and minimum Hilbert function of AfA_f, we prove that the Hilbert function of AfA_f is always unimodal and we determine when AfA_f satisfies the weak Lefschetz property. We illustrate our results with many examples and we show that our results do not generalize to Perazzo hypersurfaces X=V(f)X=V(f) in \PPn+3\PP^{n+3} defined by a homogeneous polynomial f(x0,x1,,xn,u,v,w)=p0(u,v,w)x0+p1(u,v,w)x1++pn(u,v,w)xn+g(u,v,w)f(x_0,x_1,\dots,x_{n},u,v,w)=p_0(u,v,w)x_0+p_1(u,v,w)x_1+\cdots +p_{n}(u,v,w)x_{n}+g(u,v,w), where p0,p1,,pnp_0,p_1,\dots ,p_{n} are algebraically dependent but linearly independent forms of degree d1d-1 in K[u,v,w]K[u,v,w] and gg is a form in K[u,v,w]K[u,v,w] of degree dd.

Keywords

Cite

@article{arxiv.2402.09188,
  title  = {Perazzo hypersurfaces and the weak Lefschetz property},
  author = {Rosa Maria Miró-Roig and Josep Pérez Díez},
  journal= {arXiv preprint arXiv:2402.09188},
  year   = {2024}
}

Comments

To be published in Journal of Algebra

R2 v1 2026-06-28T14:48:26.866Z