An arithmetic Riemann-Roch theorem in higher degrees
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 term for relative projective spaces. The general case comes from a combination of these two results. For the first point, the authors have applied the arithmetic Riemann-Roch for closed immersions and Bismut's immersion formula. The proof of the second points relies on the degree \(1\) version of the arithmetic Grothendieck-Riemann-Roch theorem previously proved by \textit{H. Gillet} and \textit{C. Soulé} [Invent. Math. 110, No. 3, 473--543 (1992; Zbl 0777.14008)] and the independence of the ``error term established in the article under review by using Bismut-Köhler's anomaly formulae for the analytic torsion form.
- An arithmetic Riemann-Roch theorem
- scientific article; zbMATH DE number 66494
- Publication:3469195
- scientific article; zbMATH DE number 1101449
- scientific article; zbMATH DE number 3927074
- A generalization of the Riemann-Roch theorem
- The arithmetic Riemann-Roch theorem and the Jacquet-Langlands correspondence
- An arithmetic Riemann-Roch theorem for singular arithmetic surfaces
- A Riemann-Roch theorem
- An Adams-Riemann-Roch theorem in Arakelov geometry
- An arithmetic Riemann-Roch theorem
- 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
- Analytic torsion and the arithmetic Todd genus. (With an appendix by D. Zagier)
- Arithmetic intersection theory
- Bott-Chern currents and complex immersions
- Calculus on arithmetic surfaces
- Characteristic classes for algebraic vector bundles with Hermitian metric. I
- Characteristic classes for algebraic vector bundles with Hermitian metric. II
- scientific article; zbMATH DE number 3859276 (Why is no real title available?)
- scientific article; zbMATH DE number 16075 (Why is no real title available?)
- scientific article; zbMATH DE number 42069 (Why is no real title available?)
- scientific article; zbMATH DE number 51842 (Why is no real title available?)
- scientific article; zbMATH DE number 1207252 (Why is no real title available?)
- scientific article; zbMATH DE number 1161556 (Why is no real title available?)
- scientific article; zbMATH DE number 2046509 (Why is no real title available?)
- scientific article; zbMATH DE number 247024 (Why is no real title available?)
- INTERSECTION THEORY OF DIVISORS ON AN ARITHMETIC SURFACE
- Intégration sur un ensemble analytique complexe
- Lectures on the Arithmetic Riemann-Roch Theorem. (AM-127)
- Moving lemma for K1 -chains
- Séminaire de géométrie algébrique du Bois Marie 1966/67, SGA 6.Dirigé par P. Berthelot, A. Grothendieck et L. Illusie, Avec la collaboration de D. Ferrand, J. P. Jouanolou, O. Jussilia, S. Kleiman, M. Raynaud et J. P. Serre. Théorie des intersection
- The asymptotics of the holomorphic torsion forms
- On the full asymptotics of analytic torsion
- An Adams-Riemann-Roch theorem in Arakelov geometry
- The direct image of a flat fibration with complex fibers
- Differential K-theory and localization formula for -invariants
- Arakelov motivic cohomology I
- Arakelov motivic cohomology. II.
- scientific article; zbMATH DE number 5625984 (Why is no real title available?)
- scientific article; zbMATH DE number 16075 (Why is no real title available?)
- Hermitian structures on the derived category of coherent sheaves
- scientific article; zbMATH DE number 1363217 (Why is no real title available?)
- The arithmetic Grothendieck-Riemann-Roch theorem for general projective morphisms
- An arithmetic Riemann-Roch theorem for singular arithmetic surfaces
- Orbifold submersion and analytic torsions
- Analytic torsion forms for fibrations by projective curves
- The asymptotics of the holomorphic analytic torsion forms
- Singular Bott-Chern classes and the arithmetic Grothendieck Riemann Roch theorem for closed immersions
- An index theorem in differential \(K\)-theory
This page was built for publication: An arithmetic Riemann-Roch theorem in higher degrees
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q954822)
