[论文解读] Homotopy theory of Spectral categories

Gonçalo Tabuada|ArXiv.org|Jan 29, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 21被引用 6

一句话总结

本文在谱范畴的范畴上建立了 Quillen 模型结构，以稳定准同构作为弱等价。通过将 Schwede-Shipley 的非加法滤子论证适配到对称谱，构建了一个右 proper 模型结构，使得谱范畴的同伦分析成为可能，其应用涵盖非交换代数几何与稳定同伦论。

ABSTRACT

We construct a Quillen model structure on the category of spectral categories, where the weak equivalences are the symmetric spectra analogue of the notion of equivalence of categories.

研究动机与目标

• 为谱范畴发展同伦理论，谱范畴是 enriched over 对称谱的范畴，作为微分分次范畴的拓扑类比。
• 定义并表征谱范畴之间正确的等价概念——稳定准同构，结合范畴等价与稳定同伦等价。
• 在谱范畴的范畴上构建一个由稳定准同构作为弱等价的、可生成的、右 proper 的 Quillen 模型结构。
• 将该框架扩展至通过双模 nerve 和导出 smash 积计算映射空间与内部 Hom 对象。

提出的方法

• 使用单纯范畴与对称谱上的投影水平模型结构，在谱范畴上构造逐点的 Quillen 模型结构。
• 将 Schwede-Shipley 的非加法滤子论证适配到对称谱，利用穿孔立方体上的迭代上包络分析可滤性与弱等价性质。
• 通过对称谱的 smash 积的立方体定义映射空间的滤子，顶点由有限集的子集索引，并分析穿孔立方体上的余上确界。
• 利用对称谱中的幺半群公理与上包络积公理，证明滤子中诱导的映射是弱等价或上纤维。
• 证明将映射空间包含到滤子余上确界中的包含映射是弱等价，从而确立所需的模型结构。
• 利用该模型结构将两个谱范畴之间的映射空间描述为双模范畴的 nerve，并证明同伦范畴在导出 smash 积下具有内部 Hom。

实验结果

研究问题

• RQ1 谱范畴之间正确的等价概念是什么，能同时结合范畴结构与稳定同伦数据？
• RQ2 能否在谱范畴的范畴上构造一个 Quillen 模型结构，使得弱等价为稳定准同构？
• RQ3 如何将 Schwede-Shipley 的非加法滤子技术适配到对称谱与谱范畴的设定中？
• RQ4 在此模型结构下，两个谱范畴之间映射空间的同伦结构是什么？
• RQ5 谱范畴的同伦范畴是否在导出 smash 积下具有内部 Hom 对象？

主要发现

• 成功构建了谱范畴范畴上的右 proper Quillen 模型结构，弱等价由稳定准同构给出。
• 该模型结构是可生成的，且源自单纯范畴上的逐点构造，通过单点集与点化单纯集之间的强张量伴随关系提升。
• 非加法滤子论证成功适配到对称谱，证明将初始映射空间包含到滤子余上确界中的映射是弱等价。
• 通过对称谱中的幺半群公理与上包络积结构，证明滤子中的诱导映射是弱等价。
• 两个谱范畴之间的映射空间被描述为双模范畴的 nerve，为态射提供了同伦描述。
• 谱范畴的同伦范畴在导出 smash 积下具有内部 Hom 对象，确认了其闭范畴结构。