[論文レビュー] 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

ひとこと要約

本稿では、多項式変形および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.

研究の動機と目的

• アフィン空間における形式的写像のアブヤンカラ＝グルジャの反転公式の新たな証明と再定式化を提供すること。
• ヤコビアン予想と二次微分作用素のための消滅予想の特殊ケースとの間のより直接的な同値性を確立すること。
• Weyl代数における反対合（anti-involution）を介した逆写像のテイラー展開と、アブヤンカラ＝グルジャの公式との間の構造的関係を明確にすること。
• ヤコビアン予想が、変数およびパラメータにおける線形形式の冪に作用する特定の微分作用素の消滅に同値であることを示すこと。

提案手法

• 多項式写像の変形およびWeyl代数構造に関する先行研究の結果を活用して、アブヤンカラ＝グルジャの反転公式を再導出する。
• Weyl代数上の反対合τの分析を通じて、アブヤンカラ＝グルジャの公式の新たな定式化を導入する。
• 再定式化された公式を用いて、$ H $ が3次同次多項式である形の多項式写像 $ F_t = z - tH $ の形式的逆写像を分析する。
• $ \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代数の反対合および多項式変形に関する最近の結果を用いて、アブヤンカラ＝グルジャの反転公式を再証明し、再定式化することは可能か？
• RQ2 反対合τの下で、逆写像のテイラー展開とアブヤンカラ＝グルジャの公式との間の正確な構造的関係は何か？
• RQ3 $ \Lambda^m(P^m) = 0 $ がすべての $ m \geq 1 $ に対して成り立つとき、$ \Lambda^m(P^{m+1}) = 0 $ が十分大きな $ m $ に対して成り立つための条件は何か？ そしてこれはヤコビアン予想とどのように関係するか？
• RQ4 ヤコビアン予想は、$ \Lambda = \sum_{i=1}^n \partial_{\xi_i} \partial_{z_i} $ の形をした二次微分作用素および $ P(\xi,z) = \langle \xi, H \rangle $ の形の線形形式に対して制限された消滅予想と同値であるか？
• RQ5 一般の消滅予想のケースを仮定せずに、ヤコビアン予想と消滅予想との同値性を確立できるか？

主な発見

• アブヤンカラ＝グルジャの反転公式の新たな証明と再定式化が確立され、Weyl代数における反対合τとの関係が明確にされた。
• 再定式化された公式により、反転公式における微分作用素が、逆写像のテイラー展開作用素のτ変換に一致することが示され、長年の構造的類似性の理由が説明された。
• ヤコビアン予想が、$ \Lambda = \sum_{i=1}^n \partial_{\xi_i} \partial_{z_i} $ の形の二次微分作用素および $ P(\xi,z) = \langle \xi, H \rangle $ の形の多項式に対して制限された消滅予想と同値であることが示された。ここで $ H $ は3次同次多項式である。
• 多項式写像 $ F = z - H $ で $ H $ が3次同次である場合、すべての $ m \geq 1 $ に対して $ \Lambda^m(P^m) = 0 $ が成り立つことは、$ JH $ が冪零であることと同値である。
• $ \Lambda^m(P^{m+1}) = 0 $ が十分大きな $ m $ に対して成り立つことは、形式的逆写像 $ G_t $ が $ t $ について多項式写像であることと同値であり、これはそのような写像に対してヤコビアン予想が成立することを意味する。
• 文献[Z3]の予想4.4の特殊ケースが証明された：$ \Lambda^m(P^m) = 0 $ がすべての $ m \geq 1 $ に対して成り立つとき、$ H $ が $ o(H) \geq 2 $ を満たす多項式ベクトル場であれば、十分大きな $ m $ に対して $ \Lambda^m(P^{m+1}) = 0 $ が成り立つ。