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
add comment

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.