[论文解读] Une structure de categorie de modeles de Quillen sur la categorie des dg-categories

Gonçalo Tabuada|ArXiv.org|Jul 20, 2004

Constraint Satisfaction and Optimization被引用 5

一句话总结

本论文在带有零对象的小微分graded范畴（DCATp）的范畴上构建了一个由胞射生成的Quillen模型结构，其中弱等价定义为拟等价。该模型结构通过特定dg-范畴和复形导出的生成胞射与可逆胞射建立，确保所有对象均为纤维对象，并满足模型范畴的识别定理条件。

ABSTRACT

We construct a cofibrantly generated Quillen model structure on the category of small differential graded categories. ----- Nous construisons une structure de categorie de modeles de Quillen a engendrement cofibrant sur la categorie des petites categories differentielles graduees.

研究动机与目标

• 在带有指定零对象的小dg-范畴范畴（DCATp）上建立Quillen模型结构。
• 将弱等价定义为拟等价，与dg-范畴理论中的导出范畴等价保持一致。
• 为dg-范畴提供一个同伦框架，支持纤维化提升与导出函子。
• 将模型范畴技术扩展至dg-范畴，类比于对单纯范畴的已有结果。
• 确保该模型结构中所有对象均为纤维对象，从而简化dg-范畴导出范畴中的同伦构造。

提出的方法

• 引入带有零对象的小dg-范畴范畴DCATp，并配备一个从DCAT到DCATp的忠实函子I。
• 定义关键dg-范畴：K（具有两个对象且满足同伦关系的态射）、A（一个对象且其自同态代数为k）、B（两个孤立对象且自同态为k）、以及对每个n ∈ ℤ的P(n)与C(n)。
• 将生成胞射I构造为函子Q: O → I(A)以及I(S(n))，其中S(n)为从C(n)到P(n)的dg-函子。
• 将可逆生成胞射J定义为I(F): I(A) → I(K)以及I(R(n)): I(B) → I(P(n))，其中n ∈ ℤ。
• 应用识别定理[3, 2.1.19]，通过集合I与J验证模型范畴公理。
• 证明I-内射类与J-内射类和弱等价的交集一致，从而通过Hovey准则确认模型结构。

实验结果

研究问题

• RQ1 能否在带有零对象的小dg-范畴范畴上定义一个由胞射生成的Quillen模型结构，且以拟等价作为弱等价？
• RQ2 为实现此类模型结构，需要哪些显式的生成胞射与可逆胞射集合？
• RQ3 在该模型结构中，dg-范畴的同伦性质——特别是纤维性——如何表现？
• RQ4 该构造在多大程度上推广了已知的单纯范畴或dg-模上的模型结构？
• RQ5 该模型结构中每个对象是否均为纤维对象？这对导出函子与提升构造意味着什么？

主要发现

• 在DCATp上存在一个由胞射生成的Quillen模型结构，其中弱等价定义为拟等价。
• 生成胞射为I = {Q: O → I(A)} ∪ {I(S(n)) | n ∈ ℤ}，可逆生成胞射为J = {I(F): I(A) → I(K)} ∪ {I(R(n)) | n ∈ ℤ}。
• I-内射类与J-内射类和弱等价的交集一致，满足识别定理的必要条件。
• 在该模型结构下，DCATp中的每个对象均为纤维对象，从而简化了同伦构造。
• 该模型结构与dg-范畴框架兼容，并扩展了[2]与[5]中的技术，特别是在DG-商的构造方面。
• 证明依赖于复形中满射拟同构的刻画，从而确保了模型范畴所需的提升性质。