Approximations of complete modules by complete big Cohen-Macaulay modules over a Cohen-Macaulay local ring (Q838979): Difference between revisions
From MaRDI portal
Latest revision as of 23:08, 1 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Approximations of complete modules by complete big Cohen-Macaulay modules over a Cohen-Macaulay local ring |
scientific article |
Statements
Approximations of complete modules by complete big Cohen-Macaulay modules over a Cohen-Macaulay local ring (English)
0 references
1 September 2009
0 references
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)].
0 references
Cohen-Macaulay module
0 references
local ring
0 references
complete module
0 references
envelope
0 references
cover
0 references
0 references
0 references