[论文解读] Comparing composites of left and right derived functors

Michael Shulman|arXiv (Cornell University)|Jun 19, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 29被引用 32

一句话总结

本文提出一个双重范畴框架，系统比较模型范畴中左导函子与右导函子复合的映射，利用对偶（mates）与结合（conjunctions）来规范识别比较映射。结果表明，导函子构成一个双重伪函子，从而统一处理基变换定理与投影公式定理，关键成果包括通过配对（mates）规范推导出投影公式，通过明确指出所涉及的精确同构，强化了标准证明。

ABSTRACT

We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double category whose vertical and horizontal arrows are left and right Quillen functors, respectively, and that passage to derived functors is functorial at the level of this double category. The theory of conjunctions and mates in double categories, which generalizes the theory of adjunctions and mates in 2-categories, then gives us canonical ways to compare composites of left and right derived functors. We give a number of sample applications, most of which are improvements of existing proofs in the literature.

研究动机与目标

• 为系统比较左导函子与右导函子复合提供一个概念性框架，标准模型范畴理论对此类比较处理不佳。
• 通过引入一个双重范畴，对称地处理左与右奎伦函子，以解决其处理上的不对称性。
• 将对偶理论从2-范畴推广至双重范畴，从而在导函子复合之间生成规范的比较映射。
• 通过明确识别出使同构成立的特定规范映射（即对偶），强化现有基变换与投影公式定理的证明，而非仅断言其存在性。
• 通过一个形式化结构，将左与右导函子置于对等地位，从而阐明二者之间的概念性差异。

提出的方法

• 将模型范畴嵌入一个双重范畴，其中竖直态射为左奎伦函子，水平态射为右奎伦函子。
• 在该双重范畴中，共轭的奎伦伴随对被视作结合（conjunctions），从而实现对伴随函子的统一处理。
• 证明从奎伦函子到导函子的过渡构成一个双重伪函子，保持双重范畴的结构。
• 在双重范畴中使用对偶（mates）生成规范的自然变换，以比较左与右导函子的复合。
• 通过将导函子的张量结构的对偶识别为关键同构，将该理论应用于推导投影公式与基变换定理。
• 使用涉及导函子与弱等价的图表，验证规范对偶映射为同构，尤其在参数化空间与层论中。

实验结果

研究问题

• RQ1 当标准模型范畴理论无法为此类比较提供规范框架时，如何系统地比较左与右导函子的复合？
• RQ2 左与右导函子之间区别的概念性作用是什么？如何以对称方式形式化这一区别？
• RQ3 贝克-谢瓦莱条件与基变换定理能否从一个一般性原理推导，而非依赖于临时性论证？
• RQ4 是否存在一个规范的自然变换，用于比较左与右导函子的复合？它在何时为同构？
• RQ5 参数化空间与层论中的投影公式能否被重新解释为导函子张量结构的对偶？

主要发现

• 奎伦函子的导函子构成一个从模型范畴与奎伦伴随的双重范畴到三角范畴的双重伪函子的双重范畴。
• 左与右导函子复合之间的规范比较映射是对偶的导变换，该映射被明确识别，并在关键情形下被证明为同构。
• 在参数化空间理论中，投影公式被推导为拉回函子上导函子张量结构的对偶，且通过涉及弱等价的图表追踪证明该映射为同构。
• 对于层，通过证明同构并非任意同构，而是导函子张量结构的特定对偶，从而强化了投影公式与基变换定理。
• 通过利用闭结构与对偶构造，该框架使在 Ho(Ex_B) 中推导投影公式成为可能，即使内部态射难以处理。
• 该框架通过将问题归约为验证一个规范映射（即对偶）为弱等价，为某些导函子在图中可交换的原因提供了概念性解释。