On the higher Riemann-Roch without denominators

We prove two refinements of the higher Riemann-Roch without denominators: a statement for regular closed immersions between arbitrary finite dimensional noetherian schemes, with no smoothness assumptions, and a statement for the relative cohomology of a proper morphism.