Let Q→R be a surjective homomorphism of Noetherian rings such that Q is Gorenstein and R as a Q-bimodule admits a finite resolution by modules which are projective on both sides. We define an adjoint pair of functors between ...