Homological algebra in bivariant K-theory and other triangulated categories (original) (raw)
Bivariant (equivariant) K-theory is the standard setting for non-commutative topology. We may carry over various techniques from homotopy theory and homological algebra to this setting. Here we do this for some basic notions from homological algebra: phantom maps, exact chain complexes, projective resolutions, and derived functors. We introduce these notions and apply them to examples from bivariant K-theory. An important observation of Beligiannis is that we can approximate our category by an Abelian category in a canonical way, such that our homological concepts reduce to the corresponding ones in this Abelian category. We compute this Abelian approximation in several interesting examples, where it turns out to be very concrete and tractable. The derived functors comprise the second tableau of a spectral sequence that, in favourable cases, converges towards Kasparov groups and other interesting objects. This mechanism is the common basis for many different spectral sequences. Here...
Sign up for access to the world's latest research.
checkGet notified about relevant papers
checkSave papers to use in your research
checkJoin the discussion with peers
checkTrack your impact
Related papers
Homological algebra in bivariant K-theory and other triangulated categories. I
Triangulated Categories, 2009
Bivariant (equivariant) K-theory is the standard setting for noncommutative topology. We may carry over various techniques from homotopy theory and homological algebra to this setting. Here we do this for some basic notions from homological algebra: phantom maps, exact chain complexes, projective resolutions, and derived functors. We introduce these notions and apply them to examples from bivariant K-theory. An important observation of Beligiannis is that we can approximate our category by an Abelian category in a canonical way, such that our homological concepts reduce to the corresponding ones in this Abelian category. We compute this Abelian approximation in several interesting examples, where it turns out to be very concrete and tractable. The derived functors comprise the second page of a spectral sequence that, in favourable cases, converges towards Kasparov groups and other interesting objects. This mechanism is the common basis for many different spectral sequences. Here we only discuss the very simple 1-dimensional case, where the spectral sequences reduce to short exact sequences.
Homological algebra in bivariant K-theory and other triangulated categories. II
2008
We use homological ideals in triangulated categories to get a sufficient criterion for a pair of subcategories in a triangulated category to be complementary. We apply this criterion to construct the Baum-Connes assembly map for locally compact groups and torsion-free discrete quantum groups. Our methods are related to the abstract version of the Adams spectral sequence by Brinkmann and Christensen.
A remark on K-theory and S-categories
Topology, 2004
It is now well known that the K-theory of a Waldhausen category depends on more than just its (triangulated) homotopy category (see [20]). The purpose of this note is to show that the K-theory spectrum of a (good) Waldhausen category is completely determined by its Dwyer-Kan simplicial localization, without any additional structure. As the simplicial localization is a refined version of the homotopy category which also determines the triangulated structure, our result is a possible answer to the general question: "To which extent K-theory is not an invariant of triangulated derived categories ?"
Spectral Mackey functors and equivariant algebraic K-theory (I)
Advances in Mathematics
Spectral Mackey functors are homotopy-coherent versions of ordinary Mackey functors as defined by Dress. We show that they can be described as excisive functors on a suitable ∞-category, and we use this to show that universal examples of these objects are given by algebraic K-theory. More importantly, we introduce the unfurling of certain families of Waldhausen ∞-categories bound together with suitable adjoint pairs of functors; this construction completely solves the homotopy coherence problem that arises when one wishes to study the algebraic K-theory of such objects as spectral Mackey functors. Finally, we employ this technology to lay the foundations of equivariant stable homotopy theory for profinite groups; the lack of such foundations has been a serious impediment to progress on the conjectures of Gunnar Carlsson. We also study fully functorial versions of A-theory, upside-down A-theory, and the algebraic K-theory of derived stacks. Contents 0. Summary 1. Preliminaries on ∞-categories 2. The twisted arrow ∞-category 3. The effective Burnside ∞-category 4. Disjunctive ∞-categories 5. Disjunctive triples 6. Mackey functors 7. Mackey stabilization 8. Representable spectral Mackey functors and assembly morphisms 9. Mackey stabilization via algebraic K-theory 10. Waldhausen bicartesian fibrations 11. Unfurling 12. Horn filling in effective Burnside ∞-categories 13. The Burnside Waldhausen bicartesian fibration Example A. Coherent n-topoi and the Segal-tom Dieck splitting Example B. Equivariant spectra for a profinite group Example C. A-theory and upside-down A-theory of ∞-topoi Example D. Algebraic K-theory of derived stacks References 2 CLARK BARWICK
Equivariant Higher Algebraic K-Theory for Waldhausen Categories
A. Kuku: Higher Algebraic K-Theory for Waldhausen Categories . . . Additivity theorem (5.1.8) and fibration theorem (5.1.9). In Section 6, we focus on applications of the foregoing to Thomason's "complicial bi-Waldhausen categories" of the form Ch b (C), where C is any exact category. First we obtain connections between the foregoing theory and those in [3] (see 6.1) and then interprete the theories in terms of group-rings (6.2). In the process we prove a striking result that if R is the ring of integers in a number field, G a finite group, then the Waldhausen's K-groups of the category (Ch b (M (RG), w) of bounded complexes of finitely generated RG-modules with stable quasi-isomorphisms as weak equivalences are finite abelian groups (see 6.4). Finally we present in 6.5 an equivariant approximation theorem for complicial bi-Waldhausen categories (see 6.6).
Spaces over a Category and Assembly Maps in Isomorphism Conjectures in K‐and L‐Theory
K-theory, 1998
We give a unified approach to the Isomorphism Conjecture of Farrell and Jones on the algebraic Kand L-theory of integral group rings and to the Baum-Connes Conjecture on the topological K-theory of reduced C * -algebras of groups. The approach is through spectra over the orbit category of a discrete group G. We give several points of view on the assembly map for a family of subgroups and characterize such assembly maps by a universal property generalizing the results of Weiss and Williams to the equivariant setting. The main tools are spaces and spectra over a category and their associated generalized homology and cohomology theories, and homotopy limits.
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.