[论文解读] On the Dreaded Right Bousfield Localization

Clark Barwick|ArXiv.org|Aug 25, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用 3

一句话总结

本文在右半模型范畴中建立了右博斯菲尔德局部化的存在性，消除了模型范畴中右固有性假设的需要。证明了此类局部化在无固有性假设下依然存在，并将结果应用于将左奎伦预层的同伦极限构造为右半模型范畴。

ABSTRACT

I verify the existence of right Bousfield localizations of right semimodel categories, and I apply this to construct a model of the homotopy limit of a left Quillen presheaf as a right semimodel category.

研究动机与目标

• 解决右博斯菲尔德局部化通常需要模型范畴中右固有性的局限性。
• 将右博斯菲尔德局部化理论扩展至非右固有模型范畴，尤其在右固有性不成立的背景下。
• 为利用右半模型范畴构造左奎伦预层的同伦极限提供一个框架。
• 将经典的右博斯菲尔德局部化推广至完整模型范畴结构不可用的环境。
• 通过半模型范畴为非固有情境下的同伦论构造奠定基础。

提出的方法

• 引入右半模型范畴的概念，其中因式分解与提升公理仅在目标为纤维对象时成立。
• 将结构化同伦范畴的一般理论应用于此语境，以定义右博斯菲尔德局部化。
• 通过在不假设右固有性的情况下验证必要公理，将局部化构造为右半模型范畴。
• 利用同伦可锥生成元与导出函子下的本质像，构建局部化范畴的小组生成元集。
• 通过证明同伦笛卡尔截面可由生成元的有限同伦余极限构造，将局部化应用于左奎伦预层。
• 确立通过此构造，左奎伦预层的同伦极限可赋予右半模型范畴结构。

实验结果

研究问题

• RQ1 在模型范畴中缺乏右固有性时，右博斯菲尔德局部化是否仍可构造？
• RQ2 是否存在一个适用于非右固有范畴的右博斯菲尔德局部化通用框架？
• RQ3 能否使用右半模型范畴结构对左奎伦预层的同伦极限进行建模？
• RQ4 何种条件可确保右半模型范畴对某一对象集支持行为良好的局部化？
• RQ5 如何利用同伦可锥生成元构建预层同伦极限的小型代表元集？

主要发现

• 即使原始范畴不具右固有性，右博斯菲尔德局部化仍可作为右半模型范畴存在。
• 局部化通过验证所有模型范畴公理实现，仅当目标非纤维时放宽因式分解与提升公理。
• 通过此局部化过程，左奎伦预层的同伦极限可赋予右半模型范畴结构。
• 该预层的任意同伦笛卡尔截面可表示为由本质像的同伦可锥-纤维代表元构建的同伦余极限。
• 一组小集合 $ G $ 的同伦可锥同伦笛卡尔截面生成了同伦极限的同伦范畴。
• 该构造不依赖于同伦可锥生成元的选择，仅取决于预层中函子的本质像。