基本设定
下降的概念来自几何学中各种结构沿覆盖映射的 “粘合”.
这里所说的结构, 就是对每个几何对象 $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