Canonical map (source code)

= Canonical map
{wiki}

For $g\geq2$, a basis of the space of regular differentials defines the canonical map $X\to\mathbb P^{g-1}$. Equivalently, after choosing a differential with divisor $K$, one may use a basis of $L(K)$.