An Explicit Construction of Residual Complexes,

Let φ: → be a morphism of finite type between locally Noetherian schemes whose fibers have bounded dimensions. Given concretely a residual complex on , we construct canonically a concrete residual complex on cY.