[论文解读] Day convolution for infinity-categories

Saul Glasman|arXiv (Cornell University)|Aug 22, 2013

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

一句话总结

本文构建了对称单体∞-范畴的Day卷积积的∞-范畴类比，当D具有上确界时，在函子范畴Fun(C,D)上定义了对称单体结构。关键结果是：此卷积积的E∞-代数精确对应于从C到D的弱对称单体函子，将经典Day卷积推广至∞-范畴设定。

ABSTRACT

Given symmetric monoidal infinity-categories C and D, subject to mild hypotheses on D, we define an infinity-categorical analog of the Day convolution symmetric monoidal structure on the functor category Fun(C, D). An E_infinity monoid for the Day convolution product is a lax monoidal functor from C to D.

研究动机与目标

• 在∞-范畴的背景下，发展Day卷积积的高阶范畴类比。
• 确立Day卷积积的E∞-代数精确对应于从C到D的弱对称单体函子。
• 构建一个对称单体Yoneda嵌入到Day卷积范畴中，验证其与Lurie构造的一致性。
• 通过在函子范畴上提供一个稳健的单体结构，解决高阶范畴Mackey函子和K-理论中的基础性问题。

提出的方法

• 使用有限带基点集合的范畴F来建模∞-范畴中的对称单体结构。
• 通过沿映射k:K→F的拉回，利用F上的泛性质定义∞-范畴Fun(C,D)⊗。
• 通过D中的上确界，将Day卷积积构造为沿C中单体积的左Kan扩张。
• 确立所得结构是F上的局部共纤维化，使其成为对称单体∞-范畴。
• 通过构造对称单体函子Y⊗:C⊗→Fun(Cop,Top)⊗，在∞-范畴设定下应用Yoneda引理。
• 通过同伦拉回和Kan扩张技术检查上确界相容性，验证Yoneda函子保持对称单体结构。

实验结果

研究问题

• RQ1 如何将Day的经典卷积积推广至∞-范畴设定？
• RQ2 在Day卷积范畴Fun(C,D)⊗中，E∞-代数的精确刻画是什么？
• RQ3 对称单体∞-范畴的Yoneda嵌入是否可扩展为到Day卷积范畴的对称单体函子？
• RQ4 此构造与∞-范畴背景下Lurie的Yoneda嵌入有何关联？
• RQ5 此框架能否用于建模高阶范畴Mackey函子和乘法K-理论结构？

主要发现

• 当D具有所有上确界时，Fun(C,D)上的Day卷积积被定义为沿单体积⊗C的乘积函子F×G的左Kan扩张。
• Day卷积积的E∞-代数等价于通过∞-操作符定义的从C到D的弱对称单体函子。
• Yoneda嵌入Y⊗:C⊗→Fun(Cop,Top)⊗是对称单体的，且其像位于Fun(Cop,Top)上的Day卷积结构之内。
• 该构造与[Lur12, 推论6.3.1.12]中的Lurie Yoneda嵌入一致，确认与现有理论的一致性。
• Fun(C,D)⊗上的对称单体结构与共纤维化和上确界保持性相容，确保在高阶范畴设定中的协调性。
• 证明依赖于通过同伦拉回和Kan扩张技术验证映射空间上的诱导映射为弱同伦等价。