[論文レビュー] The homotopy groups of the inverse limit of a tower of fibrations

Philip Hirschhorn|arXiv (Cornell University)|Jul 6, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 2被引用数 3

ひとこと要約

この論文は、ファイブレーションの塔の逆極限のホモトピー群が自然な短完全系列に含まれることを、きわめて基本的で厳密な証明により示している。その核は、1つ次元が高いホモトピー群の lim¹ と同型である。主な貢献は、アーベル群や卤的空間に限らない非アーベル群に対する lim¹ の詳細な取り扱いであり、古典的な結果を単連結またはアーベルの場合にとどまらず一般化している。

ABSTRACT

We carefully present an elementary proof of the well known theorem that each homotopy group (or, in degree zero, pointed set) of the inverse limit of a tower of fibrations maps naturally onto the inverse limit of the homotopy groups (or, in degree zero, pointed sets) of the spaces in the tower, with kernel naturally isomorphic to $\lim^{1}$ of the tower of homotopy groups of one dimension higher.

研究の動機と目的

• ファイブレーションの逆極限のホモトピー完全系列を、自己完結的で基本的な証明を提供すること。
• 逆極限のホモトピー群の長完全系列における lim¹ の役割を明確にすること。
• 単連結またはアーベルの基本群に限らない一般の点付き空間とファイブレーションを含めた、古典的結果の拡張。
• すべての次数（0次を含む）における系列の自然性と完全性を確立すること。0次は点付き集合として扱う。
• ファイブレーションの塔の各段階で弱同値が成り立つならば、逆極限に対しても弱同値が成り立つことを示すこと。

提案手法

• 群の塔に対する lim¹ を、積集合への群作用を用いて定義し、軌道が点付き集合 lim¹ をなすようにする。
• πₖ(lim Xₙ) から lim πₖXₙ への自然な写像を構成し、その核を分析する。
• 明示的なホモトピー上昇およびパス上昇の技法を用いて、核が lim¹ πₖ₊₁Xₙ と同型であることを示す。
• 帰納法とホモトピー拡張を用いて、塔全体で整合性を持つホモトピーを構成し、逆極限構造と整合するようにする。
• パス上昇と帰納的構成を用いて、整合性を持つ代表元を構成し、写像 P: πₖ(lim Xₙ) → lim πₖXₙ が全射であることを証明する。
• すべての Xₙ が H-空間で、すべての写像が H-写像である場合、H-空間の積構造を用いて、核 lim¹ π₁Xₙ が群構造をもち、核写像が準同型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ファイブレーションの逆極限のホモトピー群に対する古典的 lim¹ 完全系列を、非アーベルおよび非単連結の場合を含め、完全に一般化して証明するにはどうすればよいか？
• RQ2 非アーベル群の塔に対する lim¹ の正確な代数的構造は何か？ そして、ホモトピー群とはどのように関係するか？
• RQ3 自然な写像 πₖ(lim Xₙ) → lim πₖXₙ が全射であり、核が lim¹ πₖ₊₁Xₙ と同型であるための条件は何か？
• RQ4 塔内の空間に H-空間構造がある場合、核の群構造にどのような影響を与えるか？
• RQ5 ファイブレーションの塔の各段階で弱同値が成り立つための条件は何か？ そして、それが逆極限に対しても弱同値を誘導するか？

主な発見

• ファイブレーションの塔の逆極限のホモトピー群は、自然な短完全系列に含まれる：1 → lim¹ πₖ₊₁Xₙ → πₖ(lim Xₙ) → lim πₖXₙ → 1。
• k ≥ 2 のとき、これはアーベル群の短完全系列である。k = 1 のとき、これは群の系列である。k = 0 のとき、これは点付き集合の系列である。
• 写像 πₖ(lim Xₙ) → lim πₖXₙ の核は、自然に lim¹ πₖ₊₁Xₙ と同型であり、塔のファイブレーション構造によって定義される作用を伴う。
• すべての Xₙ が H-空間で、すべての構造写像が H-写像である場合、核 lim¹ π₁Xₙ は群構造をもち、核写像は準同型である。
• ファイブレーションの塔の写像が各段階で弱同値であるならば、逆極限に対しても弱同値が成り立つ。五能の補題とパス上昇の議論により示される。
• 証明により、写像 P: πₖ(lim Xₙ) → lim πₖXₙ が全射であり、核が明示的な整合性を持つホモトピーの構成により、正確に lim¹ πₖ₊₁Xₙ であることが示された。