[論文レビュー] Amalgamation functors and homology groups in model theory

John Goodrick, Byunghan Kim+1 more|arXiv (Cornell University)|May 15, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用数 4

ひとこと要約

この論文は、モデル理論的結合関手に対するホモロジー理論を導入し、一般化された結合性質が成り立つとき、自明なホモロジー群 $ H_n $ が生じることを確立する。安定理論における $ H_2(p) $ がアーベルなプロファinite群に同型であることを証明し、任意の such 群が $ H_2(p) $ として実現可能であることを示し、ホモロジーと定義可能な群体とを結びつけ、ホルウィッツ型定理を一般化する。

ABSTRACT

We present definitions of homology groups associated to a family of amalgamation functors. We show that if the generalized amalgamation properties hold, then the homology groups are trivial. We compute the group H_2 for strong types in stable theories and show that in this context, the class of possible groups H_2 is precisely the profinite abelian groups.

研究の動機と目的

• モデル理論における結合関手の族に対してホモロジー群 $ H_n $ を定義すること。
• ホモロジー群と結合性質、特に $ k $-結合性との間の関係を確立すること。
• 安定理論における $ H_2(p) $ がアーベルなプロファinite群に同型であることを示すこと。
• 任意のプロファiniteアーベル群が、ある安定理論における完全型 $ p $ に対して $ H_2(p) $ として実現可能であることを示すこと。
• ホルウィッツ定理の類似を証明し、$ H_2(p) $ が標準的自己同型群 $ \Gamma_2(p) $ に同型であることを特定すること。

提案手法

• 下位閉部分集合のべき集合への射からなる圏的関手を用いて、単体的ホモロジー群 $ H_n $ を定義する。
• 閉包性質を満たす結合関手（定義 1.3）を導入し、ホモロジー群の構成を可能にする。
• 関手の部分集合への局所化を用いて境界写像とチェーン複体を定義する。
• モデル理論的不変性とコンパクト性を用いて、型ホモロジー群と集合ホモロジー群の同型を確立する。
• 同値類の経路（射）からなる標準的群体 $ \mathcal{F} $ を構成し、$ \textup{Mor}_{\mathcal{F}}(a,b) $ を $ Y_{ab} $ に対応させる。また $ \Phi_{ab} $ を自己同型群として定義する。
• 安定理論において $ \Gamma_2(p) \cong H_2(p) $ を証明し、$ \Gamma_2(p) $ がアーベル的かつより大きな非アーベル基本群の中心に属することを示す。

実験結果

リサーチクエスチョン

• RQ1 結合関手を用いたモデル理論的文脈でホモロジー群を定義できるか？
• RQ2 完全型 $ p $ に対して $ H_n(p) $ と $ k $-結合性との関係は何か？
• RQ3 4-結合性が成り立たない安定理論において $ H_2(p) $ が非自明になり得るか？
• RQ4 ホモロジー群と類似の基本群に類似した対象が、モデル理論的アナロジーとして存在するか？
• RQ5 任意のプロファiniteアーベル群が、ある安定理論における完全型 $ p $ に対して $ H_2(p) $ として実現可能か？

主な発見

• 型 $ p $ がすべての $ k \leq n $ に対して $ k $-結合性を持つならば、$ H_{n-2}(p) = 0 $ である。これは、結合性が自明なホモロジーをもたらすことを示している。
• 安定理論において、$ H_2(p) $ はアーベルなプロファinite群 $ \Gamma_2(p) $ に同型であり、これは標準的群体内の対象の自己同型群である。
• 任意のプロファiniteアーベル群が、ある安定理論における完全型 $ p $ に対して $ H_2(p) $ として実現可能である。これは、可能なホモロジー群の全範囲が達成可能であることを示している。
• $ \Gamma_2(p) $ は常にアーベル的であるため、古典的ホルウィッツ定理とは異なり、アーベル化は不要である。
• $ \Gamma_2(p) $ を中心に含む、より豊かな非アーベル基本群が存在し、$ \Gamma_2(p) $ だけよりも豊かな不変量を提供する。
• ホモロジー群 $ H_n $ は構成の選択に依存しない。型ホモロジー群と集合ホモロジー群は同型であるため、一貫性が保証される。