Riemann-Roch for homotopy invariant K-theory and Gysin morphisms

  title={Riemann-Roch for homotopy invariant K-theory and Gysin morphisms},
  author={Alberto Navarro},
  journal={arXiv: K-Theory and Homology},
  • A. Navarro
  • Published 3 May 2016
  • Mathematics
  • arXiv: K-Theory and Homology
We prove the Riemann-Roch theorem for homotopy invariant $K$-theory and projective local complete intersection morphisms between finite dimensional noetherian schemes, without smoothness assumptions. We also prove a new Riemann-Roch theorem for the relative cohomology of a morphism. In order to do so, we construct and characterize Gysin morphisms for regular immersions between cohomologies represented by spectra (examples include homotopy invariant $K$-theory, motivic cohomology, their… 
On the Riemann-Roch formula without projective hypotheses
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,
Bivariant theories in motivic stable homotopy
The purpose of this work is to study the notion of bivariant theory introduced by Fulton and MacPherson in the context of motivic stable homotopy theory, and more generally in the broader framework
Motivic spectral sequence for relative homotopy K-theory
We construct a motivic spectral sequence for the relative homotopy invariant K-theory of a closed immersion of schemes $D \subset X$. The $E_2$-terms of this spectral sequence are the
Fundamental classes in motivic homotopy theory
We develop the theory of fundamental classes in the setting of motivic homotopy theory. Using this we construct, for any motivic spectrum, an associated bivariant theory in the sense of
The slice spectral sequence for singular schemes and applications
We examine the slice spectral sequence for the cohomology of singular schemes with respect to various motivic T-spectra, especially the motivic cobordism spectrum. When the base field k admits
Rigidity for relative 0-cycles
We present a relation between the classical Chow group of relative $0$-cycles on a regular scheme $\mathcal{X}$, projective and flat over an excellent Henselian discrete valuation ring, and the
Torsion in the 0-cycle group with modulus
We show, for a smooth projective variety $X$ over an algebraically closed field $k$ with an effective Cartier divisor $D$, that the torsion subgroup $\CH_0(X|D)\{l\}$ can be described in terms of a
On the higher Riemann-Roch without denominators.
We prove two refinements of the higher Riemann-Roch without denominators: a statement for regular closed immersions between arbitrary finite dimensional noetherian schemes, with no smoothness
Modules over algebraic cobordism
Abstract We prove that the $\infty $-category of $\mathrm{MGL} $-modules over any scheme is equivalent to the $\infty $-category of motivic spectra with finite syntomic transfers. Using the
Zero-cycles on normal varieties
We prove an extension of the Kato-Saito unramified class field theory for smooth projective schemes over a finite field to a class of normal projective schemes. As an application, we obtain Bloch’s


Mixed Weil cohomologies
Abstract We define, for a regular scheme S and a given field of characteristic zero K, the notion of K-linear mixed Weil cohomology on smooth S-schemes by a simple set of properties, mainly:
Orientation theory in arithmetic geometry
This work is devoted to study orientation theory in arithmetic geometric within the motivic homotopy theory of Morel and Voevodsky. The main tool is a formulation of the absolute purity property for
Riemann-Roch Theorems for Oriented Cohomology
The notion of an oriented cohomology pretheory on algebraic varieties is introduced and a Riemann-Roch theorem for ring morphisms between oriented pretheories is proved. An explicit formula for the
On Grothendieck's Riemann-Roch Theorem
We prove that, for smooth quasi-projective varieties over a field, the $K$-theory $K(X)$ of vector bundles is the universal cohomology theory where $c_1(L\otimes \bar L)=c_1(L)+c_1(\bar
Around the Gysin triangle I
We study the construction and properties of the Gysin triangle in an axiomatic framework which covers triangulated mixed motives and MGl-modules over an arbitrary base S. This allows to define the
Motivic Landweber Exactness
We prove a motivic Landweber exact functor theorem. The main result shows the assignment given by a Landweber-type formula involving the MGL-homology of a motivic spectrum defines a homology theory
The aim of this paper is to show that rigid syntomic cohomology – defined by Besser – is representable by a rational ring spectrum in the motivic homotopical sense. In fact, extending previous
Higher Bott-Chern forms and Beilinson's regulator
Abstract. In this paper, we prove a Gauss-Bonnet theorem for the higher algebraic K-theory of smooth complex algebraic varieties. To each exact n-cube of hermitian vector bundles, we associate a
Orientable homotopy modules
We prove a conjecture of Morel identifying Voevodsky’s homotopy invariant sheaves with transfers with spectra in the stable homotopy category which are concentrated in degree zero for the homotopy
Algebraic K‐theory, A1‐homotopy and Riemann–Roch theorems
In this article, we show that the combination of the constructions done in SGA 6 and the A^1-homotopy theory naturally leads to results on higher algebraic K-theory. This applies to the operations on