迈向一种判定素特征下局部上同调模消失的高效算法

设 $R=k[x_1,\dots,x_n]$ 为特征 $p>0$ 的域 $k$ 上的多项式环。存在一种由 Lyubeznik 提出的算法，用于判定局部上同调模 $H^i_I(R)$ 的消失性，其中 $I\subset R$ 为一个理想。该算法尚未被实现，因为其复杂度随 $p$ 的增长而急剧增加，导致其不具实用性。在本文中，我们提出了一种对该算法的改进版本，其内存消耗适中。