[论文解读] New Proofs for the Abhyankar-Gurjar Inversion Formula and the Equivalence of the Jacobian Conjecture and the Vanishing Conjecture

Wenhua Zhao|arXiv (Cornell University)|Jul 23, 2009

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

一句话总结

本文提出了仿射空间中形式映射的Abhyankar-Gurjar反演公式的全新证明与重表述，利用了先前关于多项式挠动与Weyl代数结构的研究成果。通过这一重新表述的框架，建立了雅可比猜想与二次微分算子的消去猜想的一个更直接的等价关系，具体表明：当且仅当某些微分算子在变量与参数的线性形式的高次幂上消失时，该猜想成立。

ABSTRACT

We first give a new proof and also a new formulation for the Abhyankar-Gurjar inversion formula for formal maps of affine spaces. We then use the reformulated Abhyankar-Gurjar formula to give a more straightforward proof for the equivalence of the Jacobian Conjecture with a special case of the Vanishing Conjecture of (homogeneous) quadratic differential operators with constant coefficients.

研究动机与目标

• 为仿射空间中形式映射的Abhyankar-Gurjar反演公式提供一个新证明与重表述。
• 建立雅可比猜想与二次微分算子消去猜想特例之间更直接的等价关系。
• 阐明Abhyankar-Gurjar公式与Weyl代数中反对合作用下逆映射泰勒展开之间的结构联系。
• 证明雅可比猜想等价于特定微分算子在变量与参数中线性形式的幂上的消失。

提出的方法

• 利用先前关于多项式映射挠动与Weyl代数结构的研究成果，重新推导Abhyankar-Gurjar反演公式。
• 通过分析Weyl代数上的反对合τ及其对微分算子的作用，提出Abhyankar-Gurjar公式的全新表述。
• 将重表述的公式应用于形式逆映射的分析，形式为 $ F_t = z - tH $，其中 $ H $ 为三次齐次多项式。
• 利用条件 $ \Lambda^m(P^m) = 0 $ 对所有 $ m \geq 1 $ 推出雅可比矩阵 $ JH $ 的幂零性，从而将其与雅可比猜想联系起来。
• 应用 [Z6] 中的结果，证明形式逆 $ G_t $ 是 $ t $ 的多项式映射，当且仅当 $ \Lambda^m(P^{m+1}) = 0 $ 对足够大的 $ m $ 成立，从而确立关键等价关系。
• 采用完备化技巧与多项式与Weyl代数上的 $ \mathbb{Z} $-分次结构，将结果从多项式推广至形式幂级数。

实验结果

研究问题

• RQ1 如何利用近期关于Weyl代数反对合与多项式挠动的研究成果，重新证明并重述Abhyankar-Gurjar反演公式？
• RQ2 Abhyankar-Gurjar公式与在反对合τ作用下逆映射泰勒展开之间的确切结构关系为何？
• RQ3 在什么条件下，对所有 $ m \geq 1 $ 有 $ \Lambda^m(P^m) = 0 $，可推出对足够大的 $ m $ 有 $ \Lambda^m(P^{m+1}) = 0 $，这与雅可比猜想有何关联？
• RQ4 雅可比猜想是否等价于对形如 $ \Lambda = \sum_{i=1}^n \partial_{\xi_i} \partial_{z_i} $ 的二次微分算子与线性形式 $ P(\xi,z) = \langle \xi, H \rangle $ 的消去猜想限制？
• RQ5 是否可以在不假设消去猜想一般情形的前提下，建立雅可比猜想与消去猜想之间的等价性？

主要发现

• 建立了Abhyankar-Gurjar反演公式的全新证明与重表述，阐明了其与Weyl代数中反对合τ的联系。
• 重表述的公式表明，反演公式中的微分算子与逆映射泰勒展开算子的τ-变换完全一致，解释了长期存在的结构相似性。
• 证明了雅可比猜想等价于对形如 $ \Lambda = \sum_{i=1}^n \partial_{\xi_i} \partial_{z_i} $ 的二次微分算子与多项式 $ P(\xi,z) = \langle \xi, H \rangle $（其中 $ H $ 为三次齐次多项式）的消去猜想限制。
• 对于形如 $ F = z - H $ 的多项式映射，其中 $ H $ 为三次齐次多项式，当且仅当 $ JH $ 幂零时，有 $ \Lambda^m(P^m) = 0 $ 对所有 $ m \geq 1 $ 成立。
• 对足够大的 $ m $，条件 $ \Lambda^m(P^{m+1}) = 0 $ 等价于形式逆 $ G_t $ 是 $ t $ 的多项式映射，这蕴含了此类映射的雅可比猜想成立。
• 证明了 [Z3] 中猜想4.4的一个特例：若对所有 $ m \geq 1 $ 有 $ \Lambda^m(P^m) = 0 $，则在 $ H $ 为满足 $ o(H) \geq 2 $ 的多项式向量场的假设下，对足够大的 $ m $ 有 $ \Lambda^m(P^{m+1}) = 0 $。