Related papers: Algebraic K-theory and descent for blow-ups

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.

Let k be an infinite perfect field of positive characteristic p and assume that strong resolution of singularities holds over k. We prove that, if X is a d-dimensional noetherian scheme whose underlying reduced scheme is essentially of…

We prove a blow-up formula for cyclic homology which we use to show that infinitesimal $K$-theory satisfies $cdh$-descent. Combining that result with some computations of the $cdh$-cohomology of the sheaf of regular functions, we verify a…

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 introduce a notion of Milnor square of stable $\infty$-categories and prove a criterion under which algebraic K-theory sends such a square to a cartesian square of spectra. We apply this to prove Milnor excision and proper excision…

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 the exactness of a descent sequence relating the algebraic cobordism groups of a scheme and its envelopes. Analogous sequences for Chow groups and K-theory were previously proved by Gillet.

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…

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 prove Weibel's conjecture for twisted $K$-theory when twisting by a smooth proper connective dg-algebra. Our main contribution is showing we can kill a negative twisted $K$-theory class using a projective birational morphism (in the same…

In this note we apply Guillen-Navarro descent theorem, \cite{GN02}, to define a descent variant of the algebraic $K$-theory of varieties over a field of characteristic zero, $\mathcal{KD}(X)$, which coincides with $\mathcal{K}(X)$ for…

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 some fundamental results like localization, excision, Nisnevich descent and the Mayer-Vietoris property for equivariant regular blow-up for the equivariant K-theory of schemes with an affine group scheme action. We also show that…

Making use of Gruson-Raynaud's technique of "platification par eclatement", Kerz and Strunk proved that the negative homotopy K-theory groups of a Noetherian scheme X of Krull dimension d vanish below -d. In this note, making use of…

Algebraic K-theory is the stable homotopy theory of homotopy theories, and it interacts with algebraic structures accordingly. In particular, we prove the Deligne Conjecture for algebraic K-theory.

Schlichting conjectured that the negative K-groups of small abelian categories vanish and proved this for noetherian abelian categories and for all abelian categories in degree $-1$. The main results of this paper are that $K_{-1}(E)$…

Consider a totally disconnected group G, which is covirtually cyclic, i.e., contains a normal compact open subgroup L such that G/L is infinite cyclic. We establish a Wang sequence, which computes the algebraic K-groups of the Hecke algebra…

In this article, we revisit Weibel's conjecture for twisted $K$-theory. We also examine the vanishing of twisted negative $K$-groups for Pr\"{u}fer domains. Furthermore, we observe that the homotopy invariance of twisted $K$-theory holds…

Motivated by the Farrell-Jones Conjecture for group rings, we formulate the $\mathcal{C}$op-Farrell-Jones Conjecture for the K-theory of Hecke algebras of td-groups. We prove this conjecture for (closed subgroups of) reductive p-adic groups…

We define an unstable equivariant motivic homotopy category for an algebraic group over a Noetherian base scheme. We show that equivariant algebraic $K$-theory is representable in the resulting homotopy category. Additionally, we establish…