NAK for Ext and ascent of module structures
From MaRDI portal
Abstract: We investigate the interplay between properties of Ext modules and ascent of module structures along local ring homomorphisms. Specifically, let f: (R,m,k) -> (S,mS,k) be a flat local ring homomorphism. We show that if M is a finitely generated R-module such that Ext^i(S,M) satisfies NAK (e.g. if Ext^i(S,M) is finitely generated over S) for i=1,...,dim_R(M), then Ext^i(S,M)=0 for all i
eq 0 and M has an S-module structure that is compatible with its R-module structure via f. We provide explicit computations of Ext^1(S,M) to indicate how large it can be when M does not have a compatible S-module structure.
Recommendations
Cites work
- scientific article; zbMATH DE number 43569 (Why is no real title available?)
- scientific article; zbMATH DE number 2046147 (Why is no real title available?)
- scientific article; zbMATH DE number 3198931 (Why is no real title available?)
- Amplitude inequalities for complexes
- Ascent of module structures, vanishing of Ext, and extended modules
- Detecting completeness from Ext-vanishing
- Extensions of a dualizing complex by its ring: Commutative versions of a conjecture of Tachikawa
- Gorenstein dimensions
- Power series rings and projectivity
- Transfer of Gorenstein dimensions along ring homomorphisms
Cited in
(5)
This page was built for publication: NAK for Ext and ascent of module structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5401357)