Related papers: On the Riemann-Roch formula without projective hyp…
We view strict ring spectra as generalized rings. The study of their algebraic K-theory is motivated by its applications to the automorphism groups of compact manifolds. Partial calculations of algebraic K-theory for the sphere spectrum are…
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…
We prove that for every reductive algebraic group $H$ with centre of positive dimension and every integer $K$ there is a smooth and projective variety $X$ and an algebraic $H$-torsor $P \to X$ such that the classifying map $X \to \Bclass H$…
We prove that singular cohomology of the underlying space of Berkovich's analytification of a scheme $X$ locally of finite type over a trivially-valued field $k$ of characteristic $0$ is isomorphic to cdh-cohomology with integer…
The classical arithmetic Grothendieck-Riemann-Roch theorem can be applied only to projective morphisms that are smooth over the complex numbers. In this paper we generalize the arithmetic Grothendieck-Riemann-Roch theorem to the case of…
Let k be an algebraically closed field of characteristic 0, and let f be a morphism of smooth projective varieties from X to Y over the ring k((t)) of formal Laurent series. We prove that if a general geometric fiber of f is rationally…
We establish a structure theorem on the arc space of a $k$-scheme of finite type. More precisely, we show that the arc space is locally for the pro-smooth toplogy a product of an infinite dimensional affine space and of a non-noetherian…
Let X be a Noetherian scheme of finite dimension and denote by rho the (additive inverse of the) morphism in SH(X) from S to Gm corresponding to the unit -1. Here SH(X) denotes the motivic stable homotopy category. We show that the category…
The aim of this paper is to connect two important and apparently unrelated theories: motivic homotopy theory and ramification theory. We construct motivic homotopy categories over a qcqs base scheme $S$, in which cohomology theories with…
We establish fundamental motivic results about hermitian K-theory without assuming that 2 is invertible on the base scheme. In particular, we prove that both quadratic and symmetric Grothendieck-Witt theory satisfy Nisnevich descent, and…
We develop a theory of motivic spectra in a broad generality; in particular $\mathbb{A}^1$-homotopy invariance is not assumed. As an application, we prove that $K$-theory of schemes is a universal Zariski sheaf of spectra which is equipped…
We formulate and prove a Conner-Floyd isomorphism for the algebraic K-theory of arbitrary qcqs derived schemes. To that end, we study a stable $\infty$-category of non-$\mathbb A^1$-invariant motivic spectra, which turns out to be…
We consider the problem of smoothing algebraic cycles with rational coefficients on smooth projective complex varieties up to homological equivalence. We show that a solution to this problem would be incompatible with the validity of the…
Let $\sigma$ be the involution of the Roe algebra $\Roe{\RR}$ which is induced from the reflection $\RR\to\RR; x\mapsto -x$. A graded Fredholm module over a separable $C^*$-algebra $A$ gives rise to a homomorphism…
In order to have cohomological operations for de Rham p-adic cohomology with coefficients as manageable as possible, the main purpose of this paper is to solve intrinsically and from a cohomological point of view the lifting problem of…
Let $R$ be the homogeneous coordinate ring of a smooth projective variety $X$ over a field $\k$ of characteristic~0. We calculate the $K$-theory of $R$ in terms of the geometry of the projective embedding of $X$. In particular, if $X$ is a…
For a smooth quasi-projective scheme $X$ over a field $k$ with an action of a reductive group, we establish a spectral sequence connecting the equivariant and the ordinary higher Chow groups of $X$. For $X$ smooth and projective, we show…
We generalize several basic facts about the motivic sphere spectrum in $\mathbb A^1$-homotopy theory to the category $\mathrm{MS}$ of non-$\mathbb A^1$-invariant motivic spectra over a derived scheme. On the one hand, we show that all the…
Voevodsky outlined a conjectural programme that his slice filtration in motivic homotopy theory should give rise to a good theory of $\mathbb{A}^1$-invariant motivic cohomology. This paper achieves his vision in the generality of arbitrary…
We compute the generalized slices (as defined by Spitzweck-{\O}stv{\ae}r) of the motivic spectrum KO (representing hermitian K-theory) in terms of motivic cohomology and (a version of) generalized motivic cohomology, obtaining good…