On the fundamental group of Hom\(({\mathbb Z}^k,G)\) (Q431284): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: José Manuel Estebaranz Gómez / rank | |||
Property / author | |||
Property / author: José Manuel Estebaranz Gómez / rank | |||
Normal rank | |||
Property / review text | |||
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''. | |||
Property / review text: 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''. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55Q52 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 22E15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55Q05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6050608 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hom | |||
Property / zbMATH Keywords: Hom / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
fundamental group | |||
Property / zbMATH Keywords: fundamental group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
compact Lie group | |||
Property / zbMATH Keywords: compact Lie group / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Thiago De Melo / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1892659804 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1006.3055 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Commuting elements in central products of special unitary groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohomology of the space of commuting \(n\)-tuples in a compact Lie group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lie groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topological components of spaces of representations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The structure of compact groups. A primer for the student -- a handbook for the expert / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2755518 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lie groups beyond an introduction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Commuting tuples in reductive groups and their maximal compact subgroups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ensembles et morphismes stratifiés / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fundamental groups of commuting elements in Lie groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tangents to an analytic variety / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:29, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the fundamental group of Hom\(({\mathbb Z}^k,G)\) |
scientific article |
Statements
On the fundamental group of Hom\(({\mathbb Z}^k,G)\) (English)
0 references
26 June 2012
0 references
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''.
0 references
Hom
0 references
fundamental group
0 references
compact Lie group
0 references