MathDB

Quartic Hessian conjecture in dimension four

For every polynomial f∈C[x1,x2,x3,x4]f\in\mathbb{C}[x_1,x_2,x_3,x_4] satisfying det⁡(Hess⁡(f))∈C×\det\bigl(\operatorname{Hess}(f)\bigr)\in\mathbb{C}^{\times}, the gradient map ∇f:C4→C4\nabla f:\mathbb{C}^4\to\mathbb{C}^4 has a polynomial inverse; equivalently, there exists G∈C[x1,x2,x3,x4]4G\in\mathbb{C}[x_1,x_2,x_3,x_4]^4 such that G∘∇f=∇f∘G=id⁡C4G\circ\nabla f=\nabla f\circ G=\operatorname{id}_{\mathbb{C}^4}, where Hess⁡(f)=(∂2f∂xi∂xj)1≤i,j≤4\operatorname{Hess}(f)=\left(\frac{\partial^2f}{\partial x_i\partial x_j}\right)_{1\leq i,j\leq4}.

References

Primary source

arXiv

Additional references

algebraic-geometrypolynomial-maps
Posted

Progress summary

Refreshed
Claimed solved

An August 2026 preprint claims to settle the four-variable problem for fourth-degree polynomials, but the broader four-variable problem remains open and the claim has not been independently verified.

The dimension-four Hessian conjecture asks whether every complex polynomial with constant nonzero Hessian determinant has an invertible polynomial gradient. Zixiang Ni’s August 2026 preprint claims this for all polynomials of degree at most 44, while explicitly leaving degrees at least 55 open.

Known results

  • The conjecture holds in dimensions n≤3n\leq 3; the n=2n=2 case is attributed to Dillen and the n=3n=3 case to de Bondt.
  • Degree at most 22 is immediate from the affine-gradient form.
  • Degree 33 follows from Wang’s theorem on quadratic Keller maps.
  • It is false in dimensions n≥5n\geq 5, via a five-variable degree-1414 counterexample.

August 2026 quartic claim

Ni classifies the quartic top-degree form and reduces every case to explicit polynomial inverses or known lower-dimensional results. The preprint claims the quartic case in dimension four, but provides no independent verification or referee report.

Current status (as of August 2026): The quartic four-variable case has an unrefereed claimed proof, while the full dimension-four conjecture, including degrees at least 55, remains open.

Sources

Solutions 0

No solutions have been posted yet.