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

一句话总结

本文確立了B-KK同構在零特徵下的無限素數選擇下的獨立性——即威爾 algebra 與泊松代數自同構群之間的典型同構。透過引入增廣代數與扭曲增廣代數，並在Ind-概形中運用可 tame 近似與奇點分析，作者證明該同構是良定義的，且不依賴於超濾子的選擇，從而確認了完整康特舍維奇猜想中關於自同構群同構性的關鍵一步。

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.

研究动机与目标

• 確立B-KK同構對無限素數選擇的獨立性，即模非主超濾子的素數序列類 $[p]$。
• 透過證明威爾代數與泊松代數自同構群之間的同構不依賴於模型論中無限素數的構造，從而解決康特舍維奇猜想證明中的核心技術障礙。
• 透過引入變形參數 $h$，將自同構的提升映射推廣至扭曲威爾代數的完成環，從而使同態 $\phi_{[p]}$ 擁有良好的逆映射。
• 展示在扭曲增廣設定下，增廣參數的特殊化保持同構結構，從而支持穩健的近似論證。

提出的方法

• 引入威爾代數與泊松代數的增廣與扭曲增廣版本，以控制自同構在極限與特殊化下的行為。
• 利用變形參數 $h$ 建構歸一化自同構Ind-概形之間的增廣Ind-概形態射，以穩定提升映射。
• 分析扭曲增廣自同構Ind-概形中曲線的奇點及其在Ind-概形態射下的像，以確保適當的近似。
• 應用特殊化論證，將 $h$-保持自同構轉換為 $\mathbb{C}(h)$ 上的有理函數，並利用納加塔等人的結果。
• 運用同倫與不可約性論證，證明同構可正確提升至 $h=1$，確保在經典層次上映射是良定義的。
• 利用扭曲增廣設定下可 tame 自同構形成一個稠密子集的事實，從而實現收斂性與對超濾子選擇的獨立性。

实验结果

研究问题

• RQ1 B-KK同構 $\operatorname{Aut}W_{n,\mathbb{C}}$ 與 $\operatorname{Aut}P_{n,\mathbb{C}}$ 對無限素數 $[p]$ 的選擇是否獨立？
• RQ2 在扭曲增廣設定下，從辛同構到威爾代數自同構的提升映射能否擴展為 $\mathbb{C}[h,h^{-1}]$ 上的良定義同構？
• RQ3 增廣參數 $h$ 對 1 的特殊化是否保持同構結構，且此過程是否獨立於超濾子？
• RQ4 能否在增廣設定中使用可 tame 近似來控制自同構在極限下的行為，從而確保對無限素數構造的獨立性？
• RQ5 B-KK同構的自同態對應是否為代數的，且是否滿足類似的獨立性性質？

主要发现

• B-KK同構對無限素數 $[p]$ 的選擇是獨立的，因為 $\phi_{[p]}$ 的構造不依賴於所使用的特定超濾子。
• 引入變形參數 $h$ 使得提升映射可擴展為 $\mathbb{C}[h,h^{-1}]$ 上的同構，確保與逆構造的相容性。
• 透過奇點技巧控制扭曲增廣自同構Ind-概形中的奇點，從而支持穩健的可 tame 近似論證。
• 將 $h$ 特殊化至 1 是有效且良定義的，因為同構是連續的，且在極限過程中保持不可約分支。
• 增廣與扭曲增廣框架允許構造 $\phi_{[p]}$ 的良好行為的逆映射，從而確認同構是典型的，且不依賴於模型論選擇。
• 結果可推廣至任意零特徵的域，因為構造對基域不敏感，只要其特徵為零即可。