Abstract
Homotopy categorical groups of any pointed space are defined via the fundamental groupoid of iterated loop spaces. This notion allows, paralleling the group case, to introduce the notion of K-categorical groups \(\mathbb{K}_iR\) of any ring R. We also show the existence of a fundamental categorical crossed module associated to any fibre homotopy sequence and then, \(\mathbb{K}_1R\) and \(\mathbb{K}_2R\) are characterized, respectively, as the homotopy cokernel and kernel of the fundamental categorical crossed module associated to the fibre homotopy sequence \(FR\xrightarrow{{d_{R} }}BGLR\xrightarrow{{q_{R} }}BGLR^{ + } \) As consequence, the 3th level of the Postnikov tower of the K-theory spectrum of R is classified by this categorical crossed module.
Similar content being viewed by others
References
Bass, H.: Algebraic K-Theory. Benjamin, New York (1968)
Berrick, A.J.: An approach to algebraic K-theory. Resarch Notes in Mathematics vol. 56. Pitman Advanced, Boston (1982)
Breen, L.: Théorie de Schreier supérieure. Ann. Sci. École Norm. Sup. (4)e série 25, 465–514 (1992)
Carrasco, P., Cegarra, A.M.: (Braided) tensor structures on homotopy groupoids and nerves of (braided) categorical groups. Comm. Algebra 24, 3995–4058 (1996)
Carrasco, P., Cegarra, A.M., Garzón, A.R.: The homotopy categorical crossed module of a CW-complex. Topology Appl. 154, 834–847 (2007)
Carrasco, P., Cegarra, A.M., Garzón, A.R.: The clasifying space of a categorical crossed module. Math. Nachr. (2009, in press)
Carrasco, P., Garzón, A.R., Vitale, E.M.: On categorical crossed modules. Theory Appl. Categ. 16(22), 585–618 (2006)
Cegarra, A.M., Garzón, A.R.: Homotopy classification of categorical torsors. Appl. Categ. Struct. 9(5), 465–496 (2001)
Garzón, A.R., Inassaridze, H.: Semidirect products of categorical groups. Obstruction theory. Homology, Homotopy and Applications 3, 111–138 (2001)
Garzón, A.R., Miranda, J.G., del Río, A.: Tensor structures on homotopy groupoids of topological spaces. Int. Math. J. 2(5), 407–431 (2002)
Grandis, M., Vitale, E.M.: A higher dimensional homotopy sequence. Homology, Homotopy and Applications 4(1), 59–69 (2002)
Joyal, A., Street, R.: Braided tensor categories. Adv. Math. 82, 20–78 (1991)
Kasangian, S., Vitale, E.M.: Factorization systems for symmetric cat-groups. Theory Appl. Categ. 7, 47–70 (2000)
Quillen, D.: Higher algebraic K-theory. I. algebraic K-theory, I: higher K-theories. In: Proc. Conf. Battelle Memorial Inst., Seattle, Was., 1972. Lecture Notes in Math. vol. 341, pp. 85–147. Springer, Berlin (1973)
Rousseau, A.: Bicatégories monoidales et extensions de Gr-catégories. Homology, Homotopy and Applications 5, 437–547 (2003)
Sinh, H.X.: Gr-catégories. Université Paris 7, Thèse de doctorat (1975)
Spanier, E.H.: Algebraic Topology. Springer, New York (1972)
Switzer, R.M.: Algebraic Topology-Homotopy and Homology. Springer, New York (1975)
Author information
Authors and Affiliations
Corresponding author
Additional information
We thank to the referee the useful observations that greatly improved our exposition.
Partially supported by DGI of Spain and FEDER (Project: MTM2007-65431); Consejería de Innovación de J. de Andalucía (P06-FQM-1889); MEC de España, ‘Ingenio Mathematica(i-Math)’ No.CSD2006-00032 (consolider-Ingenio 2010).
Rights and permissions
About this article
Cite this article
Garzón, A.R., del Río, A. On Algebraic K-theory Categorical Groups. Appl Categor Struct 19, 633–649 (2011). https://doi.org/10.1007/s10485-009-9195-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-009-9195-2