[論文レビュー] The Coalgebraic Structure of Cell Complexes

Thomas Athorne|arXiv (Cornell University)|Feb 27, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用数 7

ひとこと要約

この論文は、位相空間の標準的代数的モデル構造において、代数的弱ファクタリゼーション系（awfs）の左マップが、正確に相対セル複体であるというリチャード・ガーナーの予想を証明する。セル複体構造の圏を射の圏への忘却関手を介して構成することで、この圏とコモノイドの余代数圏との同値性を確立し、awfsが自由であること、および左マップが正確に相対セル複体であることを示す。

ABSTRACT

The relative cell complexes with respect to a generating set of cofibrations are an important class of morphisms in any model structure. In the particular case of the standard (algebraic) model structure on $ extbf{Top}$, we give a new expression of these morphisms by defining a category of relative cell complexes, which has a forgetful functor to the arrow category. This allows us to prove a conjecture of Richard Garner: considering the algebraic weak factorisation system given in that algebraic model structure between cofibrations and trivial fibrations, we show that the category of relative cell complexes is equivalent to the category of coalgebras.

研究の動機と目的

• 位相空間の標準的代数的モデル構造において、代数的弱ファクタリゼーション系（awfs）の左マップが正確に相対セル複体であるというリチャード・ガーナーの予想を証明すること。
• 相対セル複体を単なる性質を持つ射ではなく、構造を持つ射として扱うための圏論的枠組みを提供すること。
• セル複体の普遍性を捉える関手的構成を用いて、小さな対象の作用の明示的で関手的な構成を確立すること。
• 標準的な小さな対象の作用によって定義されるTop上のawfsが自由であることを示すために、そのコモノイドが自由セル複体コモノイドと同型であることを示すこと。
• 高次圏論に関連するカテゴリー、特に弱n-圏など、他のカテゴリーへの一般化の基盤を築くこと。

提案手法

• 射の圏 $\mathbf{Top}^\mathbf{2}$ 上の圏 $\mathbf{CellCx}$ を、生成する被覆被覆の押し出しの順序数反復合成を備えた射として定義する。
• 各セル複体に対し、その下位の射を割り当てる忘却関手 $U: \mathbf{CellCx} \to \mathbf{Top}^\mathbf{2}$ を構成する。
• 関手 $U$ が右随伴を持つことを証明し、小さな対象の作用の普遍性が自由セル複体構成として実現されることを示す。
• コモノイド性定理を用いて、$\mathbf{CellCx}$ がコモノイド $UK$（awfs に関連するコモノイド）の余代数圏と同値であることを示す。
• コモノイドの自然同型を介して、コモノイド $UK$ がTop上の標準的awfsのコモノイド $\mathbb{L}$ と同型であることを示す。
• 同型なコモノイドは同値な余代数圏を持つことを利用し、awfsの左マップの圏が $\mathbf{CellCx}$ と同値であることを結論づけ、したがってすべての左マップが相対セル複体であることを示す。

実験結果

リサーチクエスチョン

• RQ1 Top上の標準的代数的弱ファクタリゼーション系の左マップは、正確に相対セル複体であるか？
• RQ2 小さな対象の作用は、セル複体構造の圏上で普遍的な自由構成として再構成可能か？
• RQ3 セル複体構造から射への忘却関手は、保存的かつコモノイド的か。これにより余代数の同値性が成立するか？
• RQ4 生成被覆の押し出しの順序数反復合成を備えたセル複体構造の圏は、awfsにおける左マップの完全な構造を捉えているか？
• RQ5 この構成は、非単射セル形状を含む、他の圏やawfsへどの程度一般化可能か？

主な発見

• セル複体構造の圏 $\mathbf{CellCx}$ は、$\mathbf{Top}^\mathbf{2}$ 上でコモノイド $UK$ の余代数圏と同値であり、セル複体の余代数的性質を確立する。
• 忘却関手 $U: \mathbf{CellCx} \to \mathbf{Top}^\mathbf{2}$ はコモノイド的であり、セル複体の構造はその下位の射と余代数的データによって完全に特徴づけられる。
• awfs $(UK, E)$ は、Top上の標準的awfs $(\mathbb{L}, \mathbb{R})$ と同型である。これにより、awfsが生成集合 $\mathcal{J}$ に関して自由であることが証明される。
• Top上の標準的awfsにおいて左マップ構造を持つすべての射は、相対セル複体である。ガーナーの予想が確認された。
• この構成は、小さな対象の作用を、余極限、押し出し、合成の下での自由な完備化として一般化し、ガーナーの強化された小さな対象の作用の三段階と一致する。
• 生成写像が単射でない設定では、この結果は成り立たない。その場合、忘却関手が保存的でなく、セル複体構造が一意でない可能性がある。