[論文レビュー] On the equivalence of the Jacobian, Dixmier and Poisson Conjectures in any characteristic

Kossivi Adjamagbo, Arno van den Essen|ArXiv.org|Aug 1, 2006

Advanced Differential Equations and Dynamical Systems参考文献 25被引用数 5

ひとこと要約

本稿は、最近のアズマヤ代数に関する結果を活用し、特徴量0を含む任意の特徴量において、ヤコビアン、ディクシエー、パオアソン予想の同値性を確立する。主な貢献は、これらの長年の予想がすべての特徴量において論理的に同値であることを証明し、統一的な枠組みを提供するとともに、特徴量0における既知の同値性の新しい証明を提示することにある。

ABSTRACT

Thanks to recent results on ring homomorphisms of Azumaya algebras and to the following ones about endomorphisms of canonical Poisson algebras and Dirac quantum algebras, and about the reformulation in positive characteristic of these conjectures in characteristic zero, we prove the equivalence of these three conjectures in any characteristic, giving also by this way a new proof of the equivalence of the complex version of the two first conjectures recently proved by Y. Tsuchimoto.

研究の動機と目的

• 任意の特徴量、特に正の特徴量および特徴量0において、ヤコビアン、ディクシエー、パオアソン予想の論理的同値性を確立すること。
• 元々特徴量0で定式化された古典的予想を、任意の特徴量に一般化し、その論理的構造を保ったまま統一的な枠組みを構築すること。
• 従来、辻本によって確立されていた、複素数版のヤコビアン予想とディクシエー予想の同値性を、新たに再証明すること。
• 以前の研究にインspiredされた方法を用い、体の拡張次数およびヤコビアン条件を用いて、正の特徴量におけるこれらの予想の再定式化を拡張すること。
• 可換および非可換代数における3つの主要な未解決問題を、1つの同値性原理に統一し、グロタンディークの数学的調和のビジョンを反映すること。

提案手法

• アズマヤ代数の環準同型に関する最近の結果を用い、ディラック量子代数および標準的パオアソン代数の自己準同型を分析する。
• 任意の特徴量の体上の多項式代数におけるヤコビアン1自己準同型の概念を適用し、pで割り切れない体の拡張次数を条件とする。
• 特徴量p ≤ nのとき、中心への制限におけるヤコビアンが消えない条件を課し、正の特徴量における非退化性を保証する。
• 2n個の不定元に古典的パオアソン括弧を備えた標準的パオアソン代数の構造を用い、パオアソン予想をモデル化する。
• アズマヤ代数の文脈において、形式的微分作用素の代数とウェイル代数との同型（「ディラック量子代数」として呼ばれる）に依拠する。
• フィルター付き代数およびその関連する順次代数の構造の枠組みを用い、ディラック量子代数の自己準同型と多項式代数の自己準同型との関係を結ぶ。

実験結果

リサーチクエスチョン

• RQ1 ヤコビアン、ディクシエー、パオアソン予想は、正の特徴量を含む任意の特徴量において同値であるか？
• RQ2 特徴量0における古典的予想を、特徴量の任意性を保ったまま一般化する方法は何か？ その論理的構造はどのように保たれるか？
• RQ3 正の特徴量における自己準同型の自己同型性を保証するために、中心への制限におけるヤコビアンが非ゼロである役割は何か？
• RQ4 正の特徴量の技法を用いて、特徴量0におけるヤコビアン予想とディクシエー予想の同値性を再証明できるか？
• RQ5 アズマヤ代数の性質は、これらの3つの予想を異なる特徴量にわたって統一するために、どの程度寄与するか？

主な発見

• ヤコビアン、ディクシエー、パオアソン予想は、任意の特徴量、特徴量0を含めて論理的に同値である。
• 本稿は、従来の辻本の研究とは独立して、複素数版のヤコビアン予想とディクシエー予想の同値性に対する新しい証明を提供する。
• 正の特徴量pにおいて、誘導された体の拡張次数がpで割り切れず、かつp ≤ nのとき中心への制限のヤコビアンが非ゼロであれば、これらの予想は同値である。
• ディラック量子代数が中心上でのアズマヤ代数としての構造を持つことにより、これらの予想間での結果の移行が可能になる。
• 古典的パオアソン括弧を備えた2n個の不定元上の標準的パオアソン代数は、任意の特徴量においてパオアソン予想を支持する。
• 結果は、3つの主要な予想の間の深い構造的調和を確認しており、グロタンディークの数学的真実の相互接続性のビジョンと整合する。