Related papers: Vanishing theorems for the negative K-theory of st…
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…
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$…
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…
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.
We show how a theorem of Gabber on alterations can be used to apply work of Cisinski, Suslin, Voevodsky, and Weibel to prove that $K_n(X)[1/p] = 0$ for $n < - \dim X$ where $X$ is a quasi-excellent noetherian scheme, $p$ is a prime that is…
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.
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…
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 a generalized vanishing theorem for certain quasi-coherent sheaves along the derived blow-ups of quasi-smooth derived Artin stacks. We give four applications of the generalized vanishing theorem: we prove a $K$-theoretic version of…
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…
We prove an adelic descent result for localizing invariants: for each Noetherian scheme $X$ of finite Krull dimension and any localizing invariant $E$, e.g., algebraic K-theory of Bass-Thomason, there is an equivalence $E(X)\simeq \lim…
Given a compact Lie group $G$ acting on a space $X$, the classical Atiyah-Segal completion theorem identifies topological $K$-theory of the homotopy quotient $X/G$ with an explicit completion of $G$-equivariant topological $K$-theory of…
We study the negative $K$-theory of singular varieties over a field of positive characteristic and in particular, prove the vanishing of $K_i(X)$ for $i < -d-2$ for a $k$-variety of dimension $d$.
Artin vanishing theorems for Stein spaces refer to the vanishing of some of their (co)homology groups in degrees higher than the dimension. We obtain new positive and negative results concerning Artin vanishing for the cohomology of a Stein…
We construct geometric models for classifying spaces of linear algebraic groups in G-equivariant motivic homotopy theory, where G is a tame group scheme. As a consequence, we show that the equivariant motivic spectrum representing the…
We prove the excision theorem for the $K$-theory of perfect complexes on Deligne-Mumford stacks. This is then used to study the Nisnevich site of such stacks. We prove the Nisnevich descent for the $K$-theory of perfect complexes. We also…
We prove some $K$-theoretic descent results for finite group actions on stable $\infty$-categories, including the $p$-group case of the Galois descent conjecture of Ausoni-Rognes. We also prove vanishing results in accordance with…
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…
Let Z denote the simple limit of prime dimension drop algebras that has a unique tracial state. Let A != 0 be a unital C^*-algebra with A = A tensor Z. Then the homotopy groups of the group U(A) of unitaries in A are stable invariants,…
A discrete countable group G is matricially stable if the finite dimensional approximate unitary representations of G are perturbable to genuine representations in the point-norm topology. For large classes of groups G, we show that…