Liftings and covering morphisms of crossed modules in group-groupoids

In this work we introduce lifting and covering of a crossed module in the category of group-groupoids; and then we prove the categorical equivalence of horizontal actions of a double group-groupoid and lifting crossed modules of corresponding crossed module in group-groupoids. These allow us to produce more examples of double group-groupoids.

PDF

___

[1] Akız HF, Alemdar N, Mucuk O, Şahan T. Coverings of internal groupoids and crossed modules in the category of groups with operations. Georgian Mathematical Journal 2013; 20 (2): 223-238.
[2] Baez JC, Lauda AD. Higher-dimensional algebra V: 2-groups. Theory and Applications of Categories 2004; 12: 423-491.
[3] Brown R. Computing homotopy types using crossed n-cubes of groups. Adams Memorial Symposium on Algebraic Topology, 1. London Mathematical Society Lecture Note Series, 175. Cambridge, UK: Cambridge University Press, 1992, pp. 187-210.
[4] Brown R. Topology and Groupoids. Deganwy, UK: BookSurge LLC, 2006.
[5] Brown R, Hardy JPL. Topological groupoids I: Universal constructions. Mathematische Nachrichten 1976; 71: 273- 286.
[6] Brown R, Danesh-Naruie G, Hardy JPL. Topological groupoids II: Covering morphisms and G-spaces. Mathematische Nachrichten 1976; 74: 143-156.
[7] Brown R, Higgins PJ, Sivera R. Nonabelian Algebraic Topology: filtered spaces, crossed complexes, cubical homotopy groupoids. European Mathematical Society Tracts in Mathematics 2011; 15.
[8] Brown R, Mackenzie KCH. Determination of a double Lie groupoid by its core diagram. Journal of Pure and Applied Algebra 1992; 80: 237-272.
[9] Brown R, Mucuk O. Covering groups of non-connected topological groups revisited. Mathematical Proceedings of the Cambridge Philosophical Society 1994; 115: 97-110.
[10] Brown R, Spencer CB. Double groupoids and crossed modules. Cahiers de Topologie et Géométrie Différentielle Catégoriques 1976; 17: 343-362.
[11] Brown R, Spencer CB. G-groupoids, crossed modules and the fundamental groupoid of a topological group. Koninklijke Nederlandse Akademie van Wetenschappen A 1976; 38: 296-302.
[12] Demir S, Mucuk O. Actions of double group-groupoids and covering morphism. Gazi University Journal of Science 2020; 33 (4): 810-819. doi: 10.35378/gujs. 604849
[13] Ehresmann C. Categories doubles et categories structurees. Comptes Rendus Mathématique Académie des Sciences. Paris 1963; 256: 1198-1201. (in French)
[14] Ehresmann C. Categories structures. Annales Scientifiques de l’École Normale Supérieure 1963; 80: 349-426. (in French)
[15] Ellis G, Steiner R. Higher-dimensional crossed modules and the homotopy groups of (n + 1)-ads. Journal of Pure and Applied Algebra 1987; 46: 117-136.
[16] Higgins PJ. Notes on categories and groupoids. Van Nostrand Rienhold Mathematical Studies, No. 32. New York, NY, USA: Van Nostrand Reinhold Co., 1971.
[17] Icen I, Özcan AF. Topological crossed modules and G-groupoids. Algebras, Groups and Geometries 2001; 18 (4): 401-410.
[18] Loday JL. Spaces with finitely many nontrivial homotopy groups. Journal of Pure and Applied Algebra 1982; 24 (2): 179-202.
[19] Mackenzie KCH. Lie groupoids and Lie algebroids in differential geometry. London Mathematical Society Lecture Note Series, 124. Cambridge, UK: Cambridge University Press, 1987.
[20] Mucuk O, Akız HF. Covering morphisms of topological internal groupoids. Hacettepe Journal of Mathematics and Statistics 2020; 49 (3): 1020-1029.
[21] Mucuk O, Demir S. Normality and quotient in crossed modules over groupoids and double groupoids. Turkish Journal of Mathematics 2018; 42: 2336-2347.
[22] Mucuk O, Demir S. Covering groupoids of categorical rings. Filomat 2015; 29 (1): 39-49. [23] Mucuk O, Şahan T, Alemdar N. Normality and quotients in crossed modules and group-groupoids. Applied Categorical Structures 2015; 23 (3): 415-428.
[24] Mucuk O, Şahan T. Group-groupoid actions and liftings of crossed modules. Georgian Mathematical Journal 2019; 26 (3): 437-447.
[25] Mucuk O, Şahan T. Covering groupoids of categorical groups. Hacettepe Journal of Mathematics and Statistics 2013; 42 (4): 419-430.
[26] Norrie K. Actions and automorphisms of crossed modules. Bulletin de la Société Mathématique de France 1990; 118 (2): 129-146.
[27] Orzech G. Obstruction theory in algebraic categories I. Journal of Pure and Applied Algebra 1972; 2: 287-314.
[28] Orzech G. Obstruction theory in algebraic categories II. Journal of Pure and Applied Algebra 1972; 2: 315-340.
[29] Şahan T, Erciyes A. Actions of internal groupoids in the category of Leibniz Algebras. Communications Faculty of Sciences University of Ankara Series A1 Mathematics and Statistics 2019; 68 (1): 619-632.
[30] Temel S, Şahan T, Mucuk O. Crossed modules, double group-groupoids and crossed squares. Filomat 2020; 34 (6): 1755-1769. doi: 10.2298/FIL2006755T
[31] Whitehead JHC. Note on a previous paper entitled on adding relations to homotopy groups. Annals of Mathematics 1946; 47 (2): 806-810.
[32] Whitehead JHC. Combinatorial homotopy II. Bulletin of the American Mathematical Society 1949; 55: 453-496.