Abelian Covering Space of Surface of genus $g$

Let's focus on the surface $\Sigma_3$ of genus $3$ just to be concrete.

Here's the geometric idea: picture

The basic idea is that the lattice $\mathbb{Z}^3$ has to act by deck transformations on the covering space. So we have to have three curves on $\Sigma_3$ which "unwind" to the grid pictured on the right in the covering space. From there it's not a stretch to the cut-and-paste operation in the picture.

Formally - without exhibiting explicit formulae - I think of this two ways.

  1. Three disjoint essential simple closed curves on $\Sigma_3$, $\alpha_1,\alpha_2,\alpha_3$, generate a copy of $F_3$, the free group on three generators, in $\pi_1\Sigma_3$. Associated to $F_3$ is a covering $\widehat{\Sigma_3}\to \Sigma_3$, with $F_3$ acting by deck transformations on $\widehat{\Sigma_3}$ so that $\widehat{\Sigma_3}/F_3 = \Sigma_3$. Since $Z(F_3)<F_3$, we have a quotient cover $\widehat{\Sigma_3}/Z(F_3)\to \Sigma_3$, with the deck group $F_3/Z(F_3)\cong \mathbb{Z}^3$. Geometrically, take the "asterisk" fundamental domain (the one you get by cutting along the red curves) and glue it so it looks like the Cayley graph of $F_3$. Then quotient by the action of the commutators of the generators.

  2. The fundamental group $\pi_1(\Sigma_3)$ projects onto the first homology group $H_1(\Sigma_3;\mathbb{Z})$. Associated to $H_1(\Sigma_3;\mathbb{Z})$ is an abelian cover $A(\Sigma_3)\to \Sigma_3$. The images of $\alpha_1,\alpha_2,\alpha_3$ generate a copy of $\mathbb{Z}^3$ in $H_1$, which corresponds to a $\mathbb{Z}^3$-covering space of $\Sigma_3$.

I think there should be a nice picture of a fundamental domain of this cover in $\mathbb{H}^2$ by stringing together right-angled dodecagons, but I don't quite see it.


Consider the space:

$$M = (\mathbb{R} \times \mathbb{Z} \times \mathbb{Z}) \cup (\mathbb{Z} \times \mathbb{R} \times \mathbb{Z}) \cup (\mathbb{Z} \times \mathbb{Z} \times \mathbb{R}).$$ This looks like a $1$-dimensional "grid" inside $\mathbb{R}^3$. Now, it's easy to see that you can fatten up $M$ a little bit, and delete its insides, so that it becomes hollow; this way, you get something that looks like a "torus" grid inside $\mathbb{R}^3$. Call this surface $\widetilde{M}$.

Now consider the (covering) action generated by the translations: $$T_1(x, y, z) = (x+1, y, z),~~T_2(x, y, z) = (x, y+1, z),~~T_3(x, y, z) = (x, y, z+1).$$ The quotient $\widetilde{M}/\langle T_1, T_2, T_3 \rangle$ is a genus $3$ surface. To see this, think of a fundamental region for the quotient; this should look like three tubular segments of length $1$ having one common intersection. Each of these tubes has its edges identified, so you get $3$ "holes" (sorry for not providing pictures, but I think you'll be able to see this). This is your surface for $g = 3$. If you now consider, more generally, the action generated by $$T_1(x, y, z) = (x+(m-2), y, z),~~T_2(x, y, z) = (x, y+1, z),~~T_3(x, y, z) = (x, y, z+1),$$ then $\widetilde{M}/\langle T_1, T_2, T_3 \rangle$ should give you the surface of genus $2(m-2)+1$, for $m \geq 3$. So this takes care of all coverings of surfaces having odd genus.

Can you get the even ones?