Wiki. “可构造层” [可构造层]

拓扑空间 $X$ 上的可构造层是一种特殊的 Abel 群层, 满足 $X$ 可写为有限个局部闭集之并, 在每个局部闭集上这个层为局部常值层.

对于 Noether 概形上的 Abel 群层, …

$\mathbb P^1$ 上的导出前推.