2.2. 单纯范畴与拟范畴
本节来正式的构建前文所提到的两种 -范畴理论. 我们分别将其称为 (局部 Kan)单纯范畴以及拟范畴.
2.2.1Kan 复形
首先介绍 Kan 复形, 它是使用单纯集语言刻画的 -群胚. 我们先给出其定义, 而后再探讨其意义.
定义 2.2.1.1. 称单纯集 为 Kan 复形是指其满足以下延拓条件: 对于任意 , 以及任意映射 , 都存在 使得以下图表交换.
• | 对于 , 的延拓性; |
• | 该延拓的非唯一性. |
回想在上一次见到这种延拓性质还是在上次, 实际上是在命题 2.1.2.7 中, 它描述了如何使用单纯集去描述一个范畴, 而在注记 2.1.2.9 中我们声明, 外尖角的填充性质实际上对应于一些一般范畴中态射所不满足的条件 1. 因此对于 , 的延拓性导出我们实际上造出了一个所有态射都可逆的单纯集.
而上述构造与命题 2.1.2.7 中不同的一点就在于此时我们没有强调延拓的唯一性. 事实上, 这件事情蕴含高阶态射的存在性, 这是因为当延拓唯一时, 我们所得到的图表是严格交换的, 所以高阶态射就只能是恒等, 而当延拓不唯一时, 我们就相当于说图表交换, 但会有一个高阶态射保证其交换 (或许应该看同伦拉回词条, 我大概想描述那个泛性质), 这个高阶态射就是 . 如果这暂且无法说服你, 请你勉强说服一下自己, 在后文中或许会对此具有更多的体会.
因此定义 2.2.1.1 就相当于刻画了以下信息:
• | 由单纯集描述的具有高阶态射的范畴; |
• | 这些态射都是可逆的. |
结合定义 2.1.3 可知, 这确实会是 -群胚. 不过注意到我们现在还剩下了一个问题:
• | 是否所有的 -群胚都可以被刻画为 Kan 复形? |
这个问题将会在后文中得到解答.
Kan 复形与拓扑空间
现在我们来探讨一个更加有趣的事情, Kan 复形是否与拓扑空间存在联系. 这让我们想到第 例子: 几何实现-奇异集伴随 中介绍的几何实现-奇异集伴随, 它将单纯集实现为拓扑空间, 而奇异集函子将拓扑空间变为单纯集. 接下来探究此间关系:
命题 2.2.1.2. 令 为拓扑空间, 则 为 Kan 复形.
证明. 只需说明其满足 Kan 复形的定义即可.
命题 2.2.1.3. 令 为单纯集, 则 为 CW 复形.
• | 的本质像为 CW 复形, 的本质像为 Kan 复形. |
事实上, 如果我们只关心同伦, 那么 和 这对伴随将上升为等价. 以下给出单纯集的同伦的描述:
定义 2.2.1.4. 令 , 为单纯集, 给定态射 , 称 单纯同伦于 是指存在映射 使得 且 .
警告. 上述定义只有在 为 Kan 复形时为等价关系, 这件事情的原因我们将会使用模型范畴进行说明. 不过现在可以进行一点剧透: 左同伦并不一定都长这样.
定义 2.2.1.5. Kan 复形的同伦范畴 是指以下资料:
• | 其对象均为 Kan 复形; |
• | 给定任意两个 Kan 复形 , 定义 , 此处 是单纯同伦所给出的等价关系; |
• | 结合律是自明的. |
注 2.2.1.6. 使用模型范畴的视角来看, 这确实是 Quillen 模型结构的同伦范畴.
定理 2.2.1.7. 几何实现函子给出范畴等价 .
2.2.2单纯范畴
接下来讲解将 -范畴刻画为充实于单纯集的范畴这一条路线.
首先, 我们先给出充实于单纯集的范畴的定义我们将这样的范畴称为单纯范畴.
定义 2.2.2.1 (单纯范畴). 称范畴 为单纯范畴是指其充实于单纯集范畴 , 将单纯范畴所构成范畴记为 .
不难发现有以下交换图表底部的水平态射相当于将集合 映为每一项都取 的单纯集 . 因而可将 中的对象 视为 中的单纯对象 , 并且 的底单纯集是常值单纯集. 由这种观点可以得知
命题 2.2.2.2. 是完备且余完备的.
定义 2.2.2.3. 令 为单纯范畴, 称 是局部 Kan 的是指, 对于任意 , 有 是 Kan 复形.
2.2.3拟范畴
接下来我们给出 -范畴的第二种刻画方式, 我们想直接使用单纯集来描述 -范畴.
为此参考定义 2.2.1.1 下的讨论, 我们可以知道使用单纯集描述的 -范畴大概该长什么样.
定义 2.2.3.1 (拟范畴). 称单纯集 为拟范畴是指其满足以下延拓条件: 对于任意 , 以及任意映射 , 都存在 使得以下图表交换
2.2.4道路范畴与同伦脉
那么现在已经有了两种描述 -范畴的方式, 我们如何知道它们描述的东西是一样的就成为了问题.
为此我们首先需要构建一对伴随不难发现, 在这两个范畴之间构造伴随的最为典范的方式就是定理 2.1.2.15 所述的实现–脉伴随.
为此只需要合理的切分 中对象, 使之自然地成为单纯范畴即可. 我们将分三步得到这一构造首先将 视为偏序集, 这给出函子 , 接下来将偏序集 通过以下方式视为 -范畴 :
• | 对象为 中对象; |
• | 对于 , 定义 ( 表示 -范畴的 Hom 范畴) 为以全体形如的有限偏序集为对象, 以反向包含为态射的范畴, 即 表示 ; |
• | 恒等 -态射 由单点集 给出; |
• | 范畴的复合由偏序集的并集给出. |
由此给出第二步, 接下来构建函子 , 这一步无非是将 -范畴中的 Hom 范畴映为其脉, 将 对应的单纯范畴记为 . 由此给出函子 . 结合命题 2.2.2.2 以及定理 2.1.2.15 可给出实现–脉伴随将 称为道路范畴, 称为同伦脉.
虽然对于道路范畴与同伦脉的更进一步说明是没有什么实际意义的, 但是仍然可以大致描述一下.
令 为单纯范畴, 则其同伦脉 无非是以下单纯集: 其第 阶定义为 .
以下刻画 具体该长什么样, 而后说明对于单纯范畴 , 其道路范畴 是拟范畴.
对于 , 根据前述构造将 中从 到 的态射视为以 为下确界 为上确界的偏序集. 考虑取其补集 . 这给出到幂集的双射 , 它可以唯一地延拓为单纯集的同构从而可通过立方体刻画 . 在这种情况下, 对于 , 可将 中态射复合刻画为以下刻画 该长什么样.
命题 2.2.4.1. 令 为整数, 且 为 所诱导的单纯范畴间的函子. 则
1. | 在对象上是双射, 即 中对象为 中对象; |
2. | 对于 , 有单纯集的同构 |
3. | 当 时, 有单纯集的单射它可以视同为 . |
定理 2.2.4.2 (Cordier–Porter). 令 为单纯范畴, 若 是局部 Kan 的, 则其同伦脉是拟范畴.
1. | ^ 实际上, 我们将看到, 这些条件是逐步减弱的, 即在 时, 外尖角填充代表可逆, 而 时, 外尖角填充则代表满或者单, 而 越来越大时外尖角可逆所代表的性质就越弱. |