[论文解读] Inverting weak dihomotopy equivalence using homotopy continuous flow

Philippe Gaucher|ArXiv.org|Jun 27, 2005

Homotopy and Cohomology in Algebraic Topology参考文献 25被引用 8

一句话总结

本文引入了同伦连续流——在 S-同伦意义下无限可除的流——并证明在同伦连续流的余纤维子范畴中，弱双同伦等价在双同伦意义下可逆。这提供了一种无需依赖模型结构的有向同伦理论中 Whitehead 定理的模型，解决了仅基于 S-同伦的先前方法的局限性。

ABSTRACT

A flow is homotopy continuous if it is indefinitely divisible up to S-homotopy. The full subcategory of cofibrant homotopy continuous flows has nice features. Not only it is big enough to contain all dihomotopy types, but also a morphism between them is a weak dihomotopy equivalence if and only if it is invertible up to dihomotopy. Thus, the category of cofibrant homotopy continuous flows provides an implementation of Whitehead's theorem for the full dihomotopy relation, and not only for S-homotopy as in previous works of the author. This fact is not the consequence of the existence of a model structure on the category of flows because it is known that there does not exist any model structure on it whose weak equivalences are exactly the weak dihomotopy equivalences. This fact is an application of a general result for the localization of a model category with respect to a weak factorization system.

研究动机与目标

• 解决现有流模型结构的局限性，这些结构无法实现完整双同伦等价下的 Whitehead 定理。
• 定义一类流——同伦连续流——其在 S-同伦意义下无限可除，从而捕捉更丰富的双同伦结构。
• 构建一个余纤维同伦连续流的范畴，其中弱双同伦等价在双同伦意义下可逆，从而在完整双同伦关系下实现 Whitehead 定理。
• 提供一个局部化框架，使用弱因子分解系统来反转弱 S-同伦等价和 T-同伦生成元，同时保持关键不变量。

提出的方法

• 将同伦连续流定义为：其到终端流的唯一态射属于由 $J^{gl} \cup \mathcal{T}$ 生成的弱因子分解系统的内射类。
• 将模型范畴中关于弱因子分解系统的广义局部化定理应用于流的范畴。
• 利用余纤维化替换函子 $Q$ 确保局部化范畴中所有态射保持底层同伦型和同调不变量。
• 证明对 $(\operatorname{cof}(J^{gl} \cup \mathcal{T}), \operatorname{inj}(J^{gl} \cup \mathcal{T}))$ 构成一个由生成元生成的弱因子分解系统。
• 通过利用 2 出 3 性质以及在 $\mathcal{S}$ 和 $\operatorname{cof}(J^{gl} \cup \mathcal{T})$ 下的不变性，证明 $\mathcal{S}_{\mathcal{T}}$ 中的态射保持底层同伦型及分支/汇合同调。
• 依赖于所有流在弱 S-同伦模型结构中均为纤维化这一事实，从而简化了内射类条件。

实验结果

研究问题

• RQ1 Whitehead 定理能否在流范畴中对完整双同伦关系实现，而不仅限于 S-同伦等价？
• RQ2 是否存在一个流的子范畴，使得弱双同伦等价在双同伦意义下可逆，且不依赖于包含这些弱等价的模型结构？
• RQ3 如何将观察的细化（T-同伦）纳入一个保持几何与代数不变量的同伦框架？
• RQ4 在局部化下，何种条件可确保流之间态射保持底层同伦型及分支/汇合同调？
• RQ5 能否使用弱因子分解系统对模型范畴进行局部化，使得所得局部化实现双同伦关系下的 Whitehead 定理？

主要发现

• 余纤维同伦连续流的全子范畴实现了完整双同伦关系下的 Whitehead 定理：一个态射是弱双同伦等价当且仅当它在双同伦意义下可逆。
• 余纤维同伦连续流的范畴足够大，可包含所有双同伦类型，确保其广泛应用性。
• 对流范畴关于弱双同伦等价的局部化等价于关于由 $\operatorname{cof}(J^{gl} \cup \mathcal{T})$ 生成的弱因子分解系统的局部化，从而建立了一个双同伦理论的新模型。
• $\mathcal{S}_{\mathcal{T}}$ 中的态射保持底层同伦型及分支与汇合同调理论，因为它们是保持这些不变量的弱 S-同伦等价与余纤维化的复合。
• 该构造不依赖于弱等价恰好为弱双同伦等价的模型结构——此类结构已被证明不存在——因此该结果非平凡且具有基础性意义。
• 该结果通过模型范畴关于弱因子分解系统的广义局部化定理实现，为双同伦局部化提供了稳健且通用的框架。