关于广义局部上同调模的消没

设$\fa$表示一个$d$维Gorenstein局部环$R$的理想，$M$和$N$是两个有限生成的$R$-模，且$\pd M< \infty$。我们证明了$H^d_{\fa}(M,N)=0$当且仅当对于所有$\fp\in\Ass_{\hat{R}}\hat{M}\cap\Supp_{\hat{R}}\hat{N}$，有$\dim \hat{R}\big/ \fa\hat{R}+\fp>0$。