Related papers: On higher Hessians and the Lefschetz properties
Gordan and Noether proved in their fundamental theorem that an hypersurface $X=V(F)\subseteq \mathbb{P}^n$ with $n\leq 3$ is a cone if and only if $F$ has vanishing hessian (i.e. the determinant of the Hessian matrix). They also showed that…
The aim is to study Perazzo hypersurfaces $X=V(F)\subseteq\mathbb{P}(K^5)$, defined by $F(x_0,x_1,x_2,u,v) = p_0(u,v)x_0+p_1(u,v)x_1+p_2(u,v)x_2+g(u,v)$, where $p_0,p_1,p_2$ are algebraically dependent, but linearly independent forms of…
If $X = V(f) \subset \mathbb P^N$ is a reduced complex hypersurface, the hessian of $f$ (or by abusing the terminology the hessian of $X$) is the determinant of the matrix of the second derivatives of the form $f$, that is the determinant…
We study the problem of whether an arbitrary codimension three graded artinian Gorenstein algebra has the Weak Lefschetz Property. We reduce this problem to checking whether it holds for all compressed Gorenstein algebras of odd socle…
We study two special families of cubic hypersurfaces with vanishing Hessian in $\mathbb{P}^N$, obtaining rational parametrizations and computing their degree in $\mathbb{P}(S_3)$. For $N \leq 6$, these two families exhaust the locus of…
Codimension two Artinian algebras $A$ have the strong and weak Lefschetz properties provided the characteristic is zero or greater than the socle degree. It is open to what extent such results might extend to codimension three AG algebras -…
We deal with Perazzo 3-folds in $\mathbb P^4$, i.e. hypersurfaces $X=V(f)\subset \mathbb P^4$ of degree $d$ defined by a homogeneous polynomial $f(x_0,x_1,x_2,u,v)=p_0(u,v)x_0+p_1(u,v)x_1+p_2(u,v)x_2+g(u,v)$, where $p_0,p_1,p_2$ are…
Hesse claimed that an irreducible projective hypersurface in $\PP^n$ defined by an equation with vanishing hessian determinant is necessarily a cone. Gordan and Noether proved that this is true for $n\leq 3$ and constructed counterexamples…
We find a sufficient condition that $\H$ is not level based on a reduction number. In particular, we prove that a graded Artinian algebra of codimension 3 with Hilbert function $\H=(h_0,h_1,..., h_{d-1}>h_d=h_{d+1})$ cannot be level if…
We prove the existence of various families of irreducible homaloidal hypersurfaces in projective space $\mathbb P^ r$, for all $r\geq 3$. Some of these are families of homaloidal hypersurfaces whose degrees are arbitrarily large as compared…
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…
We consider the strong Lefschetz property for standard graded Artinian Gorenstein algebras. Such an algebra has a presentation of the quotient algebra of the ring of the differential polynomials modulo the annihilator of some homogeneous…
We consider the conjecture that all artinian height 4 complete intersections of forms of the same degree $d$ have the Weak Lefschetz Property (WLP). We translate this problem to one of studying the general hyperplane section of a certain…
For $d \ge 4$, the Noether-Lefschetz locus $\mathrm{NL}_d$ parametrizes smooth, degree $d$ surfaces in $\mathbb{P}^3$ with Picard number at least $2$. A conjecture of Harris states that there are only finitely many irreducible components of…
We study the problem of the irreducibility of the Hessian variety $\mathcal{H}_f$ associated with a smooth cubic hypersurface $V(f)\subset \mathbb{P}^n$. We prove that when $n\leq5$, $\mathcal{H}_f$ is normal and irreducible if and only if…
For a fixed $d \ge 5$, the Noether-Lefschetz locus parametrizes smooth degree $d$ surfaces in $\mathbb{P}^3$ with Picard number greater than $1$. This is a countable union of proper algebraic varieties. It is known (due to works of Voisin,…
It is known that all complete intersection Artinian standard graded algebras of codimension 3 have the Weak Lefschetz Property. Unfortunately, this property does not continue to be true when you increase the number of minimal generators for…
It is well known since Noether that the gonality of a smooth plane curve of degree d>3 is d-1. Given a k-dimensional complex projective variety X, the most natural extension of gonality is probably the degree of irrationality, that is the…
We show that if $X\subset\mathbb P^N_k$ is a normal variety of dimension $\geq 3$ and $H\subset\mathbb P^N_k$ a very general hypersurface of degree $d=4$ or $\geq 6$, then the restriction map $\mathrm{Cl}(X)\to\mathrm{Cl}(X\cap H)$ is an…
We introduce a family of standard bigraded binomial Artinian Gorenstein algebras, whose combinatoric structure characterizes the ones presented by quadrics. These algebras provide, for all socle degree grater than two and in sufficiently…