Integral Grothendieck-Riemann-Roch theorem (Q2464700)

Let \(\mathrm{Td}\) denote the Todd power series \(\prod_{j\geq 1}x_j/(1- e^{-x_j})\) viewed as a formal power series in the variables \(c_i\) (= the \(i\)th elementary symmetric functions of \(x_j\)), and let \(\mathrm{ch}\) denote the Chern power series \(r+ \sum_{j\geq 1} (e^{x_j'}- 1)\) viewed as a formal power series in the variables \(c_i'\) (= the \(i\)th elementary symmetric functions of \(x_i\)). Let \(T_m= \prod_p p^{[m/(p- 1)]}\), where the bracket denotes the integral part and the product is over prime numbers. Note that the integer \(T_m\) is the denominator of the degree \(m\) part of Td. Let \({\mathcal C}{\mathcal T}_m= T_m(\text{ch}\cdot\text{Td})_m\), where \((\bullet)_m\) denotes the degree \(m\) part of \((\bullet)\), so that \({\mathcal C}{\mathcal T}_m\in\mathbb{Z}[c_1,\dots, c_m, r, c_1',\dots, c_m']\). For a variety \(Y\) over a field \(k\) of characteristic zero, and a locally free coherent \({\mathcal O}_Y\)-sheaf \({\mathcal F}\) on \(Y\), let \({\mathcal C}{\mathcal T}_m({\mathcal F}, Y)={\mathcal C}{\mathcal T}_m(c_1(T_Y),\dots, c_m(T_Y), \text{rank}({\mathcal F}), c_1'({\mathcal F}),\dots, c_m'({\mathcal F}))\) in \(\text{CH}^m(Y)\). The main result of this paper is stated as follows. Let \(X\), \(S\) be smooth quasi-projective varieties over \(k\) and let \(f: X\to S\) be a projective morphism over \(k\). Set \(d= \dim X- \dim S\) and suppose that \({\mathcal F}\) is a coherent \({\mathcal O}_X\)-sheaf on \(X\). Then the identity \((T_{d+ n}/T_n){\mathcal C}{\mathcal T}_n(f_*[{\mathcal F}], S)= f_*({\mathcal C}{\mathcal T}_{d+n}({\mathcal F}, X))\) holds if \(d\geq 0\), and the identity \({\mathcal C}{\mathcal T}_n(f_*[{\mathcal F}], S)= (T_n/T_{n+d}) f_*({\mathcal C}{\mathcal T}_{n+ d}({\mathcal F},X))\) holds if \(d< 0\). The crucial ingredients for his proof are Hironaka's resolution of singularities and the weak factorization theorem for birational maps due to \textit{D. Abramovich}, \textit{K. Karu}, \textit{K. Matsuki} and \textit{J. Włodarczyk} [J. Am. Math. Soc. 15, No. 3, 531--572 (2002; Zbl 1032.14003)]; the use of these restricts the result to characteristic zero cases.