用户: 遗忘的左伴随/代数模式与高阶代数
1引言
在学习-算畴时诸位或许已经对这一奇妙概念及其所引申出的高阶结构产生疑问: 为什么需要使用在 上编码的算畴结构? 这样虽然能够定义出高阶代数, 但是需要建立在 这一描述对称幺半的结构之上, 这会导致一些不方便: 比如我们想描述结合算畴时, 使用 无疑比 更为合适, 但是我们在定义它时却需要迂回的使用以下定义:
定义 1.1 (带点有限集范畴). 令 为带点有限集范畴, 其对象为 , 其中 为有限集, 而 ; 态射为保持 的映射. 记 , 显然 与所有 生成的全子范畴等价.
令 为 中的态射. 若对任意 , 都为单点集, 就说 是惰性态射.
对任意 , 记 为 决定的态射.
定义 1.2 (结合算畴). 结合 -算畴 是范畴 的脉, 范畴 定义如下:
• | 对象为 中的对象. |
• | 从 的态射为二元组 . 其中 为带点有限集之间的态射, 而对于 , 为 . |
• | 态射的复合定义为二元组 其中 为由以下信息给出的字典序: 对于使得 的 , 有 当且仅当 时 且 . |
2代数模式
本节来介绍由 Rune Haugseng 以及 Hongyi Chu 在 [Chu–Haugseng 2021] 提出的代数模式概念, 这一 -范畴上的概念可以很轻松的处理 Cartesius 环境下的高阶代数概念. 它的想法是将 -范畴中的态射分解为惰性态射与活性态射的复合 (即给出一个分解系统)
定义 2.1 (分解系统). -范畴 的分解系统是指其一对宽子对象 , 使得对于任意 中的态射 , 空间为可缩生象.
定义 2.2. 记 为 的全子范畴, 它由描述分解系统的余对应给出, 考虑拉回有 为等价.
定义 2.3 (代数模式). 代数模式是指 -范畴 配备上分解系统 以及 的全子范畴 , 和 的态射分别称为惰性态射和活性映射, 中的对象称为初等对象. 对于代数模式 和 , 从 到 的代数模式之间的态射是指保持活性和惰性态射以及初等对象的函子 .
定义 2.4. 代数模式构成的 -范畴 是指中包含的全子范畴, 其中 为全子范畴的嵌入.
记号 2.5. 记惰性态射为 , 活性态射为 . 这只是为了记号的方便.
定义 2.6 (Segal 对象). 设 为代数模式, 为 -范畴. 则 中的 Segal -对象是指函子 , 满足对于任意 , 将图表 打为极限图表. 若对于任意 , 中由 所给出的极限均存在, 则称 是 -完备的. 此时有等价
记号 2.7. 称 中的 Segal -对象为 Segal -生象, 而 中的 Segal -对象为 Segal -范畴. 记 为由 Segal -对象所张成的 的全子范畴.
命题 2.8. 令 为 Segal -完备的 -范畴, 则 为 Segal 对象当且仅当 为 的右 Kan 延拓.
我们还需要给出 Segal 对象的相对版本.
定义 2.9 (相对 Segal 对象). 令 为代数模式且 为 -完备的 -范畴, 为 Segal -对象. 的 -相对 Segal 对象是指 中的态射 使得对于任意 都有自然的拉回图表记 为由 -相对 Segal -对象所张成的全子范畴.
引理 2.10. 若 为 中的相对 Segal -对象. 则对于任意态射 , 拉回 也为 Segal -对象. 换句话说, 沿着 的拉回给出函子 .
定义 2.11. 令 为代数模式. 对于 , 记 , 其中 表示 Yoneda 嵌入. 若 为余完备的 -范畴, 即在 上是张量的, 则可以考虑 和 , 其中 .
引理 2.12. 任意一个可表现 -范畴 的全子范畴为自反局部化. 特别地, 其为可表现 -范畴.
定义 2.13 ( 上的代数模式). 将由 在 中生成的全子范畴记为 , 称 中的态射 为
• | 活性: 指 |
• | 惰性: 指 为同构 (这与定义 1.1 中惰性态射是一致的). |
则惰性态射和活性态射所张成的宽子对象构成 上的分解系统, 当选取 为初等对象时, 就得到了一个代数模式 . 此外, 可以将 表为集合 , 其中 为由所确定的惰性态射 (不难发现这与定义 1.1 中的 一致. 函子 为 Segal -对象是指对于任意 都有由 所诱导的映射不难发现其为交换代数.
定义 2.14 ( 上的代数模式). 在单形范畴 上可以给出分解系统, 称 为:
• | 活性: 指 保持最大值, 最小值, 即 , . |
• | 惰性: 指 为区间含入, 即对 , . |
在 上也称对应态射为活性, 惰性. 上可以定义两种代数模式, 一种为取初等对象为 和 , 此时得到的代数模式记为 . 或者取初等对象为 , 此时得到的代数模式记为 .
定义 2.15.
• | Segal -生象即为 Segal 生象. |
• | 中的 Segal -对象为 -代数 (即结合代数). |
定义 2.16 (-模式). 对于正整数 , 考虑 -截断单形范畴 , 即不多于 个元素的 依保序映射构成的范畴的反范畴, 它是 的全子范畴. 在其上自然诱导出一个代数模式, 称为 -模式. 不难发现有一列嵌入态射
定义 2.17 (Cartesius 模式). 令 为代数模式, 称其为 Cartesius 模式是指带有代数模式之间态射 使得对于任意 都有等价Cartesius 模式之间的态射即为 上的代数模式之间的态射.
定义 2.18 (-单子). 对于 Cartesius 模式 , 改称 Segal -对象为 -单子. 记为
定义 2.19 (Segal 态射). 代数模式之间的态射 被称为是 Segal 的是指其诱导的函子 限制到 上给出函子
定义 2.20 (Segal 纤维化). 令 为代数模式. Segal -纤维化是指推出纤维化 , 使得其对应的函子 为 Segal -对象.
定义 2.21. 令 为代数模式, 且 为 Segal -纤维化. 则称 中的态射是:
• | 惰性是指其为推出态射并且在 的惰性态射之上. |
• | 活性是指其在 的活性态射之上. |
其为初等对象是指其在 的初等对象之上.
引理 2.22. 配上上述信息构成代数模式, 且 为 Segal 态射.
3充实模式与代数胚
4充实的例子
注记
1. | ^ 当然, 在 [Lurie 2017, ] 中给出平面 -算畴这一概念, 但是本文讲述的是更进一步的推广. |
参考文献
• | Hongyi Chu, Rune Haugseng (2021). “Homotopy-coherent algebra via Segal conditions”. Advances in Mathematics 385, 107733. (doi) (web) |
• | Shaul Barkan, Rune Haugseng, Jan Steinebrunner (2022). “Envelopes for Algebraic Patterns”. arXiv: 2208.07183 [math.CT]. |
• | Hongyi Chu, Rune Haugseng (2023). “Enriched homotopy-coherent structures”. arXiv: 2308.11502 [math.CT]. (web) |
• | J. Lurie (2017). Higher Algebra. |
• | Shaul Barkan (2023). “Arity Approximation of -Operads”. arXiv: 2207.07200 [math.AT]. (web) |
• | J. Lurie (2009). Higher Topos Theory. Academic Search Complete. Princeton University Press. () |