
Faithfulness of Actions on RiemannRoch Spaces
Given a faithful action of a finite group $G$ on an algebraic
curve~$X$ of genus $g_X\geq 2$, we give explicit criteria for
the induced action of~$G$ on the RiemannRoch space~$H^0(X,\mathcal{O}_X(D))$
to be faithful, where $D$ is a $G$invariant divisor on $X$ of
degree at least~$2g_X2$. This leads to a concise answer to the
question when the action of~$G$ on the space~$H^0(X, \Omega_X^{\otimes
m})$ of global holomorphic polydifferentials of order $m$ is
faithful. If $X$ is hyperelliptic, we furthermore provide an
explicit basis of~$H^0(X, \Omega_X^{\otimes m})$. Finally, we
give applications in deformation theory and in coding theory
and we discuss the analogous problem for the action of~$G$ on
the first homology $H_1(X, \mathbb{Z}/m\mathbb{Z})$ if $X$ is a Riemann surface.
Keywords:faithful action, RiemannRoch space, polydifferential, hyperelliptic curve, equivariant deformation theory, Goppa code, homology Categories:14H30, 30F30, 14L30, 14D15, 11R32 