相关论文: Riemann-Roch for homotopy invariant K-theory and G…
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…
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 an \emph{arithmetic cohomology theory},…
We define bivariant algebraic K-theory and bivariant derived Chow on the homotopy category of derived schemes over a smooth base. The orientation on the latter corresponds to virtual Gysin homomorphisms. We then provide a morphism between…
The purpose of this paper is to prove an equivariant Riemann-Roch theorem for schemes or algebraic spaces with an action of a linear algebraic group $G$. For a $G$-space $X$, this theorem gives an isomorphism between a completion of the…
In the present paper, we discuss applications of the derived completion theorems proven in our previous two papers. One of the main applications is to Riemann-Roch problems for forms of higher equivariant K-theory, which we are able to…
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 assumptions, and a statement for the relative…
In this paper, we formulate axioms of certain graded cohomology theory for which Chern class maps from higher K-theory are defined, following the method of Gillet [Gi1]. We will not include homotopy invariance nor purity in our axioms. It…
We prove a generalisation of the Grothendieck-Riemann-Roch theorem, which is valid for any proper and flat morphism between noetherian and separated schemes of odd characteristic.
A Frechet algebra endowed with a multiplicatively convex topology has two types of invariants: homotopy invariants (topological K-theory and periodic cyclic homology) and secondary invariants (multiplicative K-theory and the non-periodic…
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 Gysin morphism associated to a projective…
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 cdh-hypercohomology of a complex of equi-dimensional…
The goal of this series of papers is to give a new non-commutative approach to problems about the density of reductions such as the conjecture of Joshi-Rajan, and the generalization of the conjecture of Serre. In this paper, we prove…
Let X be a noetherian scheme defined over an algebraically closed field of positive characteristic p, and G be a finite group, of order divisible by p, acting on X. We introduce a refinement of the equivariant K-theory of X to take into…
Let X be a smooth scheme, Z a smooth closed subscheme, and U the open complement. Given any localizing and A1-homotopy invariant of dg categories E, we construct an associated Gysin triangle relating the value of E at the dg categories of…
Given a henselian pair $(R, I)$ of commutative rings, we show that the relative $K$-theory and relative topological cyclic homology with finite coefficients are identified via the cyclotomic trace $K \to \mathrm{TC}$. This yields a…
The goal of this paper is to prove the Riemann-Roch isomorphism for the higher equivariant K-theory of varieties with action of a linear algebraic group.
B. Toen defined a Riemann-Roch map from the rational algebraic K-theory of a tame Deligne-Mumford quotient stack to the \'etale K-theory of its inertia. He proved that this map is an isomorphism and that it is covariant with respect to…
This work establishes the geometric component of Deligne's longstanding program on refined Grothendieck-Riemann-Roch formulas expressed through determinants of cohomology. The approach relies on a newly developed universal category of Chern…
This is the third in a series of works devoted to constructing virtual structure sheaves and $K$-theoretic invariants in moduli theory. The central objects of study are almost perfect obstruction theories, introduced by Y.-H. Kiem and the…
We introduce a theory of motivic cohomology for quasi-compact quasi-separated schemes, which generalises the construction of Elmanto--Morrow in the case of schemes over a field. Our construction is non-$\mathbb{A}^1$-invariant in general,…