An Adams-Riemann-Roch theorem in Arakelov geometry

DOI10.1215/S0012-7094-99-09603-5MaRDI QIDQ1974880zbMATH OpenFDO

Publication date 27 March 2000

Published in Duke Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://ora.ox.ac.uk/objects/uuid:6470f489-e21b-49eb-8477-8192319a508f

\(\lambda\)-operations Arakelov geometry Arakelov-Grothendieck group arithmetic Adams-Riemann-Roch theorem arithmetic Bott class arithmetic Grothendieck-Riemann-Roch theorem

Mathematics Subject Classification ID

Applications of methods of algebraic (K)-theory in algebraic geometry (14C35) Riemann-Roch theorems (14C40) Arithmetic varieties and schemes; Arakelov theory; heights (14G40) (K)-theory of schemes (19E08)

Review text

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.

Recommendations

Cites work

Cited in

(22)

This page was built for publication: An Adams-Riemann-Roch theorem in Arakelov geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1974880)