1
$\begingroup$

I am reading about the Birman-Hilden conjecture, specifically the thesis of Rebbeca Winarski and there is some basic point I am not getting.

We consider a covering space $p: Y \rightarrow X$ between two connected oriented surfaces. Let $\mathrm{Mod}(X)$ be the mapping class group of $X$ and $\mathrm{LMod}(X)$ be the subgroup of $\mathrm{Mod}(X)$ of the isotopy classes of diffeomorphisms that lift to diffeomorphisms of $Y$.

$\mathrm{LMod}(X)$ must be a finite index subgroup but I do not see why.

$\endgroup$
0
$\begingroup$

So, this is what I found.

As $p$ is a covering map between surfaces, it is finite. Suppose that $p$ is a $n$-fold covering map.

Choose a point $x\in X$ and choose $y\in p^{-1}(x)$. Then $p_*(\pi_1(Y,y))$ has index $n$ in $\pi_1(X,x)$.

Define $M$ to be the set of subgroups having index $n$ in $\pi_1(X,x)$. This set is finite because $\pi_1(X,x)$ is finitely generated.

Let $\mathrm{Mod(X,x)}$ be the group of isotopy classes of diffeomorphisms fixing $x$ and $\mathrm{LMod(X,x)}$ be the subgroup of $\mathrm{Mod(X,x)}$ that whose elements lift to elements of $\mathrm{Mod(Y,y)}$.

$\mathrm{Mod(X,x)}$ acts on $M$ by permuting its elements, so there is an homomorphism $\varphi$ from $\mathrm{Mod(X,x)}$ to $\Sigma_M$ (the permutation group on the elements of $M$). As $\Sigma_M$ is finite, the kernel of $\varphi$ has finite index in $\mathrm{Mod(X,x)}$.

Now, $\mathrm{LMod(X,x)}$ is the stabiliser of $p_*(\pi_1(Y,y))$ in $\pi_1(X,x)$, so it contains the kernel of $\varphi$. This proves that $\mathrm{LMod(X,x)}$ has finite index in $\mathrm{Mod(X,x)}$.

The rest follows by applying the forgetful map $\mathrm{Mod(X,x)} \rightarrow\mathrm{Mod(X)}$, which defines an isomorphism.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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