Kurs:Bündel, Garben und Kohomologie (Osnabrück 2019-2020)/Vorlesung 30/latex
\setcounter{section}{30}
\zwischenueberschrift{Der Grad von getwisteten Strukturgarben auf ebenen Kurven}
\inputfaktbeweis
{Glatte projektive ebene Kurve/Getwistete Strukturgarbe/Grad/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei
\mavergleichskettedisp
{\vergleichskette
{C
}
{ =} { V_+(F)
}
{ \subseteq} { {\mathbb P}^{2}_{K}
}
{ } {
}
{ } {
}
}
{}{}{}
eine
\definitionsverweis {glatte}{}{}
\definitionsverweis {projektive}{}{}
\definitionsverweis {ebene Kurve}{}{}
vom Grad
\mavergleichskette
{\vergleichskette
{d
}
{ = }{ \operatorname{grad} \, (F)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
über einem
\definitionsverweis {algebraisch abgeschlossenen Körper}{}{.}}
\faktfolgerung {Dann besitzt die Einschränkung von
\mathl{{\mathcal O}_{ {\mathbb P}^{2}_{K} } (e)}{} auf $C$ den
\definitionsverweis {Grad}{}{}
$de$.}
\faktzusatz {}
\faktzusatz {}
}
{
Wir können
\mavergleichskette
{\vergleichskette
{e
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
annehmen, da das Zurückziehen von Garben mit der Tensorierung verträglich ist und da der Grad
nach Aufgabe 29.15
additiv bezüglich der Tensorierung von invertierbaren Garben ist. Es sei
\mavergleichskettedisp
{\vergleichskette
{ G
}
{ \in} { \Gamma { \left( {\mathbb P}^{2}_{K} , {\mathcal O}_{ {\mathbb P}^{2}_{K} } (1 ) \right) }
}
{ =} { K[X,Y,Z]_1
}
{ } {
}
{ } {
}
}
{}{}{}
ein Schnitt, der als Polynom in
\mathl{K[X,Y,Z]}{} kein Vielfaches von $F$ sei. Dann kann man $G$ auch als einen von $0$ verschiedenen Schnitt in
\mavergleichskettedisp
{\vergleichskette
{ \Gamma { \left( C , {\mathcal O}_{ {\mathbb P}^{2}_{K} } (1 ) {{|}}_C \right) }
}
{ =} { \Gamma { \left( C , {\mathcal O}_{ C } (1 ) \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
betrachten. Es geht um den Grad des Nullstellendivisors zu $G$ auf
\mavergleichskette
{\vergleichskette
{C
}
{ = }{ V_+(F)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Sei
\mavergleichskette
{\vergleichskette
{P
}
{ = }{ (a,b,c)
}
{ \in }{ V_+(F)
}
{ }{
}
{ }{
}
}
{}{}{}
ein Punkt der Kurve. Die Nullstellenordnung eines Schnittes einer invertierbaren Garbe kann man in einer affinen Umgebung des Punktes ausrechnen. Ohne Einschränkung sei
\mavergleichskette
{\vergleichskette
{c
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{ D_+(Z)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die affine Gleichung der Kurve ist dann die Dehomogenisierung von $F$ bezüglich der Variablen $Z$ und der Schnitt wird unter der Identifizierung
\maabbeledisp {} { {\mathcal O}_{ {\mathbb P}^{2}_{K} } {{|}} D_+(Z) } { {\mathcal O}_{ {\mathbb P}^{2}_{K} } (1) {{|}} D_+(Z)
} {1} { Z
} {}
gleich der Dehomogenisierung $G'$ von $G$. Der lokale Ring der Kurve ist
\mavergleichskettedisp
{\vergleichskette
{ {\mathcal O}_{ C, P }
}
{ =} { { \left( K [ { \frac{ X }{ Z } }, { \frac{ Y }{ Z } } ] /(F') \right) }_{( { \frac{ X }{ Z } }-a, { \frac{ Y }{ Z } }-b )}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und die Ordnung von $G'$ in diesem Ring ist nach
Lemma 21.9
gleich der
$K$-\definitionsverweis {Dimension}{}{}
von
\mavergleichskettedisp
{\vergleichskette
{ {\mathcal O}_{ C, P } /(G')
}
{ =} { { \left( K [ { \frac{ X }{ Z } }, { \frac{ Y }{ Z } } ] /(F') \right) }_{( { \frac{ X }{ Z } }-a, { \frac{ Y }{ Z } }-b )} /(G')
}
{ =} { K [ { \frac{ X }{ Z } }, { \frac{ Y }{ Z } } ] _{( { \frac{ X }{ Z } }-a, { \frac{ Y }{ Z } }-b )} /(F', G')
}
{ } {
}
{ } {
}
}
{}{}{.}
Diese Beschreibung ist symmetrisch in
\mathkor {} {F} {und} {G} {.}
Deshalb ist der Grad des Nullstellendivisors zu $G$ auf $V_+(F)$ gleich dem Grad des Nullstellendivisors zu $F$ auf
\mavergleichskette
{\vergleichskette
{V_+(G)
}
{ = }{ {\mathbb P}^{1}_{K}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Für ein homogenes Polynom vom Grad $d$ auf einer projektiven Geraden ist aber die Summe über alle Nullstellenordnungen gleich $d$.
\zwischenueberschrift{Der Satz von Riemann-Roch für invertierbare Garben}
Es sei
\mavergleichskette
{\vergleichskette
{C
}
{ = }{V_+(F)
}
{ \subset }{ {\mathbb P}^{2}_{K}
}
{ }{
}
{ }{
}
}
{}{}{}
eine ebene
\definitionsverweis {projektive Kurve}{}{}
über einem
\definitionsverweis {algebraisch abgeschlossenen Körper}{}{}
$K$ vom
\definitionsverweis {Grad}{}{}
$d$. Es sei
\mavergleichskettedisp
{\vergleichskette
{ { \mathcal L }
}
{ =} { {\mathcal O}_{ C } (e)
}
{ =} { {\mathcal O}_{ {\mathbb P}^{2}_{K} } (e ) {{|}}_C
}
{ } {
}
{ } {
}
}
{}{}{}
Wir wollen die Anzahl der globalen Schnitte von
\mathl{{\mathcal O}_{ C } (e)}{} berechnen. Dazu betrachten wir die kurze exakte Sequenz
\mathdisp {0 \longrightarrow {\mathcal O}_{ {\mathbb P}^{2}_{K} } (e-d) \stackrel{F}{ \longrightarrow} {\mathcal O}_{ {\mathbb P}^{2}_{K} } (e) \longrightarrow {\mathcal O}_{ C } (e) \longrightarrow 0} { }
auf der projektiven Ebene und den Anfang der zugehörigen langen exakten Kohomologiesequenz
\mathdisp {0 \longrightarrow H^0 { \left( {\mathbb P}^{2}_{K}, {\mathcal O}_{ {\mathbb P}^{2}_{K} } (e-d) \right) } \longrightarrow H^0 { \left( {\mathbb P}^{2}_{K}, {\mathcal O}_{ {\mathbb P}^{2}_{K} } (e) \right) } \longrightarrow H^0 { \left( {\mathbb P}^{2}_{K}, {\mathcal O}_{ C } (e) \right) } \longrightarrow H^1 { \left( {\mathbb P}^{2}_{K}, {\mathcal O}_{ {\mathbb P}^{2}_{K} } (e-d) \right) } = 0} { , }
wobei die Gleichheit rechts auf
Satz 27.4
beruht. Für
\mavergleichskette
{\vergleichskette
{e
}
{ \geq }{d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kann man mit
Aufgabe 12.4
die Dimensionen der beteiligten Vektorräume einfach ausrechnen, es ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \dim_{ K } { \left( H^0 { \left( {\mathbb P}^{2}_{K}, {\mathcal O}_{ C } (e) \right) } \right) }
}
{ =} { \dim_{ K } { \left( H^0 { \left( {\mathbb P}^{2}_{K}, {\mathcal O}_{ {\mathbb P}^{2}_{K} } (e) \right) } \right) } - \dim_{ K } { \left( H^0 { \left( {\mathbb P}^{2}_{K}, {\mathcal O}_{ {\mathbb P}^{2}_{K} } (e-d) \right) } \right) }
}
{ =} { \binom { e+2 } { 2 } - \binom { e-d+2 } { 2 }
}
{ =} { { \frac{ (e+2)(e+1) - (e+2-d)(e+1-d) }{ 2 } }
}
{ =} { { \frac{ 2de + 3 d-d^2 }{ 2 } }
}
}
{
\vergleichskettefortsetzungalign
{ =} { de - { \frac{ (d-1)(d-2) }{ 2 } } +1
}
{ } {}
{ } {}
{ } {}
}
{}{.}
Wegen
\mavergleichskettedisp
{\vergleichskette
{ H^0 { \left( {\mathbb P}^{2}_{K}, {\mathcal O}_{ C } (e) \right) }
}
{ =} { H^0 { \left( C , {\mathcal O}_{ C } (e) \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {nach
Satz 27.6} {} {}
ist dies die Vektorraumdimension der globalen Schnitte von ${\mathcal O}_{ C } (e)$ über $C$. Dabei ist $de$ nach
Lemma 30.1
der Grad von
\mathl{{\mathcal O}_{ C } (e)}{} und nach
Satz 29.5
ist
\mathl{{ \frac{ (d-1)(d-2) }{ 2 } }}{} das
\zusatzklammer {kohomologische} {} {}
Geschlecht $g$ der Kurve. Für
\mavergleichskette
{\vergleichskette
{e
}
{ \geq }{d
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt also
\mavergleichskettedisp
{\vergleichskette
{ \dim_{ K } { \left( H^0 { \left( C , {\mathcal O}_{ C } (e) \right) } \right) }
}
{ =} { \operatorname{Grad} \, ( {\mathcal O}_{ C } (e) ) -g+1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Für
\mavergleichskette
{\vergleichskette
{e
}
{ < }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kann diese Formel nicht richtig sein, da dann die linke Seite $0$ ist und die rechte Seite beliebig negativ wird. Der Satz von Riemann-Roch zeigt, dass für eine
\definitionsverweis {invertierbare Garbe}{}{}
${ \mathcal L }$ auf einer glatten projektiven Kurve $C$ eine entsprechende Formel gilt, bei der aber die linke Seite zu
\mathl{\dim_{ K } { \left( H^0 { \left( C , { \mathcal L } \right) } \right) } - \dim_{ K } { \left( H^1 { \left( C , { \mathcal L } \right) } \right) }}{}
abgewandelt werden muss. Die erste Kohomologie tritt hier also als Korrekturterm auf.
\inputfaktbeweis
{Glatte projektive Kurve/Invertierbare Garbe/Riemann-Roch/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $C$ eine
\definitionsverweis {irreduzible}{}{}
\definitionsverweis {glatte}{}{}
\definitionsverweis {projektive Kurve}{}{}
über einem
\definitionsverweis {algebraisch abgeschlossenen Körper}{}{}
$K$ vom
\definitionsverweis {Geschlecht}{}{}
$g$ und sei ${ \mathcal L }$ eine
\definitionsverweis {invertierbare Garbe}{}{}
auf $C$.}
\faktfolgerung {Dann ist
\mavergleichskettedisp
{\vergleichskette
{ h^0(C, { \mathcal L }) - h^1(C, { \mathcal L })
}
{ =} { \operatorname{Grad} \, ( { \mathcal L } ) +1 -g
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Die Aussage ist für die Strukturgarbe richtig.
Zu einem abgeschlossenen Punkt
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{C
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
betrachtet man die kurze exakte Garbensequenz
\mathdisp {0 \longrightarrow { \mathcal I }_P \longrightarrow {\mathcal O}_{ C } \longrightarrow \kappa (P) \longrightarrow 0} { , }
wobei
\mavergleichskette
{\vergleichskette
{{ \mathcal I }_P
}
{ = }{ {\mathcal O}_{ C } (-P)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die
\zusatzklammer {reduzierte} {} {}
invertierbare
\definitionsverweis {Idealgarbe}{}{}
zu dem Punkt $P$ ist und $\kappa (P)$ die Strukturgarbe auf dem Punkt, die man als
\definitionsverweis {Wolkenkratzergarbe}{}{}
auf $C$ auffasst. Die Tensorierung dieser Sequenz mit einer invertierbaren Garbe ${ \mathcal L }$ ergibt
\mathdisp {0 \longrightarrow { \mathcal I }_P \otimes { \mathcal L } \longrightarrow { \mathcal L } \longrightarrow \kappa (P) \otimes { \mathcal L } = \kappa (P) \longrightarrow 0} { . }
Diese exakten Sequenzen stiften eine Beziehung zwischen zwei invertierbaren Garben, die sich um den Punkt $P$ unterscheiden. In einer solchen kurzen exakten Sequenz gilt wegen der zugehörigen langen exakten Kohomologiesequenz die Beziehung
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ h^0 (C, { \mathcal L } )-h^1 (C, { \mathcal L } )
}
{ =} { h^0 (C, { \mathcal I }_P \otimes { \mathcal L } )-h^1 (C, { \mathcal I }_P \otimes { \mathcal L } ) + 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
da
\mavergleichskette
{\vergleichskette
{ h^0 (C, \kappa (P) )
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ h^1 (C, \kappa (P) )
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt, da der Träger nulldimensional ist. Wegen
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Grad} \, ( { \mathcal I }_P )
}
{ =} { -1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Grad} \, ( { \mathcal L } )
}
{ =} { \operatorname{Grad} \, ( { \mathcal I }_P \otimes { \mathcal L }) +1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und der Grad verhält sich wie die Differenz der Dimensionen der nullten und der ersten Kohomologie. Die Formel von Riemann-Roch gilt also genau dann für ${ \mathcal L }$, wenn sie für ${ \mathcal I }_P \otimes { \mathcal L }$ gilt. Da jede invertierbare Garbe auf der Kurve nach
Korollar 22.11
die Form
\mathl{{\mathcal O}_{ C } (-D)}{} zu einem
\definitionsverweis {Weildivisor}{}{}
$D$ besitzt, kann man jede invertierbare Garbe ausgehend von der Strukturgarbe durch eine endliche Hinzu- oder Wegnahme von Punkten erhalten. Daher gilt die Formel für alle invertierbaren Garben.
\inputfaktbeweis
{Glatte projektive Kurve/Invertierbare Garbe/Riemann-Roch/Abschätzung/Fakt}
{Korollar}
{}
{
\faktsituation {Es sei $C$ eine
\definitionsverweis {irreduzible}{}{}
\definitionsverweis {glatte}{}{}
\definitionsverweis {projektive Kurve}{}{}
über einem
\definitionsverweis {algebraisch abgeschlossenen Körper}{}{}
$K$ vom
\definitionsverweis {Geschlecht}{}{}
$g$ und sei ${ \mathcal L }$ eine
\definitionsverweis {invertierbare Garbe}{}{}
auf $C$.}
\faktfolgerung {Dann ist
\mavergleichskettedisp
{\vergleichskette
{ h^0(C, { \mathcal L })
}
{ \geq} { \operatorname{Grad} \, ( { \mathcal L } ) +1 -g
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {Wenn der Grad von ${ \mathcal L }$ zumindest so groß wie das Geschlecht der Kurve ist, so besitzt ${ \mathcal L }$ nichttriviale globale Schnitte.}
\faktzusatz {}
}
{
Dies folgt unmittelbar aus Satz 30.2.
\inputfaktbeweis
{Glatte projektive Kurve/Punkt/Funktion im Komplement/Riemann-Roch/Fakt}
{Korollar}
{}
{
\faktsituation {Es sei $C$ eine
\definitionsverweis {irreduzible}{}{}
\definitionsverweis {glatte}{}{}
\definitionsverweis {projektive Kurve}{}{}
über einem
\definitionsverweis {algebraisch abgeschlossenen Körper}{}{}
$K$.}
\faktfolgerung {Dann gibt es zu jedem
\definitionsverweis {abgeschlossenen Punkt}{}{}
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{C
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nichtkonstante
\definitionsverweis {rationale Funktionen}{}{}
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{Q(C)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die außerhalb von $P$ definiert sind.}
\faktzusatz {}
\faktzusatz {}
}
{
Nach
Korollar 30.3
besitzt die invertierbare Garbe
\mathl{{\mathcal O}_{ C } (nP)}{} für $n$ hinreichend groß nichttriviale globale Schnitte, und zwar unendlich viele mit wachsendem $n$. Diese entsprechen den rationalen Funktionen auf $C$, deren Hauptdivisor oberhalb von $-nP$ liegt. Eine solche Funktion hat also allenfalls in $P$ einen Pol und ist somit auf
\mathl{C \setminus \{P\}}{} definiert. Darunter gibt es auch nicht konstante Funktionen.
\zwischenueberschrift{Der Satz von Riemann-Roch für lokal freie Garben}
Wir wollen den Satz von Riemann-Roch auf lokal freie Garben verallgemeinern. Dazu müssen wir zunächst den Grad einer lokal freien Garbe definieren.
\inputdefinition
{}
{
Es sei $C$ eine
\definitionsverweis {glatte}{}{}
\definitionsverweis {projektive Kurve}{}{}
über einem
\definitionsverweis {algebraisch abgeschlossenen Körper}{}{}
$K$. Zu einer
\definitionsverweis {lokal freien Garbe}{}{}
${ \mathcal G }$ auf $C$ vom
\definitionsverweis {Rang}{}{}
$r$ definiert man den
\definitionswort {Grad}{}
durch den
\definitionsverweis {Grad}{}{}
der
\definitionsverweis {Determinantengarbe}{}{}
\mathl{\bigwedge^r { \mathcal G }}{.}
}
\inputfaktbeweis
{Glatte Projektive Kurve/Lokal frei/Grad/Additivität/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $C$ eine
\definitionsverweis {glatte}{}{}
\definitionsverweis {projektive Kurve}{}{}
über einem
\definitionsverweis {algebraisch abgeschlossenen Körper}{}{}
$K$.}
\faktfolgerung {Dann ist der
\definitionsverweis {Grad}{}{}
von
\definitionsverweis {lokal freien Garben}{}{}
auf $C$ additiv für kurze exakte Sequenzen.}
\faktzusatz {}
\faktzusatz {}
}
{
Dies folgt aus Satz 16.11.
Somit haben wir drei additive Invarianten für lokal freie Garben auf einer glatten projektiven Kurve: den Rang, den Grad und die Euler-Charakteristik.
\inputfaktbeweis
{Glatte Kurve/Idealgarbe/Invertierbar/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $C$ eine
\definitionsverweis {irreduzible}{}{}
\definitionsverweis {glatte}{}{}
\definitionsverweis {projektive Kurve}{}{}
über einem
\definitionsverweis {algebraisch abgeschlossenen Körper}{}{}
$K$.}
\faktfolgerung {Dann ist jede von $0$ verschiedene
\definitionsverweis {kohärente}{}{}
\definitionsverweis {Idealgarbe}{}{}
\mavergleichskette
{\vergleichskette
{ { \mathcal I }
}
{ \subseteq }{ {\mathcal O}_{ C }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {invertierbar}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Da man die Invertierbarkeit lokal in den Halmen
\mathl{{\mathcal O}_{ C,x }}{} testen kann, folgt die Aussage daraus, dass die lokalen Ringe
\definitionsverweis {diskrete Bewertungsringe}{}{}
und diese
\definitionsverweis {Hauptidealbereiche}{}{}
sind.
\inputfaktbeweis
{Glatte projektive Kurve/Lokal freie Garbe/Filtration/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $C$ eine
\definitionsverweis {irreduzible}{}{}
\definitionsverweis {glatte}{}{}
\definitionsverweis {projektive Kurve}{}{}
über einem
\definitionsverweis {algebraisch abgeschlossenen Körper}{}{}
$K$ und sei ${ \mathcal F }$ eine
\definitionsverweis {lokal freie Garbe}{}{}
auf $C$ vom
\definitionsverweis {Rang}{}{}
auf $C$.}
\faktfolgerung {Dann gibt es eine Filtration
\mavergleichskettedisp
{\vergleichskette
{ 0
}
{ =} { { \mathcal F }_1
}
{ \subset} { { \mathcal F }_2
}
{ \subset \ldots \subset} { { \mathcal F }_{r-1}
}
{ \subset} { { \mathcal F }_{r}
}
}
{
\vergleichskettefortsetzung
{ =} { { \mathcal F }
}
{ } {
}
{ } {}
{ } {}
}{}{}
mit lokal freien Garben ${ \mathcal F }_{i}$ derart, dass die
\definitionsverweis {Quotientengarben}{}{}
\mathl{{ \mathcal F }_{i+1}/ { \mathcal F }_{i}}{}
\definitionsverweis {invertierbar}{}{}
sind.}
\faktzusatz {}
\faktzusatz {}
}
{
Zur
\definitionsverweis {dualen Garbe}{}{}
${ \mathcal F } ^*$ gibt es für $n$ hinreichend groß
nach Satz 15.12
einen nichttrivialen globalen Schnitt
\mavergleichskette
{\vergleichskette
{s
}
{ \in }{ \Gamma { \left( C , { \mathcal F }^* (n) \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
der einem nichttrivialen
\definitionsverweis {Modulhomomorphismus}{}{}
\maabbdisp {} { {\mathcal O}_{ C } } {{ \mathcal F } ^* (n)
} {}
entspricht. Dualisiert ergibt sich ein nichttrivialer Modulhomomorphismus
\maabbdisp {} { { \mathcal F } (-n)} { {\mathcal O}_{ C }
} {.}
Das Bild davon ist eine Idealgarbe
\mavergleichskette
{\vergleichskette
{ { \mathcal I }
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die nach
Lemma 30.6
invertierbar ist. Es gibt also einen surjektiven Garbenhomomorphismus
\maabbdisp {} { { \mathcal F } (-n) } { { \mathcal I }
} {}
und damit auch einen surjektiven Garbenhomomorphismus
\maabbdisp {} { { \mathcal F } } { { \mathcal I } \otimes {\mathcal O}_{ C } (n) \defeq { \mathcal L }
} {.}
Da ${ \mathcal L }$ invertierbar ist, ist der
\definitionsverweis {Kern}{}{}
\mavergleichskette
{\vergleichskette
{ { \mathcal G }
}
{ \subset }{ { \mathcal F }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nach
Satz 16.7
lokal frei, und zwar von einem kleineren Rang. Induktive Anwendung dieses Verfahrens auf
\mavergleichskette
{\vergleichskette
{ { \mathcal F }_{r-1}
}
{ \defeq }{ { \mathcal G }
}
{ }{
}
{ }{
}
{ }{}
}
{}{}{}
liefert die Filtration.
\inputfaktbeweis
{Glatte projektive Kurve/Lokal freie Garbe/Riemann-Roch/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $C$ eine
\definitionsverweis {irreduzible}{}{}
\definitionsverweis {glatte}{}{}
\definitionsverweis {projektive Kurve}{}{}
über einem
\definitionsverweis {algebraisch abgeschlossenen Körper}{}{}
$K$ vom
\definitionsverweis {Geschlecht}{}{}
$g$ und sei ${ \mathcal F }$ eine
\definitionsverweis {lokal freie Garbe}{}{}
auf $C$ vom
\definitionsverweis {Rang}{}{}
$r$.}
\faktfolgerung {Dann ist
\mavergleichskettedisp
{\vergleichskette
{ h^0(C, { \mathcal F }) - h^1(C, { \mathcal F })
}
{ =} { \operatorname{Grad} \, ( { \mathcal F } ) +r { \left( 1 -g \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir führen Induktion über den Rang $r$, wobei der Induktionsanfang
\mavergleichskette
{\vergleichskette
{r
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
durch
Satz 30.2
gesichert ist. Es sei eine lokal freie Garbe vom Rang $r$ gegeben. Wir ziehen eine Filtation
\mavergleichskettedisp
{\vergleichskette
{ 0
}
{ =} { { \mathcal F }_1
}
{ \subset} { { \mathcal F }_2
}
{ \subset \ldots \subset} { { \mathcal F }_{r-1}
}
{ \subset} { { \mathcal F }_{r}
}
}
{}{}{}
mit invertierbaren Quotienten
\mathl{{ \mathcal F }_{i+1}/ { \mathcal F }_{i}}{} heran, die es nach
Satz 30.8
gibt. Insbesondere gibt es eine kurze exakte Sequenz
\mathdisp {0 \longrightarrow { \mathcal F }_{r-1} \longrightarrow { \mathcal F } \longrightarrow { \mathcal F }_{r}/ { \mathcal F }_{r-1} \longrightarrow 0} { . }
Aufgrund der Induktionsvoraussetzung gilt die Formel von Riemann-Roch für
\mathl{{ \mathcal F }_{r-1}}{} und wegen
Satz 30.2
gilt sie für die invertierbare Garbe
\mathl{{ \mathcal F }_{r}/ { \mathcal F }_{r-1}}{.} Da die
\definitionsverweis {Euler-Charakteristik}{}{,}
also
\mavergleichskettedisp
{\vergleichskette
{ \chi { \left( { \mathcal G } \right) }
}
{ =} { h^0(C, { \mathcal G })- h^1(C, { \mathcal G })
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
nach
Lemma 27.9
additiv für kurze exakte Sequenzen und da der Grad von lokal freien Garben
nach
Satz 30.7
ebenfalls additiv für kurze exakte Sequenzen ist, gilt die Formel auch für ${ \mathcal F }$.