Kurs:Bündel, Garben und Kohomologie (Osnabrück 2019-2020)/Vorlesung 24/latex
\setcounter{section}{24}
\zwischenueberschrift{Abelsche Kategorien}
Das Konzept einer abelschen Kategorie wird abstrakt durch eine Liste von Axiomen beschrieben, die wir in einem Anhang zusammengestellt haben. Für uns sind die folgenden vier Hauptbeispiele wichtig.
\auflistungvier{Die Kategorie der \definitionsverweis {kommutativen Gruppen}{}{} mit den \definitionsverweis {Gruppenhomomorphismen}{}{.}
}{Die Kategorie der $R$-\definitionsverweis {Moduln}{}{} über einem \definitionsverweis {kommutativen Ring}{}{} mit den $R$-\definitionsverweis {Modulhomomorphismen}{}{.}
}{Die Kategorie der \definitionsverweis {Garben}{}{} von kommutativen Gruppen über einem topologischen Raum $X$ mit den \definitionsverweis {Garbenhomomorphismen}{}{.}
}{Die Kategorie der ${\mathcal O}_{ X }$-\definitionsverweis {Moduln}{}{} auf einem \definitionsverweis {beringten Raum}{}{}
\mathl{(X, {\mathcal O}_{ X })}{} mit den ${\mathcal O}_{ X }$-\definitionsverweis {Modulhomomorphismen}{}{.}
}
In diesen Kategorien ist jeweils klar, was kurze exakte Sequenzen bzw. die Exaktheit von Komplexen bedeutet. Ferner kann man in diesen Kategorien jedes Objekt in ein injektives Objekt der Kategorie einbetten und somit auch injektive Auflösungen konstruieren, siehe
Korollar 23.8
und
Lemma 23.13.
Diese Eigenschaft verdient sogar einen eigenen Namen.
\inputdefinition
{}
{
Man sagt, dass eine
\definitionsverweis {abelsche Kategorie}{}{}
${\mathcal A }$
\definitionswort {genügend viele injektive Objekte}{}
enthält, wenn es zu jedem Objekt
\mavergleichskette
{\vergleichskette
{M
}
{ \in }{ {\mathcal A }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {injektives Objekt}{}{}
$I$ und einen
\definitionsverweis {Monomorphismus}{}{}
\maabb {} {M} {I
} {}
gibt.
}
\zwischenueberschrift{Linksexakte additive Funktoren}
\inputdefinition
{}
{
Es seien
\mathkor {} {{\mathcal A}} {und} {{\mathcal B}} {}
\definitionsverweis {additive Kategorien}{}{.}
Ein
\definitionsverweis {kovarianter Funktor}{}{}
\maabb {F} { {\mathcal A}} { {\mathcal B}
} {}
heißt
\definitionswort {additiv}{,}
wenn für Objekte
\mavergleichskette
{\vergleichskette
{G,H
}
{ \in }{ {\mathcal A}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Abbildungen
\maabbeledisp {} { \operatorname{Mor} { \left( G, H \right) } } { \operatorname{Mor} { \left( F(G), F(H) \right) }
} {\varphi} { F(\varphi)
} {,}
\definitionsverweis {Gruppenhomomorphismen}{}{}
sind.
}
\inputdefinition
{}
{
Es seien
\mathkor {} {{\mathcal A}} {und} {{\mathcal B}} {}
\definitionsverweis {abelsche Kategorien}{}{.}
Ein
\definitionsverweis {kovarianter Funktor}{}{}
\maabb {F} { {\mathcal A}} { {\mathcal B}
} {}
heißt
\definitionswort {linksexakt}{,}
wenn er
\definitionsverweis {additiv}{}{}
ist und wenn für jede
\definitionsverweis {kurze exakte Sequenz}{}{}
\mathdisp {0 \longrightarrow A \longrightarrow B \longrightarrow C \longrightarrow 0} { }
in $\mathcal A$ die Sequenz
\mathdisp {0 \longrightarrow F(A) \longrightarrow F(B) \longrightarrow F(C)} { }
in $\mathcal B$ exakt ist.
}
Für uns werden zwei Funktoren mit diesen beiden Eigenschaften wichtig sein.
\inputbeispiel{}
{
Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und $A$ ein fixierter
$R$-\definitionsverweis {Modul}{}{.}
Dann ist die Zuordnung, die jedem
$R$-Modul $M$ den Homomorphismenmodul
\mathl{\operatorname{Hom}_{ R } { \left( A, M \right) }}{} zuordnet, linksexakt, siehe
Aufgabe 24.1.
}
\inputbeispiel{}
{
Es sei $X$ ein
\definitionsverweis {topologischer Raum}{}{}
und es sei ${\mathcal A }$ die Kategorie der Garben von kommutativen Gruppen auf $X$, also die Zuordnung
\mathl{{ \mathcal G } \mapsto \Gamma { \left( X, { \mathcal G } \right) }}{.} Es sei
\mavergleichskettedisp
{\vergleichskette
{ {\mathcal B }
}
{ =} { \operatorname{ABEL}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die
\definitionsverweis {Kategorie der abelschen Gruppen}{}{}
und $F$ sei die globale Auswertung auf $X$. Dann besitzt ${\mathcal A }$ genügend Injektive und $F$ ist ein kovarianter additiver linksexakter Funktor. Die Linksexaktheit beruht auf
Lemma 6.8,
die Existenz von hinreichend vielen injektiven Garben auf
Lemma 23.13.
}
In den vorstehenden Beispielen sind die Zuordnungen nicht rechtsexakt, siehe Aufgabe 24.2 und Beispiel 6.6. Die Kohomologietheorien, die wir betrachten werden, werden unter anderem diese fehlende Rechtsexaktheit theoretisch erfassen.
\zwischenueberschrift{Abgeleitete Funktoren}
\inputdefinition
{}
{
Es seien
\mathkor {} {{\mathcal A }} {und} {{\mathcal B }} {}
\definitionsverweis {abelsche Kategorien}{}{}
und ${\mathcal A }$ habe
\definitionsverweis {genügend viele injektive Objekte}{}{.}
Es sei
\maabbdisp {F} { {\mathcal A } } { {\mathcal B }
} {}
ein
\definitionsverweis {kovarianter}{}{}
\definitionsverweis {additiver}{}{}
\definitionsverweis {linksexakter Funktor}{}{.}
Der $n$-te
\definitionswort {rechtsabgeleitete Funktor}{}
\maabbdisp {R^nF} { {\mathcal A } } { {\mathcal B }
} {}
\zusatzklammer {
\mavergleichskettek
{\vergleichskettek
{ n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
ist folgendermaßen definiert: Für ein Objekt
\mavergleichskette
{\vergleichskette
{M
}
{ \in }{ {\mathcal A }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nimmt man eine
\definitionsverweis {injektive Auflösung}{}{}
$I^\bullet$ von $M$ und setzt
\mavergleichskettedisp
{\vergleichskette
{ R^nF(M)
}
{ \defeq} { H^n ( F (I^\bullet))
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
und für einen Homomorphismus
\maabb {\varphi} {M} {N
} {}
in ${\mathcal A }$ nimmt man eine Fortsetzung
\maabb {\tilde{\varphi}} {I^\bullet} { J^\bullet
} {}
\zusatzklammer {wobei $J^\bullet$ eine injektive Auflösung von $N$ ist} {} {}
und setzt
\mavergleichskettedisp
{\vergleichskette
{ R^nF( \varphi)
}
{ \defeq} {( H^n(\tilde{\varphi} ):H^n(F(I^\bullet)) \rightarrow H^n(F(J^\bullet)))
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit dem induzierten Homomorphismus auf der Homologie im Sinne von
Lemma Anhang 8.5.
}
\inputfaktbeweis
{Abelsche Kategorie/Genügend Injektive/Rechtsabgeleiteter Funktor/Delta-Eigenschaften/Fakt}
{Satz}
{}
{
\faktsituation {Es seien
\mathkor {} {{\mathcal A }} {und} {{\mathcal B }} {}
\definitionsverweis {abelsche Kategorien}{}{}
und ${\mathcal A }$ habe
\definitionsverweis {genügend viele injektive Objekte}{}{.}
Es sei
\maabb {F} { {\mathcal A } } { {\mathcal B }
} {}
ein
\definitionsverweis {kovarianter}{}{}
\definitionsverweis {additiver}{}{}
\definitionsverweis {linksexakter Funktor}{}{}
und es bezeichne $R^nF$ die
\definitionsverweis {rechtsabgeleiteten Funktoren}{}{.}}
\faktuebergang {Dann gelten folgende Eigenschaften}
\faktfolgerung {\aufzaehlungvier{Die $R^nF$ sind wohldefinierte additive Funktoren von ${\mathcal A }$ nach ${\mathcal B }$.
}{Es liegt ein natürlicher Isomorphismus
\mavergleichskette
{\vergleichskette
{R^0F
}
{ \cong }{F
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vor.
}{Zu jeder kurzen exakten Sequenz
\mathdisp {0 \longrightarrow A \longrightarrow B \longrightarrow C \longrightarrow 0} { }
in ${\mathcal A }$ und jedem
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es natürliche Verbindungshomomorphismen
\maabbdisp {\delta^n} { R^nF(C)} {R^{n+1}F(A)
} {}
derart, dass ein exakter Komplex
\mathdisp {\ldots \longrightarrow R^{n-1}F(C) \stackrel{\delta^{n-1} }{\longrightarrow} R^nF(A) \longrightarrow R^nF(B) \longrightarrow R^nF(C) \stackrel{\delta^n}{\longrightarrow} R^{n+1}F(A) \longrightarrow R^{n+1} F(B) \longrightarrow \ldots} { }
in ${\mathcal B }$ vorliegt.
}{Zu einem Homomorphismus von exakten Sequenzen
\mathdisp {\begin{matrix} 0 & \stackrel{ }{\longrightarrow} & A & \stackrel{ }{\longrightarrow} & B & \stackrel{ }{\longrightarrow} & C & \stackrel{ }{\longrightarrow} & 0 & \\ \downarrow & & \downarrow & & \downarrow & & \downarrow & & \downarrow & \\ 0 & \stackrel{ }{\longrightarrow} & A' & \stackrel{ }{\longrightarrow} & B' & \stackrel{ }{\longrightarrow} & C' & \stackrel{ }{\longrightarrow} & 0 &\!\!\!\!\! \end{matrix}} { }
kommutiert das Diagramm
\mathdisp {\begin{matrix} R^n F(C) & \stackrel{ \delta^n }{\longrightarrow} & R^{n+1}F(A) & \\ \downarrow & & \downarrow & \\ R^n F(C') & \stackrel{ \delta^n }{\longrightarrow} & R^{n+1}F(A') & \!\!\!\!\! . \\ \end{matrix}} { }
}}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungvier{Die Wohldefiniertheit, also die Unabhängigkeit von der gewählten injektiven Auflösung, zeigen wir den Fall, dass ${\mathcal A }$ die Kategorie der $R$-Moduln ist, der Formulierungsaufwand im allgemeinen Fall ist etwas größer. Es seien
\mathdisp {0 \longrightarrow N \longrightarrow L_0 \longrightarrow L_1 \longrightarrow \ldots} { }
und
\mathdisp {0 \longrightarrow N \longrightarrow I_0 \longrightarrow I_1 \longrightarrow \ldots} { }
injektive Auflösungen zu einem Modul $N$. Dann gibt es nach
Lemma 23.11
\definitionsverweis {Homomorphismen}{}{}
von Kettenkomplexen
\maabbdisp {\varphi} {L_\bullet} {I_\bullet
} {}
und
\maabbdisp {\psi} {I_\bullet} {L_\bullet
} {.}
Dabei sind die Hintereinanderschaltungen
\mathl{\psi \circ \varphi}{} und
\mathl{\varphi \circ \psi}{} nach
Lemma 23.12
\definitionsverweis {homotop}{}{}
zur Identität auf
\mathkor {} {L_\bullet} {bzw. auf} {I_\bullet} {.}
Dies gilt nach
Lemma Anhang 8.9
auch für die zugehörigen Homomorphismen auf den Komplexen
\mathl{F(L_\bullet)}{} bzw.
\mathl{F(I_\bullet)}{.} D.h. für die induzierten Homomorphismen auf den Homologien gilt, dass die Verknüpfung
\mathdisp {H_n {F (L_\bullet)} \stackrel{H_n ( \varphi)}{ \longrightarrow} H_n {F (I_\bullet) } \stackrel{H_n( \psi)}{ \longrightarrow} H_n {F( L_\bullet)}} { }
die Identität ist. Somit sind die $H(\varphi)$ kanonische Isomorphismen.
Die Additivität gilt nach
Lemma Anhang 8.5
stets in der Homologie.
}{Es sei $I^\bullet$ eine injektive Auflösung des Objektes $M$. Die $0$-te Homologie des Komplexes
\mathdisp {0 \longrightarrow F(I^0) \longrightarrow F(I^1) \longrightarrow F(I^2) \longrightarrow \ldots} { }
ist einfach der Kern des Homomorphismus
\maabbdisp {} {F(I^0) } { F(I^1)
} {.}
Wegen der Linksexaktheit von $F$ ist dieser Kern aber gleich $F(M)$.
}{Nach
Lemma Anhang 9.9
gibt es ein kommutatives Diagramm
\mathdisp {\begin{matrix} & & 0 & & 0 & & 0 & & \\ & & \downarrow & & \downarrow & & \downarrow & & \\ 0 & \longrightarrow & A & \longrightarrow & B & \longrightarrow & C & \longrightarrow & 0 \\ & & \downarrow & & \downarrow & & \downarrow & & \\ 0 & \longrightarrow & I^0 & \longrightarrow & J^0 & \longrightarrow & K^0 & \longrightarrow & 0 \\ & & \downarrow & & \downarrow & & \downarrow & & \\ 0 & \longrightarrow & I^1 & \longrightarrow & J^1 & \longrightarrow & K^1 \ & \longrightarrow & 0 \\ & & \downarrow & & \downarrow & & \downarrow & & \\ & & \vdots & & \vdots & & \vdots & & \!\!\!\!\! \\ \end{matrix}} { }
mit exakten Zeilen und Spalten. Da die einzelnen Zeilen
\zusatzklammer {bis auf die Ausgangssequenz} {} {}
spalten, erhält man für jedes
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine kurze exakte Sequenz
\mathdisp {0 \, \stackrel{ }{\longrightarrow} \, F(I^n) \, \stackrel{ }{ \longrightarrow} \, F(J^n) \, \stackrel{ }{\longrightarrow} \, F(K^n) \,\stackrel{ } {\longrightarrow} \, 0} { . }
Es liegt somit ein kommutatives Diagramm
\mathdisp {\begin{matrix} 0 & \longrightarrow & F(I^{n-1}) & \longrightarrow & F(J^{n-1}) & \longrightarrow & F(K^{n-1}) & \longrightarrow & 0 \\ & & \downarrow & & \downarrow & & \downarrow & & \\ 0 & \longrightarrow & F(I^{n}) & \longrightarrow & F(J^{n}) & \longrightarrow & F(K^{n}) & \longrightarrow & 0 \\ & & \downarrow & & \downarrow & & \downarrow & & \\ 0 & \longrightarrow & F(I^{n+1}) & \longrightarrow & F(J^{n+1}) & \longrightarrow & F(K^{n+1}) & \longrightarrow & 0 \\ \end{matrix}} { }
mit exakten Zeilen vor. In einer solchen Situation gibt es nach
Lemma Anhang 8.6
einen Homomorphismus vom Kern von
\maabb {} { F(K^{n-1})} {F(K^n)
} {}
in den Kern von
\maabb {} {F(I^n) } {F(I^{n+1})
} {}
und somit auch nach $R^{n}F(A)$. Dabei geht das Bild von
\mathl{F(K^{n-2})}{} auf $0$ und somit induziert dies einen Homomorphismus
\maabbdisp {} {R^{n-1}F(C)} { R^nF(A)
} {.}
}{Siehe
Aufgabe 24.5.
}
Die Abbildung $\delta$ nennt man auch den \stichwort {verbindenden Homomorphismus} {}
\inputfaktbeweis
{Abelsche Kategorie/Genügend Injektive/Rechtsabgeleiteter Funktor/Injektives Objekt/Fakt}
{Satz}
{}
{
\faktsituation {Es seien
\mathkor {} {{\mathcal A }} {und} {{\mathcal B }} {}
\definitionsverweis {abelsche Kategorien}{}{}
und ${\mathcal A }$ habe
\definitionsverweis {genügend viele injektive Objekte}{}{.}
Es sei
\maabb {F} { {\mathcal A } } { {\mathcal B }
} {}
ein
\definitionsverweis {kovarianter}{}{}
\definitionsverweis {additiver}{}{}
\definitionsverweis {linksexakter Funktor}{}{.}}
\faktfolgerung {Dann gilt für jedes
\definitionsverweis {injektive Objekt}{}{}
$I$ aus ${\mathcal A }$ und
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für die
\definitionsverweis {rechtsabgeleiteten Funktoren}{}{}
\mavergleichskette
{\vergleichskette
{R^nF(I)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Dies ergibt sich unmittelbar, da wir mit der injektiven Auflösung
\mathdisp {I_0 = I \longrightarrow 0 \longrightarrow 0 \longrightarrow \ldots} { }
arbeiten können.
\inputdefinition
{}
{
Es seien
\mathkor {} {{\mathcal A }} {und} {{\mathcal B }} {}
\definitionsverweis {abelsche Kategorien}{}{}
und ${\mathcal A }$ habe
\definitionsverweis {genügend viele injektive Objekte}{}{.}
Es sei
\maabb {F} { {\mathcal A } } { {\mathcal B }
} {}
ein
\definitionsverweis {kovarianter}{}{}
\definitionsverweis {additiver}{}{}
\definitionsverweis {linksexakter Funktor}{}{.}
Ein Objekt $Z$ aus ${\mathcal A }$ heißt
\definitionswort {azyklisch}{}
\zusatzklammer {bezüglich $F$} {} {,}
wenn für jedes
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für die
\definitionsverweis {rechtsabgeleiteten Funktoren}{}{}
die Beziehung
\mavergleichskette
{\vergleichskette
{R^nF(Z)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
}
Nach Satz 24.8 ist ein injektives Objekt azyklisch.
\inputfaktbeweis
{Abelsche Kategorie/Genügend Injektive/Rechtsabgeleiteter Funktor/Kurze exakte Sequenz/Azyklisches Objekt in Mitte/Fakt}
{Korollar}
{}
{
\faktsituation {Es seien
\mathkor {} {{\mathcal A }} {und} {{\mathcal B }} {}
\definitionsverweis {abelsche Kategorien}{}{}
und ${\mathcal A }$ habe
\definitionsverweis {genügend viele injektive Objekte}{}{.}
Es sei
\maabb {F} { {\mathcal A } } { {\mathcal B }
} {}
ein
\definitionsverweis {kovarianter}{}{}
\definitionsverweis {additiver}{}{}
\definitionsverweis {linksexakter Funktor}{}{.}
Es sei $A$ ein Objekt aus ${\mathcal A }$ und es sei
\mathdisp {0 \longrightarrow A \longrightarrow Z} { }
\definitionsverweis {exakt}{}{}
mit einem
\definitionsverweis {azyklischen Objekt}{}{}
$Z$.}
\faktfolgerung {Dann ist
\mavergleichskettedisp
{\vergleichskette
{R^1F(A)
}
{ =} { F(Z/A) / \operatorname{bild} { \left( F(Z) \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ R^nF(A)
}
{ =} { R^{n-1} F (Z/A)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir betrachten die kurze exakte Sequenz
\mathdisp {0 \longrightarrow A \longrightarrow Z \longrightarrow Z/A \longrightarrow 0} { . }
Die Behauptungen folgen aus der langen exakten Sequenz, da ja die mittleren Terme
\mavergleichskette
{\vergleichskette
{R^nF (Z)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nach Voraussetzung sind.
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und $M$ ein
$R$-\definitionsverweis {Modul}{}{.}
Dann nennt man den
\definitionsverweis {rechtsabgeleiteten Funktor}{}{}
zum Funktor
\mathl{N \mapsto \operatorname{Hom}_{ R } { \left( M, N \right) }}{}
\zusatzklammer {von der Kategorie der $R$-Moduln in sich} {} {}
den
\definitionswort {Ext-Funktor}{.}
Er wird mit
\mathl{\operatorname{Ext}^n(M,N)}{} bezeichnet.
}
Zur Berechnung der Ext-Moduln muss man nach Definition eine injektive Auflösung des hinteren Moduls nehmen, also
\mathdisp {0 \longrightarrow N \longrightarrow I_0 \longrightarrow I_1 \longrightarrow I_2 \longrightarrow \ldots} { }
und dann die
\definitionsverweis {Homologie}{}{}
des Komplexes
\mathdisp {\operatorname{Hom} { \left( M, I_{n-1} \right) } \longrightarrow \operatorname{Hom} { \left( M, I_{n} \right) } \longrightarrow \operatorname{Hom} { \left( M, I_{n+1} \right) }} { }
ermitteln.