[論文レビュー] Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup

Alessandro Berarducci|ArXiv.org|Nov 15, 2007

Advanced Topology and Set Theory参考文献 4被引用数 3

ひとこと要約

この論文は、o-極小構造における定義可能にコンパクトな群 $G$ の無限小部分群 $G^{00}$ が、正の次数でコホモロジーが消えるという意味で、コホモロジカルにアセイックであることを確立している。これは、$G$ の o-極小コホモロジーと関連する実 Lie 群 $G/G^{00}$ の特異コホモロジーとの間に自然な同型が存在することを意味し、函手的コホモロジカル構造を保つ。

ABSTRACT

By recent work on some conjectures of Pillay, each definably compact group in a saturated o-minimal structure is an expansion of a compact Lie group by a torsion free normal divisible subgroup, called its infinitesimal subgroup. We show that the infinitesimal subgroup is cohomologically acyclic. This implies that the functorial correspondence between definably compact groups and Lie groups preserves the cohomology.

研究の動機と目的

• Pillay が提起した、定義可能にコンパクトな群における無限小部分群のコホモロジカルな挙動に関する予想を解決すること。
• 無限小部分群 $G^{00}$ がコホモロジカルにアセイックであること、つまり、定義可能にコンパクトな群と実 Lie 群との間の対応においてコホモロジーが保存されることを示すこと。
• 定義可能にコンパクトな群 $G$ の o-極小コホモロジーと、関連する Lie 群 $G/G^{00}$ の特異コホモロジーとの間に自然な同型を確立することで、モデル理論的コホモロジーと位相的コホモロジーを結びつけること。
• 群の拡大と同型写像を用いた還元技術により、アーベル群から非アーベル群へのアセイック性の結果を拡張すること。

提案手法

• コンパクト支配予想と [HP:07] の最近の結果を用いて、定義可能にコンパクトな群の位相的およびモデル理論的構造を分析する。
• 連続な閉写像でファイバーがアセイックであるような写像は、定数層に関するコホモロジーに同型を誘導するという、ヴィエトリス＝ベグレの定理を適用する。
• タイプ定義可能部分群と商 $G/G^{00}$ 上の論理位相を用いて、$G$ に関連する Lie 群に自然な位相的構造を定義し、o-極小コホモロジーと整合性を持つようにする。
• 群の拡大と同型写像を用いて非アーベルの場合をアーベルおよび単純な場合に還元し、アセイック性がこのような構成で保存されることを活用する。
• $G^{00} = \bigcap_{X \text{ generic}} XX^{-1}$ という特徴付けを用いて、一般集合とその平行移動を用いて無限小部分群を分析する。
• 基本拡大と飽和を用いて、非飽和モデルにおけるコホモロジーを飽和モデルからの転送により定義し、コホモロジカル性質の不変性を保証する。

実験結果

リサーチクエスチョン

• RQ1 定義可能にコンパクトな群 $G$ における o-極小構造の無限小部分群 $G^{00}$ はコホモロジカルにアセイックか？
• RQ2 自然な射影 $\pi: G \to G/G^{00}$ は、$G$ と関連する Lie 群 $G/G^{00}$ の間でコホモロジーに同型を誘導するか？
• RQ3 群の拡大と同型写像による還元を用いて、非アーベルな定義可能にコンパクトな群に対しても $G^{00}$ のアセイック性を確立できるか？
• RQ4 定義可能にコンパクトな群の o-極小構造におけるコホモロジーは、対応する実 Lie 群のコホモロジーとどの程度等価か？

主な発見

• 任意の o-極小構造における定義可能にコンパクトな群 $G$ の無限小部分群 $G^{00}$ はコホモロジカルにアセイックである。すなわち、すべての $n \geq 1$ に対して $H^n(G^{00}; \mathbb{Z}) = 0$ が成り立つ。
• 自然な射影 $\Psi: \widetilde{G} \to G/G^{00}$ はコホモロジーに同型を誘導する：$\Psi^*: H^*(G/G^{00}) \cong H^*(\widetilde{G})$ であり、ここで $\widetilde{G}$ は $G$ のタイプ空間を表す。
• 定義可能にコンパクトな群 $G$ の o-極小コホモロジーは、関連する実 Lie 群 $G/G^{00}$ の特異コホモロジーと同型であり、函手的コホモロジカル同値性を確立する。
• $G^{00}$ のアセイック性は群の拡大および同型写像で保存され、帰納的閉包を用いてアーベルおよび単純な群からすべての定義可能にコンパクトな群へと結果を拡張可能である。
• この結果は [B:07] の予想を確認し、o-極小モデル理論における定義可能にコンパクトな群と実 Lie 群との間の対応にコホモロジカルな根拠を与える。
• 証明は、$\Psi$ に適用されたヴィエトリス＝ベグレの定理に依拠しており、ファイバーが $\widetilde{G^{00}}(M\langle g\rangle)$ に同相であり、$G^{00}$ のアセイック性によりアセイックであることが保証される。