2.1. 单纯集

在前文中我们已经知道需要使用单纯集去描述 -范畴, 并且通过两个例子, 我们给出了两种刻画的方式.

-范畴刻画为某种充实于单纯集的范畴.

-范畴刻画为某种单纯集.

当然事实上会有更多的刻画方式, 不过在此处只讲述最容易想到的两种, 至于完备 Segal 生象留待以后讲解.

不过注意到我们目前只是堪堪定义出单纯集, 尚需要对其性质进行剖析.

2.1.1单纯集

因此本节的核心在于介绍单纯集以及其上的构造.

面态射与退化态射

由于我们将单纯集定义为反变函子 . 因此研究 上的态射就可以帮助我们探明 的性质.

不难发现 上任意态射均可分解为保序满射与保序单射的复合, 即任意的 都可以分解为 , 其中 . 因此只需要研究 即可.

而根据前文, 其实可以将 根据以下方式进行 “实现”:

1.

首先视为离散的点 ;

2.

而后视为全序集范畴 (当然, 这里没有画出 到自身的恒等态射, 以及对于 时, 态射的复合所给出的 );

3.

再依全序将态射考虑任意两个态射复合, 即对于任意的 给出交换图表

4.

而后依全序考虑三个态射的复合, 即对于任意的 给出交换图表

5.

依次类推给出 个态射的复合情况.

而后将所有东西都拼起来, 这个时候就需要使用填充的图表以示区分, 比如将 给出的图表记为 (注意到此时没有点和边的信息, 因此只是一个三角形, 当然 或者其它情况的时候三角形要进行对应的收缩)而三三态射就是填充为一个四面体.

将所有的东西拼起来我们就得到一个特殊的东西 (姑且称之为复合体), 它是一个 单形, 并且其内每个 维单形都被标记出来 (当然可能存在 这类情况), 比如在 时, 我们得到的东西是那么此时, 就可以被很显然的表达为将 对应的复合体嵌入 中的情况, 它会对应于 这个复合体中的一个非退化的 维单形 (即确实要占据 个不同的点) 及其所盖住的所有信息 ( 的信息). 由于其只能盖住 个点, 因此复合体 中总是有一个点 无法被盖住, 此时就称 -余面态射, 即为 , 在不引起歧义时, 记为 , 不难发现对于 , 余面态射恰有 个. 举个例子, 还是取 , 我们就有 种方式嵌入, 以图明之 (由于一个点不能上多个色, 因此统一定为黑色, 读者当然要知道点也是要被盖住的)接下来考虑 这个态射, 而这相当于说你在 这个复合体中, 对于某个 , 将 变为 (由此带来的连带影响是将 都变为 ), 此时这个复合体就退化了. 此时将态射记为 , 在不引起歧义时, 记为 , 称为 -退化态射. 退化态射使用画图的方式更好理解, 为了避免画四面体, 此时取 .

总结给出定义如下:

定义 2.1.1.1.,

对于 , 称态射 余面态射是指其由下式给出

对于 , 称态射 余退化态射是指其由下式给出

带入定义 2.1.11 给出单纯集中的对应物:

定义 2.1.1.2. 为单纯集, 对于 , . 称 面态射是指其为余面态射 的像. 称 退化态射是指其为余退化态射 的像.

不难发现面态射和退化态射可以给出以下等式:

单形

接下来讲述一些单纯集的基本构造

定义 2.1.1.3. 为单纯集, 称 中的 -单形是指 .

由于单纯集是预层 , 因此自然可以考虑其中可表函子.

定义 2.1.1.4. 标准 -单形是指单纯集 .

Yoneda 引理不难发现 , 因此 -单形 可以被解释为态射 , 在后文中我们会不加说明的使用这一点. 同时, 不难发现 就可以被视为 这个复合体.

那么在定义 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. 为单纯集, 为非负整数, 则 的维数 并且当 的维数 时, 对于态射 , 存在唯一的箭头 使得图表交换:

证明. [Kerodon, Tag 001A]

接下来我们想问将全体 -非退化单形加入到 中后是否可以得到 .

为此我们需要了解取骨架的过程中具体丢掉了什么信息. 现令 为单纯集, 为非负整数, 现在我们来从 恢复出 . 记 中全体非退化 -单形所构成的集合, 则 即为态射 , 我们事实上可以考虑 -骨架, 这样根据骨架的维数可以知道 , 因此由命题 2.1.1.10 可知存在态射 使得图表交换这样就可以典范的给出 作为 -单形的对应.

命题 2.1.1.11. 为单纯集, 且 为非负整数, 则以下图表为推出

证明. 只需取 中不包含在 中的 -单形 即可发现其能被分解为 , 因此可知 .

注 2.1.1.12. 这一命题将会在后文中不时出现, 原因在于 -范畴和生象本质上均为单纯集, 都可以使用这种方式刻画为推出, 不过在 中我们需要利用模型范畴的弱分解系统做一些微调.

由此可知, 对于任意单纯集 , 我们总是可以将其拆分为若干步推出, 换句话说, 我们其实在其上粘接胞腔. 接下来为 命名并给出直观.

定义 2.1.1.13. 为非负整数, 则对于标准 -单形 , 定义其边界.

以下给出其直观, 由定义可知 是由全体并不打满 所给出的. 因此对于任意的复合体 , 它都会被打满, 从而它就只是在 所对应的复合体中去掉那个非退化的 维单形. 在 时即为

可以看到骨架构成一个函子.

命题 2.1.1.14. 为非负整数, 则 为函子.

命题 2.1.1.15. 对于任意 , 保持余极限.

证明. [Kerodon, Tag 0503]

结合 可表现范畴, 使用伴随函子定理可知该函子存在右伴随, 称为 -余骨架, 以下对其进行构造.

我们将由 中自由生成高阶单形后所得到的结构记为 , 此时即对于任意的 以及 , 都存在唯一的填充 使得以下图表交换我们来说明 就是 -余骨架. 对于任意的单纯集 , 可以被写为以下图表的极限而对于 , 都有 为双射, 这是因为我们可以利用命题 2.1.1.10  约化为 , 而后利用 构造给出双射. 因此 验证了伴随关系.

定义 2.1.1.16. 为非负整数, 则前文构造给出了 的右伴随 , 称为 -余骨架.

当然, 我们可以使用 Kan 延拓来定义骨架和余骨架, 在此不细表.

单纯集的若干变体

我们可以对于 进行一些改动, 从而获得一些特殊的单纯集.

比如可以在 中加入一个 得到由此可以给出 -阶的单纯对象, 将改造后的单形范畴记为 , 称为增广单形范畴.

定义 2.1.1.17. 为范畴, 则 中的增广单纯对象是指函子 . 对偶地, 可以定义余增广单纯对象.

注 2.1.1.18. 增广单纯对象的概念常常跟分裂单纯对象一起出现, 这是因为当一个增广单纯对象 是分裂的时, 会有 . 当然增广余单纯对象分裂时就给出极限情况.

此外, 由于退化态射给出的信息往往是多余的, 在计算时会形成一些不必要的阻碍, 所以很多时候我们会去掉退化态射的信息, 即在 中删去所有的余退化态射. 我们将 中去掉所有余退化态射的产物称为半单形范畴, 记为 (因为只保留单射).

定义 2.1.1.19. 为范畴, 则 中的半单纯对象是指函子 . 对偶地, 可以定义余半单纯对象.

至于剩下的变体等我们用到时再讨论.

2.1.2实现–脉伴随

本节来讨论实现–脉伴随, 这个伴随在单纯集上的情况可以被理解为单纯集对于一个构造的模拟能力.

实现是指某个范畴 上单纯集的 “形状”, 而脉一般是指将范畴 中的结构编码为单纯集. 我们先通过几个例子来观察这一现象. 不过一切开始之前, 我们来回忆 Yoneda 嵌入的稠密性.

命题 2.1.2.1. 为范畴, 则对于任意预层 , 都有 , 其中 为 Yoneda 嵌入.

证明. [李文威 21, 定理 A.1.3]

例子: 几何实现-奇异集伴随

首先令 , 此时回想我们所定义的复合体 的形状, 那么如果将复合体中全体小于 维的信息全都去掉, 所得到的东西就是拓扑空间的 维单形.

因此这样可以给出函子 , 它将 映为 维单形, 即因此我们就有以下图表那么理所应当的, 我们想构造一个函子 , 使其逼近于 . 这让我们想到了 Kan 延拓. 而命题 2.1.2.1 说明每个单纯集 均可写为其内 -单形所对应的 的余极限. 因此使用左 Kan 延拓就可以给出我们想要的单纯集在拓扑空间中的形状 (事实上, 也是因为拓扑空间中余极限是商空间, 不过这似乎没有前面那般具有说服力), 我们把这个东西称为几何实现.

定义 2.1.2.2 (几何实现). 单纯集的几何实现是指函子 , 它定义为左 Kan 扩张其中 为 Yoneda 嵌入. 从而 . 根据左 Kan 扩张的具体构造可知单纯集 的几何实现可以刻画为余极限 . 此处 所构成的范畴中态射为使得以下图表交换的态射  : 这也相当于要求 满足 .

几何实现可以具体的刻画为商空间依照几何直观, 可将单纯集 的几何实现试想为以下空间以及其粘接: 相当于 基数份的 , , 的基数份的 , 依照 进行组装, 由于 中的态射均可唯一地分解为保序满射和保序单射的合成, 因此后文中只给出面态射和退化态射所对应的组装方式.

, 则 嵌入 . 因此面态射 的效果等同于指定对应于 维单形的第 个面 (即 ), 依次黏合.

“压入” 为 . 因此退化态射 的效果等同于指定对应于 维单形放在 维 “退化” 单形的第 个面.

由此可知退化 维单形在粘合时是无关紧要的, 但是退化的信息仍是必要的.

接下来我们讲述一下如何从拓扑空间中读取单纯集的信息, 构造 2.1.8 中给出过一个从拓扑空间中取出单纯集的方式, 称为基本 -群胚, 但是这一构造难以手动刻画, 现在我们来给出一个容易刻画的构造.

定义 2.1.2.3. 对于任意拓扑空间 , 其奇异集 是指如下定义的单纯集: 这给出函子 , 称为奇异集函子.

练习 2.1.2.4. 证明几何实现是奇异集函子的左伴随.

不难发现, 奇异集函子就是在奇异同调中全体奇异 -单形所构成的单纯集. 它所生成的自由 Abel 群就是奇异链群, 由此可以探讨单纯集与同调之间的关系, 不过这一点我们放在后文.

例子: 同伦范畴-脉伴随

在构造 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 (同伦范畴). 为单纯集, 定义范畴 为以下信息:

对象: 中的元素.

态射: 所生成的态射, 对于任意 -单形 , 它都被视为从 的态射.

复合: 态射的自由复合记为 , 商去以下关系

1.

-单形 的恒等态射.

2.

对于每个边界为三元组 -单形 , 有

3.

.

称其为 同伦范畴.

同伦实现与脉事实上也会构成一对伴随, 不过此时我们需要考虑大范畴所构成的范畴 以规避集合论问题.

命题 2.1.2.11. 同伦范畴函子与脉构成 中的伴随函子 .

实现-脉伴随

现在让我们比较前面两个例子, 在我们定义单纯集在范畴 (或 ) 中的 “形状” 时, 我们总是先给出 中对象在 (或 ) 中的形状, 即一个函子 (或 ) 而后使用左 Kan 延拓. 而使用单纯集对于一个结构 (或 ) 进行编码时, 总是利用 (或 ) 中的形状进行定义, 即其第 阶总是定义为 .

那么接下来我们讨论是否可以将这种现象推广到一般的余完备范畴 中, 答案是可以的, 我们将这一构造称为实现-脉伴随.

定义 2.1.2.12 (-实现). 为范畴, 余完备范畴, 对于函子 , 其实现 定义为左 Kan 扩张, 若使用余端的语言表述即为, 对于预层 , 其 实现定义为

注 2.1.2.13. 上标的 主要是因为这是 -范畴版本的实现-脉伴随, 不难注意到在 -范畴中可以定义出类似的版本.

事实上, 如上定义的 -实现存在右伴随, 将右伴随称为 -脉.

定义 2.1.2.14 (-脉). 称函子 的实现, 是指对于 , 定义为函子 .

定理 2.1.2.15. 为范畴, 为余完备范畴, 对于函子 , 有伴随函子

证明. [Lor21, Proposition 3.2.2]

实现-脉伴随在后文中具有很多的应用, 最常见的情况还是定义单纯集 (或其它预层) 在某个范畴中的形状.

2.1.3立方体

在一些情况下我们需要使用方形 而非三角形 , 因此在本文中引入立方体. 这一工具在立方类型论中广泛使用, 不过我不懂立方类型论, 因此不敢瞎说. 不过这一工具也可以用来描述带有 种不同运算的空间, 当然我指的是 (虽然我们也可以使用 Dunn–Lurie 加性定理代数模式 描述为 ). 在此处介绍立方体的原因在于后文介绍单纯范畴时需要使用其进行一些刻画.

定义 2.1.3.1. 为集合, -立方体 定义为乘积 . 当 时将 记为 , 称为标准 -立方体.

注 2.1.3.2. 不难发现 幂集 的脉, 并且其几何实现是 .

因此标准 -立方体形如 (也可以将中间视为填充的)对于 -立方体 , 取 , 不难发现 可以被描述为 . 这样我们可以描述 -立方体的面. 不过在对于 -立方体时, 一个顶点会对应于两个面这两个面的无交并即为 , 而 的边界仍为其所有的面拼起来, 即

定义 2.1.3.3. 为集合, -立方体 边界 是如下给出的单纯集: 时, 记为 .

显然 可以被理解为 去掉其内部, 仍令 , 此时 即为类似地, 可以定义 -立方体中的尖角, 不过此时长得形状显然不是角, 因此我们称其为凹立方体.

定义 2.1.3.4. 为集合, -立方体的 -上凹立方体 是如下给出的单纯集: 类似地, 可以定义下凹立方体 时, 分别将两种凹立方体分别记为 .

可以理解为 再去掉一个边. 当 时,

单纯集的主要内容就介绍到这, 在下一节中我们将构造两种 -范畴的模型, 而后使用本节所讲述的内容对它们进行刻画.