On the mod-$\ell$ homology of the classifying space for commutativity

Abstract

We study the mod-$\ell$ homotopy type of classifying spaces for commutativity, $B\left(\mathbb{Z},G\right)$, at a prime $\ell$. We show that the mod-$\ell$ homology of $B\left(\mathbb{Z},G\right)$ depends on the mod-$\ell$ homotopy type of $BG$ when $G$ is a compact connected Lie group, in the sense that a mod-$\ell$ homology isomorphism $BG\to BH$ for such groups induces a mod-$\ell$ homology isomorphism $B\left(\mathbb{Z},G\right)\to B\left(\mathbb{Z},H\right)$. In order to prove this result, we study a presentation of $B\left(\mathbb{Z},G\right)$ as a homotopy colimit over a topological poset of closed abelian subgroups, expanding on an idea of Adem and Gómez. We also study the relationship between the mod-$\ell$ type of a Lie group $G\left(ℂ\right)$ and the locally finite group $G\left({\overline{\mathbb{𝔽}}}_p\right)$, where $G$ is a Chevalley group. We see that the naïve analogue for $B\left(\mathbb{Z},G\right)$ of the celebrated Friedlander–Mislin result cannot hold, but we show that it does hold after taking the homotopy quotient of a $G$ action on $B\left(\mathbb{Z},G\right)$.