Let $X$ be a finite CW-complex and $A$ an abelian group, and consider the space $Maps(X,K(A,n))$ of continuous maps from $X$ to $K(A,n)$ endowed with the compact-open topology, so that it represents the functor $Y\mapsto C(X\times Y,K(A,n))$. Let $Maps_0(X,K(A,n))$ be the path-connected component of $Maps(X,K(A,n))$ corresponding to the zero in $H^n(X,A)$, and let $*$ any point in $Maps_0(X,K(A,n))$. I'm interested in the fundamental group $\pi_1( Maps_0(X,K(A,n)),*)$.

i) is it abelian?

ii) does it act trivially on $\pi_i( Maps_0(X,K(A,n)),*)$ for $i\geq 1$?

If the answer to these two were "yes", then one would have that for $X$ a closed compact connected smooth oriented manifold of dimension $k\lt n$, the Postnikov tower of $Maps(X,K(\mathbb{Z},n))$ begins with $K(\mathbb{Z},n-k)$, so that there would be a canonical $(n-k-2)$-gerbe on the (moduli) space of $(n-2)$-gerbes on $X$


2 Answers 2


In general, the homotopy groups (based at the trivial map) of a based mapping space $Map(X,Y)$ are $\pi_nMap(X,Y)=[\Sigma^n,Y]$, $n\geq 0$, where the brackets denote sets of homotopy classes of maps. If $Y=K(A,n)$ then you get $\pi_1Map(X,K(A,n))=[\Sigma X,K(A,n)]=H^n(\Sigma X,A)\cong H^{n-1}(X,A)$.

  • $\begingroup$ Perfect! so also $\pi_jMap(X,K(A,n))\cong H^{n−j}(X,A)$ for $j\leq n$, which is precisely what I needed. thanks a lot! $\endgroup$ Jul 5, 2011 at 21:36

One can sharpen Fernandos answer: there exist models for Eilenberg Mac Lane spaces that are abelian topological groups. Hence the mapping space $Map(X;K(A,n))$ (based or unbased) is a topological abelian group. Topological abelian groups are products of Eilenberg-Mac Lane spaces, and so your mapping space is a product of Eilenberg-Mac Lane spaces, too. Which means that you know the Postnikov tower as well.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.