Related papers: K-theory of derivators revisited
We study the \'etale sheafification of algebraic K-theory, called \'etale K-theory. Our main results show that \'etale K-theory is very close to a noncommutative invariant called Selmer K-theory, which is defined at the level of categories.…
The Taylor tower of a functor from based spaces to spectra can be classified according to the action of a certain comonad on the collection of derivatives of the functor. We describe various equivalent conditions under which this action can…
For an $r$-discrete Hausdorff groupoid ${\cal G}$ and an inverse semigroup $S$ of slices of ${\cal G}$ there is an isomorphism between ${\cal G}$-equivariant $KK$-theory and compatible $S$-equivariant $KK$-theory. We use it to define…
Let $X$ be a simplicial set. We construct a novel adjunction between the categories of retractive spaces over $X$ and of $X_{+}$-comodules, then apply recent work on left-induced model category structures (arXiv:1401.3651v2…
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…
We establish axiomatic characterizations of $K$-theory and $KK$-theory for real C*-algebras. In particular, let $F$ be an abelian group-valued functor on separable real C*-algebras. We prove that if $F$ is homotopy invariant, stable, and…
We prove a twisting theorem for nodal classes in permutation-equivariant quantum $K$-theory, and combine it with existing theorems of Givental to obtain a twisting result for general characteristic classes of the virtual tangent bundle.…
The Quillen-Barr-Beck cohomology of augmented algebras with divided powers is defined as the derived functor of Beck derivations. The main theorem of this paper states that the K\"ahler differentials of an augmented algebra with divided…
We introduce bivariant K-theory for nonarchimedean bornological algebras over a complete discrete valuation ring $V$. This is the universal target for dagger homotopy invariant, matricially stable and excisive functors, similar to bivariant…
Using a construction closely related to Waldhausen's $S_\bullet$-construction, we produce a spectrum $K(\mathbf{Var}_{/k})$ whose components model the Grothendieck ring of varieties (over a field $k$) $K_0 (\mathbf{Var}_{/k})$. We then…
We define tilting subcategories in arbitrary exact categories to archieve the following. Firstly: Unify existing definitions of tilting subcategories to arbitrary exact categories. Discuss standard results for tilting subcategories:…
For a recollement of derived module categories of rings, we provide sufficient conditions to guarantee the additivity formula of higher algebraic K-groups of the rings involved, and establish a long Mayer-Vietoris exact sequence of higher…
The Gersten conjecture is still an open problem of algebraic $K$-theory for mixed characteristic discrete valuation rings. In this paper, we establish non-unital algebraic $K$-theory which is modified to become an exact functor from the…
We show that Klemenc's stable envelope of exact $\infty$-categories induces an equivalence between stable $\infty$-categories with a bounded heart structure and weakly idempotent complete exact $\infty$-categories. Moreover, we generalise…
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…
We generalize to higher algebraic $K$-theory an identity (originally due to Milnor) that relates the Reidemeister torsion of an infinite cyclic cover to its Lefschetz zeta function. Our identity involves a higher torsion invariant, the…
We present the fundamental properties of the K-theory groups of complex vector bundles endowed with actions of magnetic groups. In this work we show that the magnetic equivariant K-theory groups define an equivariant cohomology theory, we…
Generalizing a construction of Wolfgang L\"uck and Bob Oliver, we define a good equivariant cohomology theory on the category of proper G-CW complexes when G is an arbitrary Lie group (possibly non-compact). This is done by constructing an…
In his "Algebraic K-theory of topological spaces II" Waldhausen proved that his functor A(X) splits: There is a canonical map from the stable homotopy of X which has a retraction up to weak equivalence. We adapt Waldhausen's proof to obtain…
Let $G$ be an affine group scheme over a noetherian commutative ring $R$. We show that every $G$-equivariant vector bundle on an affine toric scheme over $R$ with $G$-action is extended from $\Spec(R)$ for several cases of $R$ and $G$. We…