[論文レビュー] Elimination of generalised imaginaries and Galois cohomology

Dmitry Sustretov|arXiv (Cornell University)|Dec 8, 2013

Algebraic Geometry and Number Theory参考文献 22被引用数 3

ひとこと要約

本稿は、モデル理論的構造における一般化された虚数の除去に関するコhomology的基準を確立し、定義可能群コホモロジーとガロアコホモロジーを結びつけることで、定義可能群コホモロジーとガロアコホモロジーのモルタ同値性を示す。可消可能な群コホモロジーは、絶対ガロア群の第二コホモロジー群における自明な類に正確に一致し、代数的閉体やコンパクト複素多様体における特定のザリスキ幾何構造の解釈不可能性に対するコホモロジー的障害を提供する。

ABSTRACT

The objective of this article is to characterise elimination of finite generalised imaginaries (as defined by Hrushovski) in terms of group cohomology. As an application, I consider series of Zariski geometries constructed by Hrushovski and Zilber, and indicate how their non-definability in algebraically closed fields and other theories is connected to eliminability of certain generalised imaginaries.

研究の動機と目的

• 定義可能群コホモロジーを用いて、モデル理論的構造における有限一般化虚数の可消性を特徴づけること。
• 代数的閉体における特定のザリスキ幾何構造の解釈不可能性という長年の問題に、コホモロジー的障害を同定することで対処すること。
• 既知の解釈不可能なザリスキ構造の例を統一し、それらの非定義可能性を定義可能群コホモロジーに関連する非自明なコホモロジー類に結びつけること。
• 一般化虚数の可消性が $ H^2 $ の自明性に一致することを示すことで、モデル理論的ガロア理論を拡張すること。

提案手法

• 定義可能群コホモロジーのモルタ同値性の概念を導入し、それらに関連する一般化虚数の種の双解釈可能性を示すこと。
• アーベル的同型群を有する連結 $ K $-定義可能群コホモロジーのモルタ同値類と、第二ガロアコホモロジー群 $ H^2(\text{Gal}(\text{acl}(K)/K), A) $ の要素との間の一対一対応を確立すること。
• 標準的な非同次チェイン複体を用いて群コホモロジーを定義し、微分作用素 $ d_n $ を群 $ G^n \to A $ の写像に作用させ、コホモロジーを $ \ker d_n / \operatorname{im} d_{n-1} $ で定義すること。
• 量子ザリスキ幾何構造にコホモロジー道具を適用し、それらが可消性がコホモロジー類の自明性に依存する一般化虚数の種と双解釈可能であることを示すこと。
• 射影的代数的多様体（例：コンパクト複素多様体内）の絶対ガロア群が代数的閉体のそれと一致することを活用し、一方での可消性が他方での可消性を意味することを示すこと。
• split torsor 条件を $ \operatorname{acl}(K) $ 上で満たすことで、コホモロジー対応が成立し、モデル理論的可消性を代数的コホモロジー的言語に翻訳可能となるようにすること。

実験結果

リサーチクエスチョン

• RQ1 第一階論理的構造における一般化虚数の種の可消性を決定するコホモロジー的条件は何か？
• RQ2 一般化虚数の可消性は、代数的閉体におけるザリスキ幾何構造の解釈可能性とどのように関係するか？
• RQ3 特定の量子ザリスキ幾何構造の非定義可能性は、非自明なガロアコホモロジー類によって説明可能か？
• RQ4 コンパクト複素多様体における構造の解釈可能性は、代数的閉体におけるそれと同値であるか？その背後にあるコホモロジー的条件は何か？
• RQ5 定義可能群コホモロジーのモルタ同値性は、それらに関連するガロア群のコホモロジーとどのように関係するか？

主な発見

• 可消可能な一般化虚数は、基底構造の絶対ガロア群 $ G $ とアーベル群 $ A $ に対して、第二ガロアコホモロジー群 $ H^2(G, A) $ の自明な類に正確に一致する。
• 量子ザリスキ幾何構造は一般化虚数の種と双解釈可能であるため、それらの代数的閉体における定義可能性は、関連する群コホモロジーの可消性に帰着される。
• コンパクト複素多様体におけるこのような構造の解釈可能性は、代数的閉体におけるそれと同値であり、これは同型な絶対ガロア群に起因する。
• 可消性のコホモロジー的障害は、群コホモロジーの対象同型群に関連する $ H^2 $ の非自明性によって記述される。
• split torsor が $ \operatorname{acl}(K) $ 上で成り立つ場合、アーベル的対象同型群を有する連結 $ K $-定義可能群コホモロジーのモルタ同値類は $ H^2(G, A) $ と一対一対応し、自明な類は可消可能な群コホモロジーに対応する。
• 本手法は古典的ガロアコホモロジーをモデル理論的文脈に一般化し、古典的状況を超えた虚数の研究のためのコホモロジー的枠組みを提供する。