下降 [下降]

基本设定

下降的概念来自几何学中各种结构沿覆盖映射的 “粘合”.

这里所说的结构, 就是对每个几何对象 $X$ 赋予一个范畴 $\mathcal C_{X}\in \mathsf{Cat}$, 且对每个态射 $f\colon Y\to X$ 可作拉回 $f^*\colon \mathcal C_Y\to\mathcal C_X$. 这种结构又称为纤维范畴. 常见的 “结构” 包括向量丛, 层, 以及相对观点的几何对象 (此时范畴 $\mathcal C_{X}$ 往往就是俯范畴 $\mathcal C_{/X}$).

常常还要求可作推前 $f_!\colon \mathcal C_X\to\mathcal C_Y,$ 满足 $f_! \dashv f^*.$ 这种结构又称为双纤维化 (bifibration).

设 $f\colon Y\to X$ 是某种 “覆盖”, 例如 $X$ 为拓扑空间, $Y = \bigsqcup U_i$ 是 $X$ 的若干开集构成的开覆盖, 那么对于 $Y$ 上的一个结构 $\mathcal F_Y\in\mathcal C_Y$, 我们可以问它是否来自 $X$ 上的某个对象 $\mathcal F_X$ 的拉回 $$ \mathcal F_Y \simeq f^* \mathcal F_X. $$ 进一步, 若 $\mathcal F_Y$ 具有某性质, 我们可以问是否 $\mathcal F_X$ 也有同样的性质.

Čech 脉

一般而言, 几何对象 $X,Y$ 是某个意象的对象, 或者这类几何对象的范畴至少可以嵌入到某个意象中. 对于意象中的满射 $f\colon Y\to X$, 我们知道 $X$ 可以表现为 $f$ 的 Čech 脉的几何实现 $$ X = \operatorname{colim}\big(\cdots \to^3 Y\times_X Y \rightrightarrows Y \big). $$ 这可以理解为用 $Y$ 及其相对于 $X$ 的各阶自相交 “粘出” $X$ 的具体方法.

一族相容的结构 $$ \mathcal F_Y, \mathcal F_{Y\times_X Y},\cdots $$ 称为沿态射 $f\colon Y\to X$ 的一份下降资料 (descent datum). 下降资料的范畴是余单纯极限 $$ \mathsf{Desc}(f):= \operatorname{lim} \big(\mathcal C_Y \rightrightarrows \mathcal C_{Y\times_X Y} \to^3 \cdots\big). $$

对于许多种结构, 我们有理由希望下降资料能够给出 $\mathcal F_X$, 即比较函子 $\mathcal C_X\to\mathsf{Desc}(f)$ 为等价.

例如在意象中, 俯意象 $\mathcal C_{/X}$ 的下降性质就是意象的一种定义.

单子式下降

Bénabou 与 Roubaud 的文章 Monades et descente (单子与下降) 指出在适当的 Beck–Chevalley 条件下, 沿态射 $f$ 的下降资料可以转化为单子 $f^*f_!$ 的代数.

回忆, 伴随 $f_! \dashv f^*$ 诱导了 $\mathcal C_Y$ 上的单子 $T_f := f^*f_!\colon \mathcal C_Y \to \mathcal C_Y.$ 参见伴随给出单子.

考虑拉回图 $$ \begin{CD} Y\times_X Y @>{\mathrm{pr}_1}>> Y \\ @V{\mathrm{pr}_0}VV @VV{f}V \\ Y @>>{f}> X \end{CD} $$ 给出的 Beck–Chevalley 基变换 $$ (\mathrm{pr}_1)_!\mathrm{pr}_0^* \to f^* f_! = T_f, $$

假设 1. 上述变换为同构.

在假设 1 之下,

todo