[논문 리뷰] Independence of the B-KK Isomorphism of Infinite Prime

Alexei Kanel-Belov, Andrey Elishev외 1명|arXiv (Cornell University)|2015. 12. 21.

Advanced Differential Equations and Dynamical Systems참고 문헌 38인용 수 3

한 줄 요약

이 논문은 특성 0에서 무한 소수의 선택에 관계없이 B-KK 호모티즘 — Weyl 대수와 Poisson 대수의 자기동형군 사이의 표준적 호모티즘 — 이 독립적임을 증명한다. 증명은 증강 및 왜곡 증강 대수를 도입하고, Ind-스킴에서의 온전한 근사와 특이점 분석을 활용하여, 이 호모티즘이 초수적 선택에 의존하지 않으며 잘 정의되어 있음을 보여준다. 이는 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.

연구 동기 및 목표

• 무한 소수 선택, 즉 비주어진 초수적 필터에 모odulo된 소수 수열의 동치류 $[p]$에 대한 B-KK 호모티즘의 독립성을 확립하는 것.
• Kontsevich 추측의 증명에서 중심적인 기술적 장벽을 해결하기 위해, Weyl 대수와 Poisson 대수의 자기동형군 간 호모티즘이 모델 이론적 무한 소수의 구성에 의존하지 않음을 보이는 것.
• 데오퍼메이션 매개변수 $h$를 사용하여, 자기동형군에서 왜곡된 Weyl 대수의 완비화로의 끼워넣기 맵을 확장함으로써, 호모티즘 $\phi_{[p]}$에 대한 잘 정의된 역함수를 가능하게 하는 것.
• 왜곡 증강 설정에서 증강 매개변수의 전문화가 호모티즘 구조를 유지함을 보여주어, 강력한 근사 논증을 가능하게 하는 것.

제안 방법

• 자기동형군의 행동이 극한과 전문화 하에서 어떻게 제어되는지 분석하기 위해, Weyl 대수와 Poisson 대수의 증강 및 왜곡 증강 형태를 도입하는 것.
• 데오퍼메이션 매개변수 $h$를 사용하여, 정규화된 자기동형 Ind-스킴 간의 증강된 Ind-스킴 사상 구축하기.
• 왜곡 증강 자기동형 Ind-스킴 내의 곡선과 그들의 Ind-스킴 사상에 의한 상의 특이점을 분석하여 올바른 근사가 이루어지도록 보장하는 것.
• $h$-보존 자기동형에서 $\mathbb{C}(h)$ 위의 유리 함수로의 전환을 위한 전문화 논증을 적용하고, Nagata 등의 결과를 활용하는 것.
• 호모토피와 기약성 논증을 활용하여, $h=1$에서의 호모티즘이 올바르게 올라가며, 고전적 수준에서 맵이 잘 정의됨을 보장하는 것.
• 왜곡 증강 설정에서 온전한 자기동형군이 밀도를 이루므로 수렴성과 초수적 필터 선택에 대한 독립성이 보장되는 것을 활용하는 것.

실험 결과

연구 질문

• RQ1 B-KK 호모티즘 $\operatorname{Aut}W_{n,\mathbb{C}}$ 와 $\operatorname{Aut}P_{n,\mathbb{C}}$ 사이의 독립성은 무한 소수 $[p]$의 선택에 의존하는가?
• RQ2 왜곡 증강 설정에서, 심플렉틱 동형에서 Weyl 대수 자기동형으로의 끼워넣기 맵이 $\mathbb{C}[h,h^{-1}]$ 위에서 잘 정의된 호모티즘으로 확장될 수 있는가?
• RQ3 증강 매개변수 $h$를 1로 전문화하는 것이 호모티즘 구조를 유지하는가? 이 과정은 초수적 필터에 의존하는가?
• RQ4 증강 설정에서의 온전한 근사 기법을 사용하여, 극한 하에서 자기동형군의 행동을 제어하고, 무한 소수 구성에 대한 독립성을 확보할 수 있는가?
• RQ5 B-KK 호모티즘의 종속형 사상은 대수적이고, 유사한 독립성 성질을 만족하는가?

주요 결과

• B-KK 호모티즘은 무한 소수 $[p]$의 선택에 독립적임이 입증되었으며, $\phi_{[p]}$의 구성은 사용된 특정 초수적 필터에 의존하지 않는다.
• 데오퍼메이션 매개변수 $h$의 도입으로, 끼워넣기 맵이 $\mathbb{C}[h,h^{-1}]$ 위의 호모티즘으로 확장되어 역함수 구성과의 호환성이 보장된다.
• 왜곡 증강 자기동형 Ind-스킴 내의 특이점은 특이점 기법을 통해 제어되며, 이는 강력한 온전한 근사 논증을 가능하게 한다.
• $h$를 1로 전문화하는 것은 타당하고 잘 정의되어 있으며, 호모티즘이 연속적이며 극한 과정에서 기약 성분을 유지하기 때문이다.
• 증강 및 왜곡 증강 프레임워크를 통해 $\phi_{[p]}$에 대한 잘 정의된 역함수가 구축되었으며, 이는 호모티즘이 표준적이고 모델 이론적 선택에 독립적임을 확인한다.
• 결과는 기저 체가 특성 0이면 어떤 체이든 적용 가능하므로, 임의의 특성 0 체로 확장 가능하다.