\v{C}ech 上同调中谱序列的若干计算方面

层上同调，或更一般地，凝聚层沿真态射的高阶直接像是现代代数几何的核心。然而，这些对象的计算是一项非平凡且昂贵的任务，极易挑战现代计算机的算力极限。我们描述了一种算法及其实现，用于计算收敛到射影空间乘积 $\mathbb P = \mathbb P^{r_1}\times \dots \times \mathbb P^{r_m}$（基于任意仿射基 $\mathrm{Spec} R$）上有界层复形的高阶直接像的谱序列。我们假设环 $R$ 是可计算的，且层复形由（多重）分次模的实际复形表示。