Hi everybody! I'm in trouble with a version of the splitting lemma in the non abelian case. To be more specific, I'm working with mapping class groups of surfaces, i.e. the groups of isotopy classes of automorphisms of the surface. In the abelian case, the splitting lemma implies that if the short exact sequence of abelian groups $$ 1 \rightarrow A \rightarrow B \rightarrow C \rightarrow 1$$ splits (i.e. there is a section $ C \rightarrow B$ of the projection $B \rightarrow C$) then we have $B \cong A \oplus C$. If the groups are not abelian, we can't conclude this, but we have $B \cong A \rtimes C$. The problem is that the semidirect product $B \cong A \rtimes C$ is not always uniquely defined. I'm looking for results that enable me to conclude that, under certain assumptions, the semidirect product is in fact a direct product, or at least that it is uniquely determined. One such condition is that the above sequence is a left split, i.e. we have a map $B \rightarrow A$ which composes with $A \rightarrow B$ to the identity of A. But this is not enough for the groups I'm working with.

Let $\mathcal{MCG}(S)$ be the group of isotopy classes of orientation preserving automorphisms of the surface S and let $\mathcal{MCG}^{\pm}(S)$ be the group of isotopy classes of all the automorphisms of S. These groups are highly non-abelian and we obviously have:

$$ 1 \rightarrow \mathcal{MCG}(S) \rightarrow \mathcal{MCG}^{\pm}(S) \rightarrow \mathbb{Z}_{2} \rightarrow 1$$

which is exact and right split, because every surface has an orientation reversing automorphism of order 2. My problem is how to determine $\mathcal{MCG}^{\pm}(S)$ knowing just $\mathcal{MCG}(S)$. I mean, in general we do know it is a semidirect product with $\mathbb{Z}_{2}$...but when is this uniquely determined? when is this a real direct product? In the general case I've not been able to prove that the sequence is also a left split.

Moreover I have this example putting me in trouble: let $D$ be the closed unit ball of the plane. By Alexander's Trick we have that $\mathcal{MCG}^{\pm}(D)$ is trivial; so must be $\mathcal{MCG}(D)$, being one of its subgroups. But then, on the other hand I would expect that

$$\mathcal{MCG}^{\pm}(D) \cong \mathbb{Z}_{2}$$ because of the semidirect product relation. Where am I doing wrong?

So, my questions are:

1) when is a semidirect product of non abelian groups uniquely determined?

2) when is it a direct product? (without using the left split conditions because I'm not able to prove it in my case...or using it and proving it works in my situation)

3) how do you handle the example of the unit closed ball?

Thank you, Lor

leftDehn twist... – Sam Nead Mar 26 '11 at 18:23