[论文解读] Dualizing cartesian and cocartesian fibrations

Clark Barwick, Saul Glasman+1 more|arXiv (Cornell University)|Sep 7, 2014

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

一句话总结

本文在∞-范畴的背景下，为笛卡尔纤维丛与余笛卡尔纤维丛引入了一种对偶化过程，构建了一个规范的对偶纤维丛，其方向与原始纤维丛相反，同时保持了关键结构。其主要贡献在于通过一个对偶配对，使双对偶等价于原始纤维丛，从而在纤维丛的∞-范畴中建立了自对偶结构。

ABSTRACT

In this technical note, we proffer a very explicit construction of the "dual cocartesian fibration" $p^{\vee}$ of a cartesian fibration $p$, and we show they are classified by the same functor to $\mathbf{Cat}_{\infty}$.

研究动机与目标

• 为双范畴理论中笛卡尔纤维丛的显式对偶构造提供长期缺失的解决方案。
• 为给定的笛卡尔纤维丛定义一个规范的对偶纤维丛，反转其方向并保持同伦结构。
• 在纤维丛与其对偶之间建立对偶配对，证明双对偶可恢复原始纤维丛。
• 为对偶化纤维丛提供一个系统性框架，该框架推广了∞-范畴中函子与其对偶之间的经典对偶性。
• 通过扭曲箭头范畴构造，厘清笛卡尔纤维丛、余笛卡尔纤维丛及其对偶之间的关系。

提出的方法

• 作者利用基范畴的扭曲箭头∞-范畴定义笛卡尔纤维丛的对偶，该范畴编码了对偶结构。
• 通过沿分类函子的逆进行拉回，构建对偶纤维丛，利用笛卡尔纤维丛的普遍性质。
• 通过对∞-范畴中的对应关系进行定义，利用扭曲箭头范畴建立纤维丛与其对偶之间的联系，从而定义对偶配对。
• 证明双对偶构造自然等价于原始纤维丛，从而确立自对偶性。
• 该方法依赖于最大Kan复形函子可从∞-范畴中提取其底层空间的性质，该性质用于分类右纤维丛与左纤维丛。

实验结果

研究问题

• RQ1 在∞-范畴设定下，如何显式构造给定笛卡尔纤维丛的对偶纤维丛？
• RQ2 笛卡尔纤维丛的对偶与在对偶基范畴上的余笛卡尔纤维丛之间存在何种关系？
• RQ3 纤维丛的双对偶是否在等价意义下恢复原始纤维丛？
• RQ4 笛卡尔纤维丛与余笛卡尔纤维丛之间的对偶性能否通过∞-范畴中对应关系的配对形式化？
• RQ5 对偶纤维丛与分类函子的最大Kan复形之间存在何种关系？

主要发现

• 笛卡尔纤维丛 p: X → S 的对偶是一个余笛卡尔纤维丛 p∨: X∨ → S^op，通过 S 的扭曲箭头范畴构造。
• 对偶纤维丛由 p 的分类函子与最大Kan复形函子的复合所分类，后者用于提取∞-范畴的底层空间。
• 双对偶构造在等价意义下恢复了原始纤维丛，从而在纤维丛的∞-范畴中确立了自对偶性。
• 对偶配对诱导出从 S 上笛卡尔纤维丛的∞-范畴到 S^op 上余笛卡尔纤维丛的∞-范畴的对偶的等价。
• 该构造与通过映射到 Cat_∞ 的函子对纤维丛的分类相容，并为在∞-范畴中取值的函子提供了一种规范的对偶化方式。