模型范畴

title: 动机.
content: 模型范畴提供了研究同伦论的一个自然的环境:拓扑空间的范畴就是一个模型范畴,其中同伦正是一般意义上的同伦。相似地,许多可以视为拓扑空间的对象也往往带有模型范畴结构,例如单纯集合的范畴。  另一个模型范畴是"R"-模的链复形,其中"R" 是可交换环。在这个意义下的同伦论正是同调代数。如此同调即可视为同伦的一种,因而使得将同调向群和"R"-代数等的推广成为可能:这也是模型范畴理论最初的主要应用之一。由于这个特例涉及的是同调,对一般的闭模型范畴的研究有时则被视作同伦代数。
title: 形式定义.
content: 奎伦最初的定义给出的概念被后人称为“闭模型范畴”,其假设在当时被认为过强,因而促使其它研究者弱化部分假设来定义“模型范畴”。实际操作中,尚未有明确证据说明两者的区别有重要意义,而许多近年作者(如Hovey和Hirschhorn)甚至直接考虑闭模型结构,并放弃强调“闭”这一字眼。  对模型范畴的定义分为两部分:先是范畴上的模型结构,其次才是进一步的范畴论假设。这么做的动机可能一开始不甚明确,但随后会渐渐显出重要性。以下的定义遵循Hovey给出的版本。  范畴"C" 上的模型结构由三类映射(更精确地,子范畴):弱等价、纤维化、和上纤维化,和两套函子性分解formula_1和formula_2组成,服从以下的公理。同为弱等价的纤维化称为非循环(或平凡)纤维化,而同为弱等价的上纤维化则称为非循环(或平凡)上纤维化。  模型范畴是拥有模型结构和所有(小)极限和上极限的范畴,即带有模型结构的完备和上完备范畴。  由公理可以推出三类态射中的任意两类都可确定第三类:给定弱等价和剩余两类态射之一,第三类可由提升性质刻画(见下文);而给定纤维化和上纤维化,而纤维化和上纤维化(由提升性质)可以确定非循环上纤维化与非循环纤维化,然后弱等价则是由可被分解成非循环上纤维化与非循环纤维化复合所刻画(由分解公理和“2 of 3”公理得到)。  另外,模型范畴的定义是自对偶的:如果"C" 是一个模型范畴,那么它的反范畴 formula_24 也带有一套模型结构,其中弱等价是"C" 中弱等价的相反(对偶),纤维化是"C" 中上纤维化的相反,而上纤维化则是"C" 中的相反。
title: 例子.
title: 拓扑空间.
content: 拓扑空间范畴Top带有一个模型范畴,以塞尔纤维化为纤维化,和以弱同伦等价为弱等价。然而上纤维化则与通常的上纤维化稍有不同,而是更小的一类、满足对非循环的塞尔纤维化的左提升性质的映射。等价地,上纤维化是相对胞复形的收缩;见如Hovey的"Model Categories"一书。  这并不是Top上仅有的模型范畴结构——一般而言给定的范畴上可以有许多种不同的模型范畴。如拓扑空间范畴就带有另一种模型范畴结构,以胡列维茨纤维化为纤维化,以标准的上纤维化为上纤维化,和以(强)同伦等价为弱等价。
title: 链复形.
content: (非负分级)的"R"-模链复形带有至少以下两套模型结构,在同调代数中都相当重要:  以及  这也解释了为何计算"R"-模的Ext群时既可以对其源进行投射分解、也可以对其目标进行内射分解:这不过是在两套模型结构内分别进行上纤维子替换和纤维子替换而已。  "R"-模的任意链复形的范畴则带有如下模型结构:
title: 更多例子.
content: 其它带有模型结构的范畴的例子包括所有小范畴的范畴,单纯集合或格罗滕迪克site上的单纯预层的范畴,拓扑谱的范畴,及单纯谱或小格罗滕迪克site上的单纯谱预层范畴。  范畴中的单纯对象常常是模型范畴的来源;例如,单纯可交换环或单纯"R"-模都带有自然模型结构。这是因为在单纯集合和这些范畴之间有伴随函子对(由遗忘函子和自由函子给出),而在好的情况模型结构可以通过这样的伴随对来赋予。  "单纯模型范畴" 是指一个单纯范畴,并带有与自身单纯结构共容的模型结构。  给定任意范畴"C" 和模型范畴"M",基于一些额外的假设,函子范畴Fct("C","M" )(亦称"M" 中的"C"-图表)也是一个模型范畴。事实上,函子范畴总有"两" 套不同的模型结构供考虑。第一种被称为“投射模型结构”,其中纤维化和弱等价分别是那些每一个"C" 中的对象都对应于"M" 中的纤维化和弱等价的自然变换。对偶地,“内射模型结构”的构造相似,只是取上纤维化和弱等价代替纤维化和弱等价。在这两套结构中,第三类态射都由适当的提升条件给出。在某些情况下,例如当"C" 是一个Reedy范畴时,还有第三套介于投射和内射结构之间的模型结构。  在一个给定的模型范畴中,可以通过迫使某些映射成为弱等价,从而在同一个基范畴中得到一套新的模型范畴结构;这个操作称为Bousfield局部化。例如,单纯层范畴上的模型结构可以通过对单纯预层上的模型结构进行Bousfield局部化得到。  Denis-Charles Cisinski发展出了一套预层范畴上模型结构的一般理论;这推广了单纯集合,因后者不过是单纯范畴上的预层。
title: 一些构造.
content: 因为始对象和终对象分别是空图表的上极限和极限,由上完备性和完备性可知任一闭模型范畴都有一始对象与一终对象。给定模型范畴中的对一个对象"X",若从始对象到"X" 的唯一映射是上纤维化,则称"X" 为上纤维子。对应地,若从"X" 到终对象的唯一映射是纤维化,则称"X" 为纤维子。  如果"Z" 和"X" 是一个模型范畴中的对象,"Z" 是上纤维子,且存在从"Z" 到"X" 的弱等价,那么称"Z" 为"X" 的上纤维子替换。相似地,如果"Z" 是纤维子,且存在从"X" 到"Z" 的弱等价,那么称"Z" 为"X" 的纤维子替换。一般来说,模型范畴中的对象并非都是纤维子或上纤维子,仅是偶尔如此。例如,在单纯集合的标准模型范畴中所有对象都是上纤维子,而在拓扑空间的标准模型范畴中所有对象都是纤维子。值得注意的是,每个对象都同时有一个纤维子替换和一个上纤维子替换。  借助圆柱对象可定义左同伦,而借助路径空间对象则可定义右同伦,而当域为上纤维子、陪域为纤维子时,这两个概念等价。在这个情况下,同伦构成了模型范畴中态射集上的等价关系,因而给出了态射集上的同伦类。
title: 基于提升性质对纤维化和上纤维化的描述.
content: 上纤维化可描述成对所有非循环纤维化具有左提升性质的映射,而非循环上纤维化则是对所有纤维化具有左提升性质的映射。相似地,纤维化可描述成对所有非循环上纤维化具有右提升性质的映射,而非循环纤维化则是对所有上纤维化具有右提升性质的映射。在这个意义下,范畴的模型结构完全由弱等价加上纤维化或纤维化之一而唯一确定。
title: 同伦和同伦范畴.
content: 模型范畴"C" 的同伦范畴是"C" 对于弱等价这类映射的局部化。这个同伦范畴的定义不取决于纤维化和上纤维化的选择,然而,纤维化和上纤维化这两类映射可用于给出同伦范畴的另一个描述,尤其可以避免一些在对一般范畴进行局部化时遇到的集合论问题。更精确的说,“模型范畴基本定理”声明,"C" 的同伦范畴等价于一个以"C" 中同为纤维子和上纤维子的对象为对象、以"C" 中态射的左同伦类(或等价地,右同伦类)为态射的范畴。(例如,见Hovey的Model Categories,定理1.2.10)  将基本定理应用于标准的拓扑空间模型范畴,可得其同伦范畴等价于对象为CW复形、态射为连续映射的同伦类的范畴。“同伦范畴”因而得名。
title: 奎伦伴随.
content: 模型范畴"C" 和"D" 之间的奎伦伴随是一对伴随函子 并且"F" 保持上纤维化和非循环上纤维化,或等价地由闭模型公理可得,"G" 保持纤维化和非循环纤维化。这样,"F" 和"G" 诱导出一对同伦范畴之间的伴随 另外,对于后者是否范畴的等价有一套明确的判断条件;若它们是等价,则称"F" 和"G" 为奎伦等价。  奎伦伴随的标准例子是单纯集合范畴和拓扑空间范畴之间的标准伴随 涉及单纯集合的几何实现函子和拓扑空间的奇异链函子。注意虽然范畴sSet和Top并不等价,但是他们的同伦范畴却等价。因此,单纯集合常常用作拓扑空间的模型,可以看作是它们同伦范畴等价的结果。

Summary: 在数学、尤其是同伦论中,模型范畴是带有弱等价、纤维化和上纤维化这三类态射的范畴,是从传统的拓扑空间或链复形的同伦范畴(即导出范畴)中抽象化得来。模型范畴的概念最初由丹尼尔·奎伦引入。

Modellkategorie: In der mathematischen Homotopietheorie ist eine Modellkategorie eine Kategorie mit ausgewählten Unterklassen von Pfeilen, die „schwache Äquivalenzen“, „Faserungen“ und „Kofaserungen“ genannt werden. Die Anforderungen an diese Klassen stellen eine Abstraktion der entsprechenden topologischen Begriffe dar und ermöglichen die Konstruktion einer zugehörigen Homotopiekategorie nicht nur für die Kategorie der topologischen Räume, sondern etwa auch für die Kategorie der Kettenkomplexe. In letzterem Fall nennt man die zugehörigen Homotopiekategorien derivierte Kategorien.