Topological Meaning of semi-direct product

Solution 1:

The wording of your question is rather vague but hopefully the following will hint at least a little at one example of how the semi-direct product of the fundamental groups of topological spaces can arise naturally in common constructions. I apologise in advance if any of the definitions below aren't known to you. They should all be easily searchable on wikipedia.

If you don't know anything about fiber bundles (or the more general family of maps fibrations) then to put it very loosely, a map $p\colon E\rightarrow B$ is a fiber bundle if for all $b\in B$, the preimage of a neighbourhood $U\ni b$ is homeomorphic to the product of some space $F$ and $U$. That is, $p^{-1}(U)\cong F\times U$. We often write that the sequence of maps $F\rightarrow E\rightarrow B$ is a fibration sequence with fiber $F$ (the first map in this sequence is just inclusion of $F$ in $E$).

The proper definition puts some restrictions on the map $p$ but the above definition is good enough to give an intuitive feel for what fiber bundles 'look like'. The important part you should take away from the definition is that the space $E$ can be seen as a kind of 'twisted product' of the spaces $F$ and $B$. You should hopefully already be able to see a loose parallel between fiber bundles and semi-direct products of groups.

A very useful property of fiber bundles of 'nice spaces' (roughly speaking, if all the spaces involved are CW-complexes then we're fine) is that the homotopy groups of the fibration sequence fit in to a long exact sequence. Now, suppose that the space $F$ is connected and $\pi_2(B)=0$. Then from this long exact sequence in homotopy, we can extract the short exact sequence $$\pi_2(B)=0\rightarrow\pi_1(F)\rightarrow\pi_1(E) \rightarrow\pi_1(B)\rightarrow 0=\pi_0(F)$$ and now it should be clear that if this short exact sequence splits, then the splitting lemma for non-ableian groups tells us that $\pi_1(E)\cong \pi_1(F)\rtimes \pi_1(B)$.

The conditions on the homotopy groups of $B$ and $F$, and the requirement that the short exact sequence splits are rather specialised. So, this is far from a universally useful construction, but hopefully it's the sort of link between fundamental groups and semi direct product of groups that you were looking for.


Following the comments of KotelKanim below, the conditions on the homotopy groups of $B$ and $F$ are not necessary as long as the fiber bundle involved has a section. This means that there exists a map $s\colon B\to E$ such that $p\circ s=\mbox{Id}_B$.

Suppose the bundle $p$ has a section $s$ and let $\delta\colon\pi_n(B)\to\pi_{n-1}(F)$ be the connecting homomorphism in the associated long exact sequence of homotopy groups. Suppose $\ker\delta\neq\pi_n(B)$. Then by exactness at $\pi_n(B)$ we have $\mbox{Im}\, p_*\neq \pi_n(B)$ and so let $h$ be an element of $\pi_n(B)\setminus\mbox{Im}\, p_*$. We have $h=\mbox{Id}_{\pi_n(B)}(h)=p_*(s_*(h))$ but then this implies that $h\in\mbox{Im}\, p_*$ which is a contradiction. It follows that $\ker\delta=\pi_n(B)$ and so $\mbox{Im}\,\delta=0$.

Hence we get the augmented long exact sequence in homotopy $$\cdots \rightarrow \pi_{n+1}(B)\rightarrow 0\rightarrow\pi_n(F)\rightarrow\pi_n(E) \rightarrow\pi_n(B)\rightarrow 0 \rightarrow \pi_{n-1}(F) \rightarrow \cdots$$ because $\delta$ factors through $0$ and so we have a split short exact sequence for each $n$ which, by the splitting lemma, gives us the isomorphism $\pi_n(E) \cong \pi_n(F) \oplus \pi_n(B)$ for $n\geq 2$ (as higher homotopy groups are abelian) and for $n=1$ gives us the previous semi-direct product.