Equivariance and algebraic relations for curves (Q778987)

The aim of this paper is to generalise a classical argument for deducing algebraic models of Riemann surfaces from the Riemann-Roch theorem. The method involves counting arguments based on equivariant resolutions. This paper starts by rehearsing a classical argument for the genus one surface with a set of divisors of the form \(nP\) for integer \(n\geq0\) to arrive at the cubic model [\textit{J. H. Silverman}, The arithmetic of elliptic curves. 2nd ed. New York, NY: Springer (2009; Zbl 1194.11005)]. The author then generalises this to the case of two-point divisors where a more complicated set of relations obtains, setting up an equivariant resolution of the coordinate ring in order to show that an explicit, finite set of quadratic and cubic relations generates all relations. The equivariant property in this case differs from that mentioned earlier in the introduction and corresponds to creation and annihilation of poles. Finally the author generalises the argument to two-point divisors on curves of the \((n, s)\) type for \(n\) and \(s\) coprime.