Hom and Ext, revisited

From MaRDI portal
Publication:2219002



Abstract: Let R be a commutative Noetherian local ring and M,N be finitely generated R-modules. We prove a number of results of the form: if mboxHomR(M,N) has some nice properties and mboxExtR1leqileqn(M,N)=0 for some n, then M (and sometimes N) must be be close to free. Our methods are quite elementary, yet they suffice to give a unified treatment, simplify, and sometimes extend a number of results in the literature.


Throughout this paper, \(R\) is a commutative noetherian local ring. For finitely generated \(R\)-modules \(M\) and \(N\), the authors in the paper under review prove a number of results of the form: if \(\mathrm{Hom}_{R}(M, N)\) has some nice properties and \(\mathrm{Ext}_{R}^{1\leq i\leq n}(M, N)=0\) for some \(n\), then \(M\) (and sometimes \(N\)) must be close to free. For example, they prove that if \(\mathrm{depth}M\geq t\), \(N\in\Omega\mathrm{Deep}(R)\), \(\mathrm{Hom}_{R}(M, N)\in \mathrm{DF}(R)\) and \(\mathrm{Ext}_{R}^{1\leq i\leq t-1}(M, N)=0\) then \(N\) has a free summand. Some applications, including a modest case of the Auslander-Reiten conjecture are given.











This page was built for publication: Hom and Ext, revisited

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