Related papers: Categorical Milnor squares and K-theory of algebra…

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.

We adapt Grayson's model of higher algebraic $K$-theory using binary acyclic complexes to the setting of stable $\infty$-categories. As an application, we prove that the $K$-theory of stable $\infty$-categories preserves infinite products.

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…

Motivated by Maulik-Okounkov stable maps associated to quiver varieties, we define and construct algebraic stable maps on tensor products of representations in the category O of the Borel subalgebra of an arbitrary untwisted quantum affine…

We prove a decomposition theorem for the equivariant K-theory of actions of affine group schemes G of finite type over a field on regular separated noetherian algebraic spaces, under the hypothesis that the actions have finite geometric…

To any pullback square of ring spectra we associate a new ring spectrum and use it to describe the failure of excision in algebraic $K$-theory. The construction of this new ring spectrum is categorical and hence allows to determine the…

We give an introduction to the "stable algebra of matrices" as related to certain problems in symbolic dynamics. We consider this stable algebra (especially, shift equivalence and strong shift equivalence) for matrices over general rings as…

We advance the understanding of K-theory of quadratic forms by computing the slices of the motivic spectra representing hermitian K-groups and Witt-groups. By an explicit computation of the slice spectral sequence for higher Witt-theory, we…

We introduce a Milnor type $K$-group associated to commutative algebraic groups over a perfect field. It is an additive variant of Somekawa's $K$-group. We show that the $K$-group associated to the additive group and $q$ multiplicative…

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.

We show that the functor from curved differential graded algebras to differential graded categories, defined by the second author in [B], sends Cartesian diagrams to homotopy Cartesian diagrams, under certain reasonable hypotheses. This is…

We provide a universal characterization of the construction taking a scheme $X$ to its stable $\infty$-category $\text{Mot}(X)$ of noncommutative motives, patterned after the universal characterization of algebraic K-theory due to…

In this paper we introduce a new formalism for $K$-theory, called squares $K$-theory. This formalism allows us to simultaneously generalize the usual three-term relation $[B] = [A] + [C]$ for an exact sequence $A \hookrightarrow B…

By a theorem of Suslin, a Tor-unital (not necessarily unital) ring satisfies excision in algebraic K-theory. We give a new and direct proof of Suslin's result based on an exact sequence of categories of perfect modules. In fact, we prove a…

Spectral Mackey functors are homotopy-coherent versions of ordinary Mackey functors as defined by Dress. We show that they can be described as excisive functors on a suitable infinity-category, and we use this to show that universal…

We decompose the K-theory space of a Waldhausen category in terms of its Dwyer-Kan simplicial localization. This leads to a criterion for functors to induce equivalences of K-theory spectra that generalizes and explains many of the criteria…

We prove homology stability for elementary and special linear groups over rings with many units improving known stability ranges. Our result implies stability for unstable Quillen K-groups and proves a conjecture of Bass. For commutative…

We show that the K-theory spectra of many assemblers, such as the assembler of polytopes in euclidean, hyperbolic or spherical geometry, as well as the assembler of definable sets, are equivalent to the K-theory spectrum of a squares…

To a quiver we associate a finite length monoidal abelian category which categorifies the corresponding preprojective K-theoretic Hall algebra of Varagnolo-Vasserot. The simples in this category provide a (dual) canonical basis of the Hall…

We prove the formulae conjectured by the first author for the index of K-theory classes over the moduli stack of algebraic G-bundles on a smooth projective curve. The formulae generalise Verlinde's for line bundles and have Witten's…