[論文レビュー] Homotopy Theory of Orbispaces

André Henriques, David Gepner|ArXiv.org|Jan 31, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 21被引用数 48

ひとこと要約

この論文は、位相的群の軌道族からの関手（orbispacesの関手）としての Orb-spaces の圏を用いて、orbispaces におけるホモトピー論を確立する。これにより、等変ホモトピー論とスタック的アプローチを統一・一般化するホモトピー論的枠組みが得られる。主な貢献は、Orb-spaces とファイブレントな位相的スタックの圏の間のクィレン同値性を示したことであり、これは orbispaces のホモトピー型がその軌道族関手によって完全に記述されることを示している。

ABSTRACT

Given a topological group G, its orbit category Orb_G has the transitive G-spaces G/H as objects and the G-equivariant maps between them as morphisms. A well known theorem of Elmendorf then states that the category of G-spaces and the category of contravariant functors Func(Orb_G,Spaces) have equivalent homotopy theories. We extend this result to the context of orbispaces, with the role of Orb_G now played by a category whose objects are topological groups and whose morphisms are given by Hom(H,G) = Mono(H,G) x_G EG. On our way, we endow the category of topological groupoids with notions of weak equivalence, fibrant objects, and cofibrant objects, and show that it then shares many of the properties of a Quillen model category.

研究の動機と目的

• 等変ホモトピー論を一般化し、スタック的形式的体系と整合する orbispaces におけるホモトピー論の構築。
• 位相的群の軌道族から位相的空間への反変関手としての Orb-spaces の定義により、orbispaces のホモトピー論的取り扱いを可能にする。
• Orb-spaces のモデル圏とファイブレントな位相的スタックのモデル圏の間のクィレン同値性を確立し、ホモトピー的構造の同値性を示す。
• ホモトピー群と弱同値が固定点集合を通じて検出可能な枠組みを提供し、エレメンドルフの定理を一般化する。

提案手法

• 論文は、位相的群 G の軌道族から位相的空間の圏への連続な反変関手として Orb-spaces を定義する。
• 弱同値が群作用下の固定点集合によって検出されるモデル構造を Orb-spaces に導入し、エレメンドルフの定理を位相的群へ一般化する。
• 幾何的実現とスタック化関手を用いて、Orb-spaces のモデル圏とファイブレントな位相的スタックのモデル圏との間でクィレン同値性を構成する。
• セルラー位相的群oids とファイブレント補完を用いてスタックをモデル化し、ホモトピー不変性と降下性との整合性を保証する。
• 証明は 2-圏の余極限およびラックス層の群oids の性質に依拠し、群oids の作用とスタック構造との関係を結ぶ。
• 主な技術的道具は、プッシュアウト・プルバック図と、位相的圏における余極限構成のホメオモルフィズム結果である。

実験結果

リサーチクエスチョン

• RQ1 等変ホモトピー論とスタック的アプローチの両方を一般化する形で、orbispaces におけるホモトピー論を形式化する方法は何か？
• RQ2 orbispaces のホモトピー型を正しく捉えるために、Orb-spaces における正しいモデル圏構造とは何か？
• RQ3 Orb-spaces の圏とファイブレントな位相的スタックの圏との間にクィレン同値性は存在するか？
• RQ4 orbispaces のホモトピー群は、群作用下の固定点集合とどのように関係するか？
• RQ5 位相的スタックのホモトピー型は、その関連する Orb-space から回復可能か？

主な発見

• Orb-spaces の圏には、弱同値が固定点集合によって検出されるクィレンモデル構造が存在し、エレメンドルフの定理が位相的群へ一般化される。
• Orb-spaces のモデル圏とファイブレントな位相的スタックのモデル圏との間にはクィレン同値性が存在し、それらのホモトピー的同値性が確立される。
• 位相的スタックのホモトピー型は、その関連する Orb-space によって完全に決定される。つまり、ファイブレント補完を経たスタック化はホモトピー型を保存する。
• ファイブレントな位相的群oids の幾何的実現は、その関連する Orb-space のホモトピー型と一致する位相的スタックを生成する。
• 補題 A.8 のプッシュアウト・プルバック図により、位相的スタックにおける余極限がプルバックと可換であることが確認され、ホモトピー余極限の整合性が保証される。
• 論文は、ファイブレントな位相的群oids がスタックであることを示し、それらの幾何的実現が orbispaces の正しいホモトピー型をモデル化することを確立する。