[论文解读] Simplicial radditive functors

Vladimir Voevodsky|ArXiv.org|May 28, 2008

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

一句话总结

本文为单纯r加法函子范畴之间的函子构建了一个同伦框架，确立了单纯扩张的连续函子保持局部等价性的条件。关键贡献是引入了使用$\bar{\Delta}$-闭类的准则，确保局部化同伦范畴之间的导出函子保持$E$-局部等价性，将经典单纯集结果推广至代数几何和动机同伦理论等更广泛背景。

ABSTRACT

The simplicial extension of any functor from Sets to Sets which commutes with directed colimits takes weak equivalences to weak equivalences. The goal of the present paper is construct a framework which can be used to proof results of this kind for a wide class of closed model categories and functors between those categories.

研究动机与目标

• 构建一个通用框架，用于证明闭模型范畴之间的函子保持弱等价性，特别是在动机同伦理论等背景下。
• 解决r加法函子不与余极限交换的问题，从而破坏基于可约化替换的标准同伦技术。
• 将经典结果（即与余极限交换的函子在单纯集中保持弱等价性）推广至更复杂的范畴，如预层与加法函子范畴。
• 定义并表征局部化同伦范畴之间导出函子保持$E$-局部等价性的条件。

提出的方法

• 在$\Delta^{op}C$中引入$\bar{\Delta}$-闭类的函子概念，这些类在连续函子的单纯扩张下保持封闭。
• 利用单纯r加法函子上的项目型闭模型结构，通过$E$-局部等价性定义同伦范畴$H(C)$及其局部化$H(C,E)$。
• 证明$\Delta^{op}C^{\#}$中的$E$-局部等价性由$\bar{\Delta}$-封闭性表征，从而实现函子间性质的传递。
• 应用Smith的局部化定理与Bousfield局部化，即使在缺乏左拟正规性的情况下，也将$cl_l(E)$与模型结构关联起来。
• 提出函子性准则：若对所有$f \in E$，有$F^{rad}(f \amalg \mathrm{id}_X) \in cl_l(E')$，则$F^{rad}$保持$E$-局部等价性。
• 利用伴随对$(F^{rad}, F_{rad})$，并在$F$满足满射条件时证明$F_{rad}$反映$E$-局部等价性。

实验结果

研究问题

• RQ1 在何种条件下，连续函子$F: C^\# \to (C')^\#$的单纯扩张能保持$\Delta^{op}C^\#$中对象之间的$E$-局部等价性？
• RQ2 如何确保局部化同伦范畴中的导出函子$\mathbf{L}F^{rad}: H(C) \to H(C')$保持$E$-局部等价性？
• RQ3 $\bar{\Delta}$-闭性在表征$E$-局部等价性及确保函子性方面起到何种作用？
• RQ4 何时右伴随$F_{rad}$反映$E'$-局部等价性，且$F$的何种条件可保证这一点？
• RQ5 局部化同伦范畴之间的伴随$\mathbf{L}F^{rad} \dashv \mathbf{R}F_{rad}$是否构成Quillen伴随？其障碍是什么？

主要发现

• 任何连续函子$F: C^\# \to (C')^\#$的单纯扩张在$\Delta^{op}C^\#$中保持项目型等价性，从而导出函子$\mathbf{L}F^{rad}: H(C) \to H(C^\prime)$有良好定义。
• 定理4.19表明：若$F^{rad}(E \amalg \mathrm{id}_C) \subset cl_l(E')$，则$\mathbf{L}F^{rad}(cl_l(E)) \subset cl_l(E')$，从而保证$E$-局部等价性的保持。
• 定理4.20表明：当$F$与有限余积交换时，$F^{rad}$保持$\Delta^{op}C^\#$中对象之间的$E$-局部等价性，且$F_{rad}$保持$\Delta^{op}Rad(C^\prime)$中的$E'$-局部等价性。
• 推论4.21证明$F_{rad}$将$E'$-局部对象映射为$E$-局部对象，且在$F$满足满射性时，导出函子构成局部化伴随。
• 若$F$在同构类上是满射的，则$\mathbf{R}F_{rad}$反映同构，因此$cl_l(E') = F_{rad}^{-1}(cl_l(E))$，从而对局部等价性实现完整表征。
• 该框架适用于动机背景：它推广了对称幂函子等在代数几何中保持$\mathbf{A}^1$-等价性的结果。