show · ag.quotient_curve all knowls · up · search:

Let $X$ be an algebraic curve and let $H$ be a finite subgroup of its automorphism group.

The quotient curve $X/H$ is the algebraic curve obtained by identifying points of $X$ that lie in the same $H$-orbit (equations defining $X/H$ as an algebraic variety of dimension one can be constructed from the equations defining $X$ and the automorphisms in $H$).

The natural projection $X\to X/H$ that sends each point on $X$ to its $H$-orbit is a surjective morphism

Knowl status:
  • Review status: reviewed
  • Last edited by Andrew Sutherland on 2018-06-22 01:34:59
Referred to by:
History: (expand/hide all)