Glatte Kurve/Weildivisoren/Vorschub/Einführung/Textabschnitt
Definition
Zu einem nichtkonstanten Morphismus
zwischen glatten Kurven über einem algebraisch abgeschlossenen Körper und einem Weildivisor auf nennt man
den vorgeschobenen Weildivisor.
Die entscheidende Eigenschaft ist, dass ein Punkt auf den Punkt abgebildet wird, dies legt den Gruppenhomomorphismus fest.
Lemma
Es sei ein endlicher Morphismus vom Grad zwischen irreduziblen, glatten Kurven. Dann gelten die folgenden Eigenschaften.
- Zu einem weiteren endlichen Morphismus ist .
- Zu einem Divisor auf ist
- Zu einem
Weildivisor
auf ist
Beweis
(1) ist klar, bei (2) und (3) genügt es, die Aussagen für einen einzelnen Punkt zu zeigen. (2) ist dann klar, (3) folgt aus Fakt.
Lemma
Es sei ein endlicher Morphismus vom Grad zwischen irreduziblen, glatten Kurven, die zugehörige Körpererweiterung der Funktionenkörper sei galoissch mit Galoisgruppe .
- Zu einem
Weildivisor
auf ist
für .
- Zu
,
,
ist
- Zu einem
Hauptdivisor
mit
,
,
ist
wobei die Norm bezeichnet.
Beweis
Wegen der Endlichkeit der Abbildung operiert die Galoisgruppe auf , siehe Fakt. (1) folgt direkt aus der Funktorialität des Vorschubs. (2) ergibt sich unter Verwendung von Fakt (3) und Fakt mit
(3). Es ist
In der Divisorengruppe zu gilt
und daher ist nach (2) und (1)
Da die Divisorengruppe torsionsfrei ist, folgt die Gleichheit.
Lemma
Es sei ein algebraisch abgeschlossener Körper der Charakteristik und sei eine Körpererweiterung des Transzendenzgrades mit der zugehörigen glatten projektiven Kurve im Sinne von Fakt. Das Element besitze in keine -te Wurzel und sei der dadurch gegebene Erweiterungskörper von mit zugehöriger Kurve und dem zugehörigen endlichen Morphismus im Sinne von Fakt.
Dann gilt für den Vorschub eines Hauptdivisors
Beweis
Die Kurvenabbildung ist eine Bijektion mit Verzweigungsordnung in jedem Punkt, die Erweiterung der diskreten Bewertungsringe ist durch mit einem gegeben. Für eine Ortsuniformisierende ist mit einer Einheit . Für ist und aus
folgt direkt
die Ordnung von oben stimmt also mit der Ordung von unten überein.
Lemma
Es sei ein endlicher Morphismus vom Grad zwischen irreduziblen, glatten Kurven.
Dann werden unter dem Vorschub
Hauptdivisoren auf Hauptdivisoren abgebildet.
Insbesondere induziert der Morphismus einen Homomorphismus
Beweis
Die Erweiterung der Funktionenkörper besitzt nach Fakt einen Zwischenkörper derart, dass separabel und rein-inseparabel ist. Dem entspricht gemäß Fakt eine Faktorisierung
Es genügt also, die Aussage für eine separable Kurvenabbildung und eine rein-inseparable Kurvenabbildung zu zeigen. Im zweiten Fall liegt eine Verknüpfung von Körpererweiterungen der in Fakt beschriebenen Form vor, für diese wurde die Behauptung dort bewiesen.
Den separablen Fall kann man auf den Galoisfall zurückführen, der in Fakt (3) behandelt wurde. Es sei insgesamt galoissch und mit einer weiteren Kurve endlich über . Wir betrachten also die Situation
Zu behaupten wir wieder
Es ist
Nach Fakt (3), Fakt, Fakt (3) und Gesetzen für die Norm ist