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

Exaktheit

Definition Referenznummer erstellen

Es sei ${}X$ ein topologischer Raum, es seien ${}{\mathcal {F}}_{n}$ Garben von kommutativen Gruppen auf ${}X$ und es seien ${}\varphi _{n}\colon {\mathcal {F}}_{n-1}\rightarrow {\mathcal {F}}_{n}$ Homomorphismen. Man sagt, dass ein Garbenkomplex vorliegt, wenn

${}\operatorname {bild} \varphi _{n}\subseteq \operatorname {kern} \varphi _{n+1}\,$

gilt.

Definition Referenznummer erstellen

Es sei ${}X$ ein topologischer Raum und es sei ${}{\mathcal {F}}_{\bullet }$ ein Komplex von Garben von kommutativen Gruppen auf ${}X$. Man sagt, dass der Komplex exakt ist, wenn

${}\operatorname {bild} \varphi _{n}=\operatorname {kern} \varphi _{n+1}\,$

für alle ${}n\in \mathbb {Z}$ gilt.

Lemma Lemma 6.3 ändern

Es sei ${}X$ ein topologischer Raum und es sei

${\mathcal {F}}{\stackrel {}{\longrightarrow }}{\mathcal {G}}{\stackrel {}{\longrightarrow }}{\mathcal {H}}$

ein Komplex von Garben von kommutativen Gruppen auf ${}X$.

Dann ist der Komplex genau dann exakt, wenn für jeden Punkt ${}P\in X$ der Komplex

${\mathcal {F}}_{P}{\stackrel {}{\longrightarrow }}{\mathcal {G}}_{P}{\stackrel {}{\longrightarrow }}{\mathcal {H}}_{P}$

exakt ist.

Beweis

Wir benennen die Situation mit

${\mathcal {F}}{\stackrel {\alpha }{\longrightarrow }}{\mathcal {G}}{\stackrel {\beta }{\longrightarrow }}{\mathcal {H}}.$

Nach Korollar 4.11 liegt ein Garbenkomplex genau dann vor, wenn sämtliche Halmabbildungen Komplexe sind. Es sei der Komplex exakt, also

${}\operatorname {bild} \alpha =\operatorname {kern} \beta \,.$

Es sei ${}P\in X$ fixiert und sei ${}s\in {\mathcal {G}}_{P}$ mit ${}\beta _{P}(s)=0$. Dann gibt es eine offene Umgebung ${}U$ von ${}P$ auf der ${}s$ durch einen Schnitt ${}s$ repräsentiert wird und eine kleinere offene Umgebung ${}V\subseteq U$, worauf ${}\beta _{V}(s{|}_{V})=0$ ist. Das Element (wir nennen die Einschränkung wieder ${}s$) ${}s\in {\mathcal {G}}{\left(V\right)}$ gehört also zum Kern von ${}\beta _{V}$ und daher zum (Garben-)Bild von ${}\alpha$. D.h. es gibt eine offene Umgebung ${}P\in W\subseteq V$, auf der ${}s$ im Bild von

$\alpha _{W}\colon {\mathcal {F}}{\left(W\right)}\longrightarrow {\mathcal {G}}{\left(W\right)}$

liegt. Daher liegt auch der Keim ${}s$ im Bild von ${}\alpha _{P}$.

$\Box$

Definition Referenznummer erstellen

Ein exakter Komplex

$0\,{\stackrel {}{\longrightarrow }}\,{\mathcal {F}}\,{\stackrel {}{\longrightarrow }}\,{\mathcal {G}}\,{\stackrel {}{\longrightarrow }}\,{\mathcal {H}}\,{\stackrel {}{\longrightarrow }}\,0$

von Garben von kommutativen Gruppen auf einem topologischen Raum ${}X$ heißt kurze exakte Sequenz.

Hierbei ist insbesondere die vordere Abbildung injektiv und die hintere Abbildung (Garben)-surjektiv.

Lemma Lemma 6.5 ändern

Es sei

$0\,{\stackrel {}{\longrightarrow }}\,F\,{\stackrel {}{\longrightarrow }}\,G\,{\stackrel {}{\longrightarrow }}\,H\,{\stackrel {}{\longrightarrow }}\,0$

eine kurze exakte Sequenz von kommutativen topologischen Gruppen (mit stetigen Gruppenhomomorphismen). Es trage ${}F$ die induzierte Topologie von ${}G$ und die Surjektion ${}p\colon G\rightarrow H$ habe die Eigenschaft, dass es zu jedem Element ${}h\in H$ eine offene Umgebung ${}h\in W\subseteq H$ und einen stetigen Schnitt zu ${}p$ gibt.

Dann ist für jeden topologischen Raum ${}X$ die zugehörige Sequenz der Garben der stetigen Abbildungen in diese Gruppen, also

$0\,{\stackrel {}{\longrightarrow }}\,C^{0}(-,F)\,{\stackrel {}{\longrightarrow }}\,C^{0}(-,G)\,{\stackrel {}{\longrightarrow }}\,C^{0}(-,H)\,{\stackrel {}{\longrightarrow }}\,0,$

ebenfalls exakt.

Beweis

Es ist klar, dass ein Komplex von Garben von kommutativen Gruppen auf ${}X$ vorliegt. Die Injektivität links ist ebenfalls klar. Zur Exaktheit in der Mitte: Wenn zu einer offenen Menge ${}U\subseteq X$ eine stetige Abbildung ${}\varphi \colon U\rightarrow G$ die Eigenschaft besitzt, dass ${}p\circ \varphi$ die Nullabbildung ist, so liegt das Bild von ${}\varphi$ in ${}F$. Da ${}F$ die induzierte Topologie von ${}G$ trägt, ist auch die Abbildung ${}\varphi \colon U\rightarrow F$ stetig. Zur Garbensurjektivität rechts: Es sei ${}P\in X$ ein Punkt und

$\psi \colon V\longrightarrow H$

eine auf einer offenen Umgebung von ${}P$ definierte stetige Abbildung nach ${}H$. Es sei ${}\psi (P)=h$. Nach Voraussetzung gibt es eine offene Umgebung ${}h\in W\subseteq H$ und einen Schnitt ${}s\colon W\rightarrow G$ mit ${}p\circ s=\operatorname {Id} _{W}$. Wir betrachten

${}U:=V\cap \psi ^{-1}(W)\,.$

Dann ist ${}s\circ \psi$ (eingeschränkt auf ${}U$) ein stetiger Schnitt von ${}G$, der unter ${}p$ auf ${}\psi$ abgebildet wird.

$\Box$

Beispiel Beispiel 6.6 ändern

Wir betrachten die kurze exakte Exponentialsequenz

$0\,{\stackrel {}{\longrightarrow }}\,2\pi {\mathrm {i} }\mathbb {Z} \,{\stackrel {}{\longrightarrow }}\,{\mathbb {C} }\,{\stackrel {\operatorname {exp} }{\longrightarrow }}\,{\mathbb {C} }^{\times }\,{\stackrel {}{\longrightarrow }}\,0$

von topologischen Gruppen. Die Exaktheit in der Mitte beruht auf Satz 21.5 (Analysis (Osnabrück 2021-2023))  (2), die Homomorphieeigenschaft beruht auf der Funktionalgleichung der Exponentialfunktion und die komplexe Exponentialfunktion bildet nach Satz 21.6 (Analysis (Osnabrück 2021-2023)) surjektiv auf ${}{\mathbb {C} }\setminus \{0\}$ ab (sie ist eine Überlagerung, siehe Beispiel *****). Da es lokal einen Logarithmus gibt, sind die Voraussetzungen von Lemma 6.5 erfüllt. Somit gibt es zu jedem topologischen Raum ${}X$ eine kurze exakte Garbensequenz

$0\,{\stackrel {}{\longrightarrow }}\,C^{0}(-,\mathbb {Z} )\,{\stackrel {}{\longrightarrow }}\,C^{0}(-,{\mathbb {C} })\,{\stackrel {}{\longrightarrow }}\,C^{0}(-,{\mathbb {C} }^{\times })\,{\stackrel {}{\longrightarrow }}\,0,$

die die (stetige komplexe) Exponentialsequenz heißt. Links steht die lokal konstante Garbe mit Werten in ${}\mathbb {Z}$, in der Mitte die Garbe der komplexwertigen stetigen Funktionen und rechts die Garbe der nullstellenfreien komplexwertigen stetigen Funktionen. Wenn man ${}X={\mathbb {C} }^{\times }$ setzt, so ist die globale Auswertung der hinteren Abbildung nicht surjektiv, da die Identität nicht im Bild liegt.

Globale Auswertung

Lemma Lemma 6.7 ändern

Es sei ${}X$ ein topologischer Raum und sei

${\mathcal {F}}{\stackrel {d}{\longrightarrow }}{\mathcal {G}}{\stackrel {d'}{\longrightarrow }}{\mathcal {H}}$

ein Komplex von Garbenhomomorphismen von Garben von kommutativen Gruppen auf ${}X$.

Dann ist auch

$\Gamma {\left(X,{\mathcal {F}}\right)}\longrightarrow \Gamma {\left(X,{\mathcal {G}}\right)}\longrightarrow \Gamma {\left(X,{\mathcal {H}}\right)}$

ein Komplex.

Beweis

Die Voraussetzung bedeutet einfach, dass ${}d'\circ d$ die Nullabbildung ist. Dann ist insbesondere die globale Auswertung die Nullabbildung.

$\Box$

Lemma Lemma 6.8 ändern

Es sei ${}X$ ein topologischer Raum. Es sei

$0\longrightarrow {\mathcal {F}}{\stackrel {d}{\longrightarrow }}{\mathcal {G}}{\stackrel {d'}{\longrightarrow }}{\mathcal {H}}$

ein exakter Komplex von Garbenhomomorphismen von Garben von kommutativen Gruppen auf ${}X$.

Dann ist auch der Komplex

$0\longrightarrow \Gamma {\left(X,{\mathcal {F}}\right)}\longrightarrow \Gamma {\left(X,{\mathcal {G}}\right)}\longrightarrow \Gamma {\left(X,{\mathcal {H}}\right)}$

exakt.

Beweis

Dass ein Komplex vorliegt ist klar nach Lemma 6.7. Die Exaktheit bedeutet, dass für jeden Punkt ${}P\in X$ der Komplex

$0\longrightarrow {\mathcal {F}}_{P}\longrightarrow {\mathcal {G}}_{P}\longrightarrow {\mathcal {H}}_{P}$

der Halme exakt ist. Sei ${}s\in \Gamma {\left(X,{\mathcal {F}}\right)}$ und ${}d(s)=0$ in ${}\Gamma {\left(X,{\mathcal {G}}\right)}$. Dann ist ${}d(s)_{P}=0$ in jedem Punkt und somit ist ${}s_{P}=0$ für jeden Punkt. Also ist ${}s=0$ nach Lemma 4.4 und die linke Abbildung ist injektiv. Es sei nun ${}t\in \Gamma {\left(X,{\mathcal {G}}\right)}$ mit ${}d'(t)=0$ in ${}\Gamma {\left(X,{\mathcal {H}}\right)}$. Die Exaktheit in den Halmen bedeutet, dass für jeden Punkt ${}P$ der Keim ${}t_{P}$ zu ${}{\mathcal {F}}_{P}$ gehört. Daraus folgt mit Aufgabe 5.5, dass ${}t$ selbst zu ${}{\mathcal {F}}$ gehört.

$\Box$

Die vorstehende Aussage bedeutet, dass die globale Auswertung einer Garbe von abelschen Gruppen ein (kovarianter, additiver) [[/Definition}|linksexakter Funktor]] ist.

Rückzug und Vorschub

Bisher haben wir nur Garben und ihre Beziehungen untereinander auf einem gegebenen topologischen Raum behandelt. Wir betrachten nun den Fall, wo topologische Räume durch eine stetige Abbildung miteinander verbunden sind.

Definition Referenznummer erstellen

Zu einer stetigen Abbildung

$\varphi \colon X\longrightarrow Y$

und einer Prägarbe ${}{\mathcal {F}}$ auf ${}X$ nennt man die durch

${}{\left(\varphi _{*}\right)}{\mathcal {F}}(U):={\mathcal {F}}{\left(\varphi ^{-1}(U)\right)}\,$

gegebene Prägarbe auf ${}Y$ die unter ${}\varphi$ vorgeschobene Prägarbe.

Da zu offenen Mengen ${}V\subseteq W$ auch ${}\varphi ^{-1}(V)\subseteq \varphi ^{-1}(W)$ gilt, hat man natürliche Restriktionsabbildungen und erhält somit in der Tat eine Prägarbe.

Lemma Referenznummer erstellen

Zu einer stetigen Abbildung

$\varphi \colon X\longrightarrow Y$

und einer Garbe ${}{\mathcal {F}}$ auf ${}X$ ist die vorgeschobene Prägarbe ${}\varphi _{*}{\mathcal {F}}$

eine Garbe.

Beweis

Es sei

${}V=\bigcup _{i\in I}V_{i}\,$

eine offene Überdeckung einer offenen Menge ${}V\subseteq Y$. Dann bilden die ${}\varphi ^{-1}(V_{i})$, ${}i\in I$, eine offene Überdeckung von ${}\varphi ^{-1}(V)$. Es seien ${}s,t\in \varphi _{*}{\mathcal {F}}(V)$ mit ${}s{|}_{V_{i}\cap V_{j}}=t{|}_{V_{i}\cap V_{j}}$ gegeben. Dies bedeutet unmittelbar ${}s,t\in {\mathcal {F}}{\left(\varphi ^{-1}(V)\right)}$ und

${}s{|}_{\varphi ^{-1}(V_{i})\cap \varphi ^{-1}(V_{j})}=s{|}_{\varphi ^{-1}(V_{i}\cap V_{j})}=t{|}_{\varphi ^{-1}(V_{i}\cap V_{j})}=t{|}_{\varphi ^{-1}(V_{i})\cap \varphi ^{-1}(V_{j})}\,.$

Daher ist (nach der ersten Garbeneigenschaft von ${}{\mathcal {F}}$) ${}s=t$ in ${}{\mathcal {F}}{\left(\varphi ^{-1}(V)\right)}$, also ${}s=t$ in ${}\varphi _{*}{\mathcal {F}}(V)$.

Es seien nun ${}s_{i}\in {\mathcal {F}}(V_{i})$ mit

${}s_{i}{|}_{V_{i}\cap V_{j}}=s_{j}{|}_{V_{i}\cap V_{j}}\,.$

Dies bedeutet zurückübersetzt nach ${}X$ unmittelbar, dass kompatible Schnitte in ${}{\mathcal {F}}{\left(\varphi ^{-1}(V_{i})\right)}$ vorliegen, denen ein Schnitt in ${}{\mathcal {F}}{\left(\varphi ^{-1}(V)\right)}=\varphi _{*}{\mathcal {F}}(V)$ entspricht.

$\Box$

Lemma Referenznummer erstellen

Zu einer stetigen Abbildung

$\varphi \colon X\longrightarrow Y,$

einem Punkt ${}Q\in Y$ und einer Prägarbe ${}{\mathcal {F}}$ auf ${}X$ ist der Halm der vorgeschobenen Prägarbe ${}\varphi _{*}{\mathcal {F}}$ im Punkt ${}Q$ gleich

$\operatorname {colim} \,_{Q\in V}{\mathcal {F}}{\left(\varphi ^{-1}(V)\right)}=\operatorname {colim} \,_{\left\{U\subseteq X\mid {\text{ es gibt eine offene Umgebung }}Q\in V{\text{ mit }}\varphi ^{-1}(V)\subseteq U\right\}}{\mathcal {F}}{\left(U\right)}\,.$

Beweis

Siehe Aufgabe 6.5.

$\Box$

Der Halm der vorgeschobenen Prägarbe ist also der Halm der Ausgangsgarbe in einem Filter (nämlich dem Urbildfilter des Umgebungsfilters ${}U(Q)$), aber im Allgemeinen nicht in einem Punkt.

Definition Referenznummer erstellen

Zu einer stetigen Abbildung

$\varphi \colon X\longrightarrow Y$

und einer Prägarbe ${}{\mathcal {G}}$ auf ${}Y$ nennt man auf einer offenen Menge ${}U\subseteq X$ durch

$\operatorname {colim} _{{\mathcal {G}}{\left(V\right)}}\,V\subseteq Y,\,U\subseteq \varphi ^{-1}(V)$

gegebene Prägarbe auf ${}X$ die unter ${}\varphi$ zurückgezogene Prägarbe.

Definition Referenznummer erstellen

Zu einer stetigen Abbildung ${}\varphi \colon X\rightarrow Y$ und einer Garbe ${}{\mathcal {G}}$ auf ${}Y$ nennt man die Vergarbung der zurückgezogenen Prägarbe die zurückgezogene Garbe.

Sie wird mit ${}\varphi ^{-1}{\mathcal {G}}$ bezeichnet.

Lemma Referenznummer erstellen

Zu einer stetigen Abbildung ${}\varphi \colon X\rightarrow Y$ und einer Garbe ${}{\mathcal {G}}$ auf ${}Y$

ist der Halm der zurückgezogenen Garbe in einem Punkt ${}P\in X$ gleich dem Halm von ${}{\mathcal {G}}$ in ${}\varphi (P)$.

Beweis

Siehe Aufgabe 6.6.

$\Box$