Related papers: A d\'evissage theorem of non-connective $K$-theory
In this article, we extend the theorem of heart\cite{Barwick_2015}, which implies Quillen's d\'evissage theorem by \cite{Efimov2025}, to generic small stable $\infty$-categories. To be precise, we establish a necessary and sufficient…
A d\'evissage-type theorem in algebraic $K$-theory is a statement that identifies the $K$-theory of a Waldhausen category $\mathscr{C}$ in terms of the $K$-theories of a collection of Waldhausen subcategories of $\mathscr{C}$ when a…
In this paper we give a different proof of Quillen's D\'evissage theorem using Barwick's theorem of the heart. The key ingredient is a certain short exact sequence of dg categories, which is closely related with the Auslander-type…
In this paper we prove the theorem of the heart for Weibel's homotopy $K$-theory $KH.$ Namely, if $\mathcal{C}$ is a small stable $\infty$-category with a bounded $t$-structure, then the realization functor $D^b(\mathcal{C}^{\heartsuit})\to…
Building on the Waldhausen and Quillen models of higher algebraic $K$-theory for exact categories and Waldhausen categories attached to a non-commutative $n$-ary $\Ga$-semiring $(T,\Ga)$, we establish the fundamental formal properties of…
We show that Quillen's resolution theorem for K-theory also applies to exact $\infty$-categories. We introduce heart structures on a stable $\infty$-category, generalizing weight structures, and using resolution ideas, we show that the…
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)$…
In this thesis, we give a definition of topological K-theory of Kontsevich's noncommutative spaces (ie dg-categories) defined over the complex. The main motivation comes from noncommutative Hodge structures in the sense of…
Invoking the density argument of Dundas-Goodwillie-McCarthy, we extend the Fundamental Theorem of $K$-theory from the category of simplicial rings to the category of $\mathbb{S}$-algebras. As an intermediate step, we prove the Fundamental…
We introduce the notion of a bounded weight structure on a stable $\infty$-category and use this to prove the natural generalization of Waldhausen's sphere theorem: We show that the algebraic $K$-theory of a stable $\infty$-category with a…
We continue the work initiated in arXiv:1206.3645, where we introduced a new stable symmetric monoidal $(\infty,1)$-category $SH_{nc}$ encoding a motivic stable homotopy theory for the noncommutative spaces of Kontsevich and obtained a…
We review various aspects of the topological classification of D-brane charges in K-theory, focusing on techniques from geometric K-homology and Kasparov's KK-theory. The latter formulation enables an elaborate description of D-brane charge…
The main objective of this paper is to propose a definition of non-connective K-theory for a wide class of relative exact categories which, in general, do not satisfy the factorization axiom and confirm that it agrees with the…
We give a classification theorem for a relevant class of $t$-structures in triangulated categories, which includes in the case of the derived category of a Grothendieck category, the $t$-structures whose hearts have at most $n$ fixed…
We prove a non-linear version of a theorem of Grayson which is an analogue of the Fundamental Theorem of Algebraic $K$-theory and identify the $K$-theory of the endomorphism category over a space $X$ in terms of reduced $K$-theory of a…
We describe a categorical framework for the classification of D-branes on noncommutative spaces using techniques from bivariant K-theory of C*-algebras. We present a new description of bivariant K-theory in terms of noncommutative…
We introduce and study a $K$-theory of twisted bundles for associative algebras $A(\mathfrak g)$ of formal series with an infinite-Lie algebra coefficients over arbitrary compact topological spaces. Fibers of such bundles are given by…
We show that algebraic K-theory KGL, the motivic Adams summand ML and their connective covers acquire unique E-infinity structures refining naive multiplicative structures in the motivic stable homotopy category. The proofs combine…
In this paper we identify the ``nil-terms'' for Waldhausen's algebraic K-theory of spaces functor as the reduced K-theory of a category of equivariant spaces equipped with a homotopically nilpotent endomorphism.
We prove a generalization of the fundamental theorem of algebraic K-theory for Verdier-localizing functors by extending the proof for algebraic K-theory of spaces to the realm of stable $\infty$-categories. The formula behaves much better…