We define higher semiadditive algebraic K-theory, a variant of algebraic K-theory that takes into account higher semiadditive structure, as enjoyed for example by the $\mathrm {K}(n)$- and $\mathrm {T}(n)$-local categories. We prove that it satisfies a form of the redshift conjecture. Namely, that if $R$ is a ring spectrum of height $\leq n$, then its semiadditive K-theory is of height $\leq n+1$. Under further hypothesis on $R$, which are satisfied for example by the Lubin–Tate spectrum $\mathrm {E}_n$, we show that its semiadditive algebraic K-theory is of height exactly $n+1$. Finally, we connect semiadditive K-theory to $\mathrm {T}(n+1)$-localized K-theory, showing that they coincide for any $p$-invertible ring spectrum and for the completed Johnson–Wilson spectrum $\widehat {\mathrm {E}(n)}$.

For a finite group $G$ of not prime power order, Oliver showed that the obstruction for a finite CW-complex $F$ to be the fixed point set of a contractible finite $G$-CW-complex is determined by the Euler characteristic $\chi (F)$. (He also has similar results for compact Lie group actions.) We show that the analogous problem for $F$ to be the fixed point set of a finite $G$-CW-complex of some given homotopy type is still determined by the Euler characteristic. Using trace maps on $K_0$ [2, 7, 18], we also see that there are interesting roles for the fundamental group and the component structure of the fixed point set.

Smith theory says that the fixed point set of a semi-free action of a group $G$ on a contractible space is ${\mathbb {Z}}_p$-acyclic for any prime factor $p$ of the order of $G$. Jones proved the converse of Smith theory for the case $G$ is a cyclic group acting semi-freely on contractible, finite CW-complexes. We extend the theory to semi-free group actions on finite CW-complexes of given homotopy types, in various settings. In particular, the converse of Smith theory holds if and only if a certain $K$-theoretical obstruction vanishes. We also give some examples that show the geometrical effects of different types of $K$-theoretical obstructions.

We provide a fairly self-contained account of the localisation and cofinality theorems for the algebraic $\operatorname K$-theory of stable $\infty$-categories. It is based on a general formula for the evaluation of an additive functor on a Verdier quotient closely following work of Waldhausen. We also include a new proof of the additivity theorem of $\operatorname K$-theory, strongly inspired by Ranicki's algebraic Thom construction, a short proof of the universality theorem of Blumberg, Gepner and Tabuada, and a second proof of the cofinality theorem which is based on the universal property of $\operatorname K$-theory.

We discuss some general properties of $\mathrm {TR}$ and its $K(1)$-localization. We prove that after $K(1)$-localization, $\mathrm {TR}$ of $H\mathbb {Z}$-algebras is a truncating invariant in the Land–Tamme sense, and deduce $h$-descent results. We show that for regular rings in mixed characteristic, $\mathrm {TR}$ is asymptotically $K(1)$-local, extending results of Hesselholt and Madsen. As an application of these methods and recent advances in the theory of cyclotomic spectra, we construct an analog of Thomason's spectral sequence relating $K(1)$-local $K$-theory and étale cohomology for $K(1)$-local $\mathrm {TR}$.

The purpose of this note is to establish isomorphisms up to bounded torsion between relative $K_{0}$-groups and Chow groups with modulus as defined by Binda and Saito.

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 more general descent result for a pullback square of ring spectra and any localizing invariant. Our descent theorem contains not only Suslin’s result, but also Nisnevich descent of algebraic $K$-theory for affine schemes as special cases. Moreover, the role of the Tor-unitality condition becomes very transparent.

We show that for any commutative Noetherian regular ring $R$ containing $\mathbb{Q}$, the map $K_{1}(R)\rightarrow K_{1}\left(\frac{R[x_{1},\ldots ,x_{4}]}{(x_{1}x_{2}-x_{3}x_{4})}\right)$ is an isomorphism. This answers a question of Gubeladze. We also compute the higher $K$-theory of this monoid algebra. In particular, we show that the above isomorphism does not extend to all higher $K$-groups. We give applications to a question of Lindel on the Serre dimension of monoid algebras.

It is shown that the Grayson tower for $K$-theory of smooth algebraic varieties is isomorphic to the slice tower of $S^{1}$-spectra. We also extend the Grayson tower to bispectra, and show that the Grayson motivic spectral sequence is isomorphic to the motivic spectral sequence produced by the Voevodsky slice tower for the motivic $K$-theory spectrum $\mathit{KGL}$. This solves Suslin’s problem about these two spectral sequences in the affirmative.

The new homotopy theory of exact$\infty$-categories is introduced and employed to prove a Theorem of the Heart for algebraic $K$-theory (in the sense of Waldhausen). This implies a new compatibility between Waldhausen $K$-theory and Neeman $K$-theory. Additionally, it provides a new proof of the Dévissage and Localization theorems of Blumberg–Mandell, new models for the $G$-theory of schemes, and a proof of the invariance of $G$-theory under derived nil-thickenings.

For any perfect field k a triangulated category of K-motives is constructed in the style of Voevodsky's construction of the category . To each smooth k-variety X the K-motive is associated in the category and

where pt = Spec(k) and K(X) is Quillen's K-theory of X.

Let $k$ be a base commutative ring, $R$ a commutative ring of coefficients, $X$ a quasi-compact quasi-separated $k$-scheme, and $A$ a sheaf of Azumaya algebras over $X$ of rank $r$. Under the assumption that $1/r\in R$, we prove that the noncommutative motives with $R$-coefficients of $X$ and $A$ are isomorphic. As an application, we conclude that a similar isomorphism holds for every $R$-linear additive invariant. This leads to several computations. Along the way we show that, in the case of finite-dimensional algebras of finite global dimension, all additive invariants are nilinvariant.

We consider the algebraic K-theory of a truncated polynomial algebra in several commuting variables, . This naturally leads to a new generalization of the big Witt vectors. If k is a perfect field of positive characteristic we describe the K-theory computation in terms of a cube of these Witt vectors on ℕn. If the characteristic of k does not divide any of the ai we compute the K-groups explicitly. We also compute the K-groups modulo torsion for k = ℤ.

To understand this K-theory spectrum we use the cyclotomic trace map to topological cyclic homology, and write as the iterated homotopy cofiber of an n-cube of spectra, each of which is easier to understand.

We examine the theory of connective algebraic K-theory, , defined by taking the −1 connective cover of algebraic K-theory with respect to Voevodsky's slice tower in the motivic stable homotopy category. We extend to a bi-graded oriented duality theory when the base scheme is the spectrum of a field k of characteristic zero. The homology theory may be viewed as connective algebraic G-theory. We identify for X a finite type k-scheme with the image of in , where is the abelian category of coherent sheaves on X with support in dimension at most n; this agrees with the (2n,n) part of the theory of connective algebraic K-theory defined by Cai. We also show that the classifying map from algebraic cobordism identifies with the universal oriented Borel-Moore homology theory having formal group law u + υ − βuυ with coefficient ring ℤ[β]. As an application, we show that every pure dimension d finite type k-scheme has a well-defined fundamental class [X]CK in ΩdCK(X), and this fundamental class is functorial with respect to pull-back for l.c.i. morphisms.

We study the K′-theory of a CM Henselian local ring R of finite Cohen-Macaulay type. We first describe a long exact sequence involving the groups K′i(R) and the K-groups of certain other rings, including the Auslander algebra. By examining the terms and maps in the sequence, we obtain information about K′(R).

Exact sequences in algebraic K-theory contain a lot of information. Here it is shown that by using K-theory exact sequences one can easily derive Bass’ description [1] of the SK1 of an ideal in a Dedekind domain in terms of relative reciprocities.

In the 1960's and 1970's, the Adams Conjecture figured prominently both in homotopy theory and in geometric topology. Quillen sketched one way to attack the conjecture and then proved it with an entirely different line of argument. Both of his approaches led to spectacular and beautiful new mathematics.

We give a negative answer to the question raised by Mart Abel about whether his proposed definition of ${K}_{0} $ and ${K}_{1} $ groups in terms of quasi multiplication is indeed equivalent to the established ones in algebraic $K$-theory.

We establish a presentation for K1 of any small exact category P, based on the notion of “mirror image sequence,” originally introduced by Grayson in 1979; as part of the proof, we show that every element of K1(P) arises from a mirror image sequence. This provides an alternative to Nenashev's presentation in terms of “double short exact sequences.”

In this paper we extend the computation of the the typical curves of algebraic K-theory done by Lars Hesselholt and Ib Madsen to general tensor algebras. The models used allow us to determine the stages of the Taylor tower of algebraic K-theory as a functor of augmented algebras, as defined by Tom Goodwillie, when evaluated on derived tensor algebras.

For R a discrete ring, and M a simplicial R-bimodule, we let R(M) denote the (derived) tensor algebra of M over R, and πR denote the ring of formal (derived) power series in M over R. We define a natural transformation of functors of simplicial R-bimodules Φ: which is closely related to Waldhausen's equivalence We show that Φ induces an equivalence on any finite stage of Goodwillie's Taylor towers of the functors at any simplicial bimodule. This is used to show that there is an equivalence of functors , and for connected bimodules, also an equivalence