[論文レビュー] Cofibrant objects in the Thomason Model Structure

Roman Bruckner, Christoph Pegel|arXiv (Cornell University)|Mar 17, 2016

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

ひとこと要約

この論文は、小さな圏、非巡回圏、および半順序集合のトーマソンモデル構造におけるcofibrant対象を同定し、3つの圏が同じcofibrant対象のクラスを共有することを示している。再帰的構成とcofibrationの包含関係を用いて、有限半順序集合、可算木、鎖、有限ジグザグ、および5要素以下の任意の半順序集合がcofibrantであることを証明しており、それぞれの最小元の包含写像がcofibrationであることを示している。

ABSTRACT

There are Quillen equivalent Thomason model structures on the category of small categories, the category of small acyclic categories and the category of posets. These share the property that cofibrant objects are posets. In fact, they share the same class of cofibrant objects. We show that every finite semilattice, every chain, every countable tree, every finite zigzag and every poset with five or less elements is cofibrant in all of those structures.

研究の動機と目的

• 小さな圏、非巡回圏、および半順序集合のカテゴリーにおけるトーマソンモデル構造におけるcofibrant対象を同定すること。
• 3つのカテゴリーが同じcofibrant対象のクラスを共有することを踏まえ、どの半順序集合がこのモデル構造においてcofibrantであるかを特定すること。
• 有限半順序集合、可算木、鎖、有限ジグザグ、および5要素以下のすべての半順序集合のクラスがcofibrantであることを証明すること。
• 各cofibrant半順序集合への最小元の包含写像がcofibrationであることを示すこと。
• カテゴリカルな構成と再帰的構成を用いて、5要素までのcofibrant半順序集合を体系的に分類すること。

提案手法

• 単体的集合と圏との関係を確立するため、基本圏関手 τ₁Sd² とナーヴ関手 N を用いる。
• sSetにおける単射はcofibrationであり、τ₁Sd² が左クォーレン関手であるため、cofibrationを保存することを活用する。
• 再帰的構成の応用：cofibrationの再帰的写像であれば、その写像自体がcofibrationである。同様に、cofibrant圏の再帰的写像であれば、その対象はcofibrantである。
• 特に最小元の包含写像を出発点として、cofibrant半順序集合を押し出しと包含写像を用いて構成する。
• 単体の折りたたみ操作と明示的な図式構成を用いて、τ₁Sd²Δⁿ および関連カテゴリーにおけるcofibrationを実現する。
• 各半順序集合を既知のcofibrant圏（例：P([n])\∅ または τ₁Sd²Δⁿ）の再帰的写像として埋め込み、これらの基本ケースのcofibrancyを活用してcofibrancyを検証する。

実験結果

リサーチクエスチョン

• RQ1 トーマソンモデル構造における Cat、Ac、および Pos のカテゴリーで、どの半順序集合がcofibrantであるか？
• RQ2 すべての有限半順序集合、可算木、鎖、および有限ジグザグは、このモデル構造においてcofibrant構造を有するか？
• RQ3 各cofibrant半順序集合への最小元の包含写像自体がcofibrationであるか？
• RQ4 5要素以下のすべての半順序集合が、再帰的構成または押し出し構成を用いてcofibrantであることを示せるか？
• RQ5 cofibrant半順序集合の構造的特徴は、順序論的および圏論的性質の観点からどのように特徴づけられるか？

主な発見

• すべての有限半順序集合はcofibrantである。これは、P(L)\∅ の再帰的写像であり、補題3.4によりcofibrantであるため。
• すべての可算木はcofibrantである。これは、cofibrancyを保つ帰納的押し出しと包含写像の系列によって構成可能であるため。
• すべての鎖はcofibrantである。これは [n] と同型であり、τ₁Sd²Δⁿ の既知のcofibrancyから帰属されるため。
• すべての有限ジグザグはcofibrantである。これは、既知のcofibrant基底ケースから出発する明示的な押し出し構成により示された。
• 5要素以下のすべての半順序集合はcofibrantである。これは、44個の連結5要素半順序集合の体系的分析とその構成により検証された。
• 特に5要素以下の半順序集合に限らず、同定されたすべてのcofibrant半順序集合において、最小元の包含写像はcofibrationである。これは再帰的構成と押し出し構成の議論により確立された。