Related papers: The Hessian map

Let $X$ be a hypersurface, of degree $d$, in an $n$--dimensional projective space. The Hessian map is a rational map from $X$ to the projective space of symmetric matrices that sends a point $p\in X$ to the Hessian matrix of the defining…

The Hessian map is the rational map that sends a homogeneous polynomial to the determinant of its Hessian matrix. We prove that the Hessian map is birational on its image for ternary forms of degree $d\ge 4$, $d\neq 5$, by considering the…

In this article we extend the notion of determinantal representation of hypersurfaces to the determinantal representation of sections of the determinant line bundle of a vector bundle. We give several examples, and prove some necessary…

We investigate birational properties of hypersurfaces of degree $6$ in the weighted projective space $\mathbf{P}(1,1,2,2,3)$. In particular, we prove that any such quasi-smooth hypersurface is not rational.

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…

Let X be a minimal complex surface of general type such that its image via the canonical map is a surface; we denote by d the degree of the canonical map. In this expository work, first of all we recall the known possibilities for the…

Over fields of characteristic zero, we show that for $n=1,d\geq4$ or $n=2,d\geq5$ or $n\geq3, d\geq 2n$, the generic $m$-marked degree-$d$ hypersurface in $\mathbb{P}^{n+1}$ admits the $m$ marked points as all the rational points. Over…

The main theorem of this paper is that, for a general pair $(A,X)$ of an (ample) Hypersurface $X$ in an Abelian Variety $A$, the canonical map $\Phi_X$ of $X$ is birational onto its image if the polarization given by $X$ is not principal…

We study the problem of the generic injectivity of the Hessian map, associating with a proportionality class of a ternary form the class of its Hessian determinant, conjectured by C. Ciliberto and G. Ottaviani and recently proved by the…

This is a continuation of "Rational curves on hypersurfaces of low degree", math.AG/0203088. We prove that if d^2+d+1 < n and d > 2, then for a general hypersurface X_d in P^n of degree d, for each degree e the space of rational curves of…

We provide effective methods to construct and manipulate trilinear birational maps $\phi:(\mathbb{P}^1)^3\dashrightarrow \mathbb{P}^3$ by establishing a novel connection between birationality and tensor rank. These yield four families of…

Let $V_{n,d}$ be the variety of equations for hypersurfaces of degree $d$ in $\mathbb{P}^n(\mathbb{C})$ with singularities not worse than simple nodes. We prove that the orbit map $G'=SL_{n+1}(\mathbb{C}) \to V_{n,d}$, $g\mapsto g\cdot…

The Hessian of a neural network captures parameter interactions through second-order derivatives of the loss. It is a fundamental object of study, closely tied to various problems in deep learning, including model design, optimization, and…

In this paper, we study maps from reducible curves $f : C \cup_\Gamma D \to \mathbb{P}^r$. We restrict our attention to two cases: first, when $f|_D$ factors through a hyperplane $H$ and $f|_C$ is transverse to $H$; and second, when $r =…

We show that smooth curves in the same biliaison class on a hypersurface in $\mathbf{P}^3$ with ordinary singularities are linearly equivalent. We compute the invariants $h^0(\mathscr{I}_C(d))$, $h^1(\mathscr{I}_C(d))$ and…

We prove that the determinantal complexity of a hypersurface of degree $d > 2$ is bounded below by one more than the codimension of the singular locus, provided that this codimension is at least $5$. As a result, we obtain that the…

In a previous memoir 2202.03030, we showed that in every dimension $n \geq 5$, there exists (unexpectedly) no affinely homogeneous hypersurface $H^n \subset \mathbb{R}^{n+1}$ having Hessian of constant rank 1 (and not being affinely…

Let $S$ be a minimal surface of general type with $p_g=0$ and $K^2=6$, such that its bicanonical map $\fie\colon S\to\pp^6$ is not birational. The map $\fie$ is a morphism of degree $\le 4$ onto a surface. The case of $\deg\fie=4$ is…

This article describes a unirationality construction for general low degree complete intersections in projective space which is based on a variety of highly tangent lines. Applied to hypersurfaces, this implies that a general hypersurface…

We show that if a homogeneous polynomial $f$ in $n$ variables has Waring rank $n+1$, then the corresponding projective hypersurface $f=0$ has at most isolated singularities, and the type of these singularities is completely determined by…