2.1. 单纯集
注记. 本节对应于 Six-Functor Formalisms Lecture 1.2 实现-脉伴随, 小对象论证, 纤维化, Grothendieck-Lurie 构造中的前半部分内容.
• | 将 -范畴刻画为某种充实于单纯集的范畴. |
• | 将 -范畴刻画为某种单纯集. |
当然事实上会有更多的刻画方式, 不过在此处只讲述最容易想到的两种, 至于完备 Segal 生象留待以后讲解.
不过注意到我们目前只是堪堪定义出单纯集, 尚需要对其性质进行剖析.
2.1.1单纯集
因此本节的核心在于介绍单纯集以及其上的构造.
面态射与退化态射
由于我们将单纯集定义为反变函子 . 因此研究 上的态射就可以帮助我们探明 的性质.
不难发现 上任意态射均可分解为保序满射与保序单射的复合, 即任意的 都可以分解为 , 其中 . 因此只需要研究 和 即可.
而根据前文, 其实可以将 根据以下方式进行 “实现”:
1. | 首先视为离散的点 ; |
2. | 而后视为全序集范畴 (当然, 这里没有画出 到自身的恒等态射, 以及对于 时, 态射的复合所给出的 ); |
3. | 再依全序将态射考虑任意两个态射复合, 即对于任意的 给出交换图表 |
4. | 而后依全序考虑三个态射的复合, 即对于任意的 给出交换图表 |
5. | 依次类推给出 个态射的复合情况. |
而后将所有东西都拼起来, 这个时候就需要使用填充的图表以示区分, 比如将 给出的图表记为 (注意到此时没有点和边的信息, 因此只是一个三角形, 当然 或者其它情况的时候三角形要进行对应的收缩)而三三态射就是填充为一个四面体.
将所有的东西拼起来我们就得到一个特殊的东西 (姑且称之为复合体), 它是一个 维单形, 并且其内每个 维单形都被标记出来 (当然可能存在 这类情况), 比如在 时, 我们得到的东西是那么此时, 就可以被很显然的表达为将 对应的复合体嵌入到 中的情况, 它会对应于 这个复合体中的一个非退化的 维单形 (即确实要占据 个不同的点) 及其所盖住的所有信息 ( 的信息). 由于其只能盖住 个点, 因此复合体 中总是有一个点 无法被盖住, 此时就称 为 -余面态射, 即为 , 在不引起歧义时, 记为 , 不难发现对于 , 余面态射恰有 个. 举个例子, 还是取 , 我们就有 种方式嵌入, 以图明之 (由于一个点不能上多个色, 因此统一定为黑色, 读者当然要知道点也是要被盖住的)接下来考虑 这个态射, 而这相当于说你在 这个复合体中, 对于某个 , 将 变为 (由此带来的连带影响是将 都变为 ), 此时这个复合体就退化了. 此时将态射记为 , 在不引起歧义时, 记为 , 称为 -退化态射. 退化态射使用画图的方式更好理解, 为了避免画四面体, 此时取 .
总结给出定义如下:
定义 2.1.1.2. 令 为单纯集, 对于 , . 称 为面态射是指其为余面态射 的像. 称 为退化态射是指其为余退化态射 的像.
单形
接下来讲述一些单纯集的基本构造
定义 2.1.1.3. 令 为单纯集, 称 为 中的 -单形是指 .
定义 2.1.1.4. 标准 -单形是指单纯集 .
那么在定义 2.1.1.2 中我们定义了单纯集的退化态射, 不难发现在单纯集语境中将其视为把 -单形对应于退化的 -单形是更合适的. 因此可以给出定义.
定义 2.1.1.5. 令 为单纯集, 称 -单形 是退化的是指 . 不是退化的单形称为是非退化的.
维数, 骨架, 余骨架
由于单纯集是一种分次的结构, 我们想问单纯集是否可以一层层拼起来.
答案是可以的, 我们首先讨论单纯集的维数.
定义 2.1.1.6. 令 为单纯集, 为非负整数, 则称 的维数 是指对于任意 , 中每个单形都是退化的. 若 的维数 但是并不 , 则称 的维数为 , 将 的维数记为 . 称 为有限维的是指存在 使得 的维数 .
例 2.1.1.7. 的维数为 .
练习 2.1.1.8. 令 为单纯集, 为非负整数, 则 的 -单形 总是可以唯一分解为 , 其中 且 为非退化 -单形.
定义 2.1.1.9. 令 为单纯集, 为非负整数, 可构造单纯集 如下: 是由 中形如 的单形所构成的集合, 其中 . 将 称为 的 -骨架.
不难发现 就是取出 中所有 -维非退化单形以及所有能够退化到它们的退化单形所构成的新的单纯集. 从而可以给出以下一列映射不难发现, 对于 , 总是包含 中的全体 -单形. 因此可知 . 并且骨架会有以下的泛性质:
命题 2.1.1.10. 令 为单纯集, 为非负整数, 则 的维数 并且当 的维数 时, 对于态射 , 存在唯一的箭头 使得图表交换:
为此我们需要了解取骨架的过程中具体丢掉了什么信息. 现令 为单纯集, 为非负整数, 现在我们来从 恢复出 . 记 为 中全体非退化 -单形所构成的集合, 则 即为态射 , 我们事实上可以考虑 的 -骨架, 这样根据骨架的维数可以知道 , 因此由命题 2.1.1.10 可知存在态射 使得图表交换这样就可以典范的给出 作为 -单形的对应.
命题 2.1.1.11. 令 为单纯集, 且 为非负整数, 则以下图表为推出
注 2.1.1.12. 这一命题将会在后文中不时出现, 原因在于 -范畴和生象本质上均为单纯集, 都可以使用这种方式刻画为推出, 不过在 和 中我们需要利用模型范畴的弱分解系统做一些微调.
定义 2.1.1.13. 令 为非负整数, 则对于标准 -单形 , 定义其边界为 .
可以看到骨架构成一个函子.
命题 2.1.1.14. 令 为非负整数, 则 为函子.
命题 2.1.1.15. 对于任意 , 保持余极限.
我们将由 中自由生成高阶单形后所得到的结构记为 , 此时即对于任意的 以及 , 都存在唯一的填充 使得以下图表交换我们来说明 就是 的 -余骨架. 对于任意的单纯集 , 可以被写为以下图表的极限而对于 , 都有 为双射, 这是因为我们可以利用命题 2.1.1.10 将 约化为 , 而后利用 构造给出双射. 因此 验证了伴随关系.
定义 2.1.1.16. 令 为非负整数, 则前文构造给出了 的右伴随 , 称为 -余骨架.
单纯集的若干变体
我们可以对于 进行一些改动, 从而获得一些特殊的单纯集.
比如可以在 中加入一个 得到由此可以给出 -阶的单纯对象, 将改造后的单形范畴记为 , 称为增广单形范畴.
定义 2.1.1.17. 令 为范畴, 则 中的增广单纯对象是指函子 . 对偶地, 可以定义余增广单纯对象.
注 2.1.1.18. 增广单纯对象的概念常常跟分裂单纯对象一起出现, 这是因为当一个增广单纯对象 是分裂的时, 会有 . 当然增广余单纯对象分裂时就给出极限情况.
定义 2.1.1.19. 令 为范畴, 则 中的半单纯对象是指函子 . 对偶地, 可以定义余半单纯对象.
2.1.2实现–脉伴随
本节来讨论实现–脉伴随, 这个伴随在单纯集上的情况可以被理解为单纯集对于一个构造的模拟能力.
实现是指某个范畴 上单纯集的 “形状”, 而脉一般是指将范畴 中的结构编码为单纯集. 我们先通过几个例子来观察这一现象. 不过一切开始之前, 我们来回忆 Yoneda 嵌入的稠密性.
命题 2.1.2.1. 令 为范畴, 则对于任意预层 , 都有 , 其中 为 Yoneda 嵌入.
例子: 几何实现-奇异集伴随
首先令 , 此时回想我们所定义的复合体 的形状, 那么如果将复合体中全体小于 维的信息全都去掉, 所得到的东西就是拓扑空间的 维单形.
因此这样可以给出函子 , 它将 映为 维单形, 即因此我们就有以下图表那么理所应当的, 我们想构造一个函子 , 使其逼近于 . 这让我们想到了 Kan 延拓. 而命题 2.1.2.1 说明每个单纯集 均可写为其内 -单形所对应的 的余极限. 因此使用左 Kan 延拓就可以给出我们想要的单纯集在拓扑空间中的形状 (事实上, 也是因为拓扑空间中余极限是商空间, 不过这似乎没有前面那般具有说服力), 我们把这个东西称为几何实现.
定义 2.1.2.2 (几何实现). 单纯集的几何实现是指函子 , 它定义为左 Kan 扩张其中 为 Yoneda 嵌入. 从而 . 根据左 Kan 扩张的具体构造可知单纯集 的几何实现可以刻画为余极限 . 此处 所构成的范畴中态射为使得以下图表交换的态射 : 这也相当于要求 满足 .
• | 取 , 则 将 嵌入 . 因此面态射 的效果等同于指定对应于 的 维单形的第 个面 (即 ), 依次黏合. |
• | 取 将 “压入” 为 . 因此退化态射 的效果等同于指定对应于 的 维单形放在 维 “退化” 单形的第 个面. |
由此可知退化 维单形在粘合时是无关紧要的, 但是退化的信息仍是必要的.
接下来我们讲述一下如何从拓扑空间中读取单纯集的信息, 构造 2.1.8 中给出过一个从拓扑空间中取出单纯集的方式, 称为基本 -群胚, 但是这一构造难以手动刻画, 现在我们来给出一个容易刻画的构造.
定义 2.1.2.3. 对于任意拓扑空间 , 其奇异集 是指如下定义的单纯集: 这给出函子 , 称为奇异集函子.
练习 2.1.2.4. 证明几何实现是奇异集函子的左伴随.
例子: 同伦范畴-脉伴随
在构造 2.1.12 中我们给出了一种使用单纯集来搭建 -范畴的方式. 这实际上是使用单纯集来编码 -范畴. 我们现在来显式的说明满足什么条件的单纯集才能够编码 -范畴.
首先还是给出脉的具体定义
定义 2.1.2.5. 范畴的脉是指函子 , 它将小范畴 映为构造 2.1.12 所给出的 , 即 .
回忆到我们构造脉的想法是这样的: 对于 , 将 -态射定义为复合 , 即图表而后递归地将 -态射定义为 个态射的复合.
现在我们思考什么样的单纯集会对应于某个范畴 的脉. 观察到上述图表其实满足这样的性质: 此处 .
因此知道我们大概需要找一个形如的单纯集, 以及其更高维的版本. 由于其长得像一个尖角, 因此我们就称其为尖角.
定义 2.1.2.6. 令 为非负整数, . 则尖角 定义为 . 当 时, 称 为内尖角, 当 或 时, 称 为外尖角.
那么前文所述的填充其实就可以被表述为以下图表的交换性此处 是指将 映为 . 而 则表示填充后的图表.
现在来说明什么样的单纯集会是某个范畴的脉.
命题 2.1.2.7. 令 为单纯集, 则以下条件等价:
1. | 存在小范畴 使得 . |
2. | 对于任意内尖角 , 以及 中的态射 , 都可被唯一地填充到 上, 即以下图表交换 |
注 2.1.2.8. 当然, 熟悉 Segal 生象的读者应当可以看出上述条件其实也在说明范畴的脉是满足 Segal 条件的单纯集.
注 2.1.2.9. 那么为什么不能是外尖角呢, 这是因为外尖角的填充性质蕴含范畴中态射不一定满足的性质, 比如在 时取 , 外尖角所对应的态射链就是此时如果取 为 (即 ), 而 为任意态射, 这等价于说任意态射均可逆.
现在我们已经描述了如何使用单纯集去编码范畴, 那么回到本节刚开始的问题, 在范畴中单纯集长什么形状呢?
注意到在构造脉的过程中我们实际上给出了一个函子 , 它将 映为偏序集 . 因此给出图表再利用 Yoneda 嵌入的稠密性, 因此可以得知单纯集在 中的形状应当也为左 Kan 延拓. 其具体刻画如下:
定义 2.1.2.10 (同伦范畴). 令 为单纯集, 定义范畴 为以下信息:
• | 对象: 中的元素. | ||||||
• | 态射: 所生成的态射, 对于任意 -单形 , 它都被视为从 到 的态射. | ||||||
• | 复合: 态射的自由复合记为 , 商去以下关系
|
称其为 的同伦范畴.
命题 2.1.2.11. 同伦范畴函子与脉构成 中的伴随函子 .
实现-脉伴随
现在让我们比较前面两个例子, 在我们定义单纯集在范畴 (或 ) 中的 “形状” 时, 我们总是先给出 中对象在 (或 ) 中的形状, 即一个函子 (或 ) 而后使用左 Kan 延拓. 而使用单纯集对于一个结构 (或 ) 进行编码时, 总是利用 在 (或 ) 中的形状进行定义, 即其第 阶总是定义为 .
那么接下来我们讨论是否可以将这种现象推广到一般的余完备范畴 中, 答案是可以的, 我们将这一构造称为实现-脉伴随.
注 2.1.2.13. 上标的 主要是因为这是 -范畴版本的实现-脉伴随, 不难注意到在 -范畴中可以定义出类似的版本.
定义 2.1.2.14 (-脉). 称函子 为 的实现, 是指对于 , 定义为函子 .
定理 2.1.2.15. 令 为范畴, 为余完备范畴, 对于函子 , 有伴随函子
2.1.3立方体
在一些情况下我们需要使用方形 而非三角形 , 因此在本文中引入立方体. 这一工具在立方类型论中广泛使用, 不过我不懂立方类型论, 因此不敢瞎说. 不过这一工具也可以用来描述带有 种不同运算的空间, 当然我指的是 (虽然我们也可以使用 Dunn–Lurie 加性定理和代数模式将 描述为 ). 在此处介绍立方体的原因在于后文介绍单纯范畴时需要使用其进行一些刻画.
定义 2.1.3.1. 令 为集合, -立方体 定义为乘积 . 当 时将 记为 , 称为标准 -立方体.
注 2.1.3.2. 不难发现 是幂集 的脉, 并且其几何实现是 .
定义 2.1.3.3. 令 为集合, -立方体 的边界 是如下给出的单纯集: 当 时, 记为 .
定义 2.1.3.4. 令 为集合, -立方体的 -上凹立方体 是如下给出的单纯集: 类似地, 可以定义下凹立方体 为当 时, 分别将两种凹立方体分别记为 和 .
单纯集的主要内容就介绍到这, 在下一节中我们将构造两种 -范畴的模型, 而后使用本节所讲述的内容对它们进行刻画.