群作用 [群作用]

定义

生象群

对于生象群 $G$ 与范畴 $\mathcal C$ 的对象 $X$, 定义 $G$ 在 $X$ 上的作用为函子 $$ F\colon \mathbf{B}G\to\mathcal C, $$ 将 $\mathbf{B}G$ 中的对象 $*$ 映射到 $X$.

换言之, $\mathbf{B}G$ 中的对象 $*$ 是游走的 $G$-作用.

定义 $G$-作用 $F\colon \mathbf{B}G\to\mathcal C$ 的不动点为极限 $$ X^G := \operatorname{lim} F ; $$ 定义该作用的余不动点, 又称商, 为 $$ X_G := X/G := \operatorname{colim} F. $$

当然, 充实范畴中的对象也有类似概念.

意象中的群

在 $\infty$-意象 $\mathcal C$ 中, 由意象的下降性质有 $$ \mathcal C_{/\mathbf{B}G}\simeq\operatorname{lim}_{\mathbf{B}G}\mathcal C\simeq\mathsf{Fun}(\mathbf{B}G,\mathcal C), $$ 群 $G$ 的作用等同于指向 $\mathbf{B}G$ 的映射, 即俯意象 $\mathcal C_{/ \mathbf{B}G}$ 的对象; 而 $\mathbf{B}G$ 又可表现为单纯对象的实现, $$ \mathcal C_{/\mathbf{B}G} \simeq \operatorname{lim}\Big( \mathcal C \rightrightarrows \mathcal C_{/G} \to^3 \mathcal C_{/G\times G}\cdots \Big), $$ 于是 $\mathcal C_{/\mathbf{B}G}$ 的对象等同于单纯对象 $$ X /\!\!/ G := (\cdots X\times G\times G \to^3 X\times G \rightrightarrows X ) $$ 带有指向 $*/\!\!/ G$ 的映射 $$ X /\!\!/ G \to */\!\!/ G. $$ 追溯定义, 可知这是 $G$ 在 $X$ 上的作用, 且商为 $$ X/G=\operatorname{colim}_{\mathbf{B}G}X = \operatorname{colim} X /\!\!/ G. $$

一般范畴中的群

对于一般范畴 $\mathcal C$ 中的群 $G$, 模仿意象中的情形, 也可定义 $G$-作用为单纯对象 $$ X /\!\!/ G = (\cdots X\times G\times G \to^3 X\times G \rightrightarrows X ) $$ 以及态射 $$ X /\!\!/ G \to * /\!\!/ G. $$

性质

对于生象群 $G$ 在生象 $X$ 上的作用, 其不动点可表示为俯意象中的映射空间 $$ X^G = \operatorname{Hom}_{\mathsf{Ani}_{/\mathbf{B}G}}(\mathbf{B}G,X/G). $$

例

• 群在自身上的共轭作用

相关概念

相对位置