If is a reduced complex hypersurface, the hessian of (or by abusing the terminology the hessian of ) is the determinant of the matrix of the second derivatives of the form , that is the determinant of the hessian matrix of . Hypersurfaces with vanishing hessian were studied systematically for the first time in the fundamental paper [GN], where Gordan and M. Noether analyze Hesse’s claims in [Hesse1, Hesse2] according to which these hypersurfaces are necessarily cones. Of course cones have vanishing hessian. Clearly the claim is true if deg(X)=2 so that the first relevant case for the problem is that of cubic hypersurfaces. One immediately sees that $V(x_0x_3^2 + x_1x_3x_4 + x_2x_4^2)\subset \mathbb P^4$ is a cubic hypersurface with vanishing hessian but not a cone (for example one could check that the first partial derivatives of the equation are linearly independent). As firstly pointed out in [GN], the claim is true for and in general false for every . Here we prove that for an irreducible cubic hypersurface with vanishing hessian in is either a cone or a scroll in linear spaces tangent to the dual of the image of the polar map of the hypersurface. We also provide canonical forms and a projective characterization of {\it Special Perazzo Cubic Hypersurfaces}, which, a posteriori, exhaust the class of cubic hypersurfaces with vanishing hessian, not cones, for . Finally we show by pertinent examples the technical difficulties arising for .

生成讲解博客的中文版本

生成AI智能校验的中文版本