[論文レビュー] The ${ m Jacobian Conjecture}_{2n}$ implies the ${ m Dixmier Problem}_n$

V. V. Bavula|ArXiv.org|Dec 12, 2005

Advanced Differential Equations and Dynamical Systems参考文献 2被引用数 7

ひとこと要約

本稿では、Weyl代数自己同型の逆数公式と大きな素数での剰余化を用いて、$2n$ 変数におけるヤコビアン予想（$JC_{2n}$）が $n$ 変数におけるディクシエール問題（$DP_n$）を含意することを確立する。代数幾何学および有限体上のポアソン構造を用いて、ヤコビアン行列式が非ゼロ定数であれば、Weyl代数の自己同型であることを示す。

ABSTRACT

Using the author's inversion formula for automorphisms of the Weyl algebras with polynomial coefficients and the bound on its degree a slightly shorter (algebraic) proof is given of the result of A. Belov-Kanel and M. Kontsevich that the Jacobian Conjecture implies the Dixmier Proplem. No originality is claimed.

研究の動機と目的

• $2n$ 変数におけるヤコビアン予想から $n$ 変数におけるディクシエール問題への論理的含意を確立すること。
• 既知の Weyl代数自己同型に関する結果を用いて、含意 $JC_{2n} \Rightarrow DP_n$ のより短い代数的証明を提供すること。
• 大きな素数での剰余化を用いて、特徴量ゼロから正の特徴量へ問題を移行すること。
• 中心およびポアソン構造に注目して、Weyl代数の自己同型の剰余化における自己同型の性質を分析すること。
• ヤコビアン条件が、モジュラー還元およびポアソン括弧の不変性を介して、Weyl代数における自己同型に引き上げられることを示すこと。

提案手法

• 多項式係数をもつ Weyl代数 $A_n(R)$ の自己同型の逆数公式を適用し、自己同型の逆を微分作用素を含む級数として表現する。
• 定理2を用いて、元の自己同型の次数の関数として逆自己同型の次数を評価する。
• 大きな素数 $p$ で剰余化し、$\mathbb{C}$ から $\mathbb{F}_p$ に移行し、商代数 $A(p) \simeq M_{p^n}(C_p)$ を考える。
• 代数 $A(p)$ の中心が $C_p = R_p[x_1^p, \dots, x_{2n}^p]$ であり、$\sigma_p$ がこの中心を保存することを用いる。
• Weyl代数内の交換子から誘導される標準的なポアソン括弧を $C_p$ に導入し、これが $\sigma_p$-不変であることを示す。
• 素数 $p$ でのヤコビアン行列式の条件を用いて、$C_p$ 上の誘導写像の行列式が $\pm 1$ であることを示し、正の特徴量における $JC_{2n}$ を適用して、これが自己同型であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 $2n$ 変数におけるヤコビアン予想は、$n$ 変数におけるディクシエール問題を含意するか？
• RQ2 Weyl代数および素数での剰余化を用いた完全に代数的な手法によって、含意 $JC_{2n} \Rightarrow DP_n$ を証明できるか？
• RQ3 Weyl代数の $p$ での剰余化における中心上のポアソン構造が、自己同型性の確立において果たす役割は何か？
• RQ4 Weyl代数自己同型の逆数公式は、逆の次数をどのように制限し、含意の証明をどのように支援するか？
• RQ5 Weyル代数の自己同型が、特に中心に制限した場合に、どのような条件下で自己同型となるか？

主な発見

• 含意 $JC_{2n} \Rightarrow DP_n$ が成り立つ。つまり、$2n$ 変数におけるヤコビアン予想が真であれば、Weyl代数 $A_n(\mathbb{C})$ の任意の自己準同型は自己同型である。
• 証明では、大きな素数 $p$ での剰余化を用い、$\sigma \in \mathrm{Aut}_{R}(A_n(R))$ であることと、すべての十分に大きな素数 $p$ に対して $\sigma_p \in \mathrm{Aut}_{R_p}(A(p))$ であることとは同値であることを示した。
• 中心 $C_p = R_p[x_1^p, \dots, x_{2n}^p]$ は、剰余自己同型 $\sigma_p$ によって保存され、$C_p$ 上のポアソン括弧は $\sigma_p$-不変である。
• 誘導写像のヤコビアン行列式が $\pm 1$ であることが示され、$JC_{2n}$ の仮定のもとで、$C_p$ 上の写像が自己同型であることが結論づけられる。
• 鍵となるステップは、$J$ を変数の $p$ 乗への作用に関する $\sigma_p$ のヤコビアン行列とすると、$\mathrm{det}(J) \in \{\pm 1\}$ であることを示すことであり、これにより正の特徴量における $JC_{2n}$ を適用できる。
• Lefschetzの原理および還元技法を用いて、逆数公式と次数評価を超える新しい代数的道具を必要とせずに、結果が確立された。