English

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

Algebraic Topology 2023-10-18 v2 Geometric Topology Representation Theory

Abstract

Let π\pi be a discrete group, and let GG be a compact connected Lie group. Then there is a map Θ ⁣:Hom(π,G)0map(Bπ,BG)0\Theta\colon\mathrm{Hom}(\pi,G)_0\to\mathrm{map}_*(B\pi,BG)_0 between the null-components of the spaces of homomorphism and based maps, which sends a homomorphism to the induced map between classifying spaces. Atiyah and Bott studied this map for π\pi a surface group, and showed that it is surjective in rational cohomology. In this paper, we prove that the map Θ\Theta is surjective in rational cohomology for π=Zm\pi=\mathbb{Z}^m and the classical group GG except for SO(2n)SO(2n), and that it is not surjective for π=Zm\pi=\mathbb{Z}^m with m3m\ge 3 and G=SO(2n)G=SO(2n) with n4n\ge 4. As an application, we consider the surjectivity of the map Θ\Theta in rational cohomology for π\pi a finitely generated nilpotent group. We also consider the dimension of the cokernel of the map Θ\Theta in rational homotopy groups for π=Zm\pi=\mathbb{Z}^m and the classical groups GG except for SO(2n)SO(2n).

Keywords

Cite

@article{arxiv.2302.01017,
  title  = {The space of commuting elements in a Lie group and maps between classifying spaces},
  author = {Daisuke Kishimoto and Masahiro Takeda and Mitsunobu Tsutaya},
  journal= {arXiv preprint arXiv:2302.01017},
  year   = {2023}
}
R2 v1 2026-06-28T08:30:09.441Z