The structure of preenvelopes with respect to maximal Cohen-Macaulay modules (Q897778)

Ler \((R, m , k)\) be a Cohen-Macaulay local ring of dimension \(d\) and canonical module \(\omega\). In [Mém. Soc. Math. Fr., Nouv. Sér. 38, 5--37 (1989; Zbl 0697.13005)], \textit{M. Auslander} and \textit{R.-O. Buchweitz} showed that, for every finitely generated \(R\)-module \(M\), there exists of a short exact sequence \(0 \to Y \rightarrow X \rightarrow M \to 0\) where \(X\) is maximal Cohen-Macaulay and \(Y\) has finite injective dimension. The homomorphism \(X \rightarrow M\) is an MCM precover of \(M\). When \(R\) is Henselian, Takahashi and Yoshino showed that, for every finitely generated \(M\), there exists a MCM cover, which further means that \(Y\) and \(X\) have no non-zero common direct sum via the homomorphism \(Y \to X\) (see [\textit{R. Takahashi}, Math. Z. 251, No. 2, 249--256 (2005; Zbl 1098.13014); Proceeding of the \(4^{th}\) Symposium on Representation Theory of Algebras (in Japanese) (1993)]). \textit{H. Holm} [Pac. J. Math. 277, No. 2, 355--370 (2015; Zbl 1328.13014)] showed a `dual' theorem to the above ones. He proved that every finitely generated \(R\)-module has a special MCM-preenvelope, and a MCM-envelope when \(R\) is Henselian. In the paper, the author gives an answer to determine whether a given homomorphism is a special MCM-preenvelope or a MCM-envelope. His results are in terms of the kernels and the cokernels (Theorem 1.1). Furthermore, by using Theorem 1.1, he gives an equivalent condition on special MCM-preenvelopes with respect to the existence of certain complexes (Theorem 1.2). He also proves a result on the structure of MCM coresolutions when \(R\) is Henselian (Theorem 1.3).