« 单纯百科 Simplopedia

furina

有效满射 [有效满射]

百科
SimplicialCat

关联页面

意象 [意象]

百科
SimplicialCat

观念

作为集合范畴的推广

意象 (topos) 是一种具有类似集合范畴 $\mathsf{Set}$ 的性质的范畴; 这些性质使得意象的内语言能够支持集合的许多操作, 如构造两个集合 $X,Y$ 的无交并 $X + Y$, 乘积 $X\times Y$, 映射的集合 $Y^X$ 等等.

不过需要注意的是, 意象的内语言所支持的逻辑是直觉主义逻辑, 而不一定是经典逻辑 (见 Boole 意象), 其中排中律和选择公理可能不成立. 例如拓扑空间上的层意象一般不是 Boole 意象, 原因来自于开集的补集不一定是开集.

没有人能将我们驱逐出 Contor 为我们创造的 (集合论的) 天堂. —— David Hilbert (1926)

而意象理论告诉我们, 在集合论的天堂之外还有无穷无尽的世界, 而集合的世界只是这片无穷无尽的森林中的第一棵树.

类似地, $(\infty,1)$-意象是类似于生象的范畴 $\mathsf{Ani}$ 的范畴, 其内语言提供了处理同伦型的直觉主义语言, 即同伦类型论.

我们甚至可以期待 $(\infty,2)$-意象提供了 “范畴的范畴” $\mathsf{Cat}$ 的推广, 以及相应的语言.

作为几何对象

L’objet de la Topologie est l’étude des topos (et non des seuls espaces topologiques).

拓扑学的目标是研究意象, 而不仅是拓扑空间.

—— Grothendieck, SGA 4

关于译名 “意象”

关于译名“意象“

定义

Grothendieck 意象

SGA 4 最早引入了 “意象 (topos)” 这一概念, 后来为了区分另一个稍有不同的概念, 称之为 Grothendieck 意象.

定义. Grothendieck 意象是指某个景上的层的范畴.

这一定义体现了意象作为几何对象的观念. 通常几何对象上具有 “开集” 与 “覆盖” 的概念, 形成景的结构; 那么这个景上的层的范畴可以视为该几何对象在意象理论中的化身.

定义. Grothendieck 意象是某个预层范畴的正合局部化.

Giraud 公理

据 SGA 4 记载, Grothendieck 的学生 Giraud 惊人地给出了 Grothendieck 意象的纯范畴论刻画, 后来称为 Giraud 公理. 这一定义说明意象还具有一种独立于几何对象的观点.

定义. 称范畴 $\mathcal C$ 满足 Giraud 公理是说如下条件成立:

$\mathcal C$ 为可表现范畴;
$\mathcal C$ 中的拉回保持余极限;
$\mathcal C$ 中的和无交 (即 $X + Y$ 的子对象 $X$ 与 $Y$ 的交为始对象 $0$);
$\mathcal C$ 中的满射均为有效满射.

初等意象

逻辑学家从内语言的视角出发考虑了初等意象的概念. Grothendieck 意象都是初等意象, 但反之不然.

定义. 初等意象 (elementary topos) 是满足如下条件的范畴 $\mathcal C$:

$\mathcal C$ 中存在有限极限;
$\mathcal C$ 是积闭范畴;
$\mathcal C$ 中存在子对象分类子 $\Omega$.

初等意象的概念与 Grothendieck 意象最显著的区别在于去掉了可表现范畴的条件. 例如有限集的范畴 $\mathsf{Fin}$ 是初等意象, 而不是可表现范畴 (从而不可能是 Grothendieck 意象).

不过, 一般人们还是讨论可表现范畴与 Grothendieck 意象. 所以在后文 (以及单纯百科的其它页面) 中我们用 “意象” 来代指 Grothendieck 意象.

下降观点

参考 Cnossen.

意象的范畴论性质还可以更加简洁地概括为余极限上的俯意象的性质, 称为沿余极限的下降. 具体的定义如下.

定义. 意象是满足如下条件的可表现范畴 $\mathcal C$: 俯意象函子 $$ \mathcal C^{\mathrm{op}} \to \mathsf{Cat},\, X\mapsto\mathcal C_{/X} $$ 保持极限. 换言之, 对于 $\mathcal C$ 中的余极限 $X=\operatorname{colim}_i X_i$, 有 $$ \mathcal C_{/X} \simeq \operatorname{lim}_i \mathcal C_{/X_i}. $$

注 1. 上述定义中俯范畴的极限有如下计算方式: 对于 $X_\bullet \colon I\to\mathcal{C}$, $$ \operatorname{lim}_i \mathcal{C}_{/X_i} \simeq \mathsf{Fun}^{\mathrm{Cart}}(I,\mathcal{C})_{/X_\bullet}, $$ 其中 $\mathsf{Fun}^{\mathrm{Cart}}$ 是函子与 “拉回变换” (自然性所需的方块均为拉回方块的自然变换) 构成的范畴.

注 2. 可以具体写下两个方向的函子; 在具有拉回和余极限的范畴中这两个函子构成一对伴随; 其中

左伴随部分为 $\operatorname{colim} \colon \mathsf{Fun}^{\mathrm{Cart}}(I,\mathcal{C})_{/X_\bullet}\simeq \operatorname{lim}_i \mathcal C_{/X_i}\to \mathcal{C}_{/X}$, $$ (Y_\bullet\to X_\bullet)\mapsto (\operatorname{colim}_i Y_i \to \operatorname{colim}_i X_i). $$
右伴随部分 $\mathcal{C}_{/X} \to \operatorname{lim}_i \mathcal C_{/X_i}$ 是沿着每个 $X_i\to X$ 基变换.

我们观察伴随的单位和余单位.

单位: 对拉回变换 $Y_\bullet \to X_\bullet$, 对每个 $j\in I$, 单位给出同构 $$ Y_j \to (\operatorname{colim}_i Y_i)\times_{\operatorname{colim}_i X_i} X_j. $$
余单位: 对 $Y\to X$, 记 $Y_i$ 为其沿 $X_i\to X$ 的拉回, 余单位给出同构 $$ \operatorname{colim}_i(Y_i) \simeq Y. $$ 换一种观点看待这个同构, 即沿 $Y\to X$ 的拉回保持余极限.

例.

$\mathcal C_{/0} \simeq *$;
$\mathcal C_{/(X+Y)} \simeq \mathcal C_{/X} \times \mathcal C_{/Y}$. 这个性质又叫可扩展性.
($\infty$-范畴语境下) $\mathcal{C}_{/\mathbf{B}G}\simeq\operatorname{lim}_{[n]\in\Delta}\mathcal{C}_{/G^n}$. 见群作用.
($\infty$-范畴语境下) 对于生象 $A$, $\mathcal{C}_{/\operatorname{colim}_A *} \simeq \operatorname{lim}_A \mathcal{C} \simeq \mathsf{Fun}(A,\mathcal{C})$.

性质

指数对象与幂对象

意象中的两个对象 $X,Y$ 之间可构造指数对象 $Y^X$ 与赋值映射 $\operatorname{ev}\colon Y^X\times X \to Y$, 满足伴随 $$ \operatorname{Hom}(Z,Y^X) \simeq \operatorname{Hom}(Z\times X,Y). $$

对象 $X$ 的幂对象 $PX = \Omega^X$ 是幂集的类比, 满足 $\operatorname{Sub}(X\times Y)\simeq \operatorname{Hom}(Y,PX)$, 换言之, $PX$ 是 $\operatorname{Sub}(X\times -)$ 的表示对象.

例

层意象

层意象 $\operatorname{Sh}(X)$, “由 $X$ 连续参数化的一族集合”;

预层意象

预层意象 $\mathsf {Set}^{C^{\mathrm{op}}}$, “由小范畴 $C$ 参数化的集合”.

预层意象又有如下重要例子:

箭图的范畴;
单纯集的范畴;
$\mathsf {Set}^{\mathbb N}$, “随时间变化的集合”;
…

位象

位象, 又称 $0$-意象.

初等意象

有限集范畴 $\mathsf{Fin}$
$\mathsf {FinOrd}$, 有限基数的范畴, 其中指数是通常的指数;

超覆盖 [超覆盖]

百科
SimplicialCat

观念

超覆盖是 $\infty$-意象中覆盖的推广.

定义

设 $\mathcal X$ 为 ∞-意象, $U_\bullet$ 为 $\mathcal X$ 的单纯对象. 若对所有 $n\geq 0$, $$ U_n \to ({\operatorname{cosk}_{n-1}U_\bullet})_n = \operatorname{Hom}(\operatorname{sk}_{n-1}\Delta^n,U_\bullet) $$ 为有效满射 (见余骨架), 则称之为 $\mathcal X$ 的超覆盖 (hypercover). 进一步, 若 $\operatorname{colim}U_\bullet =1$, 则称之为有效超覆盖.

例如, 对于超覆盖 $U_\bullet$, 有

$U_0 \to 1$ 为有效满射,
$U_1\to U_0\times U_0$ 为有效满射.

性质

引理. 对于 ∞-意象中的 $\infty$-连通对象 $U$ (在超完备 ∞-意象中就是终对象 $1$), 常值单纯对象 $U_\bullet$ 是超覆盖.

引理. ∞-意象中的 $n$-余骨架超覆盖是有效的.

引理. ∞-意象中的超覆盖的几何实现 (即余极限) 是 $\infty$-连通的.

定理. 对于 ∞-意象 $\mathcal X$, 如下条件等价,

对任意 $X\in\mathcal X$, $\mathcal X_{/X}$ 的超覆盖 $U_\bullet$ 都是有效超覆盖;
$\mathcal X$ 是超完备 ∞-意象.

非交换 Čech 上同调 [非交换Čech上同调]

百科
SimplicialCat

观念

非交换 Čech 上同调是用 Čech 脉计算非 Abel 上同调的方法, 是 Čech 上同调的非交换推广.

对象 $X$ 上群 $G$ 系数的 $1$ 阶非 Abel 上同调即 $X$ 到 $\mathbf{B}G$ 的映射类, 也即 $X$ 上 $G$-主丛的等价类; 若 $X$ 上的主丛 $P$ 被 $X$ 的覆盖 $U\to X$ 平凡化, 则对应的映射类 $X\to\mathbf{B}G$ 可被 $G$-Čech 上圈实现.

定义

一阶: 一般情形

这里 “覆盖” 指的是 $\infty$-意象中的有效满射, 即在 $\pi_0$ 上满的映射.

定义. 覆盖 $U\to X$ 上的 $1$ 阶 $G$-Čech 上圈是 Čech 脉 (作为单纯对象) 之间的态射 $$ \alpha\colon \text{\v{C}}(U\to X) \to \text{\v{C}}(*\to \mathbf{B}G). $$ 展开来看, $\alpha$ 就是如下一系列映射以及它们之间的相容条件:

$\alpha_0\colon U \to *$,
$\alpha_1\colon U\times_X U \to G$,
$\alpha_2\colon U\times_X U\times_X U \to G\times G$,
- $\mathrm{pr}_{12}, \mathrm{pr}_{13}, \mathrm{pr}_{23}\colon U\times_X U\times_X U \to U\times_X U$
- $\mathrm{pr}_1, \mu, \mathrm{pr}_2\colon G\times G\to G$
满足 $\mathrm{pr}_1 \alpha_2 = \alpha_1 \mathrm{pr}_{12}$, $\mathrm{pr}_2 \alpha_2 = \alpha_1 \mathrm{pr}_{23}$, $\mu \alpha_2 = \alpha_1 \mathrm{pr}_{13}$,
…

例如, 由上面写出的这些条件可得等式 $\mu\circ (\alpha_1\mathrm{pr}_{12},\alpha_1\mathrm{pr}_{23})=\alpha_1\mathrm{pr}_{13}$, 也即 $$ \alpha (u,v)\alpha(v,w) = \alpha(u,w). $$

上同调等价

定义, 对于覆盖 $U\to X$ 上的两个 $G$-Čech 上圈 $\alpha,\alpha'$, 若存在单纯同伦 $\alpha\to\alpha'$, 即 $$ \eta \colon \text{\v{C}}(U\to X)\times\Delta^1\to \text{\v{C}}(*\to \mathbf{B}G), $$ 满足 $\eta_0 = \alpha$, $\eta_1 = \alpha'$, 则称 $\alpha,\alpha'$ 上同调等价 (cohomologous).

由单纯同伦页面写下的条件, $G$-Čech 上圈 $\alpha,\alpha'$ 的上同调等价包含如下资料:

记 $h_1(-,01) \colon U\times_X U \to G$ 为 $h(u,v)$, 则
- $h(v,w)\alpha(u,v) = h(u,w)$,
- $\alpha'(v,w)h(u,v)=h(u,w)$.
令 $\eta(u) = h(u,u)$, 则由上两式, $$ \eta(v)\alpha(u,v) = h(u,v) = \alpha'(u,v) \eta(u). $$

覆盖 $U\to X$ 上的 $1$ 阶 $G$-Čech 上圈的等价类记为 $H^1(U/X,G)$; 在许多场合中, 可以定义 $X$ 的 $G$-系数 $1$ 阶非交换 Čech 上同调为对某些覆盖的余极限 $$ \check H^1(X, G):=\operatorname{colim}_{U\to X} H^1(U/ X, G). $$ 这里 “某些覆盖” 是根据具体情形选取的一类覆盖, 期待让 $\check H^1(X, G)$ 按后面说的方式实现了 $H^1(X,G)$ 的每个元素. (如果在抽象的场景考虑所有覆盖, 那么任意 $p\in H^1(X,G)$ 对应的主丛 $P\to X$ 平凡化 $P$ 自身, 从而 $H^1(P/X,G)$ 有一个元素实现了 $P$, 这就没有意思了.)

与真正的上同调的关系

由 Giraud 公理, 覆盖 $U\to X$ 的 Čech 脉的几何实现是 $X$ 自身, 故 $G$-Čech 上圈 $\alpha\colon \text{\v{C}}(U\to X) \to \text{\v{C}}(*\to \mathbf{B}G)$ 给出几何实现之间的映射 $|\alpha|\colon X \to\mathbf{B}G$, 也即 $H^1(X,G)$ 的元素.

另一方面, $H^1(X,G)$ 中的元素 $p\colon X\to\mathbf{B}G$ 能被覆盖 $U\to X$ 的 Čech 上圈实现的一个充分条件是 $U\to X$ 平凡化 $p$, 也即有交换图 $$ \begin{array} {ccc} U & \to & * \\ \downarrow & \swarrow \!\!{\scriptsize\alpha}\!\!\!\! & \downarrow \\ X & \to & \mathbf{B}G. \end{array} $$ 此时由 Čech 脉的函子性, 当然有 Čech 脉之间的映射. 注意, 上述交换图是一个结构而非性质, 其中的 $2$-态射 $\alpha\colon \mathrm{triv}\to p$ 要参与到 Čech 上圈的计算中. 例如要计算其在 Čech 脉的第 $1$ 层上的映射, 考虑下图: $$ \begin{array} {ccccc} \!\!\!\!\!\!\!\!\!\! U\times_X U \!\!\!\! & \to & U \\ \downarrow & & \downarrow & \searrow \\ U & \to & X & & *\\ & \searrow & & \searrow & \downarrow \\ && * & \to & \mathbf{B}G, \end{array} $$ 其中右方, 下方两个平行四边形均为 $2$-态射 $\alpha$. 可得 Čech 脉的第 $1$ 层上的映射为 $$ (\alpha\mathrm{pr}_2)^{-1} (\alpha\mathrm{pr}_1)\colon U\times_X U \to G = *\times_{\mathbf{B}G} *. $$

总结起来, 要想 $$ \check H^1(X, G):=\operatorname{colim}_{U\to X} H^1(U/ X, G). $$ 计算了真正的 $H^1(X,G)$, 就是要用合适的覆盖去平凡化每个 $G$-主丛.

二阶: 交叉模

设 $(G,H,\delta,\alpha)$ 为交叉模.