2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/133314We use the anti-equivalence between Cohen-Macaulay complexes and coherent sheaves on formal schemes to shed light on some older results and prove new results. We bring out the relations between a coherent sheaf M satisfying an S_2 condition and the lowest cohomology N of its "dual" complex. We show that if a scheme has a Gorenstein complex satisfying certain coherence conditions, then in a finite étale neighborhood of each point, it has a dualizing complex. If the scheme already has a dualizing complex, then we show that the Gorenstein complex must be a tensor product of a dualizing complex and a vector bundle of finite rank. We relate the various results in [S] on Cousin complexes to dual results on coherent sheaves on formal schemes.40 pages. Substantially different from earlier version(s). To appear in Journal of AlgebraAlgebraic GeometryCommutative Algebra14F05; 14A15; 14F10; 18E30text