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

研究の動機と目的

• 形式的べき級数と木構造を用いてヤコビアン予想を組合せ論的問題に再定式化すること。
• グロスマン＝ラーソン代数を用いた、対称な同次多項式写像の新しい逆写像公式の確立。
• $H$ が立方体で $JH^3 = 0$ である $F = X - H$ の場合に予想を証明し、$(JH)^r = 0$ の下で逆写像の次数が有界であることを計算的検証すること。
• 特定のモジュールの消滅に関する組合せ論的条件を同定し、それが全ヤコビアン予想を示す要請となること。

提案手法

• $H = \nabla P$ の対称ケースに適応されたバス＝コネル＝ライトの木の公式を用いて形式的逆写像を扱う。
• 潜在関数 $P$ の微分の重み付き積を自由な木を介して構成することで、逆写像を $G = X + \nabla Q$ の形に表現する対称的木の公式を導入する。
• グロスマン＝ラーソン代数を用いて逆級数の代数的構造をモデル化し、その次数付き成分を分析する。
• $(JH)^r = 0$ の条件下で逆級数の係数の消滅を研究するため、商モジュール $\overline{\mathcal{M}}(r,4)_m$ を定義する。
• コンピュータアルゴリズムを用いて $\overline{\mathcal{M}}(4,4)_m$ の構造を計算し、$m = 8, \dots, 14$ において $\overline{\mathcal{M}}(4,4)_m = 0$ であることが判明。$m = 13$ の場合、ランクは1だが $\overline{\nu}_{13} = 0$ である。
• イデアルに属する定理を用いて、逆級数の係数が、次数に応じて $(JH)^3$ または $(JH)^4$ の係数によって生成されるイデアルに属することを示す。

実験結果

リサーチクエスチョン

• RQ1 $M_r + 1 \leq m \leq 2M_r$ の範囲で $\overline{\mathcal{M}}(r,4)_m = 0$ となる正の整数 $M_r$ が存在するか？
• RQ2 $M_r + 1 \leq m \leq 2M_r$ の範囲で $\overline{\nu}_m = 0$ が $\overline{\mathcal{M}}(r,4)_m$ 内に成り立つか？
• 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 $m$ のある範囲で $\overline{\nu}_m$ が $\overline{\mathcal{M}}(r,4)_m$ 内で消えると、逆級数が終了するか？

主な発見

• 立方体で $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$ の場合、モジュールのランクは1だが $\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$ の係数によって生成されるイデアルに属する。