Canonical map of a smooth plane curve (source code)

= Canonical map of a smooth plane curve

For a smooth plane curve of degree $d\geq4$, adjunction gives
$$
K_C\cong\mathcal O_C(d-3).
$$
Its canonical map is induced by the $(d-3)$rd Veronese map and is therefore an embedding.