On the fundamental group of Hom( Z^k,G)

From MaRDI portal
Publication:431284



Abstract: Let G be a compact Lie group, and consider the variety Hom(Z^k,G) of representations of Z^k into G. We view this as a based space by designating the trivial representation to be its base point. We prove that the fundamental group of this space is naturally isomorphic to pi_1(G)^k.


For a given compact Lie group \(G\), the set of homomorphisms from \(\mathbb{Z}^k\) to \(G\), \(\Hom (\mathbb{Z}^k,G)\), is a based space with base point the trivial homomorphism \(1\). The authors show that the fundamental group \(\pi_1(\Hom(\mathbb{Z}^k,G))\) is isomorphic to the product \(\pi_1(G)\), that is, \[ \pi_1(\Hom(\mathbb{Z}^k,G))\cong \pi_1(G)^k, \quad k\geq 1. \] Their result generalizes the one by \textit{E. Torres-Giese} and \textit{D. Sjerve} [Bull. Lond. Math. Soc. 40, No. 1, 65--76 (2008; Zbl 1145.55016)], where \(G\) is either \(\mathrm{SO}(3)\), \(\mathrm{SU}(2)\) or \(\mathrm{U}(2)\). In Section~2, they consider \(G\) simply connected and prove that \(\pi_1(\Hom(\mathbb{Z}^k,G))=1\). In Section~3, for the general case, since the natural inclusion \(G_0\hookrightarrow G\) gives rise to a map \(i_*: \Hom(\mathbb{Z}^k,G_0)\to \Hom(\mathbb{Z}^k,G)\) inducing an isomorphism on fundamental groups, they only consider \(G\) a connected compact Lie group. Finally, in Section~4, some examples are shown, such as: ``Even if \(G\) is simply connected, \(\Hom(\mathbb{Z}^k,G)\) may have connected components with non-trivial \(\pi_1\) or ``The space \(\Hom(\mathbb{Z}^3,\mathrm{Spin}(7))\) has two path-connected components.











This page was built for publication: On the fundamental group of Hom\(({\mathbb Z}^k,G)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q431284)