English

The space of commuting elements in an exceptional Lie group and maps between classifying spaces

Algebraic Topology 2024-10-01 v1

Abstract

Let π\pi be a discrete group, and let GG be a compact connected Lie group. Hom(π,G)0\mathrm{Hom}(\pi,G)_0 denotes the null-component of the space of homomorphisms from π\pi to GG, and map(Bπ,BG)0\mathrm{map}_*(B\pi,BG)_0 denotes the null-component of the space of maps from BπB\pi to BGBG. Since the classifying space functor is continuous, there is a continuous map Θ ⁣:Hom(π,G)0map(Bπ,BG)0\Theta\colon\mathrm{Hom}(\pi,G)_0\to\mathrm{map}_*(B\pi,BG)_0. Atiyah and Bott studied this map when π\pi is a surface group, and proved surjectivity in rational cohomology. In this paper, we obtain the condition that the map Θ\Theta is surjective or not in rational cohomology when π\pi is Zm\mathbf{Z}^m for m3m\geq 3 and GG is a compact connected Lie group.

Keywords

Cite

@article{arxiv.2409.19500,
  title  = {The space of commuting elements in an exceptional Lie group and maps between classifying spaces},
  author = {Masahiro Takeda},
  journal= {arXiv preprint arXiv:2409.19500},
  year   = {2024}
}