Kurs:Elliptische Kurven (Osnabrück 2021-2022)/Vorlesung 16/latex

Aus Wikiversity
Zur Navigation springen Zur Suche springen

\setcounter{section}{16}






\zwischenueberschrift{Differentialformen}

in dieser Vorlesung besprechen wir Differentialformen auf einer elliptischen Kurve. Im komplexen Fall sind das die holomorphen Differentialformen im Sinne der \zusatzklammer {komplexen} {} {} Differentialgeometrie, also im Wesentlichen das duale Konzept zu Tangentialbündel und Vektorfelder, im Allgemeinen arbeiten wir mit den rein algebraisch definierten Kähler-Differentialen. Zur Konstruktion siehe den Kurs zur Singularitätentheorie. Wichtig ist hier, dass es für den Modul der Kähler-Differentiale eine einfache Restklassenkonstruktion gibt.

Auf einer ebenen affinen Kurve
\mavergleichskette
{\vergleichskette
{V(g) }
{ \subseteq }{ {\mathbb A}^{2}_{K} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit dem affinen Ring
\mavergleichskette
{\vergleichskette
{R }
{ = }{K[X,Y]/(g) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist der \definitionsverweis {Modul der Kähler-Differentiale}{}{} gleich dem $R$-\definitionsverweis {Modul}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \Omega_{ R {{|}} K } }
{ =} { R dx \oplus R dy /dg }
{ \cong} { R \times R / \left( { \frac{ \partial g }{ \partial x } } , \, { \frac{ \partial g }{ \partial y } } \right) }
{ } { }
{ } { }
} {}{}{,} es handelt sich also um eine Darstellung als Restklassenmodul eines freien Moduls vom Rang $2$ modulo einer Gleichung. Wenn die Kurve glatt ist, so ist in jedem Punkt eine der partiellen Ableitungen eine Einheit und somit ist lokal dieser Modul frei vom Rang $1$. Es handelt sich also um einen invertierbaren Modul. Die Gleichung
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ \partial g }{ \partial x } } dx + { \frac{ \partial g }{ \partial y } } dy }
{ =} { 0 }
{ } { }
{ } { }
{ } { }
} {}{}{} kann man auch als
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ 1 }{ { \frac{ \partial g }{ \partial y } } } } dx }
{ =} { - { \frac{ 1 }{ { \frac{ \partial g }{ \partial x } } } } dy }
{ } { }
{ } { }
{ } { }
} {}{}{} schreiben, wobei die linke Darstellung für den Ort gilt, wo ${ \frac{ \partial g }{ \partial y } }$ nicht vercshwindet. Da im glatten Fall die partiellen Ableitungen das Einheitsideal erzeugen, handelt es sich um eine auf ganz $R$ definierte nullstellenfreie Differentialform.

Bei einer projektiven Varietät muss man den Modul der Kähler-Differentialformen vergarben. Im Fall von Kurven lässt sich der Grundgedanke dieses Konzeptes einfach beschreiben. Für eine ebene projektive Kurve
\mavergleichskette
{\vergleichskette
{C }
{ = }{V_+(F) }
{ \subseteq }{ {\mathbb P}^{2}_{K} }
{ }{ }
{ }{ }
} {}{}{} mit $F$ vom Grad $m$ und der Form $X^m + \ldots$ bilden \mathkor {} {D_+(Y)} {und} {D_+(Z)} {} eine affine Überdeckung der Kurve und für die globalen Funktionen liegt das Diagramm
\mathdisp {\begin{matrix} \Gamma { \left( C, {\mathcal O}_{ C } \right) } & \stackrel{ }{\longrightarrow} & ((K[X,Y,Z]/(F))_Y)_0 & \\ \downarrow & & \downarrow & \\ ((K[X,Y,Z]/(F))_Z)_0 & \stackrel{ }{\longrightarrow} & ((K[X,Y,Z]/(F))_{YZ} )_0 & \!\!\!\!\! \\ \end{matrix}} { }
vor. Eine globale Funktion \zusatzklammer {links oben} {} {} wird genauer durch ein Paar bestehend aus einer Funktion rechts oben und einer Funktion links unten beschrieben, das die Bedingung erfüllt, dass es rechts unten auf das gleiche Element abbildet. Die Abbildungen sind bei einer integren Kurve injektiv und somit spielt sich alles im Funktionenkörper der Kurve ab.

Ein entsprechendes Diagramm gibt es für den Modul der Kähler-Differentiale, nämlich
\mathdisp {\begin{matrix} \Gamma { \left( C, \Omega_{ C {{|}} K } \right) } & \stackrel{ }{\longrightarrow} & \Omega_{ ((K[X,Y,Z]/(F))_Y)_0 {{|}} K } & \\ \downarrow & & \downarrow & \\ \Omega_{ ((K[X,Y,Z]/(F))_Z)_0 {{|}} K } & \stackrel{ }{\longrightarrow} & \Omega_{ ((K[X,Y,Z]/(F))_{YZ} )_0 {{|}} K } & \!\!\!\!\! . \\ \end{matrix}} { }
Im integren Fall sind die Abbildungen wieder injektiv, und das Diagramm stellt die Definition für die globalen Differentialformen $\Gamma { \left( C, \Omega_{ C {{|}} K } \right) }$ dar. Eine globale Differentialform ist nämlich ein Paar bestehend aus einer Differentialform rechts oben und einer Differentialform links unten, das die Bedingung erfüllt, dass es rechts unten auf die gleiche Differentialform abbildet. Im integren Fall spielt sich alles im Modul dere Kähler-Differentiale des Funktionenkörpers, also in $\Omega_{ Q(C) {{|}} K }$ ab. Für die affinen Ausschnitte haben wir die oben angegebene Restklassendarstellung.





\inputfaktbeweis
{Projektive ebene Kurve/Glatt/Homogen/Differentialformen explizit/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{F }
{ \in }{K[X,Y,Z] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein \definitionsverweis {homogenes Polynom}{}{} vom Grad
\mavergleichskette
{\vergleichskette
{m }
{ \geq }{3 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} das eine \definitionsverweis {glatte}{}{} \definitionsverweis {projektive Kurve}{}{}
\mavergleichskettedisp
{\vergleichskette
{C }
{ =} {V_+(F) }
{ \subseteq} { {\mathbb P}^{2}_{K} }
{ } { }
{ } { }
} {}{}{} definiere.}
\faktfolgerung {Dann ist für jedes homogene Polynom $H$ vom Grad
\mathl{m-3}{} die \definitionsverweis {Differentialform}{}{}
\mathdisp {{ \frac{ H Y^2 }{ \, { \frac{ \partial F }{ \partial Z } } \, } } d { \frac{ X }{ Y } }} { }
auf $C$ global definiert.}
\faktzusatz {}
\faktzusatz {}

}
{

Unmittelbar ist die Differentialform auf der offenen Menge
\mathl{D_+(Y) \cap D_+({ \frac{ \partial F }{ \partial Z } })}{} definiert. Man beachte, dass die Quotienten in der Differentialform den Grad $0$ haben. Es ist zu zeigen, dass man die Form auch mit anderen Nennern schreiben kann, so dass die zugehörigen offenen Mengen die Kurve überdecken.

Wir betrachten die Differentialform
\mathdisp {\pm { \frac{ Y^2 }{ \, { \frac{ \partial F }{ \partial Z } } \, } } d { \frac{ X }{ Y } }} { }
und die entsprechend gebildeten Formen, also ohne den Faktor $H$. Dies ist dann keine Differentialform auf der Kurve \zusatzklammer {außer bei
\mavergleichskettek
{\vergleichskettek
{m }
{ = }{3 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{}} {} {,} sondern auf einer offenen Menge der affinen Varietät zum homogenen Koordinantering
\mathl{K[X,Y,Z]/(F)}{.} Im Nenner steht die partielle Ableitung nach der Variablen, die im Differential rechts nicht vorkommt, und im Zähler steht das Quadrat der Variablen im Differential rechts im Nenner. Das Vorzeichen wählen wir so, dass es, wenn hinten
\mathl{d { \frac{ X }{ Y } }}{} oder
\mathl{d { \frac{ Y }{ Z } }}{} steht, positiv und bei
\mathl{d { \frac{ X }{ Z } }}{} negativ und dreht sich um, wenn man im Differential Zähler und Nenner vertauscht.

Wir behaupten, dass es sich stets um die gleiche Differentialform handelt. Wegen der Quotientenregel
\mavergleichskettedisp
{\vergleichskette
{ d { \frac{ X }{ Y } } }
{ =} { - \left( \frac{ X }{ Y } \right)^2 d{ \frac{ Y }{ X } } }
{ } { }
{ } { }
{ } { }
} {}{}{} kann man die Zähler und Nenner im Bruch vertauschen. In
\mathl{\Omega_{ Q(K[X,Y,Z]/(F)) {{|}} K }}{} gilt \zusatzklammer {unter Verwendung von
\mavergleichskette
{\vergleichskette
{dF }
{ = }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und Aufgabe 2.8} {} {}
\mavergleichskettealign
{\vergleichskettealign
{ { \frac{ \partial F }{ \partial X } } d { \frac{ X }{ Y } } }
{ =} { { \frac{ \partial F }{ \partial X } } { \left( { \frac{ 1 }{ Y } } d X - { \frac{ X }{ Y^2 } } dY \right) } }
{ =} { { \frac{ 1 }{ Y } } \cdot { \frac{ \partial F }{ \partial X } } d X - { \frac{ X }{ Y^2 } } \cdot { \frac{ \partial F }{ \partial X } } dY }
{ =} { -{ \frac{ 1 }{ Y } } { \left( { \frac{ \partial F }{ \partial Y } } d Y + { \frac{ \partial F }{ \partial Z } } d Z \right) } - { \frac{ X }{ Y^2 } } \cdot { \frac{ \partial F }{ \partial X } } dY }
{ =} { - { \frac{ 1 }{ Y } } \cdot { \frac{ \partial F }{ \partial Z } } d Z + { \frac{ 1 }{ Y^2 } } { \left( -X { \frac{ \partial F }{ \partial X } } -Y { \frac{ \partial F }{ \partial Y } } \right) } dY }
} {
\vergleichskettefortsetzungalign
{ =} { - { \frac{ 1 }{ Y } } \cdot { \frac{ \partial F }{ \partial Z } } d Z + { \frac{ 1 }{ Y^2 } } { \left( Z { \frac{ \partial F }{ \partial Z } } \right) } dY }
{ =} { - { \frac{ \partial F }{ \partial Z } } { \left( { \frac{ 1 }{ Y } } d Z - { \frac{ Z }{ Y^2 } } dY \right) } }
{ =} { - { \frac{ \partial F }{ \partial Z } } d { \frac{ Z }{ Y } } }
{ } {}
} {}{,} woraus sich
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ Y^2 }{ \, { \frac{ \partial F }{ \partial Z } } \, } } d { \frac{ X }{ Y } } }
{ =} { -{ \frac{ Y^2 }{ \, { \frac{ \partial F }{ \partial X } } \, } } d { \frac{ Z }{ Y } } }
{ } { }
{ } { }
{ } { }
} {}{}{} ergibt. Entsprechend gilt
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ X^2 }{ \, { \frac{ \partial F }{ \partial Z } } \, } } d { \frac{ Y }{ X } } }
{ =} { -{ \frac{ X^2 }{ \, { \frac{ \partial F }{ \partial Y } } \, } } d { \frac{ Z }{ X } } }
{ } { }
{ } { }
{ } { }
} {}{}{} und somit auch
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ Y^2 }{ \, { \frac{ \partial F }{ \partial Z } } \, } } d { \frac{ X }{ Y } } }
{ =} { - { \frac{ X^2 }{ \, { \frac{ \partial F }{ \partial Z } } \, } } d { \frac{ Y }{ X } } }
{ =} { { \frac{ X^2 }{ \, { \frac{ \partial F }{ \partial Y } } \, } } d { \frac{ Z }{ X } } }
{ } { }
{ } { }
} {}{}{.} Wenn man alles mit $H$ multipliziert, ergeben sich entsprechende Darstellungen für die Differentialform der Satzaussage.

Auf $D_+(Y)$ besitzt die Form Darstellungen mit ${ \frac{ \partial F }{ \partial Z } }$ und mit
\mathl{{ \frac{ \partial F }{ \partial X } }}{} im Nenner. Wegen
\mavergleichskettedisp
{\vergleichskette
{ X { \frac{ \partial F }{ \partial X } } + Y { \frac{ \partial F }{ \partial Y } } + Z { \frac{ \partial F }{ \partial Z } } }
{ =} { 0 }
{ } { }
{ } { }
{ } { }
} {}{}{} auf $V(F)$ folgt für einen Punkt
\mavergleichskette
{\vergleichskette
{P }
{ \in }{ D_+(Y) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} in dem die beiden partiellen Ableitungen, die als Nenner der Form auftreten, verschwinden, dass auch die dritte partielle Ableitung verschwindet. Dies ist aber ein Widerspruch zur Glattheit. D.h. für jeden Punkt gibt es eine Darstellung der Form und die Form ist global definiert.

}


Mit dieser expliziten Methode erhält man auf einer glatten ebenen projektiven Kurve vom Grad $m$ genau
\mathl{{ \frac{ (m-2)(m-1) }{ 2 } }}{} globale Differentialformen, die linear unabhängig über $K$ sind. In der Tat gibt es keine weiteren.




\inputbeispiel{}
{

Es sei $F$ ein homogenes Polynom vom Grad $3$ in den Variablen
\mathl{X,Y,Z}{,} das eine \definitionsverweis {elliptische Kurve}{}{} definiere. Dann ist nach Lemma 16.1 die Differentialform
\mathdisp {{ \frac{ Y^2 }{ \, { \frac{ \partial F }{ \partial Z } } \, } } d { \frac{ X }{ Y } }} { }
global definiert. Die Beschreibungen auf den anderen offenen Mengen sind entsprechend gebildet. Da die angegebene Beschreibung auf $D_+(Y) \cap D_+( { \frac{ \partial F }{ \partial Z } } )$, folgt ferner, dass diese Differentialform keine Nullstelle besitzt.


}




\inputbeispiel{}
{

Wir betrachten die homogene Gleichung \zusatzklammer {kurze Weierstaßform} {} {}
\mavergleichskettedisp
{\vergleichskette
{ Y^2Z }
{ =} { X^3 + aXZ^2 +bZ^3 }
{ } { }
{ } { }
{ } { }
} {}{}{} bzw.
\mavergleichskettedisp
{\vergleichskette
{ Y^2Z - X^3 - aXZ^2 - bZ^3 }
{ =} {0 }
{ } { }
{ } { }
{ } { }
} {}{}{} über einem Körper der Charakteristik $\neq 2,3$. Nach Beispiel 16.2 bzw. Lemma 16.1 ist
\mavergleichskettealign
{\vergleichskettealign
{\omega }
{ =} { { \frac{ Y^2 }{ Y^2-aXZ-3bZ^2 } } d { \frac{ X }{ Y } } }
{ =} { -{ \frac{ X^2 }{ Y^2-aXZ-3bZ^2 } } d { \frac{ Y }{ X } } }
{ =} { -{ \frac{ Z }{ 2Y } } d { \frac{ X }{ Z } } }
{ =} { { \frac{ X^2 }{ 2YZ } } d { \frac{ Z }{ X } } }
} {
\vergleichskettefortsetzungalign
{ =} { { \frac{ Z^2 }{ 3X^2+aZ^2 } } d { \frac{ Y }{ Z } } }
{ =} { -{ \frac{ Y^2 }{ 3X^2+aZ^2 } } d { \frac{ Z }{ Y } } }
{ } {}
{ } {}
} {}{} eine globale Differentialform ohne Nullstelle. Auf
\mathl{D_+(Z)}{} mit
\mavergleichskette
{\vergleichskette
{x }
{ = }{ X/Z }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{y }
{ = }{Y/Z }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist die Form gleich
\mavergleichskettedisp
{\vergleichskette
{ - { \frac{ 1 }{ 2y } } d x }
{ =} { { \frac{ Z^2 }{ 3X^2+aZ^2 } } d y }
{ =} { \left( \frac{ 3X^2+aZ^2 }{ Z^2 } \right)^{-1} d y }
{ =} { { \left( 3x^2+a \right) }^{-1} d y }
{ =} { { \frac{ 1 }{ 3x^2+a } } dy }
} {}{}{,} was man auch direkt aus der affinen Gleichung
\mavergleichskette
{\vergleichskette
{ y^2 }
{ = }{ x^3 + ax +b }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ableiten kann.


}

Auf einer elliptischen Kurve in Weierstraßform werden wir zumeist mit der Form
\mathl{{ \frac{ dx }{ y } }}{} arbeiten, jede andere globale Differentialform ist ein skalares Vielfaches davon.




\inputbeispiel{}
{

Wir betrachten die Differentialform
\mavergleichskettedisp
{\vergleichskette
{ \omega }
{ =} { dx/y }
{ } { }
{ } { }
{ } { }
} {}{}{} aus Beispiel 16.3 \zusatzklammer {bis auf den Faktor $-1/2$} {} {} für
\mavergleichskette
{\vergleichskette
{K }
{ = }{ {\mathbb C} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} auf der algebraischen Realisierung einer elliptischen Kurve
\mavergleichskettedisp
{\vergleichskette
{ {\mathbb C}/\Gamma }
{ \cong} { V_+(F) }
{ } { }
{ } { }
{ } { }
} {}{}{} im Sinne von Satz 12.13. Unter der holomorphen Abbildung \maabbeledisp {\pi} { {\mathbb C} \setminus \Gamma } { V_+(F) \cap D_+(Z) } {z} { ( \wp(z), \wp'(z)) = (x,y) } {,} gilt
\mavergleichskettedisp
{\vergleichskette
{ \pi^* \omega }
{ =} { dz }
{ } { }
{ } { }
{ } { }
} {}{}{,} da ja
\mavergleichskette
{\vergleichskette
{ \pi^* dx }
{ = }{ \wp'(z)dz }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gilt \zusatzklammer {vergleiche Lemma 82.7 (Analysis (Osnabrück 2014-2016)) und Lemma 82.8 (Analysis (Osnabrück 2014-2016)) für das Zurückziehen von Differentialformen im reellen Fall} {} {.}


}





\inputfaktbeweis
{Elliptische Kurve/Kubisch/Differentialformen/Trivial und eindimensional/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei $E$ eine \definitionsverweis {elliptische Kurve}{}{} über einem Körper $K$.}
\faktfolgerung {Dann ist die Garbe der Differentialformen auf $E$ isomorph zur Strukturgarbe von $E$. Insbesondere ist der Raum der globalen Differentialformen auf $E$ ein eindimensionaler Vektorraum über $K$.}
\faktzusatz {}
\faktzusatz {}

}
{

Wir können annehmen, dass $K$ \definitionsverweis {algebraisch abgeschlossen}{}{} ist. Die Aussage ist somit ein Spezialfall von Korollar 19.12 (Bündel, Garben und Kohomologie (Osnabrück 2019-2020)).

}


Man kann auch direkt mit Beispiel 16.2 argumentieren.






\zwischenueberschrift{Differentialformen unter Morphismen}





\inputfaktbeweis
{Elliptische Kurve/Differentialform/Rückzug auf Produkt/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei $E$ eine \definitionsverweis {elliptische Kurve}{}{} über einem Körper $K$ mit kurzer Weierstraßgleichung
\mavergleichskettedisp
{\vergleichskette
{y^2 }
{ =} { x^3+ax+b }
{ } { }
{ } { }
{ } { }
} {}{}{.}}
\faktfolgerung {Dann wird unter der Additionsabbildung \maabbdisp {+} { E \times E} { E } {} die \definitionsverweis {Differentialform}{}{}
\mathl{{ \frac{ dx }{ y } }}{} auf
\mathl{{ \frac{ dx_1 }{ y_1 } } + { \frac{ dx_2 }{ y_2 } }}{} abgebildet.}
\faktzusatz {}
\faktzusatz {}

}
{

Die Addition \maabb {+} {E \times E} { E } {} wird gemäß Satz 6.5 durch
\mathdisp {(x_1,y_1;x_2,y_2) \mapsto \left( \alpha^2 -x_1-x_2 , \, - \alpha^3 + \alpha (2x_1+x_2)- y_1 \right) = (x,y)} { }
mit
\mavergleichskette
{\vergleichskette
{ \alpha }
{ = }{ { \frac{ y_2-y_1 }{ x_2-x_1 } } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} beschrieben. Diese Terme kann man als funktionale Ausdrücke auf der affinen offenen Menge $D_+(z)$ bzw. als Ringelemente in
\mavergleichskettedisp
{\vergleichskette
{R }
{ =} { K[x,y]/(y^2-x^3-ax-b) }
{ } { }
{ } { }
{ } { }
} {}{}{} bzw. im Tensorprodukt
\mavergleichskettedisp
{\vergleichskette
{ R \otimes_{ K } R }
{ =} { K[x_1,y_1,x_2,y_2]/(y_1^2-x_1^3-ax_1-b , y_2^2-x_2^3-ax_2-b) }
{ } { }
{ } { }
{ } { }
} {}{}{} auffassen, bei der letzten Interpretation geht es um den Ringhomomorphismus \maabbdisp {} {R} { R \otimes_{ K } R } {,} der durch die Einsetzungen
\mathl{x \mapsto \alpha^2 -x_1-x_2}{} und
\mathl{y \mapsto - \alpha^3 + \alpha (2x_1+x_2)- y_1}{} festgelegt ist. Unter diesem Ringhomomorphismus wird $dx$ nach Lemma 18.4 (Bündel, Garben und Kohomologie (Osnabrück 2019-2020))  (5) auf
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{ d { \left( \alpha^2 -x_1-x_2 \right) } }
{ =} { 2 \alpha d \alpha -dx_1-dx_2 }
{ =} { 2 { \frac{ y_2-y_1 }{ x_2-x_1 } } d \left( \frac{ y_2-y_1 }{ x_2-x_1 } \right) -dx_1-d x_2 }
{ =} { 2 { \frac{ y_2-y_1 }{ x_2-x_1 } } \cdot { \frac{ (x_2-x_1) d(y_2-y_1) - (y_2-y_1) d(x_2-x_1) }{ (x_2-x_1)^2 } } -dx_1-dx_2 }
{ =} { 2 { \frac{ y_2-y_1 }{ (x_2-x_1)^2 } } d(y_2-y_1) - 2 { \frac{ (y_2-y_1)^2 }{ (x_2-x_1)^3 } } d(x_2-x_1) -dx_1-dx_2 }
} {
\vergleichskettefortsetzungalign
{ =} { { \frac{ y_2-y_1 }{ (x_2-x_1)^2 } } { \left( { \frac{ 3x_2^2+a }{ y_2 } } dx_2 - { \frac{ 3x_1^2+a }{ y_1 } } dx_1 \right) } - 2 { \frac{ y_2^2-2y_1y_2+y_1^2 }{ (x_2-x_1)^3 } } d(x_2-x_1) -dx_1-dx_2 }
{ =} { { \left( - { \frac{ y_2-y_1 }{ (x_2-x_1)^2 } } \cdot { \frac{ 3x_1^2+a }{ y_1 } } + 2 { \frac{ y_2^2-2y_1y_2+y_1^2 }{ (x_2-x_1)^3 } } - 1 \right) } dx_1 + * dx_2 }
{ } { }
{ } {}
}{}{} abgebildet, wobei der nicht angeführte Term vor $dx_2$ symmetrisch gebildet ist.

Der Term vor $dx_1$ ist
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{ - { \frac{ y_2-y_1 }{ (x_2-x_1)^2 } } \cdot { \frac{ 3x_1^2+a }{ y_1 } } + 2 { \frac{ y_2^2-2y_1y_2+y_1^2 }{ (x_2-x_1)^3 } } - 1 }
{ =} { - { \frac{ y_1y_2-y_1^2 }{ (x_2-x_1)^2 } } \cdot { \frac{ 3x_1^2+a }{ x_1^3+ax_1+b } } + 2 { \frac{ { \left( x_2^3+ax_2+b \right) } -2y_1y_2+ { \left( x_1^3+ax_1+b \right) } }{ (x_2-x_1)^3 } } -1 }
{ =} { { \frac{ - y_1y_2 + { \left( x_1^3+ax_1+b \right) } }{ (x_2-x_1)^2 } } \cdot { \frac{ 3x_1^2+a }{ x_1^3+ax_1+b } } + 2 { \frac{ x_1^3 + x_2^3+a { \left( x_1+x_2 \right) } + 2b -2y_1y_2 }{ (x_2-x_1)^3 } } -1 }
{ =} { { \frac{ x_1^3+ax_1+b }{ (x_2-x_1)^2 } } \cdot { \frac{ 3x_1^2+a }{ x_1^3+ax_1+b } } + 2 { \frac{ x_1^3 + x_2^3+a { \left( x_1 +x_2 \right) } +2b }{ (x_2-x_1)^3 } } -1 +y_1y_2 { \left( - { \frac{ 3x_1^2+a }{ { \left( x_1^3+ax_1+b \right) } { \left( x_2-x_1 \right) }^2 } } - { \frac{ 4 }{ { \left( x_2-x_1 \right) }^3 } } \right) } }
{ =} { { \frac{ { \left(3x_1^2+a\right) } }{ (x_2-x_1)^2 } } + 2 { \frac{ x_1^3 + x_2^3+a(x_1+x_2)+2b }{ (x_2-x_1)^3 } } -1 +y_1y_2 { \left( - { \frac{ 3x_1^2+a }{ { \left( x_1^3+ax_1+b \right) } { \left( x_2-x_1 \right) }^2 } } - { \frac{ 4 }{ { \left( x_2-x_1 \right) }^3 } } \right) } }
} {
\vergleichskettefortsetzungalign
{ =} { { \frac{ { \left(3x_1^2+a\right) } { \left( x_2-x_1\right) } +2 { \left( x_1^3 + x_2^3+a(x_1+x_2) +2b \right) } - (x_2-x_1)^3 }{ (x_2-x_1)^3 } } +y_1y_2 { \frac{ - { \left( 3x_1^2+a \right) } { \left( x_2-x_1 \right) } - 4 x_1^3-4ax_1-4b }{ { \left( x_1^3+ax_1+b \right) } { \left( x_2-x_1 \right) }^3 } } }
{ } {}
{ } {}
{ } {}
}{}{} Der Zähler links ist
\mavergleichskettealign
{\vergleichskettealign
{ r }
{ =} { { \left(3x_1^2+a\right) } { \left( x_2-x_1\right) } + 2 { \left( x_1^3 + x_2^3+a { \left( x_1+x_2 \right) }+2b \right) } - (x_2-x_1)^3 }
{ =} { -3 x_1^3 +3 x_1^2x_2 + a { \left( x_2-x_1\right) } +2 x_1^3 +2x_2^3 +2 a { \left( x_1+x_2 \right) } + 4 b -x_2^3+3x_1x_2^2-3x_1^2x_2+x_1^3 }
{ =} { x_2^3 +3 x_1x_2^2 + ax_1 +3ax_2 +4b }
{ } { }
} {} {}{.} Der Zähler rechts ist
\mavergleichskettealign
{\vergleichskettealign
{ s }
{ =} {- { \left( 3x_1^2+a \right) } { \left( x_2-x_1 \right) } - 4 x_1^3-4ax_1-4b }
{ =} { 3 x_1^3 -3 x_1^2x_2 - a { \left( x_2-x_1\right) } - 4 x_1^3-4ax_1-4b }
{ =} { -x_1^3 -3x_1^2x_2 -a { \left( x_2+3 x_1\right) } -4b }
{ } { }
} {} {}{.} Wir haben also eine Beschreibung der zurückgezogenen Differentialform $+^*dx$ der Gestalt
\mathdisp {{ \left( { \frac{ r }{ { \left( x_2-x_1 \right) }^3 } } + { \frac{ s }{ { \left( x_2-x_1 \right) }^3 { \left( x_1^3+ax_1+b \right) } } } y_1y_2 \right) } dx_1 + *dx_2} { }
mit explizit bestimmten Polynomen \mathkor {} {r} {und} {s} {} in $x_1,x_2$. Für die Differentialform
\mathl{{ \frac{ dx }{ y } }}{} gilt
\mavergleichskettedisp
{\vergleichskette
{ +^* { \frac{ dx }{ y } } }
{ =} { { \frac{ +^*dx }{ +^*y } } }
{ } { }
{ } { }
{ } { }
} {}{}{,} wobei $+^* y$ einfach den Rückzug der Funktion $y$ bezeichnet, also einfach
\mathl{- \alpha^3 + \alpha (2x_1+x_2)- y_1}{.} In Aufgabe 6.15 haben wir dies berechnet, es ist
\mavergleichskettedisp
{\vergleichskette
{ - \alpha^3 + \alpha { \left( 2x_1+x_2 \right) } - y_1 }
{ =} { { \frac{ f y_1 + g y_2 }{ { \left( x_2-x_1 \right) }^3 } } }
{ } { }
{ } { }
{ } { }
} {}{}{} mit
\mavergleichskettedisp
{\vergleichskette
{ f }
{ =} { x_2^3+3x_1x_2^2+ a { \left( x_1+3x_2 \right) } +4b }
{ } { }
{ } {}
{ } {}
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{ g }
{ =} { - x_1^3 -3x_1^2x_2 -a { \left( 3 x_1+x_2 \right) } -4b }
{ } { }
{ } { }
{ } { }
} {}{}{.} Die behauptete Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ +^*{ \frac{ dx }{ y } } }
{ =} { { \frac{ { \left( { \frac{ r }{ { \left( x_2-x_1 \right) }^3 } } + { \frac{ s }{ { \left( x_2-x_1 \right) }^3 { \left( x_1^3+ax_1+b \right) } } } y_1y_2 \right) } dx_1 + *dx_2 }{ { \frac{ f y_1 + g y_2 }{ { \left( x_2-x_1 \right) }^3 } } } } }
{ =} { { \frac{ dx_1 }{ y_1 } } + { \frac{ dx_2 }{ y_2 } } }
{ } { }
{ } { }
} {}{}{} ergibt sich somit \zusatzklammer {für den $dx_1$-Anteil} {} {} aus
\mavergleichskettedisp
{\vergleichskette
{ r { \left( x_1^3+ax_1+b \right) }y_1 +sy_1^2y_2 }
{ =} { { \left( fy_1+gy_2 \right) } { \left( x_1^3+ax_1+b \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{.} Dies folgt nun direkt aus
\mavergleichskette
{\vergleichskette
{r }
{ = }{f }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{s }
{ = }{g }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}

}






\inputfaktbeweis
{Elliptische Kurve/Differentialform/Summe von Morphismen/Fakt}
{Satz}
{}
{

\faktsituation {Es sei $E$ eine \definitionsverweis {elliptische Kurve}{}{} über einem \definitionsverweis {Körper}{}{} $K$ und sei $\omega$ eine \definitionsverweis {Differentialform}{}{} auf $E$. Es seien \maabbdisp {\varphi_1, \varphi_2} {E} {E } {} \definitionsverweis {Morphismen}{}{} auf $E$.}
\faktfolgerung {Dann gilt für den Rückzug die Gleichheit
\mavergleichskette
{\vergleichskette
{ (\varphi_1+ \varphi_2)^* \omega }
{ = }{ \varphi_1^* \omega + \varphi_2^* \omega }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Die Abbildung
\mathl{\varphi_1+\varphi_2}{} ist die zusammengesetzte Abbildung
\mathdisp {E \stackrel{\varphi_1, \varphi_2}{\longrightarrow} E \times E \stackrel{+}{\longrightarrow} E} { , }
wir können damit den Rückzug einer Differentialform berechnen, wobei jede Differentialform ein skalares Vielfaches von
\mathl{{ \frac{ dx }{ y } }}{} ist. Nach Lemma 16.6 ist
\mavergleichskettedisp
{\vergleichskette
{+^* \left( \frac{ dx }{ y } \right) }
{ =} { { \frac{ dx_1 }{ y_1 } } + { \frac{ dx_2 }{ y_2 } } }
{ } { }
{ } { }
{ } { }
} {}{}{.} Wenn $\pi_1, \pi_2$ die Projektionen bezeichnen, so ergibt sich
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \left( \varphi_1 , \, \varphi_2 \right)^* { \left( { \frac{ dx_1 }{ y_1 } } + { \frac{ dx_2 }{ y_2 } } \right) } }
{ =} { \left( \varphi_1 , \, \varphi_2 \right)^* { \left( { \frac{ dx_1 }{ y_1 } } \right) } + \left( \varphi_1 , \, \varphi_2 \right)^* { \left( { \frac{ dx_2 }{ y_2 } } \right) } }
{ =} { \left( \varphi_1 , \, \varphi_2 \right)^* { \left( \pi_1^* { \frac{ dx }{ y } } \right) } + \left( \varphi_1 , \, \varphi_2 \right)^* { \left( \pi_2^* { \frac{ dx }{ y } } \right) } }
{ =} { \varphi_1^* { \frac{ dx }{ y } } +\varphi_2^* { \frac{ dx }{ y } } }
{ } { }
} {} {}{.}

}






\inputfaktbeweis
{Elliptische Kurve/Differentialform/Translation/Fakt}
{Korollar}
{}
{

\faktsituation {Es sei $E$ eine \definitionsverweis {elliptische Kurve}{}{} über einem \definitionsverweis {algebraisch abgeschlossenen Körper}{}{} $K$ und sei $\omega$ eine \definitionsverweis {Differentialform}{}{} auf $E$.}
\faktfolgerung {Dann ist für jede \definitionsverweis {Translation}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \tau_Q^{*} (\omega) }
{ =} { \omega }
{ } { }
{ } { }
{ } { }
} {}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Die Translation mit $Q$ kann man als Hintereinanderschaltung
\mathdisp {E \stackrel{ \left( \operatorname{Id}_{ E } , \, Q \right) }{ \longrightarrow} E \times E \stackrel{+}{ \longrightarrow} E} { }
auffassen. Da der Rückzug einer Differentialform unter einer konstanten Abbildung gleich $0$ ist, ergibt sich mit Satz 16.7
\mavergleichskettedisp
{\vergleichskette
{ \tau_Q^{*} (\omega) }
{ =} { { \left( \operatorname{Id}_{ E } + Q\right) }^*(\omega) }
{ =} { \operatorname{Id}_{ E }^* \omega + Q^*( \omega) }
{ =} { \omega }
{ } { }
} {}{}{.}

}






\inputfaktbeweis
{Elliptische Kurve/Differentialform/Multiplikation/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei $E$ eine \definitionsverweis {elliptische Kurve}{}{} über einem \definitionsverweis {Körper}{}{} $K$ und sei $\omega$ eine \definitionsverweis {Differentialform}{}{} auf $E$.}
\faktfolgerung {Dann gilt für den Rückzug unter der Multiplikation mit $m$ die Gleichheit
\mavergleichskette
{\vergleichskette
{[m]^* \omega }
{ = }{ m \omega }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Dies folgt aus Satz 16.7 durch Induktion über $m$.

}






\inputfaktbeweis
{Elliptische Kurve/Multiplikation/Separabel/Fakt}
{Korollar}
{}
{

\faktsituation {Es sei $E$ eine \definitionsverweis {elliptische Kurve}{}{} über einem \definitionsverweis {Körper}{}{} $K$ und sei \maabb {[m ]} {E} {E } {} die Multiplikationsabbildung auf $E$.}
\faktfolgerung {Dann ist $[m]$ genau dann \definitionsverweis {separabel}{}{,} wenn $m$ kein Vielfaches der \definitionsverweis {Charakteristik}{}{} von $K$ ist.}
\faktzusatz {}
\faktzusatz {}

}
{

Nach Lemma 16.9 ist bei
\mavergleichskette
{\vergleichskette
{m }
{ = }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} der Rückzug der Differentialformen die Nullabbildung und bei
\mavergleichskette
{\vergleichskette
{m }
{ \neq }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist er surjektiv. Wegen Lemma 19.3 (Algebraische Zahlentheorie (Osnabrück 2020-2021)) entspricht dies den Fällen, dass der relative Kählermodul ungleich oder gleich $0$ ist, was nach Satz Anhang 7.10 (Körper- und Galoistheorie (Osnabrück 2018-2019)) die (Nicht-)separabilität der Erweiterung der Funktionenkörper charakterisiert.

}