Approximations of complete modules by complete big Cohen-Macaulay modules over a Cohen-Macaulay local ring
Let \(\mathcal T\) be a class of objects in an additive category \(\mathcal A\). A morphism \(f: M \rightarrow T\) with \(M \in {\mathcal A}\) and \(T \in {\mathcal T}\) is called a \(\mathcal T\)-\textit{preenvelope} if \(\text{Hom}_{\mathcal A}(T,T^{\prime}) \rightarrow \text{Hom}_{\mathcal A}(M,T^{\prime})\) is surjective, \(\forall T^{\prime} \in {\mathcal T}\). A \(\mathcal T\)-preenvelope is called a \(\mathcal T\)-\textit{envelope} when any endomorphism \(h\) of \(T\) with \(h \circ f = f\) is an automorphism. Dually, one has the notion of \(\mathcal T\)-\textit{cover}. Now, let \((A,\mathfrak{m},k)\) be a Cohen-Macaulay noetherian local ring, \(\mathcal X\) the class of complete big Cohen-Macaulay \(A\)-modules plus the null module and \(\mathcal Y\) the class of complete \(A\)-modules of finite injective dimension. In the paper under review, the author shows that any complete \(A\)-module, not necessarily finitely generated, admits a surjective \(\mathcal X\)-cover with kernel in \(\mathcal Y\) and an injective \(\mathcal Y\)-envelope with cokernel in \(\mathcal X\). This result extends to complete modules the theory developed by \textit{M. Auslander} and \textit{R. O. Buchweitz} [Mém. Soc. Math. Fr. 38, 5--37 (1989; Zbl 0697.13005)] for finitely generated modules. The above result allows the author to extend to complete modules some other known facts concerning finitely generated ones. For example, she shows that every element of \({\mathcal X} \cap {\mathcal Y}\) is of the form \(W\otimes_{\widehat A}F\), where \(W\) is the dualizing module of \(\widehat A\) and \(F\) is a complete flat \(A\)-module, thus extending a result of \textit{R. Y. Sharp} [Proc. Lond. Math. Soc., III Ser. 25, 303--328 (1972; Zbl 0244.13015)]. The author also shows that if \(M\) is a complete \(A\)-module and \((0) \neq Y \in {\mathcal Y}\) then: \[ \text{dim}\, A = \text{inf}\, \{ i\, | \, \text{Ext}^i_A(k,M) \neq 0\} + \text{sup}\, \{ i\, | \, \text{Ext}^i_A(M,Y) \neq 0 \}. \] This relation extends a result of \textit{C. Peskine} and \textit{L. Szpiro} [Publ. Math. Inst. Hautes Ét. Sci. 42, 77--119 (1972; Zbl 0268.13008)].
- A generalization of Auslander's last theorem
- INJECTIVE COVERS OVER COMMUTATIVE NOETHERIAN RINGS OF GLOBAL DIMENSION AT MOST TWO II
- The structure of preenvelopes with respect to maximal Cohen-Macaulay modules
- Envelopes and covers by modules of finite injective and projective dimensions
- Envelopes, covers and semidualizing modules
- Flat covers of modules
- Finitely generated cotorsion modules
- scientific article; zbMATH DE number 2070341
- Tilting preenvelopes and cotilting precovers
- Rings characterized by (pre)envelopes and (pre)covers of their modules∗
- adic-completion and some dual homological results
- Der kanonische Modul eines Cohen-Macaulay-Rings. (The canonical moduls of a Cohen-Macaulay-ring)
- Dimension projective finie et cohomologie locale. Applications à la demonstration de conjectures de M. Auslander, H. Bass et A. Grothendieck
- Finitely Generated Modules of Finite Injective Dimension Over Certain Cohen-Macaulay Rings†
- scientific article; zbMATH DE number 3830089 (Why is no real title available?)
- scientific article; zbMATH DE number 44598 (Why is no real title available?)
- scientific article; zbMATH DE number 482758 (Why is no real title available?)
- scientific article; zbMATH DE number 3279238 (Why is no real title available?)
- Power series rings and projectivity
- Reduced Bass numbers, Auslanders δ-invariant and certain homological conjectures
- Some homological properties of complete modules
- Some remarks on index and generalized Loewy length of a Gorenstein local ring
- The homological theory of maximal Cohen-Macaulay approximations
- Cohen-Macaulay approximation in fibred categories
- The homotopy theory of complete modules
- Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories
- Finitely generated cotorsion modules
- scientific article; zbMATH DE number 202546 (Why is no real title available?)
- A separated cohomologically complete module is complete
- The structure of balanced big Cohen-Macaulay modules over Cohen-Macaulay rings
- Some homological properties of complete modules
- Remarks on derived complete modules and complexes
- Differential graded Koszul duality: An introductory survey
- Govorov-Lazard type theorems, big Cohen-Macaulay modules, and Cohen-Macaulay hearts
- Flat comodules and contramodules as directed colimits, and cotorsion periodicity
- Contramodules
- Homological full-and-faithfulness of comodule inclusion and contramodule forgetful functors
- A new approximation theory which unifies spherical and Cohen--Macaulay approximations
This page was built for publication: Approximations of complete modules by complete big Cohen-Macaulay modules over a Cohen-Macaulay local ring
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q838979)
