Relative tor functors with respect to a semidualizing module

Syzygies, resolutions, complexes and commutative rings (13D02) Homological dimension and commutative rings (13D05) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07)

Abstract: We consider relative Tor functors built from resolutions described by a semidualizing module C over a commutative noetherian ring R. We show that the bifunctors Tor^{F_CM}_i (-,-) and Tor^{P_CM}_i (-,-), defined using flat-like and projective-like resolutions, are isomorphic. We show how the vanishing of these functors characterizes the finiteness of the homological dimension F_C-pd, and we use this to give a relation between the F_C-pd of a given module and that of a pure submodule. On the other hand, we show that other relations that one may expect to hold similarly, fail in general. In fact, such relations force the semidualizing modules under consideration to be trivial.

Review text

All rings in the paper under review are commutative and noetherian. According to the authors, the relative homological algebra is the study of non-traditional resolution and the (co)-homology theories. This idea goes back to Butler, Horrocks, Eilenberg and Moore and was reinvigorated by \textit{M. C. R. Butler} and \textit{G. Horrocks} [Philos. Trans. R. Soc. Lond., Ser. A 254, 155--222 (1961; Zbl 0099.25902)]; \textit{S. Eilenberg} and \textit{J. C. Moore} [Mem. Am. Math. Soc. 55, 39 p. (1965; Zbl 0129.01101)]; \textit{E. E. Enochs} and \textit{O. M. G. Jenda} [Relative homological algebra. de Gruyter Expositions in Mathematics. 30. Berlin: Walter de Gruyter. (2000; Zbl 0952.13001)] and \textit{L. L. Avramov} and \textit{A. Martsinkovsky} [Proc. Lond. Math. Soc. (3) 85, No. 2, 393--440 (2002; Zbl 1047.16002)]. By \(\mathcal{P}(R)\), \(\mathcal{F}(R)\) and \(\mathcal{I}(R)\) denote the subcategories of projective, flat and injective \(R\)-modules. A finitely generated \(R\)-module \(C\) is semidualizing if \(\text{Hom}_R(C,C)\cong R\) and \(\text{Ext}^i_R(C,C)=0\) for \(i\geqslant1\). Let \(\mathcal{P}_C(R)\)=the subcategory of modules \(M\cong P\otimes_RC\) for some \(P\in \mathcal{P}(R)\); \(\mathcal{F}_C(R)\)=the subcategory of modules \(M\cong F\otimes_RC\) for some \(F\in \mathcal{F}(R)\); \(\mathcal{I}_C(R)\)=the subcategory of modules \(M\cong \text{Hom}(C,I)\) for some \(I\in \mathcal{I}(R)\). Let \(Q\) be a proper \(\mathcal{P}_C\)-resolution of \(M\), and let \(G\) be a proper \(\mathcal{F}_C\)-resolution of \(M\). For each \(i\geqslant0\), set \(\text{Tor}_i^{\mathcal{P}_C\mathcal{M}}(M,N):=H_i(Q\otimes_RN)\cong H_i(N\otimes_RQ)=:\text{Tor}_i^{\mathcal{MP}_C}(N,M)\) \(\text{Tor}_i^{\mathcal{F}_C\mathcal{M}}(M,N):=H_i(G\otimes_RN)\cong H_i(N\otimes_RG)=:\text{Tor}_i^{\mathcal{MF}_C}(N,M)\). Let \(C\) be a semidualizing \(R\)-module, and \(M\) and \(N\) be \(R\)-modules. The authors prove that for each \(i\), there is a natural isomorphism \(\text{Tor}_i^{\mathcal{P}_C\mathcal{M}}(M,N)\cong \text{Tor}_i^{\mathcal{F}_C\mathcal{M}}(M,N)\). On other hand, many properties of absolute Tor do not pass to the relative setting, for instance, \(\text{Tor}_i^{\mathcal{F}_C\mathcal{M}}(M,N)\ncong \text{Tor}_i^{\mathcal{MF}_C}(M,N)\). Some results by the authors provide classes of modules \(M\) and \(N\) such that these non-isomorphisms are isomorphisms. On other hand, they show that the only way that these non-isomorphisms are always isomorphisms only in the trivial case. For instance, they prove the theorem. Theorem. Assume that \((R,\mathbf{m}, k)\) is local, and let \(B\) and \(C\) be semidualizing \(R\)-modules. Then the following condition are equivalent (i) \(\text{Tor}_i^{\mathcal{F}_B\mathcal{M}}(M,N)\cong\text{Tor}_i^{\mathcal{MF}_C}(M,N)\) for all \(i\geqslant0\) and for all \(R\)-modules \(M,N\). (ii) \(\text{Tor}_i^{\mathcal{F}_B\mathcal{M}}(B,k)\cong\text{Tor}_i^{\mathcal{MF}_C}(B,k)\) for \(i=0\) and some \(i>0\). (iii) \(\text{Tor}_i^{\mathcal{F}_B\mathcal{M}}(k,C)\cong\text{Tor}_i^{\mathcal{MF}_C}(k,C)\) for \(i=0\) and some \(i>0\). (iv) \(B\cong R\cong C\). The authors discuss \(\mathcal{F}_C\)-pd, the homological dimension obtained from bounded proper \(\mathcal{F}_C\)-resolutions, and its relation to relative Tor in the last section.

Recommendations

Cites work

Cited in

(27)

This page was built for publication: Relative tor functors with respect to a semidualizing module

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2015172)