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

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.