Riemann-Roch for homotopy invariant \(K\)-theory and Gysin morphisms (Q1705471)

\noindent Let \(f:Y\rightarrow X\) be a proper morphism between nonsingular quasiprojective irreducible varieties over a field. The Grothendieck's Riemann-Roch theorem asserts that for any element \(a\in K_{0}(Y)\) the following relation holds \[ {\mathrm{ch}}(f_{!}(a))=f_{*}({\mathrm{Td}}(T_f)\cdot {\mathrm{ch}}(a)) \] where \(\mathrm{ch}\) is the Chern character, \({\mathrm{Td}}(T_f)\) denotes the Todd class of the relative tangent bundle and \(f_{*}\) (resp. \(f_{!}\) ) is the direct image in the Chow ring ( resp. \(K_0\)). There are several extensions of this theorem to higher \(K\)-theory [\textit{H. Gillet}, Adv. Math. 40, 203--289 (1981; Zbl 0478.14010)], [\textit{A. Holmstrom} and \textit{J. Scholbach}, J. Algebr. Geom. 24, No. 4, 719--754 (2015; Zbl 1357.14036)]. However, they require all schemes to be regular. The author uses the work of \textit{D.-C. Cisinski} [Ann. Math. (2) 177, No. 2, 425--448 (2013; Zbl 1264.19003)] to prove a Riemann-Roch theorem for homotopy invariant \(K\)-theory \(KH\) and projective local complete intersection morphisms without smoothness assumptions on the schemes. The precise result for motivic cohomology \(H_{\mathcal M}\) and finite dimensional Noetherism schemes is the following Theorem: Let \(f: Y \rightarrow X\) be a projective lci morphism and denote \(T_f \in K_0(Y)\) the virtual tangent bundle and \(\mathrm{Td}\) the multiplicative extension of the series given by \(\frac{t}{1-e^{-t}}.\) Then the diagram \[ \begin{tikzcd} KH(Y)_{\mathbb Q}\arrow[r,"{f}_{*}"] \arrow[d,"\mathrm{Td}(T_f)\mathrm{ch}" left] & KH(X)_{\mathbb Q}\arrow[d,"\mathrm{ch}"] \\ H_{\mathcal M}(Y, {\mathbb Q}) \arrow[r,"{f}_{*}"] & H_{\mathcal M}(X, {\mathbb Q}) \end{tikzcd} \] From this the author deduces Riemann-Roch theorems for many cohomology theories e.g. for real absolute Hodge and Deligne-Beilinson cohomology, rigid syntomic cohomology and mixed Weil cohomologies. To prove his results the author constructs the Gysin morphism for regular immersions and every cohomology theory given by spectra. This construction uses a lift of results of Gabber for étale cohomology to the motivic homotopy setting. The new Gysin morphisms for many cohomology theories and some Riemann-Roch theorems for abstract modules are obtained.