Perazzo hypersurfaces and the weak Lefschetz property
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866911777015463936 |
|---|---|
| author | Miró-Roig, Rosa Maria Díez, Josep Pérez |
| author_facet | Miró-Roig, Rosa Maria Díez, Josep Pérez |
| contents | We deal with Perazzo hypersurfaces $X=V(f)$ in $\PP^{n+2}$ defined by a homogeneous polynomial $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 $p_0,p_1,\dots ,p_n$ are algebraically dependent but linearly independent forms of degree $d-1$ in $K[u,v]$ and $g$ is a form in $K[u,v]$ of degree $d$. Perazzo hypersurfaces have vanishing hessian and, hence, the associated graded artinian Gorenstein algebra $A_f$ fails the strong Lefschetz property. In this paper, we first determine the maximum and minimum Hilbert function of $A_f$, we prove that the Hilbert function of $A_f$ is always unimodal and we determine when $A_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)$ in $\PP^{n+3}$ defined by a homogeneous polynomial $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 $p_0,p_1,\dots ,p_{n}$ are algebraically dependent but linearly independent forms of degree $d-1$ in $K[u,v,w]$ and $g$ is a form in $K[u,v,w]$ of degree $d$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_09188 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Perazzo hypersurfaces and the weak Lefschetz property Miró-Roig, Rosa Maria Díez, Josep Pérez Algebraic Geometry 13E10, 13D40, 14M05, 13H10 We deal with Perazzo hypersurfaces $X=V(f)$ in $\PP^{n+2}$ defined by a homogeneous polynomial $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 $p_0,p_1,\dots ,p_n$ are algebraically dependent but linearly independent forms of degree $d-1$ in $K[u,v]$ and $g$ is a form in $K[u,v]$ of degree $d$. Perazzo hypersurfaces have vanishing hessian and, hence, the associated graded artinian Gorenstein algebra $A_f$ fails the strong Lefschetz property. In this paper, we first determine the maximum and minimum Hilbert function of $A_f$, we prove that the Hilbert function of $A_f$ is always unimodal and we determine when $A_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)$ in $\PP^{n+3}$ defined by a homogeneous polynomial $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 $p_0,p_1,\dots ,p_{n}$ are algebraically dependent but linearly independent forms of degree $d-1$ in $K[u,v,w]$ and $g$ is a form in $K[u,v,w]$ of degree $d$. |
| title | Perazzo hypersurfaces and the weak Lefschetz property |
| topic | Algebraic Geometry 13E10, 13D40, 14M05, 13H10 |
| url | https://arxiv.org/abs/2402.09188 |