arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~

关于黑塞猜想的一个五变量反例,以及雅可比猜想和黑塞猜想的低维状态

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

Guowu Meng, Liang Yang

arXiv 2607.22198首次发表:更新:

AI 中文总结

本文给出一个五变量整数多项式\(\Psi\)作为黑塞猜想\(\HC_5\)的反例,通过单变量舒尔下降从阿尔波格的六变量雅可比反例翻倍得到。结合相关定理及反驳,确定了除\(n = 4\)外各维度黑塞猜想的真假,还给出六变量\(\HC_6\)反例,扩展并取代了作者早期笔记。

AI 中文摘要

我们展示了一个明确的五变量整数多项式\(\Psi\),其总次数为\(14\)且黑塞行列式\(\det\Hess\Psi\equiv128\)恒定,但其梯度不是单射的。因此,\(\Psi\)的形式勒让德变换不是多项式,黑塞猜想\(\HC_5\)不成立。该反例是通过单变量的舒尔下降(单个变量的部分勒让德变换)从阿尔波格的六变量雅可比反例翻倍得到的,其所有定义恒等式都已在精确有理算术下进行了检验。结合德·邦特关于\(n\leq3\)时\(\HC_n\)成立的定理,以及将雅可比猜想\(\JC_n\)与黑塞猜想\(\HC_n\)联系起来的基本翻倍和稳定化桥梁,再加上阿尔波格对\(\JC_3\)的反驳,这就确定了除\(n = 4\)外每个维度的黑塞猜想:\(n\leq3\)时\(\HC_n\)为真,\(n\geq5\)时为假,仅在\(n = 4\)时未解决。两个家族中恰好有两个陈述未解决,即\(\JC_2\)和\(\HC_4\),由\(\HC_4\Rightarrow\JC_2\)联系起来。在此过程中,我们还记录了一个明确的六变量\(\HC_6\)反例,其黑塞行列式恒定为\(-4\),在\(\C\)上梯度一般为三对一。本文扩展并取代了第一作者早期的教育笔记。

英文摘要

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öge'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öge'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}.

Comments10 pages

论文原文

arXiv 摘要页 · PDF 原文 · HTML 原文

↑