4. 无穷范畴的模型

无穷范畴的概念并没有公认的统一定义. 这一概念可以由若干种不同的模型来描述, 无穷范畴的性质也需要通过这些模型来研究. 回忆上一节提到的图表:

HAHA-地图.svg

在本文中, 我们主要考虑以下两种模型: 拟范畴和 Kan 复形充实范畴, 即上图中的 . 在前几节中, 我们已经定义了这两种概念, 也说明了它们为什么能描述无穷范畴. 在本节中, 我们研究这两种模型间的联系. 我们将说明, 这两种模型是等价的, 这种等价由一个 Quillen 等价给出.

拟范畴

回忆 (定义 3.21) 拟范畴是一个单纯集, 其中所有内尖角都能填充.

为拟范畴, 设 为两个点. 我们首先要定义态射空间 . 和普通范畴论中不同, 这个态射空间不再是离散的集合, 而是一个同伦型, 以记录态射间的同伦、高阶同伦的信息, 这些信息也就是无穷范畴的高阶结构.

首先, 我们引入一些关于拟范畴的术语, 这里拟范畴记为 .

维单形, 则称 对象, 并记 .

维单形, , , 则称 态射, 并记 .

对象 恒同态射 是退化的 维单形 .

为态射. 称态射 复合, 若存在 维单形 , 使得也就是说, 中有图表注意, 拟范畴中态射的复合并非唯一.

中某些对象构成的集合. 张成的满子范畴 的最大单纯子集, 满足其包含的 维单形均为 中元素.

定义 4.1. 中态射. 称 同伦, 若以下等价的条件成立:

存在 维单形

存在 维单形

存在 维单形

存在 维单形

存在 中的方块其具体含义为映射 .

存在 中的方块

上述等价性可以通过尖角 的填充性质来证明, 具体细节留给读者.

命题 4.2. 态射的同伦是等价关系, 且被态射复合保持. 特别地, 态射的复合在同伦意义下是唯一的.

证明. 留给读者.

这一命题保证以下定义是合理的.

定义 4.3. 拟范畴 同伦范畴 (homotopy category) 是普通范畴 , 定义如下:

其对象为 中对象.

其态射为 中态射的同伦类.

范畴 也就是忘掉 的所有高阶结构而得到的普通范畴.

定理 4.4 (Joyal). 为拟范畴. 则 是 Kan 复形当且仅当 是群胚.

容易看出, 如果 是 Kan 复形, 也就是 -群胚, 那么 是群胚. 但定理的另一边并不容易, 我们略过其证明.

下面, 我们来定义态射空间 . 它是一个同伦型, 以此记录态射间同伦、高阶同伦的信息.

定义 4.5. 为拟范畴, 设 为对象.

单纯集 定义为其中 视为映射 , 而 是包含顶点 的面.

类似地, 单纯集 定义为

另一种态射空间是单纯集 , 定义为

以上三种构造给出的单纯集不一定同构, 但我们将看到, 它们都是 Kan 复形且同伦等价. 它们给出的同伦型记为 , 称为 态射空间的同伦型.

注意, 无论使用上述三种构造中的哪一种, 都不能造出一个单纯集充实范畴, 原因是态射复合无法定义. 但我们稍后将构造第四种态射空间, 它将给出 Kan 复形充实范畴.

命题 4.6. 单纯集 都是 Kan 复形.

证明., 不难证明尖角 的填充性质. 因此, 它是拟范畴. 并且, 在其同伦范畴中, 每个态射都有左逆. 这说明其同伦范畴是群胚, 从而由 (4.4), 它是 Kan 复形. 同理, 也是 Kan 复形.

, 命题的证明需要用到 的 Joyal 模型结构, 因此我们暂时推迟这个证明.

单纯范畴

我们曾经提到, 充实于 -范畴的范畴是 -范畴 1. 按照此想法, 充实于 -范畴的范畴是 -范畴. 也就是说, Kan 复形充实范畴应该是 -范畴的一种模型.

为便于使用模型范畴研究无穷范畴, 我们需要考虑一般的单纯集充实范畴, 而不只是 Kan 复形充实范畴.

定义 4.7. 单纯范畴 (simplicial category) 是充实于 的范畴.

在单纯范畴中, 我们也可以引入无穷范畴的术语:

态射空间的 维单形称为 -态射.

态射空间的 维单形称为 -态射, 即 -态射之间的同伦.

范畴 可以通过如下方式视为单纯范畴:

定义 4.8. 单纯集 映射空间 是一单纯集, 其 维单形对应于从 的映射.

范畴 也可视为单纯范畴, 因为其态射空间可赋予紧开拓扑, 再取其奇异单纯集. 等价地说, 态射空间 维单形对应于连续映射 , 其中 是标准 维单形.

单纯范畴的同伦范畴可以非常直接地定义.

构造 4.9. 为单纯范畴. 在函子作用下, 可以先对应于 -充实范畴 , 再对应于普通范畴 . 后者称为 同伦范畴.

在单纯范畴中, 映射复合唯一, 并满足严格 (而非相差同伦意义下) 的结合律. 但为了将它作为无穷范畴的模型, 我们并不关心严格的映射复合和结合律, 而只应关心 “同伦意义下” 的现象. 我们来举一个例子.

定义 4.10. 单纯群胚 (simplicial groupoid) 是一个单纯范畴, 其中所有态射都具有同伦逆.

单纯群 (simplicial group) 是只有一个对象的单纯群胚.

这个定义并不要求单纯群胚中严格的逆映射, 也不要求单纯群中有严格的逆元. 因此, 此二者并非群胚范畴、群范畴中的单纯对象. 读者也可以对比定理 4.4.

为了在拟范畴与单纯范畴之间进行转换, 我们将定义一对伴随函子我们将看到, 在两边取合适的模型结构后, 这一对函子将成为 Quillen 等价.

我们仍然使用构造 3.8 的技术, 来得到这一对伴随函子. 根据该构造, 我们只需指定 是什么. 直观地说, 它应该是由 个箭头构成的序列因为它的脉是 . 然而, 在这个范畴中, 具有严格的复合律, 例如 . 因此, 我们必须做一些修改, 以使这样的复合律只在同伦意义下成立. 这是为了在任何单纯范畴中, 同伦意义下的态射复合总能够对应于 到该单纯范畴的函子. 上述讨论促使我们给出下面的定义.

构造 4.11. 对整数 , 定义单纯范畴 如下:

它有 个对象, 记为 .

其态射空间定义为 , 其中其中偏序集自然地视为范畴.

其态射复合为 子集的并.

例如, 是如下图所示的单纯范畴:

HAHA-C2.svg

其中, 复合态射 等于 , 它同伦于 (但不等于) 态射 . 我们将后者视为直接从 走到 , 而不经过 .

类似地, 是如下图所示的单纯范畴:

HAHA-C3.svg

其中, 态射空间 同构于 , 其中的 个点对应于沿着箭头从 走到 种方式, 即 个从 的态射都是同伦的.

对一般的情况, 态射空间 由所有沿着箭头从 走到 的方式构成. 当 时, 该态射空间同构于 .

定义 4.12. 在构造 3.8 的意义下, 中的余单纯对象 定义了一对伴随函子其中, 右伴随 称为单纯脉 (simplicial nerve) 或同伦脉 (homotopy coherent nerve) 函子.

我们来证明, 在上述转换方式下, Kan 复形充实范畴对应于拟范畴.

命题 4.13. 是 Kan 复形充实范畴. 则 是拟范畴.

证明. 我们需要对 证明提升性质它等价于但对 而言, 的唯一区别在于从 的态射空间. 并且, 含入映射是平凡余纤维化, 这可以通过仔细计算左边的单纯集是什么来验证. 而平凡余纤维化对 Kan 复形具有提升性质, 这就完成了证明.

两种模型等价

对拟范畴或单纯范畴 , 我们已经定义了态射空间 , 其中 . 事实上, 在拟范畴与单纯范畴互相转换时, 态射空间的同伦型时保持不变的.

定理 4.14.

是拟范畴. 则对任意 , 有单纯集的弱等价其中 可以是 .

是 Kan 复形充实范畴. 则对任意 , 有 Kan 复形的同伦等价其中 可以是 .

定理的证明将在下一节给出. 这里, Kan 复形之间的弱等价一定是同伦等价, 这是由于 Whitehead 定理 (定理 2.17).

定义 4.15. 为拟范畴. 我们定义 -充实范畴 . 则其对象、态射空间都与 相同. 事实上, 这一构造对任何单纯集 都有意义.

接下来, 我们说明, 伴随函子 实际上是 Quillen 等价, 从而无穷范畴的两种模型确实是等价的.

定义 4.16. 为两个单纯集, 或两个单纯范畴. 映射 称为范畴等价, 如果 -充实范畴的范畴等价, 也就是说:

完全忠实, 也就是诱导态射空间的弱等价.

本质满, 也就是说, 是普通范畴间的本质满函子.

注 4.17. 就像在普通范畴论中一样, 任何无穷范畴的性质都应该被范畴等价保持. 若不然, 则该性质就不认为是良好定义的.

我们回忆, 普通范畴间的函子 称为同纤维化 (isofibration), 如果对任意 , 及 中任意同构 , 存在 中同构 , 使得 .

定理 4.18. 范畴 具有 Joyal 模型结构, 描述如下:

.

.

纤维性对象为拟范畴.

范畴 具有 Bergner 模型结构, 描述如下:

.

.

纤维性对象为 Kan 复形充实范畴.

在这些模型结构下, 伴随函子对是 Quillen 等价.

见 [HTT, Theorem 2.2.5.1].

这一结论可以写成以下更加直接的形式, 它说明拟范畴与 Kan 复形充实范畴之间可以相互转换.

推论 4.19 (两种模型的转换). 函子在相差范畴等价的意义下互为逆, 其中 的纤维性替换函子.

证明. 为拟范畴, 为 Kan 复形充实范畴. 则单位函子和余单位函子都是范畴等价 (定理 2.25). 这里 可以取成恒同函子, 从而函子都是范畴等价.

注 4.20. 在研究拟范畴时, 我们并不使用 的标准模型结构, 其原因是, 我们不止需要单纯集的同伦型这一信息, 还需要更多一层信息, 才能描述拟范畴的结构, 或者说, 才能刻画拟范畴的范畴等价类. 例如, 拟范畴 都具有可缩的同伦型, 但它们不范畴等价.

例子

下面, 我们以拟范畴为模型, 介绍几个 -范畴的例子.

引理 4.21. 为单纯集.

是 Kan 复形, 则 是 Kan 复形.

是拟范畴, 则 是拟范畴.

证明. 留给读者.

例 4.22. 空间的拟范畴定义为其中 是所有 Kan 复形构成的单纯范畴. 由引理 4.21, 它是 Kan 复形充实范畴.

例 4.23. -充实范畴 定义如下:

其对象为拟范畴.

态射空间 为单纯集 中最大的子 Kan 复形.

这里所说的最大子 Kan 复形存在, 因为由引理 4.21 及定理 4.4, 它就是所有可逆边张成的子单纯集, 即只包含这些边的最大子单纯集.

拟范畴的拟范畴定义为

这里, 我们取出态射空间的最大子 Kan 复形, 而不是取纤维性替代. 这是因为, 态射空间中的边为自然变换, 我们应该丢弃那些不可逆的自然变换, 而不是加入新的自然变换以使它们变得可逆.

这意味着, 要得到 -范畴构成的 -范畴, 我们需要丢弃一些信息. 其本质原因是, -范畴实际上构成 -范畴. 例如, 在拟范畴的模型中, 引理 4.21 说明, 拟范畴的范畴充实于拟范畴, 即充实于 -范畴, 从而是 -范畴. (我们没有严格定义后者.)

例 4.24. 为 Abel 范畴. 中的上链复形构成的单纯范畴 定义如下. 我们回忆, 对于上链复形间的映射 (不一定是链映射), 我们定义了其中 的次数.

维单形对应于映射 , 满足换言之, 维单形就是链映射.

维单形对应于映射 , 满足其中 为该 维单形的两个端点. 换言之, 维单形就是链同伦.

态射空间的 维单形由 给出, 其中每个 维单形, 是映射, 满足其中, 的第 个面. 我们还要求这些 各自的面是相容的. 换言之, 维单形就是映射其中左边是 的胞腔链复形, 右边是例 1.13 定义的链复形.

我们定义 中的上链复形的拟范畴. 如果 还具有合适的模型结构, 例如 是某个环上的模范畴, 则可以定义导出拟范畴.

注 4.25. 我们知道, 弱等价范畴经过局部化, 能得到无穷范畴. 设 是一个模型范畴, 并且 充实于单纯集, 其模型结构与充实结构满足一些相容条件. 一个奇妙的事实是, 此时有拟范畴的等价在我们提到的所有例子中, 这样的单纯结构都是存在的. 因此, 我们有这就是无穷范畴局部化的例子. (这里 需要满足一些额外条件.) 这个构造将在后几节详细说明.

脚注

1.

这种方法有时能得到所有的 -范畴, 有时不能. 例如, 任何 -范畴都等价于某个严格 -范畴, 而并非任何 -范畴都等价于某个严格 -范畴.