On group actions on Riemann-Roch spaces of curves (Q6051100)

Let \(\mathcal{X}\) be a compact Riemann surface, \(G\) a group of automorphisms of \(\mathcal{X}\) and \(D\) a \(G\)-invariant divisor on \(\mathcal{X}\). Let \(\mathcal{L}(D)\) be the finite dimensional \(\mathbb{C}\)-vector space defined by \[\mathcal{L}(D)=\{f\in\mathbb{C}^*(\mathcal{X})|\mbox{ div}(f)+D\geq0\}\cup\{0\},\] where \(\mbox{div}(f)\) denotes the (principal) divisor of \(f\in\mathbb{C}^*(\mathcal{X})\). The action of \(G\) on \(\mathcal{X}\) induces a linear representation \(L_G(D)\) of \(G\) on the Riemann-Roch space associated to \(D\). The aim of this paper is to determine the structure of \(\mathcal{L}(D)\) as a \(\mathbb{C}[G]\)-module when \(D\) is a \(G\)-invariant divisor; namely, the authors are interested in studying the problem of determining the decomposition of the linear representation \(L_G(D)\) as a sum of complex irreducible representations of \(G\). They give some results on the decomposition of \(L_G(D)\) as sum of complex irreducible representations of \(G\), for \(D\) an effective non-special \(G\)-invariant divisor. In particular, they give explicit formulae for the multiplicity of each complex irreducible factor in the decomposition of \(L_G(D)\) as a sum of complex irreducible representations of \(G\). To illustrate this decomposition the authors give some examples of group actions on Riemann-Roch spaces for divisors on well known families of curves. This paper is organized as follows: Section 1 is an introduction to the subject. Sections 2 and 3 are devoted to group actions on Riemann surfaces and to complex decomposition of \(L_G(D)\), respectively. In Section 4 the authors apply their results to give some examples of group actions on Riemann-Roch spaces for divisors on well known families of curves.