Conductor, projectivity and injectivity (Q758516): Difference between revisions

This paper discusses the rôle of the conductor of a ring extension vis-à-vis the descent of projectivity and injectivity. Regarding the former, the first result says that an injective homomorphism of commutative rings descends the projectivity if it does so modulo the conductor. The cheap version -- that with noetherian hypotheses -- of the descent of projectivity by a finite homomorphism due to Gruson then follows easily. A carbon copy -- with the natural modification -- of the descent of injectivity is also proved. Forthcoming are some applications to homological dimension relations in Cartesian squares and the coherence of polynomial rings. The statement of the results follows very closely the lines of similar work of \textit{D. Ferrand} [C. R. Acad. Sci., Paris, Sér. A 269, 946--949 (1969; Zbl 0185.10001)] on flat modules rather than those of the remarkable [\textit{M. Raynaud} and \textit{L. Gruson} [Invent. Math. 13, 1--89 (1971; Zbl 0227.14010)].