Matlis category equivalences for a ring epimorphism (Q2176105)

In this paper, the authors construct, under mild conditions, the two Matlis additive category equivalences for an associative ring epimorphism \( u: R \rightarrow U\). Assuming that the ring epimorphism is homological of flat/projective dimension \(1\), the authors discuss the abelian categories of \(u\)-comodules and \(u\)-contramodules and construct the recollement of unbounded derived categories of \(R\)-modules, \(U\)-modules and complexes of \(R\)-modules with \(u\)-co/contramodule cohomology. Under further assumptions, the authors describe the third category in the recollement as the unbounded derived category of the abelian categories of \(u\)-comodules and \(u\)-contramodules. For a commutative rings, the authors prove that any homological epimorphism of projective dimension \(1\) is flat.