[論文レビュー] Independence of the B-KK Isomorphism of Infinite Prime

Alexei Kanel-Belov, Andrey Elishev+1 more|arXiv (Cornell University)|Dec 21, 2015

Advanced Differential Equations and Dynamical Systems参考文献 38被引用数 3

ひとこと要約

この論文は、特徴量が0の状況下で、Weyl代数とPoisson代数の自己同型群の間の標準的同型（B-KK同型）が、無限大素数の選択に依存しないことを確立する。増分およびスケュー増分代数を導入し、Ind-スキームにおける特異点解析と tame 近似を用いることで、著者らはこの同型が well-defined であり、非主超フィルターの選択に依存しないことを証明し、Kontsevich予想における自己同型群の同型性を示すための重要なステップを確認した。

ABSTRACT

We investigate a certain class of Ind-scheme morphisms corresponding to homomorphisms between the automorphism group of the $n$-th complex Weyl algebra and the group of Poisson structure-preserving automorphisms of the commutative complex polynomial algebra in $2n$ variables. A conjecture of Kanel-Belov and Kontsevich, whose proof we have recently obtained, states that these automorphism groups are canonically isomorphic in characteristic zero, with the mapping discussed here being the candidate for the isomorphism. The main objective of the present paper is to establish the independence of the said mapping of the choice of infinite prime - that is, the class $[p]$ of prime number sequences modulo fixed non-principal ultrafilter $\mathcal{U}$ on the index set of positive integers. To that end, we introduce the augmented and skew augmented versions of algebras in question and study the augmented Ind-morphism between the normalized automorphism Ind-schemes in the context of tame automorphism approximation. In order to correctly implement approximation in our proof, we study singularities of curves in skew augmented automorphism Ind-schemes and their images under Ind-scheme morphisms. Apart from that, we study the augmented version of the independence conjecture.

研究の動機と目的

• 無限大素数 $[p]$ の選択（非主超フィルターに関する素数列の同値類）に依存しない B-KK 同型を確立すること、
• Kontsevich予想の証明における中心的な技術的障壁を解消し、Weyl代数とPoisson代数の自己同型群の間の同型が、モデル理論的構成による無限大素数の選択に依存しないことを示すこと。
• 変形パラメータ $h$ を用いて、自己同型から歪Weyl代数の完備化への持ち上げ写像を拡張し、同型 $\phi_{[p]}$ のよい定義された逆写像を可能にすること。
• スケュー増分設定における増分パラメータの特殊化が同型構造を保存することを示し、強固な近似議論を可能にすること。

提案手法

• 自己同型の極限および特殊化における挙動を制御するため、Weyl代数およびPoisson代数の増分およびスケュー増分版を導入すること。
• 変形パラメータ $h$ を用いて、正規化された自己同型 Ind-スキーム間の増分 Ind-スキームの同型写像を構成し、持ち上げ写像の安定化を図ること。
• スケュー増分自己同型 Ind-スキーム内の曲線の特異点を解析し、Ind-スキームの同型写像による像に対しても適切な近似が保証されることを確認すること。
• $h$-保存自己同型から $\mathbb{C}(h)$ 上の有理関数への切り替えに向けた特殊化議論を適用し、Nagata らの結果を活用すること。
• ホモトピーおよび既約性の議論を用いて、$h=1$ における同型が正しく持ち上がることを示し、古典的レベルでの写像が well-defined であることを保証すること。
• スケュー増分設定における tame 自己同型が稠密な部分集合をなすことに着目し、収束性および超フィルターの選択に依存しない性質を保証すること。

実験結果

リサーチクエスチョン

• RQ1 B-KK 同型 $\operatorname{Aut}W_{n,\mathbb{C}}$ と $\operatorname{Aut}P_{n,\mathbb{C}}$ 間は、無限大素数 $[p]$ の選択に依存しないか？
• RQ2 スケュー増分設定において、symplectomorphism から Weyl代数自己同型への持ち上げ写像は、$\mathbb{C}[h,h^{-1}]$ 上の well-defined な同型へ拡張可能か？
• RQ3 増分パラメータ $h$ を 1 に特殊化しても同型構造は保存され、このプロセスは超フィルターに依存しないか？
• RQ4 増分設定における tame 近似を用いることで、自己同型の極限における挙動が制御可能となり、無限大素数の構成に依存しないことが保証されるか？
• RQ5 B-KK 同型の自己準同型版は代数的か？ また、同様の独立性の性質を満たすか？

主な発見

• B-KK 同型は、$\phi_{[p]}$ の構成が使用する特定の超フィルターに依存しないため、無限大素数 $[p]$ の選択に依存しない。
• 変形パラメータ $h$ の導入により、持ち上げ写像が $\mathbb{C}[h,h^{-1}]$ 上の同型へ拡張可能となり、逆構成との整合性が保証される。
• スケュー増分自己同型 Ind-スキームにおける特異点は、特異点のトリックにより制御され、強固な tame 近似議論が可能になる。
• $h$ を 1 に特殊化することは正当であり、well-defined である。同型は連続的であり、極限過程における既約成分を保存するため。
• 増分およびスケュー増分の枠組みにより、$\phi_{[p]}$ のよい定義された逆写像が構成可能となり、同型が標準的かつモデル理論的選択に依存しないことが確認された。
• 結果は、特徴量が 0 である任意の体へ拡張可能であり、構成が基底体に依存しない（特徴量が 0 であれば十分）ため。