[论文解读] Fibrations in $\infty$-category theory

Clark Barwick, Jay Shah|arXiv (Cornell University)|Jul 14, 2016

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

一句话总结

本文提供了对同伦范畴理论中八类纤维化（左纤维化、右纤维化、Kan纤维化、内纤维化、等价纤维化、余Cartesian纤维化、Cartesian纤维化及平坦纤维化）的全面、解说性的综述，展示了它们如何在∞-范畴论中实现显式、计算上可行的构造。主要贡献在于系统性地运用这些纤维化，实现强大且具体的构造，以补充普遍性刻画，尤其通过范畴模式与同伦不变函子的运用。

ABSTRACT

In this short expository note, we discuss, with plenty of examples, the bestiary of fibrations in quasicategory theory. We underscore the simplicity and clarity of the constructions these fibrations make available to end-users of higher category theory.

研究动机与目标

• 阐明并系统化在同伦范畴论中使用的各类纤维化，这些纤维化对于∞-范畴论中的显式构造至关重要。
• 强调纤维化在实现具体、可计算构造方面被低估的潜力，从而避免复杂的同伦相干性问题。
• 展示纤维化（尤其是余Cartesian与Cartesian纤维化）如何促进∞-范畴中函子与伴随关系的构造。
• 在抽象普遍性质（如∞-范畴的自由生成）与通过纤维化实现的显式、函子性构造之间建立桥梁。
• 为研究人员提供实用指南，通过实例说明纤维化如何简化并阐明高阶范畴论中的复杂构造。

提出的方法

• 本文对同伦范畴中的八类纤维化（包括左、右、Kan、内、等价纤维化、余Cartesian、Cartesian及平坦纤维化）进行了分类与比较，并辅以详细示例。
• 采用范畴模式 $π^*\rho_*$ 与 $(ρ')_*(π')^*$ 来建模∞-范畴之间的函子，并分析其在同伦等价下的行为。
• 作者利用左Quillen函子与单纯集之间的同伦等价，证明在适当条件下，拉回与上推保持弱等价性。
• 他们应用Lurie的工作结果 [7] 与 [6, 1.4.4(b)]，证明当底映射为同伦等价时，所诱导的函子间自然变换为弱等价。
• 纤维化的构造基于同伦范畴理论，利用内纤维化及余Cartesian与Cartesian态射的提升性质。
• 本文利用如下事实：$s\textbf{Set}^+_{/\mathfrak{P}_{C'}}$ 中的同伦等价诱导其对应函子的弱等价，从而确保构造在同伦下的稳定性。

实验结果

研究问题

• RQ1 在同伦范畴中，不同类型的纤维化如何促进∞-范畴论中的显式构造？
• RQ2 在单纯集之间的同伦等价诱导下，何种条件可确保其在函子层面上诱导出弱等价？
• RQ3 范畴模式 $π^*\rho_*$ 与 $(ρ')_*(π')^*$ 如何建模∞-范畴之间的函子，并保持弱等价性？
• RQ4 左与右Quillen函子如何与纤维化相互作用，以确保同伦不变性？
• RQ5 余Cartesian与Cartesian纤维化在∞-范畴设定下如何支持伴随函子的构造？

主要发现

• 由同伦等价 $f$ 诱导的自然变换 $\rho_!\pi^* \to (\rho')_!(\pi')^*$ 在所有对象上均为弱等价，确保了构造的同伦不变性。
• 伴随自然变换 $(\pi')_*\rho'^* \to \pi_*\rho^*$ 在所有纤维化对象上为弱等价，确认了其在对偶下的稳定性。
• 同伦等价 $f$ 诱导出纤维积上的同伦等价 $\text{id}_X \times_C f$，保持了在 $C$ 上的纤维化结构。
• $\pi^*\rho_*$ 与 $(\rho')_*(\pi')^*$ 函子在范畴模式 $\mathfrak{P}_C$ 与 $\mathfrak{P}_{C'}$ 所定义的模型结构下为左Quillen函子，确保其与同伦理论的兼容性。
• 沿任意映射 $X \to C$ 拉回同伦等价，可得同伦等价 $X \times_C K \to X \times_C L$，这对保持纤维化构造中的弱等价性至关重要。
• 使用纤维化使得∞-范畴论中能够实现显式、可计算的构造，而无需依赖复杂的同伦相干性机制。