An arithmetic Riemann-Roch theorem in higher degrees
type: Item
instance of: scholarly article
title: An arithmetic Riemann-Roch theorem in higher degrees
zbMATH Open document ID: 1152.14023
publication date: 2008-11-18T00:00:00Z
full work available at URL: https://arxiv.org/abs/0802.1400
full work available at URL: http://www.numdam.org/item
full work available at URL: https://eudml.org/doc/10374
review text: Let \(S\) be the spectrum of a Dedekind domain and \(g:Y\rightarrow B\) be a flat and projective \(S\)-morphism of quasi-projective regular and flat \(S\)-schemes. The Grothendieck-Riemann-Roch theorem, which asserts that the communication of the Chern character with push-forward maps can be obtained after multiplication of the Chern character with the Todd class of the virtual relative tangent bundle of \(g\), is one of the fundamental results in intersection theory. The arithmetic intersection theory can be traced back to \textit{S. Y. Arakelov}'s paper [Math. USSR, Izv. 8(1974), 1167--1180 (1976), translation from Izv. Akad. Nauk SSSR, Ser. Mat. 38, 1179--1192 (1974; Zbl 0355.14002)]. This theory has been systematically developed by \textit{H. Gillet} and \textit{C. Soulé} [Publ. Math., Inst. Hautes Étud. Sci. 72, 93--174 (1990; Zbl 0741.14012)]. In the article under review, the authors have proved an analogue of the Grothendieck-Riemann-Roch theorem in the framework of Gillet-Soulé's arithmetic intersection theory for the case where \(S=\mathrm{Spec}(\mathbb Z)\) and \(g_{\mathbb Q}\) is smooth. They have actually established the following equality: \[ \forall y\in\widehat{K}_0(Y),\;\widehat{\mathrm{ch}}(g_*(y)) =g_*\big(\widehat{\mathrm{Td}}(g)\cdot(1-R(Tg_{\mathbb C}))\cdot\widehat{\mathrm{ch}}(y)\big) \] in \(\widehat{\mathrm{CH}}(B)_{\mathbb Q}\), where the first \(g_*\) denotes the push-forward map \(\widehat{K}_0(Y)\rightarrow\widehat{K}_0(B)\) of arithmetic Grothendieck groups, and the second one denotes the push-forward map of the arithmetic Chow groups \(\widehat{\mathrm{CH}}(Y)_{\mathbb Q}\rightarrow\widehat{\mathrm{CH}}(B)_{\mathbb Q}\), \(\widehat{\mathrm{ch}}\) is the arithmetic Chern character, \(\widehat{\mathrm{Td}}(g)\) is the arithmetic Todd class and \(R\) is the \(R\)-genus. \qquad The proof of the theorem consists of establishing the invariance of the ``error term'' under closed immersions in projective spaces and the vanishing of the error …
reviewed by: Huayi Chen
Mathematics Subject Classification ID: 14G40
Mathematics Subject Classification ID: 14C40
Mathematics Subject Classification ID: 58J52
zbMATH DE Number: 5367573
zbMATH Keywords: Arakelov geometry
zbMATH Keywords: Grothendieck-Riemann-Roch theorm
zbMATH Keywords: analytic torsion form
zbMATH Keywords: arithmetic intersection theory
author: Henri Gillet
author: D. Rössler
author: Christophe Soulé
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2140857453
arXiv ID: 0802.1400
cites work: INTERSECTION THEORY OF DIVISORS ON AN ARITHMETIC SURFACE
cites work: Q4451321
cites work: Q2546548
cites work: Bott-Chern currents and complex immersions
cites work: Q4393472
cites work: Analytic torsion and holomorphic determinant bundles. I: Bott-Chern forms and analytic torsion. II: Direct images and Bott-Chern forms. III: Quillen metrics on holomorphic determinants
cites work: Q3972723
cites work: Q5288191
cites work: Q4212812
cites work: Calculus on arithmetic surfaces
cites work: Lectures on the Arithmetic Riemann-Roch Theorem. (AM-127)
cites work: Q3328651
cites work: Analytic torsion and the arithmetic Todd genus. (With an appendix by D. Zagier)
cites work: Arithmetic intersection theory
cites work: Characteristic classes for algebraic vector bundles with Hermitian metric. I
cites work: Characteristic classes for algebraic vector bundles with Hermitian metric. II
cites work: An arithmetic Riemann-Roch theorem
cites work: Moving lemma for K1 -chains
cites work: Q3994900
cites work: Intégration sur un ensemble analytique complexe
cites work: An Adams-Riemann-Roch theorem in Arakelov geometry
cites work: Q4002219
DOI: 10.5802/AIF.2410
published in: Annales de l’institut Fourier
Recommended article: An arithmetic Riemann-Roch theorem
Recommended article: Q4011126
Recommended article: Q3469195
Recommended article: Q4370891
Recommended article: Q3701537
Recommended article: A generalization of the Riemann-Roch theorem
Recommended article: The arithmetic Riemann-Roch theorem and the Jacquet-Langlands correspondence
Recommended article: An arithmetic Riemann-Roch theorem for singular arithmetic surfaces
Recommended article: A Riemann-Roch theorem
description: scientific article