Explicit Homology Representation for Finite Groups Acting on Riemann Surfaces

Abstract

Given a finite group $G$ acting orientably on a surface $S$ of genus $\sigma \geq 2$, the group $G$ acts faithfully on the homology group $H_{1}(S;\mathbb{Z})$, preserving the symplectic intersection form. The action on $S$ and the homology is determined by a \emph{generating vector}, a tuple of elements of $G$, generating $G$ and satisfying certain properties. In this note we show how to compute the homology representation, using the generating vector, when $S/G$ has genus 0 and the genus is suitably low. A $2\sigma \times 2\sigma$ representing matrix can be determined for any element in the group, usually for a small set of generators. The matrices are computed with respect to an auto-generated basis for the cellular homology of $S$, using a regular $CW$ structure on $S$, derived from the $G$ action. We demonstrate the application of these results by computing \emph{invariant theta characteristics} of the Riemann surfaces $S$ with the algorithm implemented using Sage.