An Adams-Riemann-Roch theorem in Arakelov geometry (Q1974880): Difference between revisions

In this paper, the author establishes and proves an Adams-Riemann-Roch theorem for compactified Grothendieck groups in the sense of Arakelov geometry, more precisely: Let \(g: Y \to B\) be a morphism between arithmetic varieties which is projective, flat and smooth over the rational numbers. Suppose that \(g\) is a local complete intersection morphism and that \(Y(\mathbb C)\) is endowed with some Kähler metric. Using the higher analytic torsion defined by \textit{J.-M. Bismut} and \textit{K. Köhler} [J. Algebr. Geom. 1, No. 4, 647-684 (1992; Zbl 0784.32023)], the author defines a push-forward map \(g_*: \widehat{K}_0(Y) \to \widehat{K}_0(B)\) between the corresponding Arakelov-Grothendieck groups; its determinant is represented in \(\widehat{K}_0(B)\) by the determinant of the cohomology endowed with the Quillen metric. Furthermore, in a previous paper, the author has shown that the \(\lambda\)-operations on Arakelov-Grothendieck groups constructed by Gillet and Soulé actually define a (special) \(\lambda\)-ring structure. For \(k \in \mathbb N\), let \(\psi^k\) denote the corresponding Adams operation. Then, for any \(y \in \widehat{K}_0(Y) \otimes \mathbb Z[1/k]\), we have the following Adams-Riemann-Roch formula in \(\widehat{K}_0(B) \otimes \mathbb Z[1/k]\): \[ \psi^k(g_*(y)) = g_*(\theta^k_A(\overline{T}^\vee_g)^{-1} \cdot \psi^k(y)); \] here, \(\theta^k_A(\overline{T}_g^\vee)^{-1}\) is the so-called arithmetic Bott class whose definition involves the classical Bott class and a certain Bott-Chern secondary class. The main part of the proof of this theorem is to establish and prove a Riemann-Roch theorem for regular immersions which, for \(k=1\), follows immediately from Bismut's theorem describing the behaviour of analytic torsion under immersions [\textit{J.-M. Bismut}, C. R. Acad. Sci., Paris, Sér. I 320, No. 8, 969-974 (1995; Zbl 0844.32010)] and which, in general, is derived from Bismut's theorem using the deformation to the normal cone technique. According to the author, all these analytic and geometric techniques also appear in the proof of the arithmetic Riemann-Roch theorem for the first Chern class with values in arithmetic Chow groups [see \textit{H. Gillet} and \textit{C. Soulé}, Invent. Math. 110, No. 3, 473-543 (1992; Zbl 0777.14008)]. Furthermore, that theorem can be extended to a Riemann-Roch theorem for the full Chern character, and the Adams-Riemann-Roch formula above, after tensoring with \(\mathbb Q\), can also be deduced from this extension. In the last section, the author states and proves an arithmetic Grothendieck-Riemann-Roch theorem with values in the graded object which arises from the \(\gamma\)-filtration in arithmetic Grothendieck groups.