Linkage of Cohen-Macaulay modules over a Gorenstein ring (Q1571069): Difference between revisions

Let \(R\) be a Gorenstein complete local ring. The notion of linkage for ideals of \(R\) has been introduced by \textit{C. Peskine} and \textit{L. Szpiro} [Invent. Math. 26, 271-302 (1974; Zbl 0298.14022)]. The authors extend this notion to Cohen-Macaulay modules, and consider the Cohen-Macaulay approximation functor \(X_R\), to reproduce the Rao correspondence in this new context. Since \(X_R\) is constant for modules in an even linkage class, it gives rise to a map \(\Phi_r\) from the set of even linkage classes of Cohen-Macaulay modules of codimension \(r\) to the set of isomorphism classes of maximal Cohen-Macaulay modules. The purpose of the paper is to provide properties of the map \(\Phi_r\) for \(r>0\). A condition for two Cohen-Macaulay modules to have the same image under \(\Phi_1\) is given, and it is proved that if \(R\) is a normal domain of dimension \(2\), then \(\Phi_2\) is surjective if and only if \(R\) is a unique factorization domain. Moreover some explicit computations for hypersurface rings are given.