= Solution
The <pure mapping class group> $\operatorname{PMod}(S)$ consists of orientation-preserving mapping classes fixing every puncture individually. If $S^*$ adds a distinguished puncture and $\gamma$ is a loop in $S$, the <point-pushing map> moves that puncture once around $\gamma$ while leaving the old punctures fixed. For a simple loop, a thin annular neighborhood of $\gamma$ has boundary curves $\gamma_+$ and $\gamma_-$, and with consistent twist conventions
$$
\operatorname{Push}(\gamma)=T_{\gamma_+}T_{\gamma_-}^{-1}.
$$
The <Birman exact sequence> is
$$
\boxed{1\longrightarrow\pi_1(S)
\xrightarrow{\operatorname{Push}}\operatorname{PMod}(S^*)
\xrightarrow{\operatorname{Forget}}\operatorname{PMod}(S)
\longrightarrow1},
$$
for the finite-type negative-Euler-characteristic surfaces under consideration.
Back to article page
