A five-variable counterexample to the Hessian conjecture, and the low-dimensional status of the Jacobian and Hessian conjectures

Abstract

We exhibit an explicit integer polynomial in five variables, of total degree $14$ and with constant Hessian determinant $128$, whose gradient is not injective. Consequently its formal Legendre transform is not a polynomial, and the Hessian conjecture $\HC_5$ is false. The counterexample is obtained from the six-variable doubling of Alp\"oge's 2026 Jacobian counterexample by a one-variable \emph{Schur descent}---a partial Legendre transform in a single variable. Combined with de~Bondt's theorem that $\HC_n$ holds for $n\le3$, with the elementary doubling and stabilization bridges relating the Jacobian conjectures $\JC_n$ to the Hessian conjectures $\HC_n$, and with Alp\"oge's refutation of $\JC_3$, this decides the Hessian conjecture in every dimension except $n=4$: $\HC_n$ is true for $n\le3$, false for $n\ge5$, and open only at $n=4$. Exactly two statements of the two families remain unsettled, $\JC_2$ and $\HC_4$, linked by $\HC_4 \Rightarrow \JC_2$. Along the way we record, as a warm-up, an explicit six-variable counterexample to $\HC_6$ with constant Hessian determinant $-4$ and non-injective gradient. This note adds the five-variable counterexample to, and updates the status recorded in, the first author's earlier educational preprint \cite{MengRG2026}.