Canonical rings of Q-divisors on P^1

From MaRDI portal
Publication:891958




Abstract: The canonical ring of a divisor D on a curve X is a natural object of study; when D is a Q-divisor, it has connections to projective embeddings of stacky curves and rings of modular forms. We study the generators and relations of S_D for the simplest curve X = P^1. When D contains at most two points, we give a complete description of S_D; for general D, we give bounds on the generators and relations. We also show that the generators (for at most five points) and a Groebner basis of relations between them (for at most four points) depend only on the coefficients in the divisor D, not its points or the characteristic of the ground field; we conjecture that the minimal system of relations varies in a similar way. Although stated in terms of algebraic geometry, our results are proved by translating to the combinatorics of lattice points in simplices and cones.









This page was built for publication: Canonical rings of \(\mathbb{Q}\)-divisors on \(\mathbb{P}^1\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q891958)