OK, my bad, Fulton's Algebraic topology: A First Course only deals with the closed case. I'll suppose that you know this case quite well.
Let's do the bounded case by hand.
First case: one boundary component
Keep in mind the classical decomposition of the closed surface $F_{g,0}$ of genus $g$ : you have 1 vertex, $2g$ edges, and that $2$-cell whose boundary gives the complicated $[a_1,b_1]\cdots[a_g,b_g] = 1$ relation.
Now, take a needle, and pierce a hole in the middle of the 2-cell. You get $F_{g,0} \setminus \textrm{a point}$. Deformation retract the pierced 2-cell on its boundary: that creates a movie whose opening scene is this pierced surface, and whose closing scene is the $1$-skeleton, which is a wedge of $2g$ circles (the $a_i$'s and the $b_i$'s). What happens in the middle of the movie? Well, you have a surface with a disc-shaped hole which expands with time. Topologically, it's exactly the surface $F_{g,1}$ of genus $g$ with 1 boundary component.
So we have learned two things:
- Piercing a surface (i.e. taking a point out) or making a true hole in it (i.e. take an open disc out) gives the same result up to homotopy equivalence [that's quite irrelevant for our discussion, but it's good to know nevertheless. Of course it works for many other spaces: they only have to be locally not too complicated].
- A pierced surface has the homotopy type of a graph. This is quite important for the study of surfaces. In particular, it gives the wanted presentation:
$$ \pi_1(F_{g,1}) = \left\langle a_1, \ldots, a_g, b_1, \ldots, b_g\right\rangle.$$
Of course, because the boundary of the surface is associated to the word $[a_1, b_1]\ldots[a_g, b_g]$, you can choose to write this group
$$ \pi_1(F_{g,1}) = \left\langle a_1, \ldots, a_g, b_1, \ldots, b_g,x \middle| x = [a_1,b_1]\cdots [a_g, b_g]\right\rangle$$
but this quite obfuscates the fact that this group is free.
Second case: the sphere with holes
Take now $F_{0,b+1}$, the sphere with $b+1 > 0$ boundary components. You can see it as the disc with $b$ boundary components. This amounts to choosing one of the boundary components and declaring it the "outer" one. It's quite easy to retract that on a wedge of $b$ circles, so that
$$\pi_1(F_{0, b}) = \left\langle z_1, z_2, \ldots, z_{b}\right\rangle.$$ In this presentation, the (carefully oriented) bouter boundary component is simply the product $z_1\cdots z_b$.
The general case $F_{g,b}$
You can write the surface $F_{g,b}$ of genus $g$ as the union of $F_{g,1}$ and $F_{0,b+1}$, gluing the boundary of the former with the outer boundary of the latter. Since we have computed the fundamental groups of the two pieces and that we know the expression of the gluing curve in both of them ($[a_1, b_1]\cdots[a_g,b_g]$ and $z_1\cdots z_b$, respectively), the Van Kampen theorem gives us the answer
$$\pi_1(F_{g,b}) = \frac{\left\langle a_1, \ldots, a_g, b_1, \ldots, b_g\right\rangle * \left\langle z_1, \ldots, z_b \right\rangle}{\langle\langle [a_1, b_1]\cdots[a_g,b_g] \cdot (z_1\cdots z_b)^{-1}\rangle\rangle} = \left\langle a_1, \ldots, a_g, b_1, \ldots, b_g, z_1, \ldots, z_b \middle| [a_1, b_1]\cdots[a_g,b_g] =z_1\cdots z_b \right\rangle.$$
It is probably worth noting that you can rewrite the relation so that it expresses $z_b$ (say) as a word in the other generators. You can then eliminate it and notice that this is also a free group (again, as long as $b > 0$, $F_{g,b}$ deformation retracts to a graph).
In my answer below, I was implicitly assuming that the covering on the boundary was trivial. As Mike Miller points out below, this is not necessarily the case. See his comments for more details.
Denote the closed orientable surface of genus $g$ with $b$ boundary components by $\Sigma_{g, b}$, and the closed non-orientable surface of genus $g$ with $b$ boundary components by $S_{g,b}$. Recall that $\chi(\Sigma_{g,b}) = 2 - 2g - b$ and $\chi(S_{g,b}) = 2 - g - b$.
If $p : M \to N$ is a covering map between manifolds with boundary, then it restricts to a covering map $p|_{\partial M} : \partial M \to \partial N$ of the same degree. So if $p : \Sigma_{g,b} \to \Sigma_{g',b'}$ is a degree $k$ covering map, then $b = kb'$. Moreover,
\begin{align*}
\chi(\Sigma_{g,b}) &= k\chi(\Sigma_{g',b'})\\
2 - 2g - b &= k(2 - 2g' - b')\\
2 - 2g - kb' &= k(2 - 2g' - b')\\
2 - 2g &= k(2 - 2g')\\
\chi(\Sigma_g) &= k\chi(\Sigma_{g'}).
\end{align*}
The converse is also true. That is, if $\chi(\Sigma_g) = k\chi(\Sigma_{g'})$ and $b = kb'$, then there is a degree $k$ covering map $\Sigma_{g,b} \to \Sigma_{g',b'}$. To see this, note that if $\chi(\Sigma_g) = k\chi(\Sigma_{g'})$, then there is a degree $k$ covering map $p : \Sigma_g \to \Sigma_{g'}$; see this answer. If $D \subset \Sigma_{g'}$ is the interior of a closed disc in $\Sigma_{g'}$, then $p^{-1}(D)$ is a disjoint union of the interiors of $k$ disjoint closed discs in $\Sigma_g$. So if $D_1, \dots, D_{b'}$ are the interiors of $b'$ disjoint closed discs in $\Sigma_{g'}$, then $p^{-1}(\Sigma_{g'}\setminus(D_1\cup\dots\cup D_{b'})$ is $\Sigma_g$ with $kb' = b$ interiors of disjoint closed discs removed, i.e. $\Sigma_{g,b}$. Therefore the restriction of $p$ to $\Sigma_{g,b}$ is a degree $k$ covering $\Sigma_{g,b} \to \Sigma_{g',b'}$.
Likewise, $\Sigma_{g,b}$ is a $k$-sheeted covering of $S_{g',b'}$ if and only if $\chi(\Sigma_g) = k\chi(S_g)$, $b = kb'$ and $k$ is even. Note that $k$ must be even as any orientable covering of a non-orientable manifold must factor through the orientation double cover.
Therefore, we have the following complete list of coverings:
- $\Sigma_{5,4} \to \Sigma_{5,4}$ of degree one,
- $\Sigma_{5,4} \to \Sigma_{3,2}$ of degree two,
- $\Sigma_{5,4} \to S_{6,2}$ of degree two,
- $\Sigma_{5,4} \to \Sigma_{2,1}$ of degree four, and
- $\Sigma_{5,4} \to S_{4,1}$ of degree four.
Best Answer
There are six edges, not five: there is not one edge $(f_1f_2)$, instead there are two edges $f_1$ and $f_2$ which meet at a vertex.
So $\chi(M)=-2$ and $\chi(M^*)=0$. The surface $M^*$ is therefore a torus, and $M$ itself is a torus with two holes punched out of it.