English

A converse to a construction of Eisenbud-Shamash

Commutative Algebra 2021-03-17 v1

Abstract

Let (Q,n,k)(Q,\mathfrak n,k) be a commutative local Noetherian ring, f1,,fcf_1,\dots, f_c a QQ-regular sequence in n\mathfrak n, and R=Q/(f1,,fc)R=Q/(f_1,\dots,f_c). Given a complex of finitely generated free RR-modules, we give a construction of a complex of finitely generated free QQ-modules having the same homology. A key application is when the original complex is an RR-free resolution of a finitely generated RR-module. In this case our construction is a sort of converse to a construction of Eisenbud-Shamash yielding a free resolution of an RR-module MM over RR given one over QQ.

Keywords

Cite

@article{arxiv.1811.05508,
  title  = {A converse to a construction of Eisenbud-Shamash},
  author = {Petter A. Bergh and David A. Jorgensen and W. Frank Moore},
  journal= {arXiv preprint arXiv:1811.05508},
  year   = {2021}
}