[论文解读] A user's guide to co/cartesian fibrations

Aaron Mazel-Gee|arXiv (Cornell University)|Oct 8, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用 13

一句话总结

本文在∞-范畴的∞-范畴中建立了共/纤维化结构的模型无关理论，证明了此前依赖于模型的单纯范畴定义实际上可下探至底层的∞-范畴结构。其核心贡献是严格证明了特定模型（单纯范畴）下的定义与所提出的模型无关框架之间的兼容性，从而在导出数学与同伦论中实现更广泛的应用。

ABSTRACT

We formulate a model-independent theory of co/cartesian morphisms and co/cartesian fibrations: that is, one which resides entirely *within the $\infty$-category of $\infty$-categories*. We prove this is suitably compatible with the corresponding quasicategorical (and in particular, model-dependent) notions studied by Joyal and Lurie.

研究动机与目标

• 在∞-范畴的∞-范畴中发展共/纤维化结构的模型无关表述。
• 证明共/纤维化结构的单纯范畴定义与该模型无关框架相容。
• 为在避免使用模型依赖概念（如单纯集）的语境中应用共/纤维化结构，提供概念与技术基础。
• 使Lurie著作中依赖共/纤维化结构的结果能够以模型无关的方式应用。
• 通过消除对特定模型结构的依赖，阐明共/纤维化结构的同伦意义。

提出的方法

• 仅使用∞-范畴的∞-范畴来表述共/纤维化态射与纤维化结构，避免使用模型特定的构造。
• 以格罗滕迪克构造作为统一框架，将纤维化结构与映射到∞-范畴的函子联系起来。
• 应用高级模型范畴论技术，证明单纯范畴下的定义可下探至 $ s\mathrm{Set}_{\mathrm{Joyal}} $ 的底层∞-范畴。
• 在 $ s\mathrm{Set}_{\mathrm{Joyal}} $ 中构造同伦极限，以提升态射并验证 $ p $-纤维化提升的存在性。
• 证明在乔伊亚尔模型结构下的纤维化替换可保持纤维化结构的本质特征。
• 建立图中对象与全空间中提升之间的对应关系，确保纤维化结构得以保持。

实验结果

研究问题

• RQ1 共/纤维化结构能否以不依赖任何特定∞-范畴模型的方式定义？
• RQ2 标准的单纯范畴定义的纤维化结构是否与∞-范畴中模型无关的表述相容？
• RQ3 格罗滕迪克构造是否在不同∞-范畴之间保持纤维化结构的模型无关性？
• RQ4 能否在不依赖单纯集或纤维化替换的前提下，明确共/纤维化结构的同伦意义？
• RQ5 Lurie关于∞-范畴的工作中，有多少结果在模型无关设定下依然成立？

主要发现

• 通过复杂的模型范畴论操作，严格证明了模型无关的共/纤维化结构定义与单纯范畴对应定义完全相容。
• 在将∞-范畴中的纤维化结构沿单纯集的同伦范畴回拉时，可恢复经典纤维化结构的定义。
• 在单纯集的纤维化替换中，$ p $-纤维化提升的存在性确保了纤维化结构在同伦范畴构造下得以保持。
• 证明了格罗滕迪克构造在模型无关设定下，仍是函子到∞-范畴与以∞-群范畴为纤维的范畴之间的等价关系。
• 证明表明，$ s\mathrm{Set}_{\mathrm{Joyal}} $ 中的同伦极限构造正确地实现了纤维化提升的普遍性质，从而验证了模型无关方法的有效性。
• 本文确认了纤维化结构的概念在纤维化替换的选择下保持不变，从而消除了单纯范畴定义中的基础性歧义。