Abstract
For any categorical group H, we introduce the categorical group O ut(H) and then the well-known group exact sequence 1→Z(H)→H→Aut(H)→Out(H)→1 is raised to a categorical group level by using a suitable notion of exactness. Breen's Schreier theory for extensions of categorical groups is codified in terms of homomorphism to O ut(H) and then we develop a sort of Eilenberg–Mac Lane obstruction theory that solves the general problem of the classification of all categorical group extensions of a group G by a categorical group H, in terms of ordinary group cohomology.
Similar content being viewed by others
References
Baer, R.: Erweiterung gruppen und ihren isomorphismen, Math. Z. 38 (1935), 375-416.
Barr, M.: Cohomology and obstructions, in Commutative Algebras, Lecture Notes in Mathematics 80, Springer, 1969, pp. 357-375.
Bénabou, J.: Introduction to bicategories, in Lecture Notes in Mathematics 40, Springer, 1967, pp. 1-77.
Breen, L.: Théorie de Schreier supérieure, Ann. Sci. École Norm. Sup. (4) 25 (1992), 465-514.
Carrasco, P. and Cegarra, A. M.: Schreier theory for central extensions of categorical groups, Comm. Algebra 24(13) (1996), 4059-4112.
Carrasco, P., Garzón, A. R. and Miranda, J. G.: Schreier theory for singular extensions of categorical groups and homotopy classification, Comm. Algebra 28(5) (2000), 2585-2613.
Cegarra, A. M., Bullejos, M. and Garzón, A. R.: Higher dimensional obstruction theory in algebraic categories, J. Pure Appl. Algebra 49 (1987), 43-102.
Cegarra, A. M., Garzón, A. R. and Grandjean, A. R.: Graded extensions of categories, J. Pure Appl. Algebra 154 (2000), 117-141.
Cegarra, A. M., Garzón, A. R. and Ortega, J. A.: Graded extensions of monoidal categories, J. Algebra 241 (2001), 620-657.
Dedecker, P.: Cohomologie non-abélienne, Séminaire de l'Institut Mathématique Lille, 1965.
Duskin, J.: Non-Abelian monadic cohomology and low-dimensional obstruction theory, Math. Forschung Inst. Oberwolfach Tagungsberich 33 (1976).
Eilenberg, S. and Mac Lane, S.: Cohomology theory in abstract group II, Ann. of Math. 48 (1946), 326-341.
Garzón, A. R. and Inassaridze, H.: Semidirect products of categorical groups. Obstruction theory, Homology, Homotopy Appl. 3(6) (2001), 111-138.
Garzón, A. R., Miranda, J. G. and del Ro, A.: Tensor structures on homotopy groupoids of topological spaces, Internat. Math. J. 2(5) (2002), 407-431.
Hochschild, G.: Lie algebras, kernels and cohomology, Amer. J. Math. 76 (1954), 698-716.
Joyal, A. and Street, R.: Braided tensor categories, Adv. Math. 82(1) (1991), 20-78.
Kasangian, S. and Vitale, E. M.: Factorization systems for symmetric cat-groups, Theory Appl. Categ. 7(5) (2000), 47-70.
Mac Lane, S.: Natural associativity and commutativity, Rice Univ. Studies 49 (1963), 28-46.
Mac Lane, S.: Homology, Die Grundleheren der Math. Wiss. in Einzel 114, Springer, Berlin, 1963.
Mac Lane, S.: Categories for the Working Mathematician, 2nd edn, Springer, 1997.
Norrie, K. J.: Actions and automorphisms of crossed modules, Bull. Soc. Math. France 118 (1990), 129-146.
. Rousseau, A.: Extensions De Gr-catégories, Université Paris 13, These de doctorat, 2000.
Saavedra, N.: Catégories tannakiennes, Lecture Notes in Mathematics 265, Springer, 1972.
Schreier, O.: Ñber die Erweiterung von Gruppen I, Monatsh. Math. Phys. 34 (1926), 165-180.
Shukla, H.: Cohomologie des algebres associatives, Ann. Sci. École Norm. Sup. 78 (1961), 163-209.
Sinh, H. X.: Gr-catégories, Université Paris VII, These de doctorat, 1975.
Vitale, E.M.: A Picard-Brauer exact sequence of categorical groups, J. Pure Appl. Algebra 175 (2002), 383-408.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Carrasco, P., Garzón, A.R. Obstruction Theory for Extensions of Categorical Groups. Applied Categorical Structures 12, 35–61 (2004). https://doi.org/10.1023/B:APCS.0000013810.93405.c8
Issue Date:
DOI: https://doi.org/10.1023/B:APCS.0000013810.93405.c8