Kompakte riemannsche Fläche/Divisorenklassengruppe Grad 0/Jacobische Varietät/Abel-Jacobi-Abbildung/Fakt

Es sei ${}X$ eine kompakte zusammenhängende riemannsche Fläche.

Dann induziert die Abel-Jacobi-Abbildung einen Gruppenhomomorphismus

$\operatorname {DKG} {\left(X\right)}_{0}\longrightarrow J(X),\,[\sum _{i\in I}P_{i}-\sum _{i\in I}Q_{i}]\longmapsto {\left(\omega \mapsto \sum _{i\in I}\int _{P_{i}}^{Q_{i}}\omega \right)},$

von der Divisorenklassengruppe von ${}X$ vom Grad ${}0$ in die Jacobische Varietät ${}J(X)$.

Zum Beweis, Alternativen Beweis erstellen