[论文解读] On Reedy Model Categories

Clark Barwick|ArXiv.org|Aug 21, 2007

Constraint Satisfaction and Optimization参考文献 2被引用 9

一句话总结

本文建立了关于Reedy模型范畴的基础性结果，重点关注函子性与对称单峰结构。它提供了一个判别准则，用于确定通过Reedy范畴之间的态射是否诱导出左或右Quillen函子，并证明若一个对称单峰模型范畴满足单位公理，则其Reedy图范畴可通过Day卷积构造继承对称单峰模型结构。

ABSTRACT

The sole purpose of this note is to introduce some elementary results on the structure and functoriality of Reedy model categories. In particular, I give a very useful little criterion to determine whether composition with a morphism of Reedy categories determines a left or right Quillen functor. I then give a number of useful inheritance results.

研究动机与目标

• 阐明Reedy模型范畴在指标范畴态射下的函子行为。
• 提供一个判别准则，用于确定由Reedy范畴态射诱导的函子是否为左或右Quillen函子。
• 确立Reedy图范畴上的模型结构继承为对称单峰模型结构的条件。
• 在单位公理下，通过Day卷积形式化Reedy图范畴上的对称单峰结构。
• 使Reedy模型范畴的基础性结果独立于冗长的专著而得以公开。

提出的方法

• 基于Reedy范畴的左纤维化与右纤维化构造，确定图函子的Quillen函子性。
• 应用Day卷积构造，定义Reedy图范畴上的张量积。
• 通过公式 $\underline{\operatorname{Mor}}_{\mathbf{M}(A)}^{\mathbf{M}(A)}(X,Y)_{\alpha} = \underline{\operatorname{Mor}}_{\mathbf{M}(A)}^{\mathbf{M}}(y_{\mathbf{M}}(\alpha) \otimes_{\mathbf{M}(A)}^{\mathbf{M}(A)} X, Y)$ 定义Reedy图范畴中的内部同态。
• 利用单位公理与常值函子的纤维化性质，验证对称单峰模型范畴公理。
• 证明对角函子 $\Delta: A \to A \times A$ 是左纤维化，从而确保相关括号范畴的神经复形连通或为空，这是验证对称单峰公理的关键步骤。
• 将结果应用于关于 $\Delta/K$ 的图范畴（$K$ 为 $\mathbf{X}$-小的单纯集或范畴），表明其继承对称单峰结构。

实验结果

研究问题

• RQ1 在何种条件下，Reedy范畴之间的态射会诱导图范畴上的左或右Quillen函子？
• RQ2 当 $\mathbf{M}$ 满足单位公理时，$\mathbf{M}^A$ 上的Reedy模型结构何时能从 $\mathbf{M}$ 继承对称单峰结构？
• RQ3 如何利用Day卷积张量积为 $\mathbf{M}^A$ 赋予对称单峰模型结构？
• RQ4 单位公理在确保 $\mathbf{M}^A$ 上的对称单峰模型范畴结构中起什么作用？
• RQ5 当 $A$ 是Reedy范畴时，对角函子 $\Delta: A \to A \times A$ 是否为左纤维化？

主要发现

• Reedy范畴之间的态射诱导左或右Quillen函子，当且仅当其分别为左或右纤维化，从而为Quillen函子性提供实用判别准则。
• 当 $\mathbf{M}$ 满足单位公理且 $A$ 是Reedy范畴时，Reedy图范畴 $\mathbf{M}(A)$ 从 $\mathbf{M}$ 继承对称单峰模型结构。
• 在 $\mathbf{M}(A)$ 上的对称单峰结构由Day卷积给出，其内部同态由公式 $\underline{\operatorname{Mor}}_{\mathbf{M}(A)}^{\mathbf{M}(A)}(X,Y)_{\alpha} = \underline{\operatorname{Mor}}_{\mathbf{M}(A)}^{\mathbf{M}}(y_{\mathbf{M}}(\alpha) \otimes_{\mathbf{M}(A)}^{\mathbf{M}(A)} X, Y)$ 定义。
• 对角函子 $\Delta: A \to A \times A$ 是左纤维化，从而确保相关括号范畴的神经复形连通或为空，这是验证对称单峰公理的关键步骤。
• 对于任意 $\mathbf{X}$-小的单纯集或范畴 $K$，在对角对称单峰结构下，范畴 $\mathbf{M}(\Delta/K)$ 是一个对称单峰模型范畴。