[論文レビュー] Algebraic colimit calculations in homotopy theory using fibred and cofibred categories

Ronald Brown, Rafael Sivera|arXiv (Cornell University)|Sep 24, 2008

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

ひとこと要約

本稿では、ファイブレートおよびコファイブレート圏を用いた統一的枠組みを構築し、高次ホモトピー・ヴァン・カンペン定理における余極限を通じて、交差モジュールや交差スクエアなどの代数的ホモトピー不変量を計算する。主たる貢献は、ファイブレート圏におけるファイバーの包含が連結余極限を保存することを示す一般的結果であり、これによりマルチベースポイントおよびトライアド設定におけるホモトピー的除去と非アーベルホモトピー群の体系的計算が可能になる。

ABSTRACT

Higher Homotopy van Kampen Theorems allow the computation as colimits of certain homotopical invariants of glued spaces. One corollary is to describe homotopical excision in critical dimensions in terms of induced modules and crossed modules over groupoids. This paper shows how fibred and cofibred categories give an overall context for discussing and computing such constructions, allowing one result to cover many cases. A useful general result is that the inclusion of a fibre of a fibred category preserves connected colimits. The main homotopical application are to pairs of spaces with several base points, but we also describe briefly the situation for triads.

研究の動機と目的

• ホモトピー論における代数的ホモトピー不変量の体系的計算のための圏論的枠組みを、ファイブレートおよびコファイブレート圏を用いて提供すること。
• グループイド、モジュール、交差モジュールを含む、異なる次元および構造における既存の高次ホモトピー・ヴァン・カンペン定理（HHvKTs）を統一的かつ一般化すること。
• ファイブレート圏におけるファイバーの包含が連結余極限を保存することを確立し、代数的不変量間での余極限構造の転送を可能にすること。
• この枠組みを用いてホモトピー的除去およびトライアドホモトピー群を計算すること、特にマルチベースポイントおよびトライアド設定において。
• 誘導された交差スクエアおよび非アーベルテンソル積が、$π_3(X;A,B;x)$ および関連不変量の計算にどのように役立つかを示すこと。

提案手法

• 本稿では、ファイブレートおよびコファイブレート圏を用いて、ベース圏（集合、グループイド）上の代数的データ（グループイド、モジュール、交差モジュール）をモデル化し、構造的な余極限計算を可能にする。
• ファイブレート圏におけるファイバーの包含が連結余極限を保存することを証明し、余極限構造の転送のための基礎的技術的結果を提供する。
• この枠組みは、位相的データ（ベースポイントまたはトライアドを備えた空間）から代数的データ（グループイド、交差モジュール、交差スクエア）への関手 $Π$ を扱うことで、高次ヴァン・カンペン定理に適用される。
• 空間の貼り合わせを表すために、プッシュアウトとコカーテシアングラフト射を用い、代数的不変量はファイバー圏における余極限として計算される。
• 交差スクエアの圏におけるプッシュアウトを用いた誘導された交差スクエアの構成を形式化し、非アーベルテンソル積 $M times N$ を主要な構成要素として用いる。
• 忘却関手 $Φ: \mathsf{XSq} \to \mathsf{XMod}^2$ がファイブレーションかつコファイブレーションであることが示され、普遍的構成と誘導構造の両方が可能になる。

実験結果

リサーチクエスチョン

• RQ1 ファイブレートおよびコファイブレート圏は、高次ホモトピー・ヴァン・カンペン定理における余極限計算をどのように統一的かつ一般化できるか？
• RQ2 代数的ホモトピー構成において、ファイバーの包含が連結余極限を保存するための圏論的条件は何か？
• RQ3 交差スクエアの圏におけるプッシュアウトを用いて、誘導された交差スクエアをどのように体系的に構成できるか？
• RQ4 ファイブレートおよびコファイブレート圏は、ホモトピー的除去および非アーベルホモトピー群の計算をどのように容易にするか？
• RQ5 非アーベルテンソル積 $M times N$ は、普遍的交差スクエアの構成および $π_3(X;A,B;x)$ の計算において果たす役割は何か？

主な発見

• ファイブレート圏におけるファイバーの包含が連結余極限を保存することは、余極限計算の全枠組みを支える一般的結果である。
• 忘却関手 $Φ: \mathsf{XSq} \to \mathsf{XMod}^2$ はファイブレーションかつコファイブレーションであることが示され、左および右随伴が存在し、普遍的および誘導された交差スクエアが得られる。
• 誘導された交差スクエアは、交差スクエアの圏におけるプッシュアウトとして計算され、射 $(\alpha, \gamma): M \to P \to R \to Q$ および $(\beta, \gamma): N \to P \to S \to Q$ の構造を持つ。
• 普遍的交差スクエアは、非アーベルテンソル積 $M \otimes N$ を用いて構成され、作用および関数 $h: M \times N \to M \otimes N$ は $h(m,n) = (^n m m^{-1}, n \,^m n^{-1})$ で定義される。
• HHvKT枠組みにより、$π_3(X;A,B;x)$ は交差スクエアの余極限として計算可能であり、トライアド・フリューアーイツ定理や自由交差スクエアへの応用が可能になる。
• この枠組みは $n$-キューブの空間へ一般化可能であり、アーベルでない方法に比べて、アーベルでないホモトピー群の計算を支援する。