超上同调的解释

嘿，这个问题问到点子上了！咱们从你给出的具体场景慢慢展开说～

首先先明确你的前提：设$X$是一个概形，$K \in D_{qc}(X)$（$X$上拟凝聚层的导出范畴），并且$K$的上同调只集中在非负的上同调度——也就是对任意$i>0$，都有$H^{-i}(K) = 0$，换句话说，$K$的负上同调度都是零，咱们不用考虑左边的“尾巴”。你想知道的是，这时候$H^0(K)$和$H1(K)$有没有什么直观或者代数上的解释，尤其是当$K$是一个复形（比如$K = T_0 \to T_1$这种只有0度和1度非零项的复形），而不是单纯一个层的时候。

先从你熟悉的情况复习：如果$K$就是一个拟凝聚层$F$（也就是复形只有0度有非零项，其余都是0，记为$F[0]$），那$H^{0(K)$就是$F$的整体截面$\Gamma(X,F)$，$H}1(K)$就是$X$上$F$的第一个上同调群$H^1(X,F)$——前者是全局能“拼起来”的截面，后者衡量的是局部截面拼成全截面的障碍，这部分你已经清楚了。

那当$K$是复形的时候，比如最简单的$K = \cdots \to 0 \to T_0 \xrightarrow{d} T_1 \to 0 \to \cdots$（$T_0$在0度，$T_1$在1度），我们直接从复形上同调的定义就能拆解出意义：

• $H^0(K)$的解释：它就是复形在0度的上同调层$\ker(d: T_0 \to T_1)$，对应的整体截面$\Gamma(X, H^0(K))$就是$X$上所有满足$d(s)=0$的$T_0$截面$s$的集合。你可以把它理解成这个复形里“最基础的稳定截面”——这些截面不会被微分映射“送”到1度的$T_1$里，相当于复形的“核心不变量”。

• $H^1(K)$的解释：它是复形在1度的上同调层$\text{coker}(d: T_0 \to T_1) = T_1 / \text{im}(d)$（因为这个复形里1度之后没有更高项了，所以$\ker(d_1)$就是$T_1$本身）。对应的整体截面$\Gamma(X, H^{1(K))$，就是$T_1$的全局截面中，没法写成$d(s)$（$s$是$T_0$的全局截面）的那些元素的等价类集合。这就像是一种“一阶障碍”——衡量$T_1$里的截面能不能被$T_0$的截面通过微分“消解”掉，和层上同调的$H}1$的障碍意义有点像，但更偏向复形内部的关系。

如果再推广到更一般的复形$K = T_0 \to T_1 \to T_2 \to \cdots$（$T_0$在0度，后续依次递推），那：

• $H^0(K)$依然是$\ker(d_0: T_0 \to T_1)$，本质还是复形里0度项中“不会被微分送走”的部分，是这个导出对象最直接的“截面类似物”。

• $H^1(K)$则变成了$\ker(d_1: T_1 \to T_2) / \text{im}(d_0: T_0 \to T_1)$——也就是$T_1$中那些自身满足“封闭”（不会被送到$T_2$），但又不是来自$T_0$的微分的截面等价类。这时候它的障碍意义更明显：既代表$T_1$里的“闭截面”无法被$T_0$消解的部分，也可以看作是这个复形所代表的导出对象的“一阶延伸不变量”。

另外还有个导出范畴的视角可以补充：整体截面函子$\Gamma(X, -)$的右导出函子$R\Gamma(X, K)$，它的上同调$H^{i(R\Gamma(X,K))$其实就是我们常说的“超上同调”$H}i(X, K)$。当$K$的上同调集中在非负度时，这个超上同调就和我们刚才说的上同调层的整体截面（在满足一定条件下，比如$X$是诺特概形或者仿射概形）是一致的。简单说，超上同调就是把整体截面函子“推广”到复形上，它的上同调就是复形层面的“全局截面障碍”。

备注：内容来源于stack exchange，提问作者iou