Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am working on exercise 4.2.7 of Hatcher, which is to construct a CW complex $X$ with arbitrary homotopy groups and a prescribed action of the fundamental group on these homotopy groups (so making the higher homotopy groups each be a specified $\mathbb{Z}\pi_1(X)$-module), and am having trouble with constructing a specified action of the fundamental group on the higher homotopy groups.

Here is what I have tried in the special case that we want $\pi_1X\cong \mathbb{Z}$, and we want all except the first and $n^{th}$ groups to be trivial. If $Y=S^1 \vee_{\alpha} S^n_{\alpha}$, I know that $\pi_n(Y)$ is a rank $\alpha$ free $\pi_1(Y)$ module, with generators the inclusions $S^n \to S^1 \vee_{\alpha} S^n_{\alpha}$. So, we could get an arbitrary $\pi_1$-module structure on a space by attaching $n+1$ cells to $Y$ according to the relations we want between our generators. I think this construction works for $\pi_1$ being a free group of any rank, since we could take a wedge of $n$-spheres with a wedge of a bunch of $S^1$s.

So, my main questions are: how can I make a space with arbitrary fundamental group and a specified action of the fundamental group on the $n^{th}$ homotopy group, and how can I get a specifed $\pi_1$ action on different higher homotopy groups at the same time?

I believe this question is answered here on Mathoverflow, but I don't understand what it means to attach free orbits along the action, and I'm not familiar with the Borel construction.

share|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.