Crossed modules as maps between connected components of topological groups (Q1683676): Difference between revisions

The aim of this paper is to prove: 1) Suppose that \(\mathfrak{M}\) is a normal subgroup of the topological group \(\mathfrak{X}\). Then the induced map \(\pi_{0}(\mathfrak{M}) \rightarrow \pi_{0}(\mathfrak{X})\) is a normal map, with a crossed module structure induced by conjugation. 2) Conversely, given a normal map \(n: N \rightarrow G\) of discrete groups, there is a topological group \(\mathfrak{X}\) and a closed normal subgroup \(\mathfrak{M}\) of \(\mathfrak{X}\) with a commuting diagram and isomorphisms as follows: \[ \begin{tikzcd} \pi_0(\mathfrak M) \arrow[r, "\overline n"] \arrow[d, "\cong" left] & \pi_0(\mathfrak X) \arrow[d, "\cong"] \\ N \arrow[r, "n"] & G\end{tikzcd}, \] with \(\overline{n}\) being the naturally induced map of connected components. 3) The topological groups \(\mathfrak{M}\) and \(\mathfrak{X}\), in part 2), can be constructed naturally as homotopically discrete groups. (Compare with [\textit{O. Mucuk} et al., Appl. Categ. Struct. 23, No. 3, 415--428 (2015; Zbl 1316.18011)] and [\textit{K. Norrie}, Bull. Soc. Math. Fr. 118, No. 2, 129--146 (1990; Zbl 0719.20018)]).