On the Riemann-Roch formula without projective hypotheses

DOI10.1090/TRAN/8107MaRDI QIDQ5143142zbMATH OpenOpenAlexFDO

Authors

Publication date 11 January 2021

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1705.10769

Mathematics Subject Classification ID

Riemann-Roch theorems (14C40) Motivic cohomology; motivic homotopy theory (14F42) Algebraic cycles and motivic cohomology ((K)-theoretic aspects) (19E15) Relations of (K)-theory with cohomology theories (19E20) Riemann-Roch theorems, Chern characters (19L10)

Abstract: Let $S$ be a finite dimensional noetherian scheme. For any proper morphism between smooth $S$-schemes, we prove a Riemann-Roch formula relating higher algebraic $K$-theory and motivic cohomology, thus with no projective hypothesis neither on the schemes nor on the morphism. We also prove, without projective assumptions, an arithmetic Riemann-Roch theorem involving Arakelov's higher $K$-theory and motivic cohomology as well as an analogue result for the relative cohomology of a morphism. These results are obtained as corollaries of a motivic statement that is valid for morphisms between oriented absolute spectra in the stable homotopy category of $S$.

Recommendations

• Riemann-Roch for homotopy invariant K-theory and Gysin morphisms
• Riemann-Roch for general algebraic varieties
• scientific article; zbMATH DE number 4085792
• The arithmetic Grothendieck-Riemann-Roch theorem for general projective morphisms
• On Grothendieck's Riemann-Roch theorem

Cites work

• \(\mathbb{A}^1\)-homotopy theory
• \(\mathbb{A}^1\)-homotopy theory of schemes
• A commutative \({\mathbb P}^1\)-spectrum representing motivic cohomology over Dedekind domains
• A universality theorem for Voevodsky's algebraic cobordism spectrum
• Algebraic \(K\)-theory, \(A^1\)-homotopy and Riemann-Roch theorems
• Algebraic Cobordism
• Algebraic cycles and higher K-theory
• Arakelov motivic cohomology I
• Around the Gysin triangle. II.
• Bivariant theories in motivic stable homotopy
• Borel-Moore motivic homology and weight structure on mixed motives
• Categorical framework for the study of singular spaces
• Descent by blow-ups for homotopy invariant \(K\)-theory
• scientific article; zbMATH DE number 2131831 (Why is no real title available?)
• scientific article; zbMATH DE number 4023451 (Why is no real title available?)
• scientific article; zbMATH DE number 3751120 (Why is no real title available?)
• scientific article; zbMATH DE number 3572322 (Why is no real title available?)
• scientific article; zbMATH DE number 1027930 (Why is no real title available?)
• scientific article; zbMATH DE number 1066292 (Why is no real title available?)
• scientific article; zbMATH DE number 3273729 (Why is no real title available?)
• Le théorème de Riemann-Roch
• Mixed Weil cohomologies
• On Grothendieck's Riemann-Roch theorem
• On the relation of Voevodsky's algebraic cobordism to Quillen's \(K\)-theory
• Orientation theory in arithmetic geometry
• Oriented cohomology theories of algebraic varieties
• Oriented cohomology theories of algebraic varieties. II.
• Riemann-Roch for general algebraic varieties
• Riemann-Roch for homotopy invariant K-theory and Gysin morphisms
• Riemann-Roch for singular varieties
• Riemann-Roch theorems for higher algebraic K-theory
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• 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 intersections et théorème de Riemann-Roch
• Techniques of localization in the theory of algebraic cycles.
• The Grothendieck six operations and the vanishing cycles formalism in the motivic world. I
• Triangulated Categories of Mixed Motives

Cited in

(7)

• An isomorphism of the Deligne-Riemann-Roch type
• Riemann-Roch for tensor powers
• Riemann-Roch for homotopy invariant K-theory and Gysin morphisms
• Unstable operations on \(K\)-theory for singular schemes
• The flat Grothendieck-Riemann-Roch theorem without adiabatic techniques
• Cohomological finiteness of proper morphisms in algebraic geometry: a purely transcendental proof, without projective tools
• Riemann--Roch theorem for operations in cohomology of algebraic varieties

This page was built for publication: On the Riemann-Roch formula without projective hypotheses

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