Related papers: Algebraic $K$-theory for squares categories
We study the algebraic $K$-theory of smooth schemes over $W_n(\Bbbk)$, where $\Bbbk$ is a perfect field of characteristic $p>0$. For a $p$-adic smooth scheme $X_{\centerdot}$ over $W_{\centerdot}(k)$, we introduce complexes…
A Laurent polynomial ring $A[t,1/t]$ with coefficients in a unital ring $A$ determines a category of quasi-coherent sheaves on the projective line over $A$; its $K$-theory is known to split into a direct sum of two copies of the $K$-theory…
Fulton defined classes in the Chow group of a quasi-projective scheme $M$ which reduce to its Chern classes when $M$ is smooth. When $M$ has a perfect obstruction theory, Siebert gave a formula for its virtual cycle in terms of its total…
We give a new proof of the universal property of $KK^G$-theory with respect to stability, homotopy invariance and split-exactness for $G$ a locally compact group, or a locally compact (not necessarily Hausdorff) groupoid, or a countable…
Algebraic $kk$-theory, introduced by Corti\~nas and Thom, is a bivariant $K$-theory defined on the category $\mathrm{Alg}$ of algebras over a commutative unital ring $\ell$. It consists of a triangulated category $kk$ endowed with a functor…
Scissors congruence groups have traditionally been expressed algebraically in terms of group homology. We give an alternate construction of these groups by producing them as the $0$-level in the algebraic $K$-theory of a Waldhausen…
Using symmetrized Grassmannians we give an algebraic geometric presentation, in the level of classifying spaces, of the Chern character and its relation to Chern classes. This allows one to define, for any projective variety $X$, a Chern…
This paper investigates the $\mathrm{K}$-theory of twisted groupoid $\mathrm{C}^*$-algebras. It is shown that a homotopy of twists on an ample groupoid satisfying the Baum-Connes conjecture with coefficients gives rise to an isomorphism…
We establish connections between the concepts of Noetherian, regular coherent, and regular n-coherent categories for Z-linear categories with finitely many objects and the corresponding notions for unital rings. These connections enable us…
We propose a categorification of the cyclotomic Hecke algebra in terms of the equivariant K-theory of the framed matrix factorizations. The construction generalizes the earlier construction of the authors for a categorification of the…
We introduce and study matrix transfers to achieve elementary models for bivariant $K$-theory. They share lots of common properties with Voevodsky's framed correspondences and lead to symmetric matrix motives of algebraic varieties…
The "fundamental theorem" for algebraic $K$-theory expresses the $K$-groups of a Laurent polynomial ring $L[t,t^{-1}]$ as a direct sum of two copies of the $K$-groups of $L$ (with a degree shift in one copy), and certain "nil" groups of…
There are many classes of nonsimple graph C*-algebras that are classified by the six-term exact sequence in K-theory. In this paper we consider the range of this invariant and determine which cyclic six-term exact sequences can be obtained…
A kind of motivic stable homotopy theory of algebras is developed. Explicit fibrant replacements for the $S^1$-spectrum and $(S^1,\mathbb G)$-bispectrum of an algebra are constructed. As an application, unstable, Morita stable and stable…
Motivated by potential applications to theoretical computer science, in particular those areas where the Curry-Howard correspondence plays an important role, as well as by the ongoing search in pure mathematics for feasible approaches to…
The K-theory of a functor may be viewed as a relative version of the K-theory of a ring. In the case of a Galois extension of a number field F/L with rings of integers A/B respectively, this K-theory of the "norm functor" is an extension of…
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…
A universal category-theoretical characterization of groupoid equivariant $KK^G$-theory for ${\mathbb{Z}}_2$-graded $C^*$-algebras is established, by observing the ``$KK$-axiom'' that for each $[s,{\cal E} \oplus B, \mathbb{F}] \in…
We present an axiomatic frame (in Prt I of this book) in which many results of the K-theory for C*-algebras are proved. Then we construct an example for this axiomatic theory (in Part II), which generalizes the classical theory for…
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.