Riemann-Roch for homotopy invariant K-theory and Gysin morphisms

We prove the Riemann-Roth theorem for homotopy invariant K-theory and projective local complete intersection morphisms between finite dimensional noetherian schemes, without smoothness assumptions. We also prove a new Riemann-Roch theorem for the relative cohomology of a morphism. In order to do so, we construct and characterize new Gysin morphisms for regular immersions between cohomologies represented by spectra (examples include homotopy invariant K-theory, motivic cohomology, their arithmetic counterparts, real absolute Hodge and Deligne-Beilinson cohomology, rigid syntomic cohomology, mixed Weil cohomologies) and we use this construction to prove a motivic version of the Riemann-Roch. (C) 2018 Published by Elsevier Inc.