Noetherian 环上顶层局部上同调模的消失性

设 R 为（未必局部的）Noetherian 环，M 为有限生成的 R-模且维数为有限数 d。设 \fa 为 R 的理想，\fM 表示 Supp_RH^d_{\fa}(M) 中所有素理想 \fp 的交。我们证明了 H^d_{\fa}(M)\simeq H^d_{\fM}(M)/\displaystyle{\sum_{n\in \mathbb{N}}}<\fM>(0:_{H^d_{\fM}(M)}\fa^n)，其中对 Artinian R-模 A 我们令 <\fM>A=\cap_{n\in \mathbb{N}} \fM^nA。作为一个推论，证明了对于 R 的所有理想 \fa，仅有有限多个互不同构的、具有相同支集的顶层局部上同调模 H^d_{\fa}(M)。此外，我们在未必局部的环上建立了 Lichtenbaum-Hartshorne 消失定理的类似物。