Abstract
We define negative K-groups for exact categories and for ``derived categories'' in the framework of Frobenius pairs, generalizing definitions of Bass, Karoubi, Carter, Pedersen-Weibel and Thomason. We prove localization and vanishing theorems for these groups. Dévissage (for noetherian abelian categories), additivity, and resolution hold. We show that the first negative K-group of an abelian category vanishes, and that, in general, negative K-groups of a noetherian abelian category vanish. Our methods yield an explicit non-connective delooping of the K-theory of exact categories and chain complexes, generalizing constructions of Wagoner and Pedersen-Weibel. Extending a theorem of Auslander and Sherman, we discuss the K-theory homotopy fiber of ε⊕→ ε and its implications for negative K-groups. In the appendix, we replace Waldhausen's cylinder functor by a slightly weaker form of non-functorial factorization which is still sufficient to prove his approximation and fibration theorems.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Bartels, A., Farrell, T., Jones, L., Reich, H.: On the isomorphism conjecture in algebraic K-theory. Topology. 43(1), 157–213 (2004)
Bass, H.: Algebraic K-theory. New York-Amsterdam: W. A. Benjamin, Inc., 1968
Beilinson, A.A., Bernstein, J., Deligne, P.: Faisceaux pervers. In: Analysis and topology on singular spaces, I (Luminy, 1981), pp 5–171. Soc. Math. France, Paris, 1982
Bousfield, A.K., Friedlander, E.M.: Homotopy theory of Γ-spaces, spectra, and bisimplicial sets. In: Geometric applications of homotopy theory (Proc. Conf., Evanston, Ill., 1977), II, vol. 658 of Lecture Notes in Math. pp 80–130. Springer, Berlin, 1978
Bökstedt, M., Neeman, A.: Homotopy limits in triangulated categories. Compositio Math. 86(2), 209–234, (1993)
Balmer, P., Schlichting, M.: Idempotent completion of triangulated categories. J. Algebra. 236, 819–834 (2001)
Carter, D.W.: Localization in lower algebraic K-theory. Comm. Algebra. 8(7), 603–622 (1980)
Cárdenas, M., Pedersen, E.K.: On the Karoubi filtration of a category. K-Theory. 12(2), 165–191 (1997)
Fritsch, R., Piccinini, R.A.: Cellular structures in topology, vol. 19 of Cambridge Studies in Advanced Mathematics. Cambridge: Cambridge University Press, 1990
Franke, J.: On the Brown representability theorem for triangulated categories. Topology. 40(4), 667–680 (2001)
Gabriel, P.: Des catégories abéliennes. Bull. Soc. Math. France. 90, 323–448 (1962)
Hornbostel, J., Schlichting, M.: Localization in Hermitian K-theory of rings. J. London Math. Soc. (2). 70(1), 77–124 (2004)
Happel, D.: On the derived category of a finite-dimensional algebra. Comment. Math. Helv. 62(3), 339–389 (1987)
Hovey, M.: Model categories, vol. 63 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 1999
Hsiang, WC.: Geometric applications of algebraic K-theory. In: Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Warsaw, 1983), pp 99–118, Warsaw, PWN, 1984
Karoubi, M.: Foncteurs dérivés et K-théorie. In: Séminaire Heidelberg-Saarbrücken-Strasbourg sur la K-théorie (1967/68), vol. 136 of Lecture Notes in Mathematics, pp 107–186, Springer, Berlin, 1970
Karoubi, M.: La périodicité de Bott en K-théorie générale. Ann. Sci. École Norm. Sup. (4). 4, 63–95 (1971)
Keller, B.: Chain complexes and stable categories. Manuscripta Math. 67(4), 379–417 (1990)
Keller, B.: Derived categories and their uses. In: Handbook of algebra, Vol. 1, pp. 671–701. North-Holland, Amsterdam, 1996
Keller, B.: On the cyclic homology of exact categories. J. Pure Appl. Algebra. 136(1), 1–56, (1999)
Kríz I., May, J.P.: Operads, algebras, modules and motives. Astérisque. (233), iv+145pp (1995)
May, J.P.: E ∞ spaces, group completions, and permutative categories. pp 61–93. London Math. Soc. Lecture Note Ser. 11 (1974)
Neeman, A.: The derived category of an exact category. J. Algebra. 135(2), 388–394 (1990)
Neeman, A.: The connection between the K-theory localization theorem of Thomason, Trobaugh and Yao and the smashing subcategories of Bousfield and Ravenel. Ann. Sci. École Norm. Sup. (4). 25(5), 547–566 (1992)
Neeman, A.: Triangulated categories, vol. 148 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2001
Pedersen, E.: On the K -i -functors. J. Algebra. 90(2), 461–475 (1984)
Popescu, N.: Abelian categories with applications to rings and modules. Academic Press, London, 1973. London Mathematical Society Monographs, No. 3
Pedersen, E.K., Weibel, C.A.: K-theory homology of spaces. In: Algebraic topology (Arcata, CA, 1986), volume 1370 of Lecture Notes in Math. pp 346–361. Springer, Berlin, 1989
Quillen, D.: Higher algebraic K-theory. I. pp 85–147. Lecture Notes in Math. 341, 1973
Quillen, D.: Higher algebraic K-theory. In: Proceedings of the International Congress of Mathematicians (Vancouver, B. C., 1974), Vol. 1, pp 171–176. Canad. Math. Congress, Montreal, Que. 1975
Schlichting, M.: A note on K-theory and triangulated categories. Invent. Math. 150(1), 111–116 (2002)
Schlichting, M.: Delooping the K-theory of exact categories. Topology. 43(5), 1089–1103 (2004)
Cohomologie l-adique et fonctions L. Séminaire de Géometrie Algébrique du Bois-Marie 1965–1966 (SGA 5), Edité par Luc Illusie, Lecture Notes in Mathematics, Vol. 589. Springer, Berlin, 1977
Sherman, C.: On the homotopy fiber of the map BQ (after M. Auslander). In: Algebraic K-theory and algebraic number theory (Honolulu, HI, 1987), vol. 83 of Contemp. Math. pp 343–348. Amer. Math. Soc. Providence, RI, 1989
Thomason, R.W.: Cat as a closed model category. Cahiers Topologie Géom. Différentielle. 21(3), 305–324 (1980)
Thomason, R.W.: Les K-groupes d'un fibré projectif. In: Algebraic K-theory and algebraic topology (Lake Louise, AB, 1991), volume 407 of NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci. pp 243–248. Kluwer Acad. Publ., Dordrecht, 1993
Thomason, R.W.: The classification of triangulated subcategories. Compositio Math. 105(1), 1–27 (1997)
Thomason, R.W., Trobaugh, T.: Higher algebraic K-theory of schemes and of derived categories. In: The Grothendieck Festschrift, Vol. III, pp 247–435. Birkhäuser Boston, Boston, MA, 1990
Verdier, J-L.: Des catégories dérivées des catégories abéliennes. Astérisque, (239):xii+253 pp. (1997), 1996. With a preface by Luc Illusie, Edited and with a note by Georges Maltsiniotis
Wagoner, J.B.: Delooping classifying spaces in algebraic K-theory. Topology. 11, 349–370 (1972)
Waldhausen, F.: Algebraic K-theory of spaces. In: Algebraic and geometric topology (New Brunswick, N.J., 1983), pp 318–419. Springer, Berlin, 1985
Weibel, C.A.: K-theory and analytic isomorphisms. Invent. Math. 61(2), 177–197 (1980)
Weibel, C.: The negative K-theory of normal surfaces. Duke Math. J. 108(1), 1–35 (2001)
Yao, D.: Higher algebraic K-theory of admissible abelian categories and localization theorems. J. Pure Appl. Algebra. 77(3), 263–339 (1992)