[论文解读] 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

一句话总结

本文識別了小範疇、無環範疇與偏序集上的托馬森模型結構中的纖維對象，並證明這三類範疇共享相同的纖維對象類。作者利用重取引理與纖維對象包含關係，證明所有有限半格、可數樹、鏈、有限之字形結構，以及任意五個或更少元素的偏序集均為纖維對象，且在每種情況下，最小元素的包含映射均為纖維對象。

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.

研究动机与目标

• 識別小範疇、無環範疇與偏序集上托馬森模型結構中的纖維對象。
• 在三類範疇共享相同纖維對象類的前提下，確定哪些偏序集在此模型結構中為纖維對象。
• 證明多種類型的偏序集（包括有限半格、可數樹、鏈、有限之字形結構，以及所有元素數 ≤5 的偏序集）均為纖維對象。
• 證明每種纖維對序集的最小元素包含映射本身亦為纖維對象。
• 透過範疇論構造與重取引理，系統性分類五個元素以內的纖維對序集。

提出的方法

• 使用基本範疇函子 τ₁Sd² 和納織函子 N，將單純集與範疇相連結。
• 利用單純集中的單射為纖維對象，且 τ₁Sd² 為左 Quillen 函子，故保持纖維對象的性質。
• 應用重取引理：若一映射為纖維對象的重取，則其本身亦為纖維對象；若一範疇為纖維對象範疇的重取，則其本身亦為纖維對象。
• 透過上併與包含關係構造纖維對序集，特別是以最小元素的包含關係為起點。
• 使用顯式圖形構造與單純形上的摺疊運算，實現 τ₁Sd²Δⁿ 及相關範疇中的纖維對象。
• 透過將每個序集嵌入至已知纖維對象範疇（如 P(L)\∅ 或 τ₁Sd²Δⁿ）的重取中，驗證其纖維對象性質，並利用這些基本案例的已知纖維對象性。

实验结果

研究问题

• RQ1 在 Cat、Ac 與 Pos 上的托馬森模型結構中，哪些序集為纖維對象？
• RQ2 所有有限半格、可數樹、鏈與有限之字形結構是否在此模型中皆具有纖維對象結構？
• RQ3 每種纖維對序集的最小元素包含映射是否本身亦為纖維對象？
• RQ4 能否透過重取或上併構造，證明所有五個或更少元素的序集均為纖維對象？
• RQ5 從其序理論與範疇論性質出發，纖維對序集的結構特徵為何？

主要发现

• 所有有限半格均為纖維對象，因其為 P(L)\∅ 的重取，而根據引理 3.4，P(L)\∅ 為纖維對象。
• 所有可數樹均為纖維對象，因其可透過保持纖維對象性的遞歸上併與包含關係構造而成。
• 所有鏈均為纖維對象，因其同構於 [n]，並繼承自 τ₁Sd²Δⁿ 的已知纖維對象性質。
• 所有有限之字形結構均為纖維對象，此點透過從已知纖維對象基本案例出發的顯式上併構造予以證明。
• 所有五個或更少元素的序集均為纖維對象，此點經由對 44 個連通五元素序集及其構造的全面分析驗證。
• 對於所有識別出的纖維對序集（特別是元素數 ≤5 者），其最小元素的包含映射均為纖維對象，此點透過重取與上併引理確立。