Kurs:Bündel, Garben und Kohomologie (Osnabrück 2019-2020)/Vorlesung 25/latex

\setcounter{section}{25}






\zwischenueberschrift{Garbenkohomologie}




\inputdefinition
{}
{

Zu einer \definitionsverweis {Garbe}{}{} ${ \mathcal G }$ von kommutativen Gruppen auf einem \definitionsverweis {topologischen Raum}{}{} $X$ nennt man den \definitionsverweis {rechtsabgeleiteten Funktor}{}{} zum globalen Auswertungsfunktor
\mathl{\Gamma(X,- )}{} die $n$-te \definitionswort {Garbenkohomologie}{} von ${ \mathcal G }$ auf $X$. Sie wird mit
\mavergleichskettedisp
{\vergleichskette
{H^n(X, { \mathcal G } ) }
{ \defeq} { R^n\Gamma(X,{ \mathcal G } ) }
{ } { }
{ } { }
{ } { }
} {}{}{} bezeichnet.

}





\inputfaktbeweis
{Topologischer Raum/Garbe/Kohomologie/Grundlegende Eigenschaften/Fakt}
{Korollar}
{}
{

\faktsituation {Es sei $X$ ein \definitionsverweis {topologischer Raum}{}{.}}
\faktuebergang {Dann erfüllt die \definitionsverweis {Garbenkohomologie}{}{} folgende Eigenschaften.}
\faktfolgerung {\aufzaehlungdrei{Die $H^n(X, -)$ sind \zusatzklammer {für jedes
\mavergleichskettek
{\vergleichskettek
{n }
{ \in }{\N }
{ }{ }
{ }{ }
{ }{ }
} {}{}{}} {} {} \definitionsverweis {additive Funktoren}{}{} von der Kategorie der \definitionsverweis {Garben von kommutativen Gruppen}{}{} auf $X$ in die Kategorie der abelschen Gruppen. }{Es liegt ein natürlicher Isomorphismus
\mavergleichskette
{\vergleichskette
{H^0(X, { \mathcal G } ) }
{ \cong }{\Gamma(X, { \mathcal G } ) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} vor. }{Zu einer kurzen exakten Garbensequenz
\mathdisp {0 \, \stackrel{ }{\longrightarrow} \, { \mathcal F } \, \stackrel{ }{ \longrightarrow} \, { \mathcal G } \, \stackrel{ }{\longrightarrow} \, { \mathcal H } \,\stackrel{ } {\longrightarrow} \, 0} { }
gibt es eine lange exakte Kohomologiesequenz
\mathdisp {0 \longrightarrow \Gamma { \left( X, { \mathcal F } \right) } \longrightarrow \Gamma { \left( X, { \mathcal G } \right) }\longrightarrow \Gamma { \left( X, { \mathcal H } \right) } \longrightarrow H^1(X,{ \mathcal F }) \longrightarrow H^1(X, { \mathcal G } ) \longrightarrow H^1(X, { \mathcal H } ) \longrightarrow H^2(X, { \mathcal F } ) \longrightarrow \ldots} { . }
}}
\faktzusatz {}
\faktzusatz {}

}
{

Dies ist ein Spezialfall von Satz 24.7.

}


Es ist im Allgemeinen schwierig, Kohomologiegruppen zu berechnen. Wir listen einige grundsätzliche Berechnungsmöglichkeiten auf. \aufzaehlungsechs{Verschwindungssätze: Man zeigt, dass für gewisse Räume, gewisse Garben und gewisse Indizes die Kohomologiegruppen $0$ sind. Wenn in der langen exakten Kohomologiesequenz an gewissen Stellen eine $0$ steht, so bedeutet dies, dass zuvor eine surjektive Abbildung und danach eine injektive Abbildung steht. }{Statt mit injektiven Garben kann man mit anderen azyklischen \zusatzklammer {beispielsweise \definitionsverweis {welken}{}{}} {} {} Garben arbeiten. }{Interpretation von $H^1$ als klassifizierende Gruppe für gewisse geometrische Objekte (Picardgruppe). }{Wenn die Garben Moduln auf einem beringten Raum sind, so besitzen auch die Kohomologiegruppen die Struktur von Moduln über dem globalen Schnittring
\mathl{\Gamma (X, {\mathcal O}_X )}{} \zusatzklammer {siehe Lemma 25.5} {} {.} Wenn dieser ein Körper ist \zusatzklammer {was insbesondere für zusammenhängende projektive Varietäten der Fall ist} {} {,} so sind die Kohomologiegruppen sogar Vektorräume. Im endlichdimensionalen Fall sind die Dimensionen wichtige Invarianten. }{Vergleich der Kohomologie auf $X$ mit der Kohomologie auf einer offenen Teilmenge. }{Vergleich mit anderen Kohomologietheorien: Čech-Kohomologie, singuläre Kohomologie, simpliziale Kohomologie. }





\inputfaktbeweis
{Topologischer Raum/Welke Garbe/Azyklisch/Fakt}
{Lemma}
{}
{

\faktsituation {Eine \definitionsverweis {welke Garbe}{}{} ${ \mathcal G }$ auf einem \definitionsverweis {topologischen Raum}{}{} $X$}
\faktfolgerung {ist \definitionsverweis {azyklisch}{}{,} d.h. es ist
\mavergleichskette
{\vergleichskette
{H^n(X, { \mathcal G } ) }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} für
\mavergleichskette
{\vergleichskette
{n }
{ \geq }{1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Nach Lemma 23.13 gibt es eine Einbettung von ${ \mathcal G }$ in eine \definitionsverweis {injektive Garbe}{}{} ${ \mathcal I }$, wir betrachten die zugehörige kurze exakte Garbensequenz
\mathdisp {0 \, \stackrel{ }{\longrightarrow} \, { \mathcal G } \, \stackrel{ }{ \longrightarrow} \, { \mathcal I } \, \stackrel{ }{\longrightarrow} \, { \mathcal I }/ { \mathcal G } \,\stackrel{ } {\longrightarrow} \, 0} { . }
Nach Lemma 23.16 ist ${ \mathcal I }$ eine welke Garbe. Dann ist nach Lemma 23.15  (2) auch die Quotientengarbe
\mathl{{ \mathcal I }/ { \mathcal G }}{} welk. Die lange exakte Kohomologiesequenz ergibt unter Verwendung von Satz 24.8 einerseits
\mathdisp {0 \longrightarrow \Gamma { \left( X, { \mathcal G } \right) } \longrightarrow \Gamma { \left( X, { \mathcal I } \right) } \longrightarrow \Gamma { \left( X, { \mathcal I }/{ \mathcal G } \right) } \longrightarrow H^1 (X, { \mathcal G } ) \longrightarrow 0} { }
und andererseits
\mathdisp {0 \longrightarrow H^n (X, { \mathcal I }/{ \mathcal G } ) \stackrel{\delta^n}{ \longrightarrow} H^{n+1} (X, { \mathcal G } ) \longrightarrow 0} { }
für
\mavergleichskette
{\vergleichskette
{n }
{ \geq }{1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Aus dem ersten Ausschnitt folgt wegen der Surjektivität \zusatzklammer {siehe Lemma 23.15  (1)} {} {} von \maabbdisp {} { \Gamma { \left( X, { \mathcal I } \right) } } { \Gamma { \left( X, { \mathcal I }/ { \mathcal G } \right) }} {,} dass
\mavergleichskette
{\vergleichskette
{H^1(X, { \mathcal G } ) }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist. Dies gilt für alle welke Garben. Daher gilt aufgrund des zweiten Ausschnittes, angewendet für
\mavergleichskette
{\vergleichskette
{n }
{ = }{2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} auch
\mavergleichskette
{\vergleichskette
{H^2(X, { \mathcal G } ) }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} u.s.w.

}







\inputbemerkung
{}
{

Es sei $G$ eine \definitionsverweis {topologische Gruppe}{}{} und $X$ ein \definitionsverweis {topologischer Raum}{}{.} Wir betrachten die Garbe der stetigen Abbildungen nach $G$, also
\mathl{C^0(-,G)}{,} mit
\mavergleichskettedisp
{\vergleichskette
{ C^0(U,G) }
{ =} { { \left\{ f:U \rightarrow G \text{ Abbildung} \mid f \text{ stetig} \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{.} Es gibt eine natürliche Inklusion von Garben
\mavergleichskettedisp
{\vergleichskette
{ C^0(-,G) }
{ \subseteq} { \operatorname{Abb} \, { \left( - , G \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{} und somit eine \definitionsverweis {kurze exakte Garbensequenz}{}{}
\mathdisp {0 \, \stackrel{ }{\longrightarrow} \, C^0(-,G) \, \stackrel{ }{ \longrightarrow} \, \operatorname{Abb} \, { \left( - , G \right) } \, \stackrel{ }{\longrightarrow} \, \operatorname{Abb} \, { \left( - , G \right) } / C^0(-,G) \,\stackrel{ } {\longrightarrow} \, 0} { . }
Hierbei ist die Abbildungsgarbe in der Mitte \definitionsverweis {welk}{}{,} da man ja jede Abbildung auf eine größere Menge fortsetzen kann. Daher ist
\mavergleichskettedisp
{\vergleichskette
{H^1(X, \operatorname{Abb} \, { \left( - , G \right) }) }
{ =} {0 }
{ } { }
{ } { }
{ } { }
} {}{}{} nach Lemma 25.3 und somit beginnt die lange exakte Kohomologiesequenz mit
\mathdisp {0 \longrightarrow C^0(X,G) \longrightarrow \operatorname{Abb} \, { \left( X , G \right) } \longrightarrow \Gamma { \left( X, \operatorname{Abb} \, { \left( - , G \right) } / C^0(-,G) \right) } \longrightarrow H^1(X,C^0(-,G) ) \longrightarrow 0} { . }
Jede erste Kohomologieklasse zu $C^0(-,G)$ wird also durch ein globales Element der \definitionsverweis {Quotientengarbe}{}{}
\mathl{\operatorname{Abb} \, { \left( - , G \right) } / C^0(-,G)}{} repräsentiert, und zwei solche Repräsentanten definieren genau dann die gleiche Klasse, wenn ihre Differenz von einer Abbildung von $X$ nach $G$ herrührt. Wie bei jeder Quotientengarbe wird gemäß Lemma 5.9  (1) ein globales Element durch eine offene Überdeckung
\mavergleichskette
{\vergleichskette
{X }
{ = }{ \bigcup_{i \in I} U_i }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und Schnitte
\mavergleichskette
{\vergleichskette
{f_i }
{ \in }{ \Gamma { \left( U_i, \operatorname{Abb} \, { \left( - , G \right) } \right) } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} \zusatzklammer {also Abbildungen \maabb {f_i} {U_i} {G } {}} {} {} repräsentiert mit der Eigenschaft, dass die Differenzen
\mathl{f_i-f_j {{|}}_{U_i \cap U_j}}{} von der Untergarbe herkommen, also stetige Funktionen auf $U_i \cap U_j$ sind. Ein solches Element rührt nach Lemma 5.9  (2) genau dann von links her \zusatzklammer {und geht auf die triviale Kohomologieklasse} {} {,} wenn es eine Funktion \maabb {f} {X} {G } {} mit der Eigenschaft gibt, dass die Differenzen
\mavergleichskette
{\vergleichskette
{g_i }
{ \defeq }{ f_i - f {{|}}_{U_i} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} für alle $i$ stetig sind. In diesem Fall ist auf
\mathl{U_i \cap U_j}{}
\mavergleichskettedisp
{\vergleichskette
{g_i-g_j }
{ =} { f_i - f - { \left( f_j - f \right) } }
{ =} { f_i-f_j }
{ } { }
{ } { }
} {}{}{.} Wenn es umgekehrt eine solche Familie von stetigen Funktionen $g_i$ auf $U_i$ gibt, deren Differenzen mit den vorgegebenen Differenzen übereinstimmen, so kann man daraus über
\mavergleichskettedisp
{\vergleichskette
{f }
{ \defeq} {f_i - g_i }
{ } { }
{ } { }
{ } { }
} {}{}{} auf $U_i$, da dies eine verträgliche Bedingung ist, eine globale Funktion auf $X$ definieren. Die erste Kohomologiegruppe der Garbe der stetigen Funktionen ist somit genau dann trivial, wenn es zu jeder Familie
\mathl{(U_i,f_i)}{} mit $f_i-f_j$ stetig eine Familie
\mathl{(U_i,g_i)}{} mit stetigen Funktionen $g_i$ und den gleichen Differenzen gibt.

}





\inputfaktbeweis
{Beringter Raum/Modul/Garbenkohomologie/Modulstruktur/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei
\mathl{(X, {\mathcal O}_{ X })}{} ein \definitionsverweis {beringter Raum}{}{} und ${ \mathcal M }$ ein ${\mathcal O}_{ X }$-\definitionsverweis {Modul}{}{.}}
\faktfolgerung {Dann sind die \definitionsverweis {Garbenkohomologien}{}{}
\mathl{H^i(X , { \mathcal M } )}{} in natürlicher Weise $\Gamma (X, {\mathcal O}_X )$-\definitionsverweis {Moduln}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Jedes Element
\mavergleichskette
{\vergleichskette
{f }
{ \in }{ \Gamma (X, {\mathcal O}_X ) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} definiert einen ${\mathcal O}_{ X }$-\definitionsverweis {Modulhomomorphismus}{}{} \maabbdisp {f} { { \mathcal M } } { { \mathcal M } } {,} wobei auf jeder offenen Menge
\mavergleichskette
{\vergleichskette
{U }
{ \subseteq }{X }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} die Restriktion von $f$ auf
\mathl{\Gamma (U, {\mathcal O}_X )}{} durch Multiplikation als Skalar wirkt, also \maabbeledisp {} { \Gamma { \left( U, { \mathcal M } \right) } } { \Gamma { \left( U, { \mathcal M } \right) } } {s} {f s } {.} Die Multiplikation mit $f$ ist insbesondere ein Homomorphismus von Garben von kommutativen Gruppen. Aufgrund der Funktorialität \zusatzklammer {siehe Korollar 25.2} {} {} der Garbenkohomologie induziert dies einen Gruppenhomomorphismus \maabbdisp {H^n(f)} {H^n(X, { \mathcal M } ) } {H^n(X, { \mathcal M } ) } {.} Wir müssen zeigen, dass die Zuordnung \maabbeledisp {} { \Gamma (X, {\mathcal O}_X ) \times H^n(X, { \mathcal M } ) } {H^n(X, { \mathcal M } ) } { (f, c)} { H^n(f) (c) } {,} eine Modulstruktur auf
\mathl{H^n(X, { \mathcal M } )}{} festlegt. Da ein Gruppenhomomorphismus vorliegt, ist die Additivität im Modul gesichert. Wegen der Funktorialität geht die $1$ auf die Identität \zusatzklammer {zuerst als Garbenhomomorphismus und dann in der Kohomologie} {} {} und wegen der Verträglichkeit mit der Verknüpfung ist
\mavergleichskettedisp
{\vergleichskette
{ H^n(fg) }
{ =} { H^n(f) \circ H^n(g) }
{ } { }
{ } { }
{ } { }
} {}{}{.} Für globale Ringelemente $f,g$ ist die Skalarmultiplikation \zusatzklammer {auf der Ebene der Modulgarben} {} {} mit
\mathl{f+g}{} gleich der Summe der Skalarmultiplikationen zu $f$ und zu $g$. Da die $H^n$ additive Funktoren sind, gilt daher auch
\mavergleichskettedisp
{\vergleichskette
{ H^n(f+g) }
{ =} { H^n(f) +H^n(g) }
{ } { }
{ } { }
{ } { }
} {}{}{.}

}







\zwischenueberschrift{Kohomologie auf Schemata}

Wir betrachten nun die Kohomologie von Garben auf Schemata.




\inputfaktbeweis
{Schema/Integer/Strukturgarbe/Funktionenkörper/Erste Kohomologie/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei $(X, {\mathcal O}_{ X })$ ein \definitionsverweis {integres Schema}{}{} mit dem \definitionsverweis {Funktionenkörper}{}{} $K$, den wir als \definitionsverweis {konstante Garbe}{}{} ${ \mathcal K }$ auf $X$ auffassen.}
\faktfolgerung {Dann ist
\mavergleichskettedisp
{\vergleichskette
{H^1(X, {\mathcal O}_{ X } ) }
{ =} { \Gamma { \left( X, { \mathcal K }/ {\mathcal O}_{ X } \right) } / \operatorname{bild} { \left( K \rightarrow \Gamma { \left( X, { \mathcal K }/ {\mathcal O}_{ X } \right) } \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Da $X$ insbesondere \definitionsverweis {irreduzibel}{}{} ist, ist die konstante Prägarbe ${ \mathcal K }$ zu $K$ eine Garbe. Wegen Lemma 11.16 gibt es einen injektiven \definitionsverweis {Garbenhomomorphismus}{}{} \maabbdisp {} { {\mathcal O}_{ X } } { { \mathcal K } } {} und somit eine \definitionsverweis {kurze exakte Garbensequenz}{}{}
\mathdisp {0 \, \stackrel{ }{\longrightarrow} \, {\mathcal O}_{ X } \, \stackrel{ }{ \longrightarrow} \, { \mathcal K } \, \stackrel{ }{\longrightarrow} \, { \mathcal K } / {\mathcal O}_{ X } \,\stackrel{ } {\longrightarrow} \, 0} { . }
Die zugehörige lange exakte Kohomologiesequenz lautet
\mathdisp {0 \longrightarrow \Gamma (X, {\mathcal O}_X ) \longrightarrow \Gamma { \left( X, { \mathcal K } \right) } \longrightarrow \Gamma { \left( X, { \mathcal K }/ {\mathcal O}_{ X } \right) } \longrightarrow H^1(X, {\mathcal O}_{ X }) \longrightarrow H^1(X, { \mathcal K }) \longrightarrow \cdots} { . }
Als konstante Garbe ist ${ \mathcal K }$ \definitionsverweis {welk}{}{} und somit nach Lemma 25.3 \definitionsverweis {azyklisch}{}{} und insbesondere gilt
\mavergleichskettedisp
{\vergleichskette
{H^1(X, { \mathcal K }) }
{ =} { 0 }
{ } { }
{ } { }
{ } { }
} {}{}{.} Also ist
\mathl{H^1(X, {\mathcal O}_{ X })}{} der Kokern der zuvor stehenden Abbildung.

}





\inputfaktbeweis
{Affines Schema/Integer/Strukturgarbe/Funktionenkörper/Erste Kohomologie/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei $R$ ein \definitionsverweis {Integritätsbereich}{}{} und
\mavergleichskette
{\vergleichskette
{ \operatorname{Spek} { \left( R \right) } }
{ = }{(X, {\mathcal O}_{ X }) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} das zugehörige \definitionsverweis {integre}{}{} \definitionsverweis {affine Schema}{}{.}}
\faktfolgerung {Dann ist
\mavergleichskettedisp
{\vergleichskette
{H^1(X, {\mathcal O}_{ X } ) }
{ =} { 0 }
{ } { }
{ } { }
{ } { }
} {}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Wir betrachten die kurze exakte Sequenz von $R$-\definitionsverweis {Moduln}{}{}
\mathdisp {0 \, \stackrel{ }{\longrightarrow} \, R \, \stackrel{ }{ \longrightarrow} \, K \, \stackrel{ }{\longrightarrow} \, K/R \,\stackrel{ } {\longrightarrow} \, 0} { }
und die zugehörige, nach Lemma 14.9 exakte Sequenz von \definitionsverweis {quasikohärenten Garben}{}{}
\mathdisp {0 \, \stackrel{ }{\longrightarrow} \, {\mathcal O}_{ X } \, \stackrel{ }{ \longrightarrow} \, \widetilde { K } \, \stackrel{ }{\longrightarrow} \, \widetilde { K/R } \,\stackrel{ } {\longrightarrow} \, 0} { }
Insbesondere gilt
\mavergleichskettedisp
{\vergleichskette
{ \widetilde { K/R } }
{ =} { \widetilde { K }/ {\mathcal O}_{ X } }
{ } { }
{ } { }
{ } { }
} {}{}{} und $\widetilde { K }$ ist die konstante Garbe zum Funktionenkörper. Die globale Auswertung dieseer Garbensequenz ergibt die Ausgangssequenz. Aus Lemma 25.6 folgt die Aussage.

}





\inputbeispiel{}
{

Wir betrachten die punktierte affine Ebene
\mavergleichskettedisp
{\vergleichskette
{U }
{ =} { {\mathbb A}^{2}_{K} \setminus \{ (0,0) \} }
{ } { }
{ } { }
{ } { }
} {}{}{} über einem Körper $K$ und wollen
\mathl{H^1(U, {\mathcal O}_{ U } )}{} mit Hilfe von Lemma 25.7 verstehen. Der Funktionenkörper ist
\mathl{K(X,Y)}{,} wir bezeichnen die zugehörige konstante Garbe mit ${ \mathcal Q }$. Die lange exakte Kohomologiesequenz beginnt
\mathdisp {0 \longrightarrow K[X,Y] \longrightarrow K(X,Y) \longrightarrow \Gamma { \left( U, { \mathcal Q }/ {\mathcal O}_{ U } \right) } \longrightarrow H^1(X, {\mathcal O}_{ U } ) \longrightarrow 0} { . }
Es ist
\mavergleichskette
{\vergleichskette
{U }
{ = }{D(X) \cup D(Y) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Wir betrachten Schnitte von
\mathl{\Gamma { \left( U, { \mathcal Q }/ {\mathcal O}_{ U } \right) }}{} der Form
\mathl{(D(X), X^\alpha Y^\beta; D(Y), 0 )}{} mit
\mavergleichskette
{\vergleichskette
{\alpha, \beta }
{ \in }{ \Z }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Der Schnitt wird also auf $D(X)$ durch die rationale Funktion
\mathl{X^\alpha Y^\beta}{} und auf $D(Y)$ durch die rationale Funktion $0$ festgelegt. Da die Differenz, also einfach
\mathl{X^\alpha Y^\beta}{,} zur Strukturgarbe auf dem Durchschnitt
\mavergleichskette
{\vergleichskette
{ D(X) \cap D(Y) }
{ = }{ D(XY) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gehört, liegt in der Tat ein Schnitt der Quotientengarbe vor, vergleiche Lemma 5.9. Wir bestimmen, abhängig von \mathkor {} {\alpha} {und} {\beta} {,} ob dieser Schnitt im Bild liegt, was äquivalent zur Frage ist, ob dieser Schnitt ein triviales Element in der ersten Kohomologie definiert. Dass es von links herkommt bedeutet, dass es eine rationale Funktion
\mavergleichskette
{\vergleichskette
{q }
{ \in }{K(X,Y) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gibt, das mit dem Schnitt übereinstimmt, und das bedeutet wiederum, dass die Differenz auf \mathkor {} {D(X)} {bzw.} {D(Y)} {} von der Strukturgarbe herkommt, es muss also gleichzeitig
\mavergleichskette
{\vergleichskette
{ q - X^\alpha Y^\beta }
{ \in }{ \Gamma { \left( D(X), {\mathcal O}_{ U } \right) } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{ q - 0 }
{ \in }{ \Gamma { \left( D(Y), {\mathcal O}_{ U } \right) } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} sein. Die zweite Bedingung bedeutet
\mavergleichskettedisp
{\vergleichskette
{q }
{ =} { { \frac{ h }{ Y^n } } }
{ } { }
{ } { }
{ } { }
} {}{}{} und die erste Bedingung bedeutet
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ h }{ Y^n } } - X^\alpha Y^\beta }
{ =} { { \frac{ g }{ X^m } } }
{ } { }
{ } { }
{ } { }
} {}{}{.} Es geht also um die Frage, ob die Gleichung
\mavergleichskettedisp
{\vergleichskette
{ X^\alpha Y^\beta }
{ =} { { \frac{ h }{ Y^n } } - { \frac{ g }{ X^m } } }
{ } { }
{ } { }
{ } { }
} {}{}{} eine Lösung \zusatzklammer {mit
\mavergleichskettek
{\vergleichskettek
{g,h }
{ \in }{ K[X,Y] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskettek
{\vergleichskettek
{m,n }
{ \in }{ \N }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} besitzt} {} {.} Wenn
\mavergleichskette
{\vergleichskette
{\alpha }
{ \geq }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} oder
\mavergleichskette
{\vergleichskette
{\beta }
{ \geq }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist, so ist dies möglich. Wenn hingegen
\mavergleichskette
{\vergleichskette
{\alpha, \beta }
{ < }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} sind, so ist dies nicht möglich, da ja die rechte Seite gleich
\mathl{{ \frac{ hX^m-gY^n }{ X^mY^n } }}{} ist. Multiplikation mit $X^mY^n$ zeigt die Unmöglichkeit, da das Ideal $(X^m,Y^n)$ nur Monome enthält, die Vielfache der einzelnen Erzeuger sind.


}




\inputbeispiel{}
{

Wir knüpfen an Beispiel 16.9 an, d.h. wir betrachten auf dem Polynomring
\mavergleichskette
{\vergleichskette
{R }
{ = }{K[X_1 , \ldots , X_n ] }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mavergleichskette
{\vergleichskette
{n }
{ \geq }{2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und die kurze exakte Sequenz
\mathdisp {0 \, \stackrel{ }{\longrightarrow} \, \operatorname{Syz} { \left( X_1 , \ldots , X_n \right) } \, \stackrel{ }{ \longrightarrow} \, R^n \, \stackrel{ }{\longrightarrow} \, { \left( X_1 , \ldots , X_n \right) } \,\stackrel{ } {\longrightarrow} \, 0} { . }
Die Einschränkung der zugehörigen Garbensequenz auf den punktierten Raum
\mavergleichskette
{\vergleichskette
{U }
{ = }{ { {\mathbb A}_{ K }^{ n } } \setminus \{(0 , \ldots , 0) \} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist
\mathdisp {0 \, \stackrel{ }{\longrightarrow} \, { \mathcal S } = \widetilde { \operatorname{Syz} { \left( X_1 , \ldots , X_n \right) } } \, \stackrel{ }{ \longrightarrow} \, {\mathcal O}_{ U }^n \, \stackrel{ }{\longrightarrow} \, {\mathcal O}_{ U } \,\stackrel{ } {\longrightarrow} \, 0} { . }
Die Auswertung dieser Garbensequenz auf $U$ ergibt
\mathdisp {0 \longrightarrow \operatorname{Syz} { \left( X_1 , \ldots , X_n \right) } \longrightarrow R^n \longrightarrow R \longrightarrow H^1(U , { \mathcal S }) \longrightarrow H^1(U, {\mathcal O}_{ U }^n) \longrightarrow} { . }
Da das Bild der Abbildung \maabb {} {R^n} {R } {} nach wir vor das maximale Ideal, ist diese Abbildung nicht surjektiv und es folgt, dass
\mavergleichskette
{\vergleichskette
{ H^1(U , { \mathcal S }) }
{ \neq }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist.


}


\inputfaktbeweis
{Schema/Integer/Einheitengarbe/Funktionenkörpergruppe/Erste Kohomologie/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei $(X, {\mathcal O}_{ X })$ ein \definitionsverweis {integres Schema}{}{} mit dem \definitionsverweis {Funktionenkörper}{}{} $K$. Es sei
\mathl{{\mathcal O}_{ X }^\times}{} die \definitionsverweis {Garbe}{}{} der \definitionsverweis {Einheiten}{}{} auf $X$ und es sei ${ \mathcal U }$ die konstante Garbe zu $K^{\times}$.}
\faktfolgerung {Dann ist
\mavergleichskettedisp
{\vergleichskette
{H^1(X, {\mathcal O}_{ X }^\times ) }
{ =} { \Gamma { \left( X, { \mathcal U }/ {\mathcal O}_{ X }^\times \right) } / \operatorname{bild} { \left( K^{\times} \rightarrow \Gamma { \left( X, { \mathcal U }/ {\mathcal O}_{ X }^\times \right) } \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{ Siehe Aufgabe 25.10. }


Wir erwähnen ohne Beweis die folgenden wichtigen Sätze.


\inputfakt{Noethersches Schema/Affin/Kohomologisches Kriterium/Fakt}{Satz}{} {

\faktsituation {Es sei $X$ ein noethersches Schema.}
\faktuebergang {Dann sind die folgenden Eigenschaften äquivalent.}
\faktfolgerung {\aufzaehlungdrei{$X$ ist ein affines Schema. }{Für jede quasikohärente Garbe ${\mathcal F}$ auf $X$ ist
\mathl{H^{i}( X, {\mathcal F} ) =0}{} }{Für jede kohärente Idealgarbe ${\mathcal I}$ auf $X$ ist
\mathl{H^{1}( X, {\mathcal I} ) =0}{.} }}
\faktzusatz {}
\faktzusatz {}

}




\inputfakt{Noetherscher Raum/Dimension/Kohomologie/Verschwindungssatz/Fakt}{Satz}{} {

\faktsituation {Es sei $X$ ein \definitionsverweis {noetherscher topologischer Raum}{}{} der \definitionsverweis {Dimension}{}{} $d$.}
\faktfolgerung {Dann ist
\mavergleichskette
{\vergleichskette
{H^i (X, { \mathcal G } ) }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} für
\mavergleichskette
{\vergleichskette
{i }
{ > }{d }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und jede \definitionsverweis {Garbe}{}{} ${ \mathcal G }$ von kommutativen Gruppen.}
\faktzusatz {}
\faktzusatz {}

}