[论文解读] The Jacobian Conjecture as a problem in combinatorics

David L. Wright|ArXiv.org|Nov 8, 2005

Advanced Differential Equations and Dynamical Systems参考文献 6被引用 6

一句话总结

本文通过在对称齐次情形下使用基于树的反演公式，将雅可比猜想表述为一个组合问题。它证明了当 $JH^3 = 0$ 时该猜想成立，并通过计算方法解决了 $JH^4 = 0$ 的情形，表明逆映射的次数 ≤15，同时提出一个关键的组合条件，若成立则可推出完整的猜想。

ABSTRACT

The Jacobian Conjecture has been reduced to the symmetric homogeneous case. In this paper we give an inversion formula for the symmetric case and relate it to a combinatoric structure called the Grossman-Larson Algebra. We use these tools to prove the symmetric Jacobian Conjecture for the case $F=X-H$ with $H$ homogeneous and $JH^{3}=0$. Other special results are also derived. We pose a combinatorial statement which would give a complete proof the Jacobian Conjecture.

研究动机与目标

• 通过形式幂级数和树结构，将雅可比猜想重新表述为一个组合问题。
• 利用格罗兹曼-拉森代数，为对称齐次多项式映射建立一个新的反演公式。
• 证明当 $F = X - H$ 且 $H$ 为三次多项式、$JH^3 = 0$ 时猜想成立，并通过计算验证 $JH^4 = 0$ 的情形。
• 识别出一个组合条件——即某些模的消失——若成立则可推出完整的雅可比猜想。

提出的方法

• 使用巴斯-康奈尔-赖特的树公式来处理形式反演映射，并将其适配到 $H = \nabla P$ 的对称情形。
• 引入一个对称树公式，将反演表示为 $G = X + \nabla Q$，其中 $Q$ 由势函数 $P$ 的导数在自由树上的加权乘积构成。
• 应用格罗兹曼-拉森代数来建模反演级数的代数结构，并分析其分次分量。
• 定义商模 $\overline{\mathcal{M}}(r,4)_m$ 以研究在 $(JH)^r = 0$ 条件下反演级数系数的消失性。
• 使用计算机算法计算 $\overline{\mathcal{M}}(4,4)_m$ 的结构，发现当 $m = 8, \dots, 14$ 时 $\overline{\mathcal{M}}(4,4)_m = 0$，但 $m = 13$ 时模的秩为一，而 $\overline{\nu}_{13} = 0$。
• 利用理想成员资格定理，表明反演级数的系数位于由 $(JH)^3$ 或 $(JH)^4$ 的系数生成的理想中，具体取决于次数。

实验结果

研究问题

• RQ1 是否存在正整数 $M_r$，使得 $\overline{\mathcal{M}}(r,4)_m = 0$ 对所有 $M_r + 1 \leq m \leq 2M_r$ 成立？
• RQ2 $\overline{\nu}_m = 0$ 是否在 $\overline{\mathcal{M}}(r,4)_m$ 中对所有 $M_r + 1 \leq m \leq 2M_r$ 成立？
• RQ3 $\overline{\mathcal{M}}(r,4)$ 是否作为 $\mathbb{Q}$-向量空间具有有限秩，即对充分大的 $m$ 有 $\overline{\mathcal{M}}(r,4)_m = 0$？
• RQ4 若 $\overline{\mathcal{M}}(r,4)_m$ 在某个 $m$ 范围内消失，是否可推出当 $(JH)^r = 0$ 时 $F = X - H$ 的可逆性？
• RQ5 若 $\overline{\nu}_m$ 在 $\overline{\mathcal{M}}(r,4)_m$ 中对某个 $m$ 的范围消失，是否意味着反演级数终止？

主要发现

• 当 $F = X - H$ 且 $H$ 为三次多项式、$JH^3 = 0$ 时，对称雅可比猜想成立，因为反演级数在次数 7 处终止。
• 对于三次对称情形且 $JH^4 = 0$，计算验证表明反演映射的次数 ≤15，且 $F^{-1} = X + N^{(1)} + \cdots + N^{(7)}$。
• 计算机程序确认 $\overline{\mathcal{M}}(4,4)_m = 0$ 对 $m = 8, \dots, 14$ 成立，仅在 $m = 13$ 时模的秩为一，但 $\overline{\nu}_{13} = 0$，表明反演级数终止。
• 理想成员资格定理表明，在三次情形下，所有 $m \geq 3$ 的 $Q^{(m)}$ 的系数均位于由 $(JH)^3$ 的系数生成的理想中。
• 在二次对称情形且 $JH^4 = 0$ 时，所有 $m \geq 5$ 的 $Q^{(m)}$ 的系数均位于由 $(JH)^4$ 的系数生成的理想中。
• 在三次对称情形且 $JH^4 = 0$ 时，所有 $m \geq 8$ 的 $Q^{(m)}$ 的系数均位于由 $(JH)^4$ 的系数生成的理想中。