分次局部上同调模的导出函子（二）

令 $R=K[X_1,\ldots, X_n]$，其中 $K$ 是特征为零的域，并令 $A_n(K)$ 为 $K$ 上的第 $n$ 个 Weyl 代数。我们在 $R$ 与 $A_n(K)$ 上赋予标准分次。令 $I$、$J$ 为 $R$ 的齐次理想。对某个 $i, j$，令 $M = H^i_I(R)$ 且 $N = H^j_J(R)$。我们证明对所有 $\nu \geq 0$，$\Ext_{A_n(K)}^{\nu}(M,N)$ 集中在零次分次上，即 $\Ext_{A_n(K)}^{\nu}(M,N)_l=0$ 对 $l \neq0$ 成立。这证明了本文第一部分中所述的一个猜想。