Elliptische Kurve/C/Kurze Weierstraßform/Differentialform explizit/Rückzug/Beispiel

Wir betrachten die Differentialform

aus Beispiel (bis auf den Faktor ) für auf der algebraischen Realisierung einer elliptischen Kurve

im Sinne von Fakt. Unter der holomorphen Abbildung

gilt

da ja gilt (vergleiche Fakt und Fakt für das Zurückziehen von Differentialformen im reellen Fall).