关于若干局部上同调谱序列

我们引入一种形式体系，用以构造若干族涉及有限偏序集上极限与余极限函子的导出函子的谱序列。第一类谱序列涉及余极限的左导出函子，该余极限是将一族函子作用于单个模所得到的直接系统。对于第二类，我们采用完全不同的策略：从将协变函子作用于逆系统所得到的逆系统出发。这些谱序列涉及相应极限的右导出函子。我们亦给出了反变函子的一个版本。在所有引入的谱序列中，我们提供了确保其于第二页退化的充分条件。作为推论，我们得到了一些分解定理，极大地推广了 Hochster 给出的局部上同调模的著名分解公式。