Riemannsche Fläche/Kompakt/Hyperelliptisch/Definition

Hyperelliptische riemannsche Fläche

Eine kompakte zusammenhängende riemannsche Fläche ${}X$ heißt hyperelliptisch, wenn es eine endliche holomorphe Abbildung

$X\longrightarrow {\mathbb {P} }_{\mathbb {C} }^{1}$

vom Grad ${}2$ gibt und das Geschlecht von ${}X$ ${}\geq 2$ ist.