On the K-theory of regular coconnective rings

We show that for a coconnective ring spectrum satisfying regularity and ﬂatness assumptions, its algebraic K -theory agrees with that of its π 0 . We prove this as a consequence of a more general devissage result for stable inﬁnity categories. Applications of our result include giving general conditions under which K -theory preserves pushouts, generalizations of A n -invariance of K -theory


Introduction
In this paper, we examine the relationship between coconnectivity, regularity, and algebraic K-theory.We identify the K-theory of a large collection of coconnective rings with that of their π 0 .
Theorem 1.1.Given a coconnective E 1 -algebra R such that (1) π 0 R is left regular coherent and (2) τ ≤−1 R has tor amplitude in [−∞, −1] as a right π 0 R module, the natural map in connective K-theory is an equivalence and both π 0 R and R have vanishing K −1 .
Although not immediately clear, Theorem 1.1 is a devissage theorem.The core step in the proof is an application of Quillen's devissage theorem [Qui73, Theorem 4] and condition (1) is exactly what is needed for the category of perfect π 0 R-modules to have a t-structure with heart finitely presented π 0 R-modules.The essential novelty in Theorem 1.1 comes from condition (2) as a simple condition, easily checked in practice 1 , which allows us to conclude.As a demonstration we work through the prototypical example of devissage.Identifying F p as a generator of Mod(Z) p−nil we have an identification Mod(Z) p−nil Mod(End Z (F p )).
Devissage can then be phrased as the assertion that K(End Z (F p )) K(F p ), from which we obtain a cofiber sequence on algebraic K-theory In order to prove this using Theorem 1.1 we compute the homotopy groups of End Z (F p ), which are π s End Z (F p ) ∼ = F p s = 0, −1 0 otherwise and observe that conditions (1) and (2) are satisfied.
In this example we entirely avoided descending into the category of modules to check the existence of filtrations, instead operating at the level of categories, motives and rings throughout.This change represents a considerably gain in practical usability.Before moving on, let us point out that this example also highlights another key feature of devissage which is sometimes overlooked.While localization sequences occur at the level of noncommutative motives, devissage is specific to K-theory2 .
We prove Theorem 1.1 as a corollary of our main result Theorem 1.3, which is a more general devissage result taking place at the level of stable categories: Theorem 1.3.Let F : C → D be an exact functor between small, stable, idempotent complete categories and let (C ≥0 , C ≤0 ) be a bounded t-structure on C. If we assume that (A) the image of F generates D and (B) F is fully faithful when restricted to C ♥ then there is a corresponding bounded t-structure on D for which F is t-exact.Moreover, the induced maps on connective K-theory are all equivalences and both C and D have vanishing K −1 .
We prove Theorem 1.3 in Section 2 where the key step is constructing a bounded tstructure on D for which F is t-exact.This is the most technical point in the proof and it uses all of the conditions of the theorem in an essential way.In fact, as a byproduct of this argument we obtain relatively fine-grained control over the abelian category D ♥ .Specifically, C ♥ sits inside D ♥ as a full subcategory and every object of D ♥ has a finite length filtration with associated graded in C ♥ .At this point we apply Barwick's theorem of the heart [Bar15] to identify the K-theory of C with that of C ♥ and the K-theory of D with that of D ♥ .The proof ends by applying Quillen's devissage [Qui73,Theorem 4] to the inclusion of abelian categories C ♥ → D ♥ .
Examining the relation between C ♥ and D ♥ we see that conditions (A) and (B) together can be thought of as asking that D behave like a category of unipotent local systems with coefficients in C. Indeed, (B) is analogous to the fact that maps between trivial representations can be computed on underlying and (A) is analogous to the fact that unipotent representations are generated from trivial representations under extensions.For this reason we say that a map is unipotent if it satisfies these conditions.With this reformulation we can now introduce the key slogan of this paper: Devissage is the invariance of K-theory under unipotent maps.
In Section 3 we deduce Theorem 1.1 from Theorem 1.3 and discuss several points which are complementary to Theorem 1.3.A subtlety worth noting here is that up to this point we have been working entirely with connective K-theory as this is the setting where Barwick's theorem of the heart and Quillen's devissage are applicable.Since we are not aware of any examples where these results fail in negative K-theory we are led to ask: Question 1.4.Do the theorem of the heart and devissage hold for negative K-theory?
In Sections 4 and 5 we turn to applications of our main theorem.Combining our work with the work of Land-Tamme on the K-theory of pullbacks we provide general conditions under which K-theory preserves pushouts.
a span of discrete rings where A is left regular coherent and both f and g are right faithfully flat.Then connective K-theory preserves the pushout of this span.
This generalizes Waldhausen's results about the K-theory of generalized free products [Wal78a].Using similar techniques, we then obtain an A n -invariance result for K-theory.
Theorem 1.6 (A n -invariance of algebraic K-theory).Let C be a small, stable, idempotent complete category equipped with a bounded t-structure.
In the n = 1 case, for a regular, Noetherian ring this recovers Quillen's fundamental theorem of algebraic K-theory [Qui73,Theorem 8].An alternative proof extending the result to regular coherent rings was given by Waldhausen, again in the n = 1 case [Wal78a].The case of non-Noetherian regular coherent rings and n > 1 is more difficult, because R[x] may not even be coherent, so one cannot induct on n in the obvious way.Nevertheless, the n > 1 case was already known for example when R is a discrete ring by the Ferrell-Jones conjecture for the groups Z n .See for example [Dav08, Corollary 2], which along with the n = 1 case of Theorem 1.6 implies the general case.The degree bounds in the above theorem ultimately come from our use of connective K-theory and a positive answer to Question 1.4 would allow us to remove these restrictions.
In Section 5.2 we examine the category of unipotent local systems on a connected space X with coefficients in a category C with a bounded t-structure.As one might expect, we find that the K-theory of unipotent local systems agrees with the K-theory of C, generalizing [AGH19, Theorem 4.8].In the final pair of subsections we work through a collection of examples which demonstrate that the conditions in Theorem 1.1 cannot be weakened.

Notations and Conventions.
In order to preserve the brevity of this paper we assume the reader is generally familiar with higher algebra and algebraic K-theory.We also make use of the following notations and conventions throughout.
• The term category will refer to an ∞-category as developed by Joyal and Lurie.
• Map(a, b) will denote the space of maps from a to b (in some ambient category).
• In a stable category map(a, b) will denotes the mapping spectrum between a and b.
• For an E 1 -algebra R, Mod(R) will refer to its category of left modules.
• We use C, D to denote small, idempotent complete stable categories, and use Cat perf to denote the category of such categories and exact functors.
and F * : Ind(D) → Ind(C) denotes the right adjoint of F * .• We use U loc for the noncommutative motive (or just nc motive for short) functor of Blumberg-Gepner-Tabuada [BGT13].• We use K(−) for connective K-theory and K nc (−) for non-connective K-theory.
• We use x n for a polynomial generator in degree n and n for an exterior generator in degree n.As an example, S[x n ] is the free E 1 -algebra on a class in degree n.
) and similarly for exterior generators.

Acknowledgments.
We would like to thank Andrew Blumberg, Jeremy Hahn, Mike Hopkins, Haynes Miller, Piotr Pstragowski, and Lucy Yang for helpful conversations related to this work.We would also like to thank Andrew Blumberg for helpful comments on a draft of this paper.
Our deepest thanks go to Markus Land and Georg Tamme for many discussions about this work and its applications.It was they who first asked us when the connective cover map of a coconnective E 1 -algebra induces a K-equivalence, which was the origin of this work.

The Main Theorem
In this section we prove our main theorem.
Theorem 2.1.Let F : C → D be an exact functor between small, stable, idempotent complete categories and let (C ≥0 , C ≤0 ) be a bounded t-structure on C. If we assume that (A) the image of F generates D and (B) F is fully faithful when restricted to C ♥ then there is a corresponding bounded t-structure on D for which F is t-exact.Moreover, the induced maps on connective K-theory are all equivalences and both C and D have vanishing Before proceeding, we give a sketch of the strategy we follow in proving this theorem.The final step is applying Barwick's theorem of the heart and Quillen's devissage theorem to produce K-theory equivalences.In order to apply these results we need to produce a bounded t-structure on D which is relatively well behaved.The key idea is that after passing to categories of ind-objects it is in fact quite easy to produce such a t-structure.Condition (B) is then rigged so that we have the control necessary to restrict this t-structure to compact objects in Ind(D) (i.e.D).For the remainder of this section the notation from the statement of Theorem 1.3 will remain in place and we assume F satisfies conditions (A) and (B).
Passing to ind-completions gives us an induced diagram where the vertical arrows are each the inclusion of the full subcategory of compact objects3 .As promised, we begin by producing a t-structure on the level of ind-objects.This is rather easy since the category of ind-objects is presentable.
Lemma 2.2 ([Lur17, Proposition 1.4.4.11]).Let A be a presentable, stable category.If {X α } is a small collection of objects in A, then there is an accessible t-structure, (A ≥0 , A ≤0 ), on A such that A ≥0 is the smallest full subcategory of A containing each X α and closed under colimits and extensions.The full subcategory of coconnective objects is characterized by the condition Y ∈ A ≤0 if and only if Map(ΣX α , Y ) = 0 for each X α .
We equip Ind(C) with the t-structure whose connective part is generated by C ≥0 and we equip Ind(D) with the t-structure whose connective part is generated by Proof.F * sends connective objects to connective objects by construction.To show that F * preserves coconnectivity we need to check that for every c ∈ C ≥1 and x ∈ Ind(C) ≤0 the mapping space Map(F * (c), F * (x)) is contractible.Since the t-structure on Ind(C) restricts to compact objects we can write x as a filtered colimit of compact, coconnective objects.This implies (since F * is a left adjoint) that it suffices to prove Map(F * (c), F * (x)) = 0 when x is compact.Via the boundedness of the t-structure on C this follows from condition (B).
At this point are now ready to prove that the t-structure on Ind(D) restricts to a bounded t-structure on D. The main idea in proving this is that on the one hand, (A) guarantees that every object in D is only finitely many steps away from being in the image of F , while on the other hand, the t-structure on C can be used to produce a rich collection of compact objects in Ind(D) ♥ .
Proposition 2.4.The t-structure on Ind(D) restricts to a bounded t-structure on D. Each d ∈ D ♥ has a finite filtration with associated graded in the image of Proof.Consider the subcategory of D of objects d which satisfies the following condition, ( * ) d is bounded and each π ♥ i (d) has a finite filtration whose associated graded lies in Note that if ( * ) is satisfied, then because compact objects are closed under extensions and the image of C ♥ is compact, each π ♥ i (d) as well as d itself is compact.In order to prove the proposition it will suffice to show that the every object in D satisfies ( * ).We begin by observing that for c ∈ C ♥ its image under F satisfies ( * ).Using hypothesis (A) it will now suffice to show that full subcategory of objects of D satisfying ( * ) is thick.Now, since the condition ( * ) is stated entirely in terms of homotopy groups, it will suffice to show that the corresponding condition ( * * ) on the level of the heart cuts out a subcategory closed under kernels, cokernels and extensions4 .
( * * ) d ∈ Ind(D) ♥ has a finite filtration whose associated graded lies in C ♥ .Since filtrations can be pasted, the collection of objects satisfying ( * * ) is closed under extensions.We will handle kernels and cokernels simultaneously.Suppose A, B ∈ Ind(D) ♥ satisfy ( * * ) and r is a map between them.We can paste the filtrations on A and B to form a filtration on the cofiber, cof(r), whose associated spectral sequence converges to (an associated graded of) π ♥ * cof(x) and has E 1 -page given by the associated graded of A on the 0-line and the associated graded of B on the 1-line.By hypothesis, the E 1 -page of this spectral sequence involves only objects of C ♥ .Now, since F is t-exact and fully faithful on C ♥ , kernels and cokernels of maps between objects in the image of F | C ♥ remain in the image of F | C ♥ .Consequently, as we run the differentials in this spectral sequence we will not leave C ♥ .Since the spectral sequence has only finitely many pages we learn that it abuts to a filtration of the desired type on the kernel and cokernel of r (which appears as π ♥ 1 (cof(r)) and π ♥ 0 (cof(r)) respectively).We now recall Quillen's devissage and the theorem of the heart, which we use to finish the proof of the main theorem.
Theorem 2.5 ([Bar15] Barwick's theorem of the heart).Let C be a stable category with bounded t-structure.Then the inclusion C ♥ → C induces an equivalence on connective Ktheory.
Theorem 2.6 ([Qui73, Theorem 4] Quillen's devissage).Let A ⊂ B be an exact fully faithful inclusion of abelian categories with A closed in B under subobjects, and such that every object of B has a finite filtration with associated graded in A. Then the inclusion A → B induces an equivalence on connective K-theory.
Proof (of Theorem 1.3).At this point we have already shown that D admits a bounded t-structure (Proposition 2.4) for which F is t-exact (Lemma 2.3).This allows us to examine the square on K-theory, Because the t-structures on C and D are bounded, we can use Theorem 2.5 to see that the vertical maps are equivalences.
In order to finish the proof it suffices to show that the top horizontal map is an equivalence, which we show by applying Theorem 2.6.The map f : C ♥ → D ♥ is fully faithful and exact by construction, and we showed that the filtration condition is satisfied in Proposition 2.4.
Using the exactness of the inclusion it will suffice to instead show that coker(d → c) ∈ C ♥ .Using Proposition 2.4 we can equip d with a finite filtration with associated graded in C ♥ .The cokernel coker(d → c) can be produced by successively quotienting c by the pieces in the associated graded of the filtration on d, thus we only need to know that quotients by subobjects coming from C ♥ stay in C ♥ .This last statement follows from the fact that f is fully faithful and exact.
Remark 2.7.We end this section by observing that the following converse to Theorem 1.3 holds: if we have F : C → D a map which we can use the theorem of the heart and Quillen's devissage to prove is a K-equivalence, then (A) and (B) must hold.
To see this, first note that to apply the theorem of the heart we need bounded t-structures on C and D so that F is t-exact.To apply Quillen's devissage, the induced functor on hearts should by fully faithful and its image should generate D ♥ under extensions.The condition on generating D ♥ implies (A).The t-exactness of F , plus fully faithfulness on the heart implies (B).
Simply put, this is saying that Theorem 1.3 is essentially equivalent to the combination of Quillen's devissage and the theorem of the heart.

Complements
In this section we discuss a couple points which are complementary to Theorem 1.3.We begin by introducing some ideas from noncommutative geometry which provide a convenient language for thinking about our main theorem.Then, we discuss variants of the main theorem and prove Theorem 1.1 from the introduction.In the third subsection we briefly consider the simplifications and extensions to Theorem 1.3 we can make when C ♥ is Noetherian.We end the section by briefly discussing negative K-groups.

Some nc geometry.
For us noncommutative geometry refers to thinking about small idempotent complete stable categories equipped with a "positive half" closed under finite colimits and extensions.This is quite close to established notions of noncommutative geometry such as in [Orl16], with the notable difference being that we work relative to the sphere rather than relative to a discrete base ring k.We explore this setting in some depth in [BL22] and in this section we build on the groundwork from that paper 5 .Before proceeding we remind the reader of the main definitions.Definition 3.1.We use Cat perf to denote the category of small idempotent complete stable categories.Our main objects of study are objects of Cat perf ≥0 .This is the category of C ∈ Cat perf equipped with an idempotent complete prestable 6 full subcategory C ≥0 that generates it.Being prestable amounts to asking that C ≥0 be closed under finite colimits and extensions.Often, we abuse notation by writing C ∈ Cat perf ≥0 , leaving the subcategory of positive objects, C ≥0 , implicit.
Example 3.2.Given an E 1 -algebra R, the category compact R-modules, Mod(R) ω , naturally lives in Cat perf ≥0 .The positive objects are those built from R via extensions, finite colimits and retracts.
Given C ∈ Cat perf ≥0 , the subcatgory Ind(C ≥0 ) ⊂ Ind(C) determines a t-structure on Ind(C) (see Lemma 2.2).In fact, C ≥0 can be recovered from the data of this t-structure.
5 Even though we cite results in [BL22], we do not use anything particularly difficult from there, and so the results here can be considered independent of that paper.
6 As introduced in [Lur18, Appendix C] Example 3.3.In the t-structure associated to Example 3.2, a connective object is one built out of copies of R under colimits and extensions, and a coconnective object is one whose underlying spectrum is coconnective.
• a functor C → D is quasi-affine if its image generates D under finite colimits and retracts and Example 3.5.If R is a discrete ring then, as a result of well-known arguments, Mod(R) ω is regular iff R is left regular coherent.For a proof that states things in this way see [BL22, Proposition 2.4].
Example 3.6.We show in [BL22, Proposition 2.16] that if C is regular, and n = 0, then C[x n ] is regular.
Remark 3.7.If we think in terms of categories of quasicoherent sheaves, the reasoning behind the term quasi-affine is relatively transparent.
The term unipotent bears more explanation.The key identifying features of a unipotent group are that maps between trivial representations can be computed on underlying and every representation is built out of extensions of trivial reps.Our definition takes these properties as the definition of unipotent.
Note that conditions (A) and (B) of Theorem 1.3 are equivalent to saying that F is unipotent.This lets us reinterpret Theorem 1.3 as saying that regularity can be transferred along unipotent maps.

Other forms of the main theorem.
In practice unipotence can be difficult to check so we recall an equivalent condition which is often more transparent.The functor F * : Ind(C) → Ind(D) has a right adjoint F * , which is colimit preserving since F * preserves compact objects.We now provide a version of Theorem 1.3 for categories of modules over an E 1 -algebra from which Theorem 1.1 will follow.Proposition 3.9.Let f : A → B be a map of E 1 -algebras such that (1) Mod(A) ω is bounded and regular and (2) cof(f ) has tor amplitude in [−∞, −1] as a right A-module, then Mod(B) ω is bounded and regular, the base-change functor (−) ⊗ A B is t-exact and the map K(A) → K(B) is an equivalence.
Proof.We apply Theorem 1.3 to the base-change functor This functor is quasi-affine since A is sent to B which is a generator.Condition (B ) of Lemma 3.8 asks that for every N ∈ Mod ♥ A the A-module cof(f ) ⊗ A N be coconnected.This is equivalent to the given tor amplitude bound on cof(f ).
Proof (of Theorem 1.1).We apply Proposition 3.9 to the connective cover map f : , the tor amplitude bounds in Proposition 3.9 and Theorem 1.1 match up.
Remark 3.10.Amplifying Remark 2.7, we note that the conditions of Theorem 1.1 are actually equivalent to (A) and (B ) for the connective cover map, implying a converse to this theorem.
Remark 3.11.The reader might wonder when the the abelian categories C ♥ and D ♥ appearing in Theorem 1.3 are equivalent.We remark that this will be the case as soon as F satisfies: (C) for every c ∈ C ♥ , the cofiber of the unit map c → F * F * (c) is ≤ −2 in the t-structure on Ind(C)8 .

The Noetherian case.
In situation of Theorem 1.3 if we further assume that the heart of C is Noetherian, then we can draw stronger conclusions about K-theory and the induced t-structure on D. Lemma 3.12.In situation of Theorem 1.3, if C ♥ is Noetherian, then the heart of the induced t-structure on D is Noetherian as well.
Proof.We would like to show that every d ∈ D ♥ is Noetherian.By Proposition 2.4, d has a finite filtration with associated graded in F (C ♥ ), so since Noetherian objects are closed under extensions, it suffices to show that f (c) is Noetherian for each c ∈ C ♥ .As argued in the proof of Theorem 1.3, f is fully faithful with image closed under passing to subobjects.This implies that the lattice of subobjects of f (c) agrees with that of c, so f (c) is Noetherian since c is.
As a consequence of the vanishing theorems of [Sch06] and [AGH19] the negative Kgroups of categories with a bounded t-structure with Noetherian heart vanish.In our setting this lets us upgrade the equivalence of K-theory spectra to one of non-connective K-theory spectra K nc (C) − → K nc (D).Next we examine the interpretation of condition (B) as "unipotence" more closely.At the moment we know that (1) f : C ♥ → D ♥ is fully faithful.
(2) Each d ∈ D ♥ has a finite filtration with associated graded in the image of f .
(3) Every subobject of f (c) comes from a subobject of c.Note that the finite filtrations are not guaranteed to be functorial 9 , but when D is Noetherian, functoriality comes for free in the form of the socle filtration: Construction 3.13.At the level of Ind-categories the functor f has right adjoint given by g := τ ≥0 G(−).Since f is a fully faithful left adjoint it exhibits Ind(C) ♥ as a coreflective subcategory of Ind(D) ♥ .We let soc 0 (M ) denote f g(M ), which sits as a subobject of M via the counit map.
We define soc n (−) inductively via the pullback The key property of the socle filtration is that soc n /soc n−1 is in the image of f for every n.
Since the maps Id/soc n−1 → Id/soc n become zero after applying g and since g = τ ≥0 G and G detects coconnectivity we learn that is an equivalence, i.e. the socle filtration is exhaustive.Now, using our Noetherian-ness hypothesis we know that arbitrary subobjects of compact objects are compact in Ind(D) ♥ , therefore the socle filtration restricts to a socle filtration on D ♥ .
Remark 3.14.The construction of a bounded t-structure together with socle filtrations can be interpreted as a generalization of [KN13, Theorem 8.1] where a similar result is proven for dg-algebras with strong finiteness assumptions.
It is important to note that outside of the Noetherian setting the socle filtration need not restrict to compact objects.
Example 3.15.Let C denote the category of pairs (V 0 , V 1 ) where V 0 is a k[x 1 , . . .]-module and V 1 is a k-module.Since the infinite dimensional affine space is regular coherent, C has a bounded t-structure.Let D denote the category of triples The natural functor C → D which uses the zero map is fully faithful on the heart, therefore the hypotheses of Theorem 1.3 are satisfied.On the other hand, the socle of is (I, k) and the augmentation ideal of k[x 1 , . . .] is not compact.

Negative K-theory.
It would be desirable to extend Theorem 1.3 to negative K-theory, however both the theorem of the heart and Quillen's devissage only apply to connective K-theory in their current form.For that reason we ask the following question (which we hope has a positive answer): Question 3.16.Do the theorem of the heart and devissage hold for negative K-theory?
As discussed above, if C ♥ is Noetherian, then D ♥ is Noetherian as well and the negative K-theory of both categories vanishes by [AGH19].This might suggest that one should approach this question by proving a vanishing statement for negative K-theory.However, the example from [Nee21] shows that in general regularity does not imply the vanishing of negative K-groups.
In order to probe question of this type more closely we examine the relation between stable coherence and the vanishing of negative K-theory in [BL22, Section 3.2] 10 .We reproduce the statements proved therein for the convenience of the reader interested in thinking about Question 3.16.Definition 3.17.Given a category C with bounded t-structure we say that C is A n -coherent if the finitely presented Z[t 1 , . . ., t n ]-modules in Ind(C ♥ ) form an abelian category 11 .If C is A n -coherent for all n, then we say it is stably coherent.
Example 3.18.In [Gla89, Example 7.3.13], it is shown that an infinite product of copies of the ring Q[[x, y]] is regular coherent, but this ring is not A 1 -coherent (demonstrating that this is a non-trivial condition on a regular coherent ring).
The following lemma uses the vanishing results of [AGH19].
Lemma 3.19 ([BL22, Corollary 3.14, Lemma 3.17]).If C is regular and A n -coherent, then the first n + 1 negative K-groups of C vanish.
Proposition 3.20 ([BL22, Proposition 3.18]).If we are given a functor F : C → D ∈ Cat perf and a bounded A n -coherent t-structure on C such that the conditions of Theorem 1.3 are satisfied, then the induced t-structure on D is A n -coherent as well.

K-theory of pushouts
In this section we prove Theorem 4.11 (a corollary of which is Theorem 1.5 from the introduction) which says that K-theory preserves pushouts of (well-behaved) regular prestable categories.This theorem arises from the examining the interaction of our main theorem with the Land-Tamme -product.In fact, the idea that a result like Theorem 1.1 should be true was suggested to the authors by Markus Land and Georg Tamme with the intention of using such a result to compute the K-theory of pushouts.

A review on the -product.
The Land-Tamme -product is a relatively new operation on E 1 -algebras (and categories more generally) first introduced in [LT19], with generalizations appearing in [BKRS20] and the forthcoming [LT22].Here we roughly follow [LT22] in our formulation of this operation.
Construction 4.1.Given a pair of categories B and C in Cat perf and an arrow f ∈ Fun L (Ind(C), Ind(B) we can form the oplax limit of f , which we denote B × f C ∈ Cat perf .This is the category of triples (b, c, r), where b ∈ B, c ∈ C, and r : b → f (c) is a map.For our purposes, the key observation about B × f C is that the forgetful map B × f C → B × C induces an equivalence at the level of nc motives Adding another layer, associated to each square f we have an induced map A → B × f C in Cat perf and we define the Land-Tamme -product B f A C to be the cofiber of this map.This cofiber sequence in Cat perf provides a pushout in nc motives 11 If C is the category of perfect R-modules for R a discrete ring, then this is equivalent to asking that R[t 1 , . . ., tn] be left coherent.Lemma 4.7.The -product is compatible with base-change, i.e.
Proof.This follows from the fact that − ⊗ B preserves fully faithful maps and localization sequences (see for example [AGH19, Lemma 3.3, Corollary 3.5]) and commutes with pullbacks, lax pullbacks and oplax limits of arrows.
The -product allows us to produce examples of equivalences of nc motives which do not arise from equivalences of categories.We end our recollection by working through a pair of examples which illustrate this flexibility phenomenon.Definition 4.8.Let S[x n ] denote the polynomial algebra on a generator in degree n.We let nil n denote the cofiber and use nil to mean nil 0 .
If we think about nil as a homology theory on nc motives it is the nil-K-theory of Bass which measures the failure of A 1 -invariance.
Example 4.9.Consider the span of commutative algebras S ← S[x n ] → S. Applying Corollary 4.5 we obtain a pullback of nc motives Using Remark 4.6 we can identify im(S[x n ]) as S[ n ] (the exterior algebra on a class in degree n) since S ⊗ S[xn] S S[ n+1 ] and the pullback moves the exterior generator down a degree.Since the diagram above is diagonally symmetric we have a splitting We learned of next example, which allows us to turn a copy of the coordinate axes in the plane into a polynomial algebra, from Markus Land and Georg Tamme.
Example 4.10.Consider the algebra R := S[x a , x b ]/(x a x b ) which is built from the pullback square on the left below (where x a is in degree a and x b is in degree b).
Applying Corollary 4.5 and Remark 4.6 we then obtain the pullback of nc motives on the right.In fact, we can simplify this by exhibiting an equivalence of E 1 -algebras To show this, suppose first that a, b > 0. Then using the fact that is a left adjoint and so preserves pushouts, we reduce to the pushout square In order to extend this equivalence to the case where a, b are not strictly positive we use a trick.First, we lift the pushout above to a pushout in graded rings where x a and x b are in grading 1.Since the forgetful functor preserves colimits it will suffice to compute the pushout in the graded setting.Next we use the E 2 -monoidal shearing functor which suspends by 2n in grading n constructed in [Lur15] to reduce to the case where a, b are positive.
In the graded setting the generator x a+b+2 is in grading 2 and as a consequence of the fact that S[x a ] is the free graded algebra on the class x a in grading 1 we obtain a factorization S[x a ] → S → S[x a+b+2 ].With control over the maps in the square above we now obtain an equivalence of nc motives

K-theory of pushouts.
There is a sharp contrast between the ideas behind the Land-Tamme -product and our main theorem.The -product arises from 2-categorical maneuvers and essentially operates at the level categories and nc motives.Meanwhile our main theorem is specific to K-theory, exploiting additive but non-exact operations (such as truncation) in an essential way.The complementary nature of these approaches allows us to combine them to surprising effect.
Proof.From Theorem 4.4, we have a pushout square Condition (D) implies that the functor A → im(A) satisfies the hypotheses of Theorem 1.3, so we have an equivalence K(A) K(im A).Moreover, since A and im A each have a bounded t-structure [AGH19, Theorem 1.1] implies that K −1 (A) = 0 = K −1 (im A).This implies that the square above remains a pushout when we take connected covers and replace K(im A) by K(A).
In order to make this theorem easier to apply we give a simpler condition which implies (D) and is more natural to check in practice.natural in both x and y we learn that F * F * sits in a pullback square where • is the composition monoidal structure on Fun L (Mod(A), Mod(A)).Using [BL22, Remark 4.9] (which is a variant of Lemma 3.8) and compatibility with colimits we can reformulate the faithfulness hypothesis as saying that cof(Id → c * c * ) and cof(Id → b * b * ) preserve coconnectivity.Composing and desuspending we obtain the desired coconnectivity bound on cof(Id → F * F * ).
For discrete rings condition (D ) has a simple interpretation: A map A → B is fully faithful on the heart exactly when B is right faithfully flat as an A-module (see [BL22,Lemma 4.7]).Consequently, we obtain the following corollary, which appeared in the introduction as Theorem 1.5.

Applications and Examples
In this section we work through a collection of applications and examples which use Theorem 1.1.Of particular note are (Prop.5.1) which proves A 1 -invariance for regular categories.(Prop.5.2) which proves A n -invariance for regular categories in high degrees.

Invariance theorems.
We give a short proof of A 1 -invariance of K-theory for categories with a bounded tstructure.This result was first proven for regular Noetherian rings by Quillen in his foundational paper [Qui73].Building on this we then prove that K j (−) is A n -invariant once j ≥ n − 1 (again for categories with a bounded t-structure).Using Theorem 4.11 we then extend A 1 -invariance to the case of adjoining free variables generalizing the main results of [Ger74].
If C ∈ Cat perf admits a bounded t-structure, then K(C) K(C[x 0 ]).
Proof.In order to prove this we must show that K nc (nil ⊗ C) vanishes in non-negative degrees.Applying Theorem 1.3 to the map C → C[ −1 ] and moving to the other side of the equivalence from Example 4.9 we learn that K nc (nil ⊗ C) vanishes in non-negative degrees as desired13 .
Just as nil controls A 1 -invariance, A n -invariance is controlled by tensor-powers of nil.Using the same ideas we can show that K-theory is A n -invariant in sufficiently large degrees as well.
Proposition 5.2 (A n -invariance for regular categories).Suppose C ∈ Cat perf admits a bounded t-structure.Then we can read off that the obstructions to A n -invariance in degree j are K j ⊗k ⊗ C) for 1 ≤ k ≤ n.Using Example 4.9 we can find Σ −k nil ⊗k ⊗ C as a summand in U loc (C[ 1 , . . ., k ]) (where each exterior generator is in degree −1).Applying Theorem 1.3 to the map C → C[ 1 , . . ., k ] we learn that K nc (Σ −k nil ⊗k ⊗ C) vanishes in degrees ≥ −1, which lets us conclude.
Corollary 5.3.Let R be a left regular coherent ring.
As mentioned in the introduction, the above corollary, which is more subtle for n > 1, was already known when R is a discrete ring, where it follows from the Farrell-Jones conjecture for the groups Z n .Proposition 5.4 (Free generator invariance).Let C ∈ Cat perf have a bounded t-structure.Then K(C) K(C{x 1 , . . ., x n }), where |x i | = 0.
Proof.We proceed by induction on n with base-case given by Proposition 5.1.If we consider the pushout of categories then condition (D ) holds since the arrows labeled i and j each have a section (sending all the x's to zero).As a consequence we can apply Theorem 4.11 and conclude.
In fact, Corollary 5.5 is a special case of the next example, which allows for a more general module in place of the indeterminants x 1 , . . ., x n .
Example 5.6.Suppose that R is a discrete, left regular coherent ring and M is a discrete, right flat R-bimodule.We would like to apply Theorem 4.11 to the span of rings In order to check that the functor Mod(R{Σ −1 M }) → Mod(R) is faithful on the heart we argue as follows: Apply Theorem 1.1 to the map R → R{Σ −1 M }, as a consequence of proof of this theorem any object in the heart is an extension of induced objects.Examining long exact sequences it suffices to prove faithfulness on the heart for these induced objects.This follows from noting that the composite, R → R{Σ −1 M } → R is just the identity.
There are many more invariance-type results that can be proven using a combination of Theorem 1.3 and the Land-Tamme -product and we end this subsection with a more generic example.
Example 5.7.Suppose we are given a map of discrete rings R → S with R left regular coherent and an S-bimodule M which is right flat over R. We can form the pullback of where S⊕M is a square-zero extension of S by M and R⊕Σ −1 is the square-zero extension of R by Σ −1 M .From Theorem 1.1 we know that K(R ⊕ Σ −1 M ) K(R) and therefore The free algebra R{M } is discrete and right flat as an R-module since M is, so R{M } ⊗ R S is discrete as well.By the previous example, which is the case R = S, the -product receives ring maps from both R{M } and S. It remains then to determine the left multiplication of an element of S by one of M .This can be read off using Example 4.3, which gives a cofiber sequence of S-bimodules showing that the left multiplication of S on M is the one coming from the left S-module structure.
Note that in Example 5.7 the ring S is not required to be regular!For example, we can let R = k be a field, take S = k[ ]/ 2 and let M be k thought of as an S-bimodule via the augmentation.In this case we obtain an equivalence

K-theory of unipotent representations.
Next we analyze the K-theory of categories of local systems with values in a regular category.The following generalizes the discussion in [AGH19, Section 4.3], in which they analyze the K-theory of cochain algebras of finite, connected spaces with coefficients in commutative Noetherian rings using the Koszul dual description of the module categories in [Mat16, Proposition 7.8] as ind-unipotent representations of the loopspace.
Definition 5.8.Given C ∈ Cat perf and an X ∈ S, let Rep(X; C) denote the category of local systems on X with values in C (this is just Fun(X, C)) 14 .Pullback along the map X → * provides a functor (−) triv : C → Rep(X; C) which associates to c ∈ C the constant local system at c. Let Rep(X; C) uni denote im((−) triv ).
We refer to this as the category of unipotent local systems valued in C.
Remark 5.9.One can make similar definitions for A a small abelian category.Namely, we let Rep(X; A) denote Fun(X, A), and let Rep(X, A) uni denote unipotent representations, i.e the category generated under extensions, kernels and cokernels by the image of (−) triv .
Proposition 5.10.If C ∈ Cat perf ≥0 is bounded and regular, and X is connected, then (1) Truncation on C provides Rep(X; C) a bounded t-structure with heart Rep(Bπ 1 X, C ♥ ).
14 There is a subtlety here, which is that in general Rep(X; C) and Fun(X, Ind(C)) ω differ.It is this which motivated us to use Rep as notation when Fun would appear to suffice.
Proof.For (1), in order to check that τ ≥0 and τ <0 determine a t-structure on C) we just need to check that the space of maps from τ ≥0 c to τ <0 d is contractible.To do this we use the formula where ΩX acts on the space of maps in C by conjugation.Since Map C (τ ≥0 c, τ <0 d) is contractible, so is the limit under the action.Boundedness is inherited from C since the underlying object functor Rep(X; C) → C is t-exact and conservative.The heart is clearly Rep(X; C ♥ ), and since C is a 1-category, this is the same as Rep(τ ≤1 X; C ♥ ).We conclude since τ ≤1 X ∼ = Bπ 1 X.For (2) and (3), we check that the functor (−) triv is unipotent (see Definition 3.4), so that we can apply Theorem 1.3 to conclude.Quasi-affineness follows from construction, and fully faithfulness on the heart follows from the fact that equivariant maps between objects in C ♥ with trivial π 1 (X)-action are just given by the underlying maps in C ♥ since it is a 1-category.
Remark 5.11.If R is an E 1 -algebra, then the R-module R (with trivial action) is a generator of Rep(X; Mod(R)) uni , therefore we may identify this category with Mod(C * (X; R)), the category of modules over the cochain algebra of X with values in R. Proposition 5.10(3) provides an equivalence When X is additionally compact and R Noetherian and commutative, the above result combined with Lemma 3.12 and vanishing of negative K-theory coincides with [AGH19, Theorem 4.8].However, as pointed out to us by Markus Land, their proof is not quite correct, since they claim that the heart of the t-structure on C * (X; R) agrees with that of R, which is not true if for example X = S 1 .Despite this, the hearts are sufficiently similar that Quillen's devissage provides an equivalence on K-theory.

5.3.
Testing the limits of Theorem 1.1.
In the next sequence of examples we probe the limits of Theorem 1.1.Summarizing what we find: the conditions of Theorem 1.1 are sharp.To see that regularity of π 0 R is necessary we look at an example where A 1 -invariance fails.
Example 5.12.We consider the exterior algebra k[ 0 , −1 ] over a field k.From Example 4.9 we have an equivalence of non-connective K-theories Since A 1 -invariance fails for k[ 0 ] (see [HM01]), both terms in the sum are non-trivial.On the other hand Theorem 1.1 predicts only the first term.Now we turn to the tor condition of Theorem 1.1.Essentially the simplest example of an algebra which violates it is the trivial square zero extension S := F p [x]⊕Σ −1 F p where x is in degree zero and acts by zero on F p .In a conversation with Markus Land and Georg Tamme we determined that K 1 (S) differs from K 1 of F p [x] by using the -product to reduce to a connective ring and then using trace methods 15 .
Example 5.13.The algebra S fits into the pullback square on the left.
15 A similar analysis also works for S From this we obtain the pullback square of K-theories on the right.
Using A 1 -invariance we have an isomorphism of relative K-theories To conclude that K 1 (S) differs from K 1 (F p ) we will argue that K 2 (F p {F p }) is not even finitely generated.
Let R := F p {F p }.We can construct a DGA model for R which is F p [x]{y, z} with |y| = 0, |z| = 1, d(z) = xy.From this we can compute that • x acts by zero on π 1 R and • π 1 R is a free F p -vector space on the classes y a0 [z, y]y a1 with a 0 , a 1 ≥ 0.
As a consequence of Waldhausen's calculation of the first nonzero vanishing homotopy group of the fiber of K(A) → K(π 0 A) for a connective simplicial ring A ([Wal78b, Proposition 1.2]), we learn that the fiber of K(R) → K(π 0 R) is 1-connected, and has second homotopy group given by Since K 3 (F p [x, y]/xy) is finitely generated (see [Hes07]) we learn that K 2 (R) is not finitely generated as promised.
In the example above, although the K-theory differs from that of the connective cover, if we think in terms of Theorem 1.3 it is not immediately clear at what point things broke down.Possibilities include: • The ring failed to be regular (in the sense of Definition 3.4).
• The base-change functor from the connective cover has failed to be t-exact.
• The base-change failed to be fully faithful on the heart.
In view of this we now proceed to give several more geometric examples where we have better control over how things break down.
Example 5.14.Consider the quasi-affine variety X := A n k \ {0} over a field k.Since this scheme is quasi-affine, its category of quasicoherent sheaves is equivalent to the category of modules over the ring of global sections, R.This is a commutative k-algebra whose homotopy groups are the coherent cohomology groups of A n k \ {0}.In this case we have The divisible module which shows in degree 1 − n has tor dimension n and therefore condition (2) in Theorem 1.1.Applying excision to the scissor congruence * with the comparison map π 0 R → R inducing the inclusion of the left summand.
In Example 5.14, the tor condition fails and the K-theories differ, but R is regular anyway.What happens here is that the map Mod(π 0 R) ♥ → Mod(R) ♥ isn't faithful because the module k supported at the origin is sent to zero.This example also exhibits another more subtle behavior.In [Wal78b, Proposition 1.1] (which is extended to general connective ring spectra by [LT19, Lemma 2.4]), Waldhausen shows that an n-connective map of connective algebras induces an (n + 1)-connective map on K-theory.A similar phenomenon does not occur our setting.In Example 5.14 the first degree where R differs from its π 0 R is 1 − n while the K-theory first differs in degree 1, which is independent of the parameter n.
Since Example 5.14 isn't tight with respect to the tor condition we now provide another family of examples which, although more geometrically degenerate, do show that the tor condition is tight.
Example 5.15.Consider A n with a doubled origin over the same field k, that is to say we look at the pullback below From our examination of Γ(A n − 0) in Example 5.14 we know that π −n R has tor dimension n.Since Γ(A n ) → Γ(A n − 0) is a localization the induced square on K-theory is a pullback (see [Tam18]).From this we can read off that where again the comparison map π 0 R → R induces the inclusion of the left summand.
In the previous two examples the K-theory of R and its connective cover differed, but R was still regular (in the sense of Definition 3.4).Our next example will show that it is possible for π 0 R to be regular while R is non-regular.To do this we use an affine nodal cubic curve C over a field k, which has non-vanishing K −1 (see [Wei13,III.4.4]).The main result of [AGH19] then implies that the category of perfect coherent sheaves on C is not regular. .As in the previous example, since the top horizontal arrow is a localization the induced square on K-theory is a pullback [Tam18].Since C[x −1 ] is regular and Noetherian its negative K-groups vanish.This implies that K −1 (R) ∼ = K −1 (C) = 0. On the other hand π 0 R = k[x] has vanishing K −1 .Since K −1 (R) is non-zero, the category of compact Rmodules cannot be regular.This example demonstrates that when the tor condition is violated, Mod(R) ω can fail to be regular in addition to the K-theories of R and π 0 R differing.In essence what we have done in Example 5.16 is taken a singularity and hidden it in degree −1.The fact that this can be done implies that the tor condition in Theorem 1.1 and the condition that π 0 R be left regular coherent cannot be disentangled-an idea we explore further in the next example.
Example 5.17.Suppose that R is a regular, discrete, Noetherian, commutative algebra.Using Theorem 1.3, Example 4.9, Example 4.10 and Proposition 5.1 we obtain K-theory equivalences What distinguishes this example is that R[x 0 , x −1 ]/(x 0 x −1 ) is coconnective, has Noetherian, regular π 0 , but violates the tor condition, while R[ 0 ] is discrete (and therefore satisfies the tor condition), but is non-regular.This suggests that at the level of nc motives regularity of π 0 R and the tor condition are not individually particularly meaningful.Instead we should think of the combination of these two conditions, i.e. unipotence, as a meaningful single condition.5.4.An example we do not cover.
We end the paper by giving a simple example of a ring R such that the connective cover map π 0 R → R induces an equivalence on nc motives, but R does not satisfy the hypotheses of Theorem 1.1.
Example 5.18.Let R be the ring End Fp[x,y] ((x, y)) op .As a module over F p [x, y], (x, y) has three cells, two in degree 0, and one in degree 1 with attaching maps x and y.From this we can compute the homotopy groups of R s = 0 (x, y)/(x, y) 2 s = −1 0 otherwise .
F p [x, y] is regular, but (x, y)/(x, y) 2 has tor dimension 2 over F p [x, y], so R does not satisfy the conditions of Theorem 1.1.Now we proceed to show that R is regular and the connective cover map induces an equivalence of nc motives.In working with perfect R-modules we identify this category with the thick subcategory of Mod(F p [x, y]) ω generated by (x, y).To see that R is regular, first observe that F p is connective in the standard t-structure for R since it is a retract of (x, y) ⊗ Fp[x,y] F p .From the extension (x, y) → F [x, y] → F p we can then conclude that F p [x, y] is connective in this t-structure as well.This then implies that Mod(R) ω ≥0 is equivalent to Mod(F p [x, y]) ω ≥0 .Since (x, y) represents the class 1 in K 0 (F p [x, y]), base-change along the map π 0 R = F p [x, y] → R, which can be identified with the functor ⊗ Fp[x,y] (x, y), induces multiplication by 1 on the nc motive of F p [x, y].
In this example the natural map K(π 0 R) → K(R) is an equivalence despite the fact that R doesn't satisfy the conditions of Theorem 1.1.The essential issue here is that (x, y) is not flat, i.e. the base-change functor π 0 R → R is not t-exact.Since, at its core Theorem 1.1 operates using Quillen's devissage theorem it cannot be used for examples of this type.The equivalence of K-theories in this example arises because R is Morita equivalent to its connective cover, which is a different (and less interesting) reason for them to agree.As noted above, this implies that the connective cover map induces an equivalence of nc motives in this case, something which rarely happens for rings to which one can apply Theorem 1.1.
Another point contrasting with Theorem 1.1 is the fact that the equivalence K(π 0 R) ∼ = K(R) is not visible at the level of the homotopy ring of R. Indeed, if R is the trivial square zero extension of F p [x, y] by Σ −1 (x, y)/(x, y) 2 , then its homotopy ring agrees with R, but K(π 0 R ) → K(R ) is not an equivalence, because the map π 0 R → R has the map F p [x] → F p [x] ⊕ Σ −1 F p as a retract, which was shown in Example 5.13 to not be a K-theory equivalence.
Lemma 3.8 ([BL22, Corollary 4.12]).For a map F : C → D as in Theorem 1.3 condition (B) is equivalent to:(B ) For every c ∈ C ♥ , the cofiber of the unit map c → F * F * (c) is ≤ −1 in the t-structure on Ind(C).Proof sketch.Unraveling (B ) gives the statement that the cofiber of map(d, c) → map(F d, F c) is coconnected for all c ∈ C ♥ and d ∈ C ≥0 .This visibly implies (B).The key point in proving the reverse implication is using the fact that C ♥ is closed under extensions 7 .

Remark 4. 2 .
If we specialize to the case where A, B and C are module categories of E 1 -algebras A, B and C, then we can move down a categorical level:(1) The category Fun L (Mod(C), Mod(B)) can be identified with Mod(B ⊗ C op ), meaning the bonding map is just a choice of (B, C)-bimodule M .(2) im A is generated by the image of A, meaning im(A) ∼ = Mod(im A) ω where im A is the endomorphism algebra of the image of A.(3) If the functors A → B and A → C came from E 1 -algebra maps A → B and A → C, then B f A Cis generated by the image of B (which is equivalent to the image of C).We let B M A C denote the ring of endomorphisms of this object where M is the bimodule used as the bonding map.Speaking practically, the fundamental difficulty in working with the -product lies in identifying the categories im(A) and B f A C. A fundamental insight of Land and Tamme is that in many cases of interest these categories are surprisingly computationally accessible.Example 4.3.In[LT19], where the -product was introduced, the following example of Construction 4.1 is analyzed.Suppose we are given a pullback square of E 1 -algebras Using D as our (B, C)-bimodule, Mod(A) for A and the map B → D of (B, A)-bimodules for the natural transformation, we can construct a -product B D A C. In this situation they prove that im(A) ∼ = A and the spectrum underlying B D A C is equivalent to B ⊗ A C as a (B, C)-bimodule.Furthermore, they show in [LT19, Proposition 1.13] that the underlying C-bimodule of B D A C is the cofiber of the map I ⊗ A C → C, where I is the fiber of C → D.In the forthcoming[LT22] another, somewhat dual, situation is analyzed.
and an equivalence of the associated -product with the pushout of the span,B b * c * A Corollary 4.5 ([LT22]).Given a span B ← A → C of E 1 -algebras we have an equivalence product with the pushout of the span in E 1 -algebras.

Remark 4. 6 .
In Corollary 4.5 if we have a span of commutative algebras instead, then the base-change equivalence B ⊗ A C ⊗ C − ∼ = B ⊗ A − allows us to recognize that we are actually in the situation of Example 4.3 for the cospan B → B ⊗ A C ← C. The benefit of making this identification is that we can identify im(A) as the pullback of this cospan.

Theorem 4. 11 .
Suppose we are given a span B b ← − A c − → C in Cat perf where A is equipped with a bounded t-structure.If we assume that (D) the induced functor A ♥ → B × b * c * C is fully faithful, then connective K-theory preserves the pushout of the span, i.e the diagram below is a pushout square.

Lemma 4. 12 .
In the situation of Theorem 4.11 condition (D) is implied by (D ) The functors A ♥ → B and A ♥ → C are faithful.Proof.Let F denote the functor A → B × b * c * C. Using Lemma 3.8 it suffices to show that cof(a → F * F * (a)) is ≤ −1 for each a ∈ A ♥ .In order to proceed we'll need to give a formula for F * F * .From the pullback square Map B × b * c * C (F * x, F * y) Map B (b * x, b * x) Map C (c * x, c * y) Map B (b * c * c * x, b * c * c * y) Map B (b * x, b * c * c * y) b * c * b * ηc•− is a span of discrete rings where is left regular coherent and both f and g are right faithfully flat.Then connective K-theory preserves the pushout of this span.Remark 4.14.Note that (D) does not imply (D ).For example if X and Y are (wellbehaved) smooth varieties which form a Zariski covering of Z, then (D) is satisfied for the span QCoh(X) ← QCoh(Z) → QCoh(Y ) while (D ) need not be satisfied.Remark 4.15.Corollary 4.13 (and in turn Lemma 4.12 and Theorem 4.11) can be viewed as a generalization of [Wal78a, Theorems 1 and 4] where the stronger condition that f : A → B and g : A → C are pure inclusions 12 was imposed.

Example 5. 16 .
Consider the nodal cubic curveC := Spec(k[x, y]/y 2 − x 2 (x − 1)) and let R denote the pullback below R k[x ±1 ] C C[x −1 ].Geometrically, the bottom horizontal arrow corresponds to removing the nodal point from Spec(C) and the right vertical arrow corresponds to the quotient of C minus the node by the C 2 action that sends y to −y.The homotopy groups of R are yx −1 )k[x −1 ] s = −1 0 otherwise