[論文レビュー] Higher homotopy of groups definable in o-minimal structures

Alessandro Berarducci, Marcello Mamino+1 more|ArXiv.org|Sep 29, 2008

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

ひとこと要約

この論文は、定義可能コンパクト群のo-極小高次ホモトピー群が、それらに付随するコンパクトリー群のそれらと同型であることを確立し、すべてのアーベルな定義可能コンパクト群が同じ次元であれば定義可能ホモトピー同値であることを示し、それらの普遍被覆が可縮であることを示している。この結果は、モデル理論的道具を用いて古典的ホモトピー論をo-極小構造へと拡張し、古典的位相幾何学の結果をo-極小設定へと転送するものである。

ABSTRACT

It is known that a definably compact group G is an extension of a compact Lie group L by a divisible torsion-free normal subgroup. We show that the o-minimal higher homotopy groups of G are isomorphic to the corresponding higher homotopy groups of L. As a consequence, we obtain that all abelian definably compact groups of a given dimension are definably homotopy equivalent, and that their universal cover are contractible.

研究の動機と目的

• 定義可能コンパクト群の高次ホモトピー群を研究することで、古典的ホモトピー論をo-極小構造へと拡張すること。
• 定義可能コンパクト群のo-極小高次ホモトピー群が、それらに付随するコンパクトリー群のそれらと同型であることを確立すること。
• 同じ次元をもつすべてのアーベルな定義可能コンパクト群が定義可能ホモトピー同値であることを証明すること。
• アーベルな定義可能コンパクト群の普遍被覆群が、局所有定可能空間の圏において可縮であることを示すこと。

提案手法

• o-極小H-空間構造と[1]における転送定理を用いて、o-極小ホモトピー群と古典的ホモトピー群を関連付ける。
• o-極小高次ホモトピー群が可除的であり、有限生成であるという事実を活用し、アーベルの場合の自明性を示す。
• [1]および[2]におけるo-極小ホワイトヘッド定理を適用し、普遍被覆の可縮性を導出する。
• ファイブレーションの長完全ホモトピー列と中心を持たない群および単純群の構造を用い、非アーベルの場合を既知の結果に還元する。
• [1]における結果、特に実代数的数体上の半代数的群に関して、o-極小ホモトピー群と古典的ホモトピー群の同型を活用する。
• o-極小ポアンカレ＝フリューエルヴィツの定理と[4]におけるコホモロジー同型を適用し、ホモトピー同型結果を支持する。

実験結果

リサーチクエスチョン

• RQ1 定義可能コンパクト群Gのo-極小高次ホモトピー群は、商群G/G⁰⁰のそれらと一致するか？
• RQ2 同じ次元をもつすべてのアーベルな定義可能コンパクト群は定義可能ホモトピー同値か？
• RQ3 アーベルな定義可能コンパクト群の普遍被覆群は、局所有定可能空間の圏において可縮か？
• RQ4 o-極小ホモトピー群と古典的ホモトピー群の同型は、半代数的群の高次ホモトピー群へと拡張可能か？
• RQ5 o-極小H-空間の構造を用いて、古典的ホモトピー有限性の結果をo-極小設定へと転送できるか？

主な発見

• 任意の定義可能コンパクト群Gのo-極小高次ホモトピー群πₙ(G)は、それに付随するコンパクトリー群G/G⁰⁰の古典的高次ホモトピー群πₙ(G/G⁰⁰)と同型である。
• アーベルな定義可能コンパクト群において、すべての高次ホモトピー群πₙ(G)（n > 1）は自明であり、これは同じ次元のトーラスと定義可能ホモトピー同値であることを示唆する。
• アーベルな定義可能コンパクト群の普遍被覆群は、すべてのホモトピー群が自明であるため、局所有定可能空間の圏において可縮である。
• 単純型への還元とファイブレーション、中心の構造を用いることで、非アーベル群に対しても結果が拡張可能であり、すべてのn ≥ 1に対してπₙ(G) ≅ πₙ(G/G⁰⁰)が成り立つ。
• 実代数的数体上の半代数的群に対して、πₙ(G(M)) ≅ πₙ(G(ℝ))の同型が成り立つ。これにより、o-極小から古典的位相へと結果を転送できる。
• [4]におけるコホモロジー同型結果がホモトピー同型を支持しており、特に普遍係数定理と体上のホモロジーの有限次元性を通じて裏付けられる。