Cousin complexes via total fractions (Q6038535)

One of the goals of this article is to give a concrete description of the Cousin complex in terms of images of the generalized fractions \(\begin{bmatrix} m/f\\ f_1, \ldots, f_r\\ \end{bmatrix} \in H^r_{\mathfrak{p}R_{\mathfrak{p}}}(M_{\mathfrak{p}})\) in \(H^{r+1}_{\mathfrak{q}R_{\mathfrak{q}}}(M_{\mathfrak{q}})\) for \(r=\text{ht} \ \mathfrak{p}= \text{ht} \mathfrak{q}-1\). The author includes a running example with the ring \(\kappa[[x^4,x^3y,xy^3,y^4]]\) as well as a few other examples, one in the Stanley-Reisner ring \(\kappa[x,y,z]/(xz,yz)\) and the others for regular rings of various dimensions and characteristics, where he illustrates the several laws which he proves hold for generalized fractions. He proves that every element in \(C_R^r(M)\) can be expressed as a single total fraction whose denominators \(f_1, \ldots, f_r\) satisfy \(\text{ht}(f_1, \ldots,f_i) =i\) for \(1 \leq i \leq r\) where the modules \(C_R^r(M)\) are the modules which make up the Cousin complex. Before defining the maps of the Cousin complex, he proves that if the generalized fractions \[ \begin{bmatrix} m/f\\ f_1, \ldots, f_r\\ \end{bmatrix}_{\Sigma}=\begin{bmatrix} m'/f'\\ f_1', \ldots, f_r'\\ \end{bmatrix}_{\Sigma} \] where \(\text{ht}(f_1, \ldots f_r)=\text{ht}(f_1', \ldots f_r')=r\) then \[ \begin{bmatrix} m\\ f_1, \ldots, f_r,f\\ \end{bmatrix}_{\Sigma}=\begin{bmatrix} m'\\ f_1', \ldots, f_r',f'\\ \end{bmatrix}_{\Sigma}. \] This ensures that the Cousin complex maps \(d_r: C^r_R(M) \rightarrow C^{r+1}_R(M) \) are well defined. He then exhibits some concrete computations of Cousin cohomology. He concludes the paper by showing that the vanishing of the Cousin cohomology for \(i \leq r-2\) detects Serre's condition \((S_r)\) for the commutative Noetherian ring \(R\) with the obvious corollaries that this theorem implies for Cohen-Macaulay and Gorenstein rings.