Kurs:Bündel, Garben und Kohomologie (Osnabrück 2019-2020)/Vorlesung 16/latex
\setcounter{section}{16}
\zwischenueberschrift{Lokal freie Garben}
\inputdefinition
{}
{
Ein
${\mathcal O}_{ X }$-\definitionsverweis {Modul}{}{}
${ \mathcal F }$ auf einem
\definitionsverweis {beringten Raum}{}{}
$X$ heißt
\definitionswort {lokal frei}{}
vom
\definitionswort {Rang}{}
$r$, wenn es eine offene Überdeckung
\mavergleichskette
{\vergleichskette
{X
}
{ = }{\bigcup_{i \in I} U_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
${\mathcal O}_{ U_i }$-\definitionsverweis {Modulisomorphismen}{}{}
\mavergleichskette
{\vergleichskette
{ { \mathcal F } {{|}}_{U_i}
}
{ \cong }{ { \left( {\mathcal O}_{U_i} \right) }^r
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für jedes
\mavergleichskette
{\vergleichskette
{i
}
{ \in }{I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt.
}
Für
\mavergleichskette
{\vergleichskette
{r
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erhält man die invertierbaren Garben, diese sind einfach die lokal freien Garben vom Rang $r$. Die einfachsten lokal freien Garben sind die \stichwort {freien Garben} {} ist
\mathl{{\mathcal O}_{ X }^r}{}
\zusatzklammer {zu \mathlk{r \in \N}{}} {} {.}
Gemäß der Definition ist eine lokal freie Garbe lokal, also auf einer Überdeckung aus offenen Mengen, frei. Lokal lassen sich also freie Garben und lokal freie Garben nicht unterscheiden. Lokal freie Garben reflektieren daher globale Eigenschaften des beringten Raumes $X$.
Wir betrachten lokal freie Garben auf Schemata, wo sich enge Beziehungen zu projektiven und flachen Moduln ergeben. Lokal freie Garben sind insbesondere
\definitionsverweis {kohärente Moduln}{}{.}
Über einem lokalen Ring sind alle lokal freien Garben frei, da das Spektrum nur einen abgeschlossenen Punkt enthält und dieser nur die Gesamtmenge als offene Umgebung besitzt. Wenn man jedoch zu einem lokalen Ring das
\definitionsverweis {punktierte Spektrum}{}{}
\mavergleichskette
{\vergleichskette
{U
}
{ = }{ D( {\mathfrak m} )
}
{ = }{ \operatorname{Spek} { \left( R \right) } \setminus \{ {\mathfrak m} \}
}
{ }{
}
{ }{
}
}
{}{}{}
betrachtet, so gibt es darauf in der Regel viele nichttriviale
\zusatzklammer {nichtfreie} {} {}
lokal freie Garben, die Eigenschaften des lokalen Ringes
\zusatzklammer {der Singularität} {} {}
widerspiegeln. Da jedes Schema durch affine Schemata überdeckt wird, muss man insbesondere zuerst die lokal freien Garben auf einem affinen Schema verstehen.
\inputfaktbeweis
{Endlich erzeugter Modul/Lokal freie Garbe/Charakterisierungen von lokal/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $R$ ein kommutativer
\definitionsverweis {noetherscher Ring}{}{}
und sei $M$ ein
\definitionsverweis {endlich erzeugter}{}{}
$R$-\definitionsverweis {Modul}{}{.}
Sei
\mavergleichskette
{\vergleichskette
{r
}
{ \in }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktuebergang {Dann sind die folgenden Eigenschaften äquivalent.}
\faktfolgerung {\aufzaehlungvier{Die
\definitionsverweis {Lokalisierungen}{}{}
\mathl{M_ {\mathfrak p}}{} sind
\definitionsverweis {frei}{}{}
vom Rang $r$ für jedes
\definitionsverweis {Primideal}{}{}
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ \in }{ \operatorname{Spek} { \left( R \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Die Lokalisierungen
\mathl{M_ {\mathfrak m}}{}sind frei vom Rang $r$ für jedes
\definitionsverweis {maximale Ideal}{}{}
${\mathfrak m}$ von $R$.
}{Es gibt Elemente
\mavergleichskette
{\vergleichskette
{ f_1 , \ldots , f_k
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die das
\definitionsverweis {Einheitsideal}{}{}
\definitionsverweis {erzeugen}{}{}
derart, dass die Nenneraufnahmen
\mathl{M_{f_j}}{} für jedes
\mavergleichskette
{\vergleichskette
{j
}
{ = }{1 , \ldots , k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
frei vom Rang $r$ sind.
}{Die zu $M$ gehörige
\definitionsverweis {kohärente Garbe}{}{}
$\widetilde { M }$ auf
\mathl{\operatorname{Spek} { \left( R \right) }}{} ist
\definitionsverweis {lokal frei}{}{}
vom Rang $r$.
}}
\faktzusatz {}
\faktzusatz {}
}
{
$(1) \Rightarrow (2)$. Dies ist eine Spezialisierung.
$(2) \Rightarrow (3)$. Wir fixieren ein maximales Ideal ${\mathfrak m}$. Nach Voraussetzung gibt es einen
$R_{\mathfrak m}$-\definitionsverweis {Modulisomorphismus}{}{}
\maabbdisp {\varphi} {{ \left( R_{\mathfrak m} \right) }^r } {M_{\mathfrak m}
} {.}
Wir schreiben das Bild des $i$-ten Standardvektors $e_i$ als
\mavergleichskettedisp
{\vergleichskette
{\varphi { \left( e_i \right) }
}
{ =} { { \frac{ m_i }{ g_i } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{m_i
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{g_i
}
{ \in }{ R \setminus {\mathfrak m}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es sei
\mavergleichskette
{\vergleichskette
{g
}
{ = }{ g_1 { \cdots } g_r
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das Produkt der Nenner. Wir betrachten die Situation über
\mathl{D(g)}{.} Der Isomorphismus $\varphi$ ist über
\mathl{D(g)}{}
\zusatzklammer {auf $R_g$} {} {}
definiert, d.h. wir haben einen $R_g$-Modulhomomorphismus
\maabbdisp {\psi} {{ \left( R_g \right) }^r} {M_g
} {,}
der in der Lokalisierung an ${\mathfrak m}$ den Isomorphismus $\varphi$ induziert. Allerdings ist $\psi$ im Allgemeinen kein Isomorphismus. Es sei
\mathl{v_1 , \ldots , v_s}{} ein Erzeugendensystem für den Modul $M$. Da $\psi$ auf
\mathl{R_{\mathfrak m}}{} eine Surjektion induziert, gibt es Elemente
\mavergleichskette
{\vergleichskette
{ u_j
}
{ = }{ { \frac{ a_j }{ h_j } }
}
{ \in }{ { \left( R_{\mathfrak m} \right) }^r
}
{ }{
}
{ }{
}
}
{}{}{,}
die nach $v_j$ abbilden. Die Nenner $h_j$ gehören nicht zu ${\mathfrak m}$, daher können wir $g$ durch
\mavergleichskette
{\vergleichskette
{h
}
{ = }{g h_1 \cdots h_s
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ersetzen und erhalten
\maabbdisp {\psi} {{ \left( R_h \right) }^r} {M_h
} {}
mit Elementen
\mavergleichskette
{\vergleichskette
{u_j
}
{ = }{ { \left( R_h \right) }^r
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart, dass die
\mathl{\psi(u_j)}{} in $M_{\mathfrak m}$ auf die Erzeuger $v_j$ einschränken. Dies bedeutet, dass es Elemente
\mavergleichskette
{\vergleichskette
{p_j
}
{ \notin }{ {\mathfrak m}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{p_j \psi(u_j)
}
{ = }{p_j v_j
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in $M_h$ gibt. Wenn man $h$ durch
\mavergleichskette
{\vergleichskette
{ p
}
{ = }{h p_1 \cdots p_s
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ersetzt, erhält man, dass $\psi$ ebenfalls surjektiv ist. Es sei $N$ der Kern von
\zusatzklammer {diesem neuen} {} {}
$\psi$. Da $\varphi$ injektiv ist, gilt
\mavergleichskette
{\vergleichskette
{ N_{\mathfrak m}
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Da $R$ noethersch ist, ist $N$ nach
Lemma 20.8 (Kommutative Algebra)
\definitionsverweis {endlich erzeugt}{}{}
und so gibt es wiederum ein Element
\mathbed {f} {}
{f \notin {\mathfrak m}} {}
{} {} {} {,}
mit
\mavergleichskette
{\vergleichskette
{N_f
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Indem wir weiter verkleinern erhalten wir einen Isomorphismus
\maabb {\psi} {{ \left( R_f \right) }^r} {M_f
} {}
für ein
\mathbed {f} {}
{f \notin {\mathfrak m}} {}
{} {} {} {.}
Wir wissen also, dass es zu jedem maximalen Ideal ${\mathfrak m}$ eine offene Umgebung
\mavergleichskette
{\vergleichskette
{ {\mathfrak m}
}
{ \in }{ D { \left( f_{\mathfrak m} \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart gibt, dass
\mathl{M_{f_{\mathfrak m} }}{} frei vom Rang $r$ ist. Daher enthält
\mathdisp {\bigcup_{ {\mathfrak m} \text{ maximal ideal } } D { \left( f_{\mathfrak m} \right) }} { }
alle maximalen Ideale und auch alle Primideale, es liegt also eine offene Überdeckung von
\mathl{\operatorname{Spek} { \left( R \right) }}{} vor. Daher ist nach
Proposition 8.4 (4)
\mathl{{ \left( f_ {\mathfrak m} : \, {\mathfrak m} \text{ maximal} \right) }}{} das
\definitionsverweis {Einheitsideal}{}{,}
und dieses wird bereits von endlich vielen der
\mathl{f_{\mathfrak m}}{} erzeugt.
$(3) \Rightarrow (4)$. Da die Elemente das Einheitsideal erzeugen, überdecken die zugehörigen offenen Mengen
\mathbed {D { \left( f_j \right) }} {}
{j = 1 , \ldots , k} {}
{} {} {} {,}
das Spektrum
\mathl{\operatorname{Spek} { \left( R \right) }}{.} Da
\mathl{M_{f_j}}{} freie
\mathl{R_{f_j}}{-}Moduln vom Rang $r$ sind, liegen
${\mathcal O}_{ X } {{|}}_{D(f_j)}$-\definitionsverweis {Modulisomorphismen}{}{}
\mavergleichskette
{\vergleichskette
{ \widetilde { M } {{|}}_{D(f_j)}
}
{ \cong }{ \widetilde { (R_{f_j})^r }
}
{ \cong }{ {\mathcal O}_{ D(f_j) }^r
}
{ }{
}
{ }{
}
}
{}{}{}
vor. Daher ist $\widetilde { M }$ lokal frei.
$(4) \Rightarrow (1)$. Sei
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ \in }{ \operatorname{Spek} { \left( R \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Primideal. Die lokale Freiheit bedeutet, dass wir eine offene Überdeckung
\mavergleichskette
{\vergleichskette
{X
}
{ = }{ \bigcup_{i \in I} U_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart haben, dass die
\mathl{\widetilde { M } {{|}}_{U_i}}{} frei vom Rang $r$ sind. Somit gibt es einen Index $i$ mit
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ \in }{ U_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Indem wir zu einer eventuell kleineren offenen Umgebung von ${\mathfrak p}$ übergehen können wir
\mavergleichskette
{\vergleichskette
{U_i
}
{ = }{D { \left( f \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{f
}
{ \notin }{ {\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
übergehen. Dabei gilt, dass
\mavergleichskette
{\vergleichskette
{ \widetilde { M_f }
}
{ \cong }{ \widetilde { M } {{|}}_{D(f)}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
frei vom Rang $r$ ist. Doch dann ist erst recht die Lokalisierung $M_{\mathfrak p}$ frei vom Rang $r$.
Das Beispiel aus
Aufgabe 14.7
zeigt, dass es bei einem nichtnoetherschen Ring $R$ einem Modul $M$ mit
\mavergleichskette
{\vergleichskette
{M_{\mathfrak p}
}
{ = }{R_{\mathfrak p}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
geben kann, ohne dass diese Isomorphie auf eine offene Umgebung fortsetzbar ist.
Wir setzen lokal freie Moduln in Bezug zu projektiven Moduln.
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{} und $M$ ein
$R$-\definitionsverweis {Modul}{}{.} Der Modul $M$ heißt
\definitionswort {projektiv}{,}
wenn es zu jedem
\definitionsverweis {surjektiven}{}{}
$R$-\definitionsverweis {Modulhomomorphismus}{}{}
\maabbdisp {\theta} {A} { B
} {}
und jedem Modulhomomorphismus
\maabbdisp {\varphi} {M } {B
} {}
einen Modulhomomorphismus
\maabbdisp {\psi} {M } {A
} {}
mit
\mavergleichskettedisp
{\vergleichskette
{ \varphi
}
{ =} { \theta \circ \psi
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gibt.
}
Ein Modul ist genau dann projektiv, wenn er ein direkter Summand von einem freien Modul ist.
\inputfaktbeweis
{Kommutativer Ring/Lokal/Projektiver Modul/Frei/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $R$ ein kommutativer
\definitionsverweis {lokaler Ring}{}{}
und $M$ ein
\definitionsverweis {endlich erzeugter}{}{}
$R$-\definitionsverweis {Modul}{}{.}}
\faktuebergang {Dann ist $M$ genau dann
\definitionsverweis {frei}{}{,}
wenn $M$ ein
\definitionsverweis {projektiver Modul}{}{}
ist.}
\faktfolgerung {}
\faktzusatz {}
\faktzusatz {}
}
{
Dass freie Moduln projektiv sind wurde in
Lemma 30.2 (Kommutative Algebra)
bewiesen. Es sei also $M$ projektiv. Es sei
\mathl{m_1 , \ldots , m_n}{} ein minimales Erzeugendensystem von $M$ und sei
\maabbdisp {p} {R^n} {M
} {}
der zugehörige surjektive Modulhomomorphismus. Wegen der Minimalität ist
\maabbdisp {} { { \left( R/ {\mathfrak m} \right) }^n } {M/ {\mathfrak m} M
} {}
eine
$R/ {\mathfrak m}$-\definitionsverweis {lineare}{}{}
bijektive Abbildung. Wegen der Projektivität gibt es einen Modulhomomorphismus
\maabb {i} {M} {R^n
} {}
mit
\mavergleichskette
{\vergleichskette
{p \circ i
}
{ = }{
\operatorname{Id}_{ M }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{R^n
}
{ \cong} { M \oplus N
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{N
}
{ = }{ \operatorname{kern} p
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und wobei wir $M$ mit
\mathl{i(M)}{} identifizieren. Wir betrachten nun
\mathdisp {R^n \stackrel{\cong}{ \longrightarrow } M \oplus N \longrightarrow M} { }
und die induzierten $R/ {\mathfrak m}$-linearen Abbildungen
\mathdisp {{ \left( R/ {\mathfrak m} \right) }^n \longrightarrow M/ {\mathfrak m} M \oplus N/ {\mathfrak m} N \longrightarrow M/ {\mathfrak m} M} { . }
Hierbei ist sowohl die Abbildung links als auch die Gesamtabbildung bijektiv. Daher muss
\mavergleichskette
{\vergleichskette
{ N/ {\mathfrak m} N
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sein. Aus
Satz 21.3 (Kommutative Algebra)
folgt
\mavergleichskette
{\vergleichskette
{N
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und somit ist
\mavergleichskette
{\vergleichskette
{R^n
}
{ = }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
frei.
\inputfaktbeweis
{Kommutativer Ring/Noethersch/Lokal frei/Projektiv/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {noetherscher}{}{}
\definitionsverweis {kommutativer Ring}{}{}
und $M$ ein
\definitionsverweis {endlich erzeugter}{}{}
$R$-\definitionsverweis {Modul}{}{.}}
\faktuebergang {Dann ist $M$ genau dann
\definitionsverweis {lokal frei}{}{,}
wenn $M$ ein
\definitionsverweis {projektiver Modul}{}{}
ist.}
\faktfolgerung {}
\faktzusatz {}
\faktzusatz {}
}
{
Die eine Richtung folgt direkt aus
Lemma 16.4
unter Berücksichtigung von
Aufgabe 16.16.
Zum Beweis der Umkehrung sei
\maabb {p} {L} {M
} {}
ein surjektiver Modulhomomorphismus mit einem endlich erzeugten freien $R$-Modul $L$. Es ist zu zeigen, dass es einen Homomorphismus
\maabb {i} {M} {L
} {}
mit
\mavergleichskette
{\vergleichskette
{ p \circ i
}
{ = }{
\operatorname{Id}_{ M }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt. Dies ist insbesondere dann gesichert, wenn man zeigen kann, dass der natürliche Homomorphismus
\maabbeledisp {} { \operatorname{Hom}_{ R } { \left( M , L \right) } } { \operatorname{Hom}_{ R } { \left( M , M \right) }
} {\varphi} { p \circ \varphi
} {,}
surjektiv ist, da ja dann insbesondere die Identität getroffen wird. Nach
Satz Anhang 1.4
kann man die Surjektivität lokal testen. Für die Homomorphismenmoduln gilt unter den gegebenen Endlichkeitsvoraussetzungen
\mavergleichskettedisp
{\vergleichskette
{ { \left( \operatorname{Hom}_{ R } { \left( M , L \right) } \right) }_{\mathfrak p}
}
{ =} { \operatorname{Hom}_{ R_{\mathfrak p} } { \left( M_{\mathfrak p} , L_{\mathfrak p} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Surjektivität von
\maabbdisp {} { \operatorname{Hom}_{ R_{\mathfrak p} } { \left( M_{\mathfrak p} , L_{\mathfrak p} \right) } } { \operatorname{Hom}_{ R_{\mathfrak p} } { \left( M_{\mathfrak p} , M_{\mathfrak p} \right) }
} {}
folgt aber für jedes Primideal ${\mathfrak p}$ aus der Freiheit von $M_{\mathfrak p}$ und
Lemma 30.2 (Kommutative Algebra).
Es gilt ferner der folgende Satz, den wir nicht beweisen.
\inputfakt{Endlich erzeugter Modul/Lokal freie Garbe/Projektiv und flach/Fakt}{Satz}{}
{
\faktsituation {Es sei $R$ ein kommutativer
\definitionsverweis {noetherscher Ring}{}{}
und $M$ ein
\definitionsverweis {endlich erzeugter}{}{}
$R$-\definitionsverweis {Modul}{}{.}}
\faktuebergang {Dann sind folgende Aussagen äquivalent.}
\faktfolgerung {\aufzaehlungdrei{$M$ ist
\definitionsverweis {lokal frei}{}{.}
}{$M$ ist ein
\definitionsverweis {projektiver Modul}{}{.}
}{$M$ ist ein
\definitionsverweis {flacher Modul}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
Mit dem folgenden Satz erhält man viele lokal freie Garben, die im Allgemeinen nicht trivial sind.
\inputfaktbeweis
{Schema/Lokal freie Garben/Surjektiv/Kern/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $X$ ein
\definitionsverweis {noethersches Schema}{}{}
und sei
\maabbdisp {\theta} { { \mathcal F } } { G
} {}
ein
\definitionsverweis {surjektiver}{}{}
\definitionsverweis {Garbenhomomorphismus}{}{}
zwischen
\definitionsverweis {lokal freien Garben}{}{}
auf $X$.}
\faktfolgerung {Dann ist der
\definitionsverweis {Kern}{}{}
von $\theta$ ebenfalls lokal frei.}
\faktzusatz {}
\faktzusatz {}
}
{
Da die lokale Freiheit eine lokale Eigenschaft ist, können wir direkt annehmen, dass
\mavergleichskettedisp
{\vergleichskette
{X
}
{ =} { \operatorname{Spek} { \left( R \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein
\definitionsverweis {affines Schema}{}{}
zu einem
\definitionsverweis {noetherschen Ring}{}{}
$R$ ist und
\zusatzklammer {durch weitere Verkleinerung der offenen Menge} {} {}
dass ein surjektiver
\definitionsverweis {Modulhomomorphismus}{}{}
\maabb {\theta} {R^r} { R^s
} {}
vorliegt. Nach
Satz 20.11 (Kommutative Algebra)
gibt es ein
\maabb {\varphi} {R^s} { R^r
} {}
mit
\mavergleichskettedisp
{\vergleichskette
{ \theta \circ \varphi
}
{ =} {
\operatorname{Id}_{ R^s }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Somit gibt es eine direkte Summenzerlegung
\mavergleichskettedisp
{\vergleichskette
{R^r
}
{ =} { \operatorname{kern} \theta \oplus R^s
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und $\theta$ ist die Projektion auf den Summanden $R^s$. Damit ist $\operatorname{kern} \theta$ nach
Lemma 30.3 (Kommutative Algebra)
ein
\definitionsverweis {projektiver}{}{}
$R$-\definitionsverweis {Modul}{}{}
und nach
Lemma 16.5
lokal frei.
\inputbemerkung
{}
{
Zu Elementen
\mavergleichskette
{\vergleichskette
{f_1 , \ldots , f_n
}
{ \in }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in einem
\definitionsverweis {kommutativen Ring}{}{}
$R$ gehört der
\definitionsverweis {Modulhomomorphismus}{}{}
\maabbele {} {R^n} { R
} {e_i} {f_i
} {.}
Das Bild ist das von den $f_i$
\definitionsverweis {erzeugte Ideal}{}{,}
insbesondere ist diese Abbildung nur dann surjektiv, wenn die $f_i$ das
\definitionsverweis {Einheitsideal}{}{}
erzeugen. Der zugehörige
\definitionsverweis {Modulhomomorphismus}{}{}
\maabb {} { {\mathcal O}_{ X }^n } { {\mathcal O}_{ X }
} {}
ist im Allgemeinen auch nicht surjektiv und der Kern ist im Allgemeinen nicht lokal frei. Wenn man allerdings die Einschränkung dieses Garbenhomomorphismus auf die offene Teilmenge
\mavergleichskette
{\vergleichskette
{U
}
{ = }{\bigcup_{i = 1}^n D(f_i)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
betrachtet, also
\maabb {} { {\mathcal O}_{ U }^n } { {\mathcal O}_{ U }
} {,}
so erhält man einen surjektiven Garbenhomomorphismus, da auf den einzelnen $D(f_i)$ wegen
\mathl{{ \frac{ 1 }{ f_i } } e_i \mapsto 1}{} ein surjektiver Garbenhomomorphismus vorliegt. Der Kern ist dann nach
Satz 16.7
eine lokal freie Garbe auf dem
\definitionsverweis {quasiaffinen Schema}{}{}
$U$, es wird mit
\mathl{\operatorname{Syz} { \left( f_1 , \ldots , f_n \right) }}{} bezeichnet, man sprich von einer \stichwort {Syzygiengarbe} {}
oder \stichwort {Kerngarbe} {.} Wenn $R$ ein
\definitionsverweis {lokaler Ring}{}{}
ist und die $f_i$ ein Ideal erzeugen, dass zum maximalen Ideal ${\mathfrak m}$ primär ist
\zusatzklammer {d.h. die $f_i$ schneiden geometrisch den abgeschlossenen Punkt heraus} {} {,}
so ist die Syzygiengarbe eine lokal freie Garbe auf dem
\definitionsverweis {punktierten Spektrum}{}{}
$D { \left( {\mathfrak m} \right) }$.
}
\inputbeispiel{}
{
Die Variablen
\mavergleichskette
{\vergleichskette
{ X_1 , \ldots , X_n
}
{ \in }{K[X_1 , \ldots , X_n]
}
{ = }{R
}
{ }{
}
{ }{
}
}
{}{}{}
definieren das maximale Ideal
\mathl{{ \left( X_1 , \ldots , X_n \right) }}{} 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} { }
von
$R$-\definitionsverweis {Moduln}{}{,}
wobei der $i$-te Standardvektor $e_i$ auf $X_i$ geschickt wird. Dies induziert gemäß
Lemma 14.9
eine kurze exakte Sequenz von
\definitionsverweis {quasikohärenten Moduln}{}{}
\mathdisp {0 \, \stackrel{ }{\longrightarrow} \, \widetilde { \operatorname{Syz} { \left( X_1 , \ldots , X_n \right) } } \, \stackrel{ }{ \longrightarrow} \, {\mathcal O}_{ { {\mathbb A}_{ K }^{ n } } }^n \, \stackrel{ }{\longrightarrow} \, \widetilde { { \left( X_1 , \ldots , X_n \right) } } \,\stackrel{ } {\longrightarrow} \, 0} { }
auf dem
\definitionsverweis {affinen Raum}{}{}
${ {\mathbb A}_{ K }^{ n } }$. In der Mitte steht eine freie Garbe, links und rechts stehen
\zusatzklammer {außer bei kleinen $n$} {} {}
keine lokal freien Garben. Wenn man diese Sequenz aber auf das
\definitionsverweis {punktierte Spektrum}{}{}
\mavergleichskettedisp
{\vergleichskette
{U
}
{ =} {D(X_1 , \ldots , X_n)
}
{ \subseteq} { { {\mathbb A}_{ K }^{ n } }
}
{ } {
}
{ } {
}
}
{}{}{}
einschränkt, so wird rechts
nach Aufgabe 14.1
das maximale Ideal zur Strukturgarbe und somit liegt die Situation
\mathdisp {0 \, \stackrel{ }{\longrightarrow} \, \operatorname{Syz} { \left( X_1 , \ldots , X_n \right) } \, \stackrel{ }{ \longrightarrow} \, {\mathcal O}_{ U }^n \, \stackrel{ }{\longrightarrow} \, {\mathcal O}_{ U } \,\stackrel{ } {\longrightarrow} \, 0} { }
aus
Bemerkung 15.8
vor, wobei jetzt links die lokal freie Syzygiengarbe steht. Für
\mavergleichskette
{\vergleichskette
{n
}
{ = }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist dies die Garbenversion zu
Beispiel 1.2.
}
\zwischenueberschrift{Determinantengarben}
\inputdefinition
{}
{
Zu einer
\definitionsverweis {lokal freien Garbe}{}{}
${ \mathcal G }$ auf einem
\definitionsverweis {beringten Raum}{}{}
$(X, {\mathcal O}_{ X })$ vom
\definitionsverweis {Rang}{}{}
$r$ nennt man die
\definitionsverweis {Vergarbung}{}{}
der
\definitionsverweis {Prägarbe}{}{}
\mathl{U \mapsto \bigwedge^r \Gamma { \left( U, { \mathcal G } \right) }}{} die
\definitionswort {Determinantengarbe}{}
von ${ \mathcal G }$. Sie wird mit
\mathl{\operatorname{Det} { \mathcal G }}{} bezeichnet.
}
\inputfaktbeweis
{Beringter Raum/Lokal freie Garben/Kurze exakte Sequenz/Determinantengarbe/Fakt}
{Satz}
{}
{
\faktsituation {Es sei
\mathl{(X, {\mathcal O}_{ X })}{} ein
\definitionsverweis {beringter Raum}{}{}
und sei
\mathdisp {0 \, \stackrel{ }{\longrightarrow} \, { \mathcal F } \, \stackrel{ }{ \longrightarrow} \, { \mathcal G } \, \stackrel{ }{\longrightarrow} \, { \mathcal H } \,\stackrel{ } {\longrightarrow} \, 0} { }
eine
\definitionsverweis {kurze exakte Sequenz}{}{}
von
\definitionsverweis {lokal freien Garben}{}{}
auf $X$.}
\faktfolgerung {Dann gibt es eine kanonische
\definitionsverweis {Isomorphie}{}{}
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Det} G
}
{ \cong} { \operatorname{Det} F \otimes \operatorname{Det} H
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei $r$ der Rang von ${ \mathcal F }$ und $s$ der Rang von ${ \mathcal H }$. Wir betrachten offene Teilmengen
\mavergleichskette
{\vergleichskette
{U
}
{ \subseteq }{X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
auf denen die drei beteiligten Garben trivialisieren und worauf die Garbensurjektion
\maabb {} { { \mathcal F } } { { \mathcal H }
} {}
einen Schnitt besitzt. Solche offenen Mengen überdecken $X$. Es liegt dann die Situation
\mathdisp {0 \, \stackrel{ }{\longrightarrow} \, {\mathcal O}_{ U }^r \, \stackrel{ }{ \longrightarrow} \, {\mathcal O}_{ U }^{r+s} \, \stackrel{ }{\longrightarrow} \, {\mathcal O}_{ U }^s \,\stackrel{ } {\longrightarrow} \, 0} { }
vor und sei
\maabbdisp {\theta} {{\mathcal O}_{ U }^s } { {\mathcal O}_{ U }^{r+s}
} {}
ein Schnitt. Wir definieren
\maabbdisp {\Psi} { \bigwedge^r {\mathcal O}_{ U }^r \times \bigwedge^s {\mathcal O}_{ U }^s } { \bigwedge^{r+s} {\mathcal O}_{ U }^{r +s}
} {}
durch
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ \Psi (u_1 \wedge \ldots \wedge u_r, w_1 \wedge \ldots \wedge w_s)
}
{ \defeq} { u_1 \wedge \ldots \wedge u_r \wedge \theta { \left( w_1 \right) } \wedge \ldots \wedge \theta { \left( w_s \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Diese Abbildung ist unabhängig vom gewählten Schnitt $\theta$. Für einen weiteren Schnitt $\theta'$ liegt ja
\mathl{\theta - \theta'}{} in ${ \mathcal F }$. Doch dann ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ u_1 \wedge \ldots \wedge u_r \wedge \theta' { \left( w_1 \right) } \wedge \ldots \wedge \theta' { \left( w_s \right) }
}
{ =} { u_1 \wedge \ldots \wedge u_r \wedge { \left( \theta { \left( w_1 \right) } + u_1' \right) } \wedge \ldots \wedge { \left( \theta { \left( w_s \right) } +u_s' \right) }
}
{ =} { u_1 \wedge \ldots \wedge u_r \wedge \theta { \left( w_1 \right) } \wedge \ldots \wedge \theta { \left( w_s \right) }
}
{ } {
}
{ } {
}
}
{}
{}{,}
da ja stets eine lineare Abhängigkeit zwischen den $r+1$ Vektoren $u_1 , \ldots , u_r , u_j'$ vorliegt und daher die entsprechenden Dachprodukte $0$ sind. Die Abbildung $\Psi$ ist
\definitionsverweis {bilinear}{}{}
und definiert daher eine lineare Abbildung
\maabbdisp {\tilde{\Psi}} { \bigwedge^r {\mathcal O}_{ U }^r \otimes \bigwedge^s {\mathcal O}_{ U }^s } { \bigwedge^{r+s} {\mathcal O}_{ U }^{r +s}
} {.}
Da die Abbildungen kanonisch sind, induzierten sie auf kleineren offenen Teilmengen stets die gleiche Abbildung. Daher verkleben sie nach
Korollar 4.10
zu einem Garbenhomomorphismus
\maabbdisp {} { \bigwedge^r { \mathcal F } \otimes \bigwedge^s { \mathcal H } } { \bigwedge^{r+s} { \mathcal G }
} {.}
Dieser ist lokal aufgrund der expliziten Beschreibung ein Isomorphismus, also nach
Lemma 4.6
auch global ein Isomorphismus.
{Beringter Raum/Lokal freie Garbe/Direkte Summe/Invertierbare Garben/Determinantengarbe/Fakt}
{Korollar}
{}
{
\faktsituation {Es sei
\mathl{(X, {\mathcal O}_{ X })}{} ein
\definitionsverweis {beringter Raum}{}{}
und sei
\mavergleichskettedisp
{\vergleichskette
{ { \mathcal F }
}
{ =} { { \mathcal L }_1 \oplus \cdots \oplus { \mathcal L }_r
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
eine
\definitionsverweis {direkte Summe}{}{}
von
\definitionsverweis {invertierbaren Garben}{}{.}}
\faktfolgerung {Dann ist
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Det} F
}
{ \cong} { { \mathcal L }_1 \otimes_{ } \cdots \otimes_{ } { \mathcal L }_r
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 16.22. }