Related papers: Cyclic homology, cdh-cohomology and negative K-the…

In this paper we prove that cyclic homology, topological cyclic homology, and algebraic $K$-theory satisfy a pro Mayer--Vietoris property with respect to abstract blow-up squares of varieties, in both zero and finite characteristic. This…

Grothendieck's formal functions theorem states that the coherent cohomology of a Noetherian scheme can be recovered from that of a blowup and the infinitesimal thickenings of the center and of the exceptional divisor of the blowup. In this…

We prove that algebraic K-theory satisfies `pro-descent' for abstract blow-up squares of noetherian schemes. As an application we derive Weibel's conjecture on the vanishing of negative K-groups.

These lecture notes contain an exposition of basic ideas of K-theory and cyclic cohomology. I begin with a list of examples of various situations in which the K-functor of Grothendieck appears naturally, including the rudiments of the…

We construct a semi-orthogonal decomposition on the category of perfect complexes on the blow-up of a derived Artin stack in a quasi-smooth centre. This gives a generalization of Thomason's blow-up formula in algebraic K-theory to derived…

We prove that the motivic cohomology of mixed characteristic schemes, introduced in our previous work, satisfies various expected properties of motivic cohomology, including a motivic refinement of Weibel's vanishing in algebraic…

We study a noncommutative version of the infinitesimal site of Grothendieck. A theorem of Grothendieck establishes that the cohomology of the structure sheaf on the infinitesimal topology of a scheme of characteristic zero is de Rham…

We construct a theory of motivic cohomology for quasi-compact, quasi-separated schemes of equal characteristic, which is related to non-connective algebraic $K$-theory via an Atiyah--Hirzebruch spectral sequence, and to \'etale cohomology…

We show that the homotopy invariant algebraic K-theory of Weibel vanishes below the negative of the Krull dimension of a noetherian scheme. This gives evidence for a conjecture of Weibel about vanishing of negative algebraic K-groups.

There is a Chern character from K-theory to negative cyclic homology. We show that it preserves the decomposition coming from Adams operations, at least in characteristic 0. This is done by using infinitesimal cohomology to reduce to the…

We give necessary and sufficient conditions for a cdh sheaf to satisfy Milnor excision, following ideas of Bhatt and Mathew. Along the way, we show that the cdh infinity-topos of a quasi-compact quasi-separated scheme of finite valuative…

The C*-algebras called Quantum Heisenberg Manifolds (QHM) were introduced by Rieffel in 1989 as strict deformation quantizations of Heisenberg manifolds. In this article, we compute the pairings of K-theory and cyclic cohomology on the QHM.…

We give a survey of cyclic homology/cohomology theory including a detailed discussion of cyclic theories for various classes of topological algebras. We show how to associate cyclic classes with Fredholm modules and $K$-theory classes and…

We discuss which part of the rationalized algebraic K-theory of a group ring is detected via trace maps to Hochschild homology, cyclic homology, periodic cyclic or negative cyclic homology.

We prove that the homotopy algebraic K-theory of tame quasi-DM stacks satisfies cdh-descent. We apply this descent result to prove that if X is a Noetherian tame quasi-DM stack and i < -dim(X), then K_i(X)[1/n] = 0 (resp. K_i(X, Z/n) = 0)…

We establish a connection between continuous K-theory and integral cohomology of rigid spaces. Given a rigid analytic space over a complete discretely valued field, its continuous K-groups vanish in degrees below the negative of the…

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…

For a natural class of cohomology theories with support (including \'etale or pro-\'etale cohomology with suitable coefficients), we prove a moving lemma for cohomology classes with support on smooth quasi-projective k-varieties that admit…

In this article, we study the relative negative K-groups $K_{-n}(f)$ of a map $f: X \to S $ of schemes. We prove a relative version of the Weibel conjecture i.e. if $f: X \to S$ is a smooth affine map of noetherian schemes with $\dim S=d$…

We define, for a regular scheme $S$ and a given field of characteristic zero $\KK$, the notion of $\KK$-linear mixed Weil cohomology on smooth $S$-schemes by a simple set of properties, mainly: Nisnevich descent, homotopy invariance,…