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'm brand new to homotopy theory so I'm sure this question is utterly stupid. But anyway I'm trying to understand a proof in the book "Topology and Geometry" by Glen Bredon. This is the proposition:

Let $\partial: \pi_2 (X,A,\ast)\rightarrow \pi_1 (A,\ast)$ be the boundary map from the long exact sequence of homotopy groups. For $\alpha, \beta \in \pi_2 (X,A,\ast)$ we have $(\partial (\alpha))\beta=\alpha \beta \alpha^{-1}$. Where the left hand side means the action of $\pi_1(A,\ast)$ on $\pi_2 (X,A,\ast)$.

My confusion lies in the very first sentence of the proof:

"A representative $\mathbb{D}^2\rightarrow X$ of $\beta$ can be taken so that everything maps into the base point except for a small disk and this disk can be placed anywhere. Thus we see that a representative of $\alpha \beta \alpha^{-1}$ can be taken as in the first part of figure VII-7." http://imgur.com/ieN1T (how do I get this to show up in the body of the question?)

But isn't this equivalent to the assumption that the restriction of $\beta$ to $S^1$ is null-homotopic in $\pi_1 (A)$? It seems to me that if $\beta$ lay in the same relative homotopy class as a map which is constant on $S^1$ then any homotopy between these two maps would also provide a contraction of $\beta|_{S^1}$ in $A$.

share|improve this question

1 Answer 1

First of all, this is an important fact, that the boundary map $\partial:\pi_2(X,A,*) \to \pi_1(A,*)$ with the action of $\pi_1(A,*)$ has the structure of crossed module. That is a morphism of groups $\mu: M \to P$ with an action of $P$ on $M$ (on the left, with your conventions) with two rules:

  1. $\partial(^p m )= p(\partial m)p^{-1}$;

  2. $mnm^{-1}={} ^{\mu m} n$.

The second was first given by J.H.C. Whitehead in 1941.

I do not have the book referred to, and prefer a more rectangular approach. Regard $\alpha, \beta$ as maps of squares which map the whole into $X$, the top edge into $A$ and the other three edges to the base point. Divide a rectangle into 6 parts by 1 horizontal and 3 vertical lines. In the middle top put $\beta$, in the bottom left put $\alpha$ and bottom right put $\alpha^{-1}$ (reflected horizontally). The bottom middle is totally constant, and the other two squares are vertically constant.

This diagram looks like

$$\begin{bmatrix} || & \beta & || \\ \alpha & \Box & \alpha^{-1} \end{bmatrix}$$

Reading this diagram in 2 ways (either by rows, or by columns) gives the result. (It is really a result on double groupoids! )

There is full background on crossed modules and double groupoids in the book "Nonabelian algebraic topology: filtered spaces, crossed complexes, cubical homotopy groupoids" of which full details are here, where a pdf is available.

share|improve this answer

Your Answer

 
discard

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

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