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.
From: Alec Linden Disney-Hogg [view email]
[v1]
Thu, 11 Jun 2026 21:18:27 UTC (28 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。