  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.
