On the structure of Cousin complexes (Q1261748)

Let \(A\) denote a commutative Noetherian ring, \(M\) an \(A\)-module and \({\mathcal F} = (F_ i)_{i \in \mathbb{N}}\) a descending sequence of subsets of \(\text{Spec} (A)\) with \(\text{Supp} (M) \subseteq F_ 0\), so that for each \(i \in \mathbb{N}\) each member of \(\partial F_ i : = F_ i \backslash F_{i + 1}\) is minimal in \(F_ i\) with respect to inclusion. The generalized Cousin complex \(C({\mathcal F}, M)\) has the form \[ 0 @>d^{- 2}_{\mathcal F}>> M @>d^{-1}_{\mathcal F}>> M^ 0 @>d^ 0_{\mathcal F}>> M^ 1 \longrightarrow \cdots \longrightarrow M^ n @>d^ n_{\mathcal F}>> M^{n + 1} \longrightarrow \cdots \] with \(M^ n = \bigoplus_{{\mathfrak p} \in \partial F_ n} (\text{Coker} d_{\mathcal F}^{n-2})_{\mathfrak p}\) for each \(n \in \mathbb{N}\). In the special case \({\mathcal F} = {\mathcal H} = (H_ i)\) with \(H_ i : = \{{\mathfrak p} \in \text{Supp} (M) \mid h t_ M {\mathfrak p} \geq i\}\) for all \(i\) we get the usual Cousin complex \(C(M) : = C({\mathcal H}, M)\). The authors show that \(C({\mathcal F}, M)\) can be constructed as a quotient complex of \(C(M)\) which is obtained by deleting some of the direct summands \((\text{Coker} d_{\mathcal H}^{n - 2})_{\mathfrak p}\) and leaving the other intact. From this they deduce that the exactness of \(C({\mathcal F}, M)\) implies the exactness of \(C(M)\) and that both complexes are isomorphic.