Stability of locally CMFPD homologies under duality (Q2515627): Difference between revisions

In the paper under review, the authors study bounded complexes \(P_{\bullet}\) of finitely generated projective \(A\)-modules whose homologies have finite projective dimension and are locally Cohen-Macaulay, and provide a necessary and sufficient condition so that the dual \(P_{\bullet}^*\) also has the same property. Let \(A\) be a Cohen-Macaulay ring with \(\dim A_{\mathfrak{m}} = d\), for all maximal ideals \(\mathfrak{m}\) of \(A\), let \(M\) denote a finitely generated \(A\)-module with \(\mathrm{proj} \dim(M) = r < \infty\). Let \(\mathcal{B}\) denote the category of such finitely generated \(A\)-modules \(M\), with \(\mathrm{proj}\dim(M) = \mathrm{grade}(M)\), and let \(Ch_{\mathcal{B}}^b(\mathcal{P}(A))\) denote the category of finite complexes of finitely generated projective \(A\)-modules, with homologies in \(\mathcal{B}\). Let the homology \(H_t(P_{\bullet}) \neq 0\), at degree \(t\) and \(\rho_t = \mathrm{proj}\dim (H_t (P_{\bullet} ))\). The homomorphism \(H_t (P_{\bullet}) \rightarrow \frac{P_t}{B_t}\), where \(B_t = \delta_{t+1} (P_{t+1})\), induces a homomorphism \[ \iota_t: \mathrm{Ext}^{\rho_t} \left( \frac{P_t}{B_t}, A \right) \rightarrow \mathrm{Ext}^{\rho_t} (H_t(P_{\bullet}), A). \] The authors prove that for a complex \(P_{\bullet} \in Ch_{\mathcal{B}}^b(\mathcal{P}(A))\) its dual \(P_{\bullet}^* \in Ch_{\mathcal{B}}^b(\mathcal{P}(A))\) if and only if \(\iota_t\) is an isomorphism, for \(H_t(P_{\bullet}) \neq 0\).