2017/05/30 by Alberto Navarro, José Navarro, Navarro, A. +1
Mathematics · #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #K-Theory and Homology (math.KT)
paper · pdf · doi:10.48550/arxiv.1705.10769
openalex publication_date 2017/05/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01
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.