[论文解读] 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

一句话总结

该论文通过利用威利代数自同构的反演公式以及对大素数取模，证明了在 $2n$ 个变量下的雅可比猜想（$JC_{2n}$）蕴含 $n$ 个变量下的迪克西梅尔问题（$DP_n$）。利用有限域上的代数几何与泊松结构，证明了若雅可比行列式为非零常数，则威利代数的自同态必为自同构。

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$ 个变量下迪克西梅尔问题的逻辑蕴含关系。
• 利用威利代数自同构的已知结果，提供一个更短、更代数化的证明，表明 $JC_{2n} \Rightarrow DP_n$。
• 利用对大素数取模，将问题从特征零转移到正特征。
• 分析威利代数自同态在约化下的行为，重点关注其中心与泊松结构。
• 证明多项式环中的雅可比条件可通过模约化与泊松括号不变性提升为威利代数中的自同构。

提出的方法

• 应用具有多项式系数的威利代数 $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$ 保持该中心不变。
• 在 $C_p$ 上赋予由威利代数交换子诱导的自然泊松括号，并证明其关于 $\sigma_p$ 不变。
• 利用模 $p$ 下的雅可比行列式条件，证明 $C_p$ 上诱导映射的行列式为 $\pm 1$，并应用正特征下的 $JC_{2n}$，得出其为自同构。

实验结果

研究问题

• RQ1 在 $2n$ 个变量下，雅可比猜想是否蕴含 $n$ 个变量下的迪克西梅尔问题？
• RQ2 能否仅通过威利代数与模素数约化等纯代数方法，证明蕴含关系 $JC_{2n} \Rightarrow DP_n$？
• RQ3 在模 $p$ 的威利代数中心上，泊松结构在确立自同构性质中起什么作用？
• RQ4 威利代数自同构的反演公式如何限制其逆的次数？这一限制如何辅助证明该蕴含关系？
• RQ5 在何种条件下，威利代数的自同态会成为自同构，特别是当限制在中心上时？

主要发现

• 蕴含关系 $JC_{2n} \Rightarrow DP_n$ 成立，即若 $2n$ 个变量下的雅可比猜想成立，则威利代数 $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$ 不变。
• 证明了在 $C_p$ 上诱导映射的雅可比行列式为 $\pm 1$，在假设 $JC_{2n}$ 成立的前提下，这表明 $C_p$ 上的映射是自同构。
• 关键步骤是证明 $\mathrm{det}(J) \in \{\pm 1\}$，其中 $J$ 是 $\sigma_p$ 在变量的 $p$ 次幂上的作用的雅可比矩阵，这使得可在正特征下应用 $JC_{2n}$。
• 结果通过莱夫谢茨原理与约化技术建立，无需引入新的代数工具，仅依赖反演公式与次数界。