Garbe (Mathematik)

Eine Garbe ist ein Begriff aus verschiedenen Gebieten der Mathematik, insbesondere der algebraischen Geometrie und der Funktionentheorie. Allgemein ordnet eine Garbe den offenen Teilmengen eines topologischen Raumes mathematische Objekte aus einer Kategorie zu und beschreibt, wie sich diese Objekte auf kleinere offene Teilmengen einschränken lassen. Dabei erfüllen die Einschränkungen bestimmte Verträglichkeitsbedingungen und zusammenpassende lokale Daten lassen sich eindeutig zu globalen Daten verkleben.

Das einfachste Beispiel einer Garbe ist die Garbe der stetigen reellwertigen Funktionen auf offenen Teilmengen eines topologischen Raumes zusammen mit der Einschränkung der Funktionen auf kleinere offene Teilmengen. Eine Garbe abelscher Gruppen über einem topologischen Raum besteht aus je einer abelschen Gruppe zu jeder offenen Teilmenge des Basisraumes und kompatiblen Einschränkungshomomorphismen zwischen diesen abelschen Gruppen. Entsprechend besteht eine Garbe von Ringen aus einem Ring für jede offene Teilmenge und Ringhomomorphismen.

Der mathematische Begriff ist metaphorisch von einer Getreidegarbe abgeleitet.

Prägarben lassen sich auf einer beliebigen Kategorie definieren. Garben lassen sich auf einem beliebigen Situs (das ist eine Kategorie, auf der eine Grothendieck-Topologie erklärt ist) definieren.

Definitionen

Sei <math>X</math> ein topologischer Raum. Eine Garbe <math>\mathcal{F}</math> ordnet den offenen Mengen <math>U\subseteq X</math> jeweils ein mathematisches Objekt <math>\mathcal{F}(U)</math> zu, so dass

• die Einschränkungen konsistent und verträglich mit der Komposition sind
• lokale Daten, die auf den Überlappungen übereinstimmen, sich eindeutig zu globalen Daten verkleben lassen.

Erfüllt <math>\mathcal{F}</math> nur die erste Eigenschaft, so spricht man von einer Prägarbe. Die mathematischen Objekte <math>\mathcal{F}(U)</math> können dabei ganz unterschiedlich sein, zum Beispiel Mengen, Gruppen, Ringe, Moduln, Funktionenräume oder andere algebraische und geometrische Strukturen.

Um die Definition der Garbe zu verstehen, ist es ratsam, sich das Beispiel der Garbe der stetigen Funktionen gewärtig zu halten:

• <math>\mathcal{F}(U)</math> ist dann die Menge der stetigen Funktionen <math>f:U\to\mathbb R</math>,
• die Einschränkungsabbildungen (Bilder der Inklusionsabbildungen unter dem Funktor <math>\mathcal F</math>) sind die Einschränkungen der Funktionen auf kleinere Bereiche.

Die Kategorie der offenen Teilmengen <math>\mathbf{Ouv}(X)</math> von <math>X</math> ist definiert durch:

• Die Objekte von <math>\mathbf{Ouv}(X)</math> sind die offenen Teilmengen von <math>X</math>.
• Für zwei offene Teilmengen <math>U,V\subseteq X</math> gibt es genau dann einen Morphismus <math>U\to V</math>, wenn <math>U\subseteq V</math>. Dieser Morphismus ist durch die Inklusion <math>U\hookrightarrow V</math> gegeben.

Definition der Prägarbe

Sei <math>X</math> ein topologischer Raum. Eine Prägarbe <math>\mathcal{F}</math> ordnet jeder offenen Teilmenge <math>U\subseteq X</math>

• ein mathematisches Objekt <math>\mathcal{F}(U)</math> aus einer Kategorie <math>\mathcal{C}</math> zu (z. B. eine Menge, eine abelsche Gruppe, ein Modul usw.)
• zusammen mit Einschränkungsmorphismen <math>\rho^U_V\colon\mathcal F(U)\to\mathcal F(V)</math> für alle Inklusionen offener Teilmengen <math>V\subseteq U</math>.

Dabei müssen die Einschränkungsmorphismen folgende Bedingungen erfüllen:

• Der Einschränkungsmorphismus <math>\rho^U_U:\mathcal F(U)\to \mathcal F(U)</math> ist die Identitätsmorphismus

<math>\rho^U_U=\mathrm{id}_{\mathcal F(U)}</math>

• Für offene Teilmengen <math>W\subseteq V\subseteq U</math> gilt

<math>\rho^V_W\circ \rho^U_V=\rho^U_W</math>

Sofern die mathematischen Objekte <math>\mathcal{F}(U)</math> mit einer zusätzlichen Struktur versehen sind, müssen die Einschränkungsmorphismen entsprechende strukturerhaltende Abbildungen (z. B. Homomorphismen im Fall von abelschen Gruppen oder Moduln) sein.

Die Elemente von <math>\mathcal F(U)</math> heißen (lokale) Schnitte von <math>\mathcal F</math> über <math>U</math>, die Elemente von <math>\mathcal F(X)</math> globale Schnitte.

Statt <math>\mathcal F(U)</math> schreibt man auch <math>\Gamma(U,\mathcal F).</math> Für die Einschränkung <math>\rho^U_V(f)</math> eines Schnittes <math>\,f\in\mathcal F(U)</math> auf eine offene Teilmenge <math>V\subseteq U</math> schreibt man auch <math>\,f|_V</math>.

Definition einer Garbe von Mengen

Es sei <math>X</math> ein topologischer Raum und <math>\mathbf{Ouv}(X)</math> die Kategorie der offenen Teilmengen von <math>X</math>.

Eine Garbe von Mengen ist eine Prägarbe <math>\mathcal F:\mathbf{Ouv}(X)\to\mathbf{Set}</math>, bei der die folgenden beiden Bedingungen erfüllt sind:

• (Lokalität:) Sei <math>U</math> eine offene Teilmenge von <math>X</math> und <math>\{V_i\}_{i\in I}</math> eine offene Überdeckung von <math>U</math>. Sind <math>f,g\in\mathcal F(U)</math> Schnitte und gilt <math>f|_{V_i}=g|_{V_i}</math> für alle <math>i\in I</math>, so gilt <math>f=g</math>.
• (Verkleben:) Sei <math>U</math> eine offene Teilmenge von <math>X</math> und <math>\{V_i\}_{i\in I}</math> eine offene Überdeckung von <math>U</math>. Sind Schnitte <math>f_i\in\mathcal F(V_i)</math> gegeben und gilt <math>f_i|_{V_i\cap V_j}=f_j|_{V_i\cap V_j}</math> für alle <math>i,j\in I</math>, so gibt es einen Schnitt <math>f\in\mathcal F(U)</math> mit <math>f|_{V_i}=f_i</math> für alle <math>i\in I</math>.

Mit anderenen Worten, bei einer Garbe sind die Daten „lokal“:

• Lokale Übereinstimmung impliziert globale Übereinstimmung,
• Zusammenpassende lokale Daten lassen sich „verkleben“.

Aus der ersten Bedingung folgt, dass <math>f</math> in der zweiten Bedingung durch die <math>f_i</math> eindeutig bestimmt ist.

Kategorientheoretische Definition einer Garbe auf einem topologischen Raum

Es sei <math>X</math> ein topologischer Raum und <math>\mathbf{Ouv}(X)</math> die Kategorie der offenen Teilmengen von <math>X</math>.

Eine Prägarbe <math>\mathcal F</math> auf <math>X</math> mit Werten in einer Kategorie <math>C</math> ist ein kontravarianter Funktor

<math>\mathcal F\colon \mathbf{Ouv}(X)\to C</math>.

<math>C</math> kann Produkte besitzen.

Eine Prägarbe <math>\mathcal F</math> heißt Garbe, falls für jede offene Teilmenge <math>U\subseteq X</math> und jede Überdeckung <math>\{V_i\}_{i\in I}</math> von <math>U</math> das folgende Diagramm

<math>\mathcal F(U)\rightarrow \prod_{i\in I}\mathcal F(V_i)\rightrightarrows\prod\limits_{(i,j)\in I\times I}\mathcal F(V_i\cap V_j)</math>

so beschaffen ist, dass <math>\mathcal F(U)</math> zusammen mit dem ersten Pfeil den Differenzkern der beiden rechten Pfeile bildet.

Erläuterungen

Der erste Pfeil entsteht aus dem Produkt der Einschränkungsmorphismen

<math>\operatorname{res}_{U,V_i}\colon\mathcal F(U)\to\mathcal F(V_i),</math>

Er bildet einen Schnitt <math>s\in\mathcal F(U)</math> auf die Familie seiner Einschränkungen <math>s\mapsto (s|_{V_i})_{i\in I}.</math>

Die beiden rechten Pfeile sind für eine Familie <math>(s_i)_{i\in I}\in\prod\limits_{i\in I}\mathcal F(V_i)</math> durch

<math>(s_i)_{i\in I}\to\bigl(s_i|_{V_i\cap V_j}\bigr)_{(i,j)\in I\times I}</math> und <math>(s_i)_{i\in I}\to\bigl(s_j|_{V_i\cap V_j}\bigr)_{(i,j)\in I\times I}</math>

gegeben.

Dabei bezeichnet <math>s_i|_{V_i\cap V_j}</math> die Einschränkungen auf den Schnittmengen <math>V_i\cap V_j</math>. Zu jedem Indexpaar <math>(i,j)</math> hat man zwei Inklusionen:

<math>\iota^{(i,j)}_1:V_i\cap V_j \rightarrow V_i</math> und <math>\iota^{(i,j)}_2:V_i\cap V_j \rightarrow V_j</math>.

Aufgrund der Kontravarianz von <math>\mathcal F</math> induzieren diese die Morphismen

<math>\mathcal{F}(\iota^{(i,j)}_1): \mathcal{F}(V_i) \rightarrow \mathcal{F}(V_i\cap V_j)</math> und <math>\mathcal{F}(\iota^{(i,j)}_2): \mathcal{F}(V_j) \rightarrow \mathcal{F}(V_i\cap V_j)</math>.

Prägarbe auf einer Kategorie, Garbe auf einem Situs

Eine Prägarbe auf einer Kategorie C ist ein kontravarianter Funktor <math>\mathcal F </math>: C <math>\rightarrow</math> A in eine Kategorie A, etwa die Kategorie der Mengen oder die Kategorie der abelschen Gruppen. Wenn C eine Grothendieck-Topologie besitzt, so nennt man eine Prägarbe eine Garbe, wenn für jede überdeckende Familie {φ_i: V_i <math>\rightarrow</math> U}_{i<math>\in</math>I} die Sequenz

<math>\mathcal F(U)\rightarrow \prod\mathcal F(V_i)\rightrightarrows\prod\mathcal F(V_i\times V_j),</math>

exakt ist, d. h. wenn <math>\mathcal F(U)</math> der Differenzkern der beiden rechten Pfeile ist.

Wie im Fall eines topologischen Raumes kann man Prägarben vergarben. Ebenso kann man verschiedene Kohomologietheorien entwickeln, etwa Čech-Kohomologie.

Die Gesamtheit aller Garben auf einem Situs bildet einen Topos.

Morphismen

So wie eine Garbe eine Sammlung von Objekten ist, ist ein Morphismus zwischen Garben eine Sammlung von Morphismen dieser Objekte. Diese muss mit den Einschränkungsabbildungen verträglich sein.

Es seien <math>\mathcal{F}</math> und <math>\mathcal{G}</math> Garben auf <math>X</math> mit Werten in derselben Kategorie. Ein Morphismus <math>\varphi\colon\mathcal{F}\to\mathcal{G}</math> besteht aus einer Sammlung von Morphismen <math>\varphi(U)\colon\mathcal{F}(U)\to\mathcal{G}(U)</math>, einer für jede offene Teilmenge <math>U</math> von <math>X</math>, so dass für jede Inklusion <math>V\subseteq U</math> offener Teilmengen die Bedingung <math>\tilde{\rho}^U_V\circ\varphi(U)=\varphi(V)\circ\rho^U_V</math> erfüllt ist. Hierbei bezeichnet <math>\rho^U_V</math> die Einschränkungsabbildung von <math>\mathcal{F}</math> und <math>\tilde{\rho}^U_V</math> die von <math>\mathcal{G}</math>.

Fasst man die Garben wie oben beschrieben als Funktoren auf, so ist ein Morphismus zwischen den Garben dasselbe wie eine natürliche Transformation der Funktoren.

Für jede Kategorie <math>C</math> bilden die <math>C</math>-wertigen Garben mit diesem Morphismenbegriff eine Kategorie.

Halme und Keime

Es sei <math>C</math> eine Kategorie algebraischer Strukturen (beispielsweise die Kategorie der (abelschen) Gruppen, Ringe oder Moduln). Damit der Halm als Kolimes definiert werden kann, setzt man technisch voraus, dass die benötigten Kolimiten in <math>C</math> existieren. Genauer müssen pseudofiltrierende Kolimiten in <math>C</math> existieren, und ihre zugrundeliegenden Mengen müssen mit den Kolimiten der zugrundeliegenden Mengen der Einzelobjekte übereinstimmen.

Für jeden Punkt <math>x\in X</math> ist der Halm <math>\mathcal F_x</math> einer Prägarbe <math>\mathcal F</math> im Punkt <math>x</math> definiert als

<math>\mathcal F_x=\operatorname{colim}_{x \in V}\mathcal F(V).</math>

Der Kolimes wird über alle offenen Umgebungen <math>V</math> von <math>x</math> gebildet. Dabei werden Schnitte aus verschiedenen Umgebungen miteinander identifiziert, wenn sie auf einer kleineren offenen Umgebung von <math>x</math> übereinstimmen.

Elemente des Halms heißen Keime. Keime sind also Äquivalenzklassen von lokalen Schnitten über offenen Umgebungen von <math>x</math>, wobei Schnitte äquivalent sind, wenn sie bei Einschränkung auf eine kleinere Umgebung gleich werden.

Erläuterungen

Für zwei offene Umgebungen <math>V_2\subseteq V_1</math> von <math>x</math> gibt gemäß der Definition der Prägarbe eine Einschränkungsabbildung

<math>\mathcal F(V_1)\to \mathcal F(V_2).</math>

Auf diese Weise entsteht für eine Kette <math>\cdots \subseteq V_3\subseteq V_2\subseteq V_1</math> ein System von Schnitten

<math>\mathcal F(V_1)\to\mathcal F(V_2)\to\mathcal F(V_3)\to\cdots</math>

auf immer kleineren Umgebungen von <math>x</math>. Der Kolimes fasst dieses System zu einem einzigen Objekt zusammen, das nur das Verhalten der Schnitte in beliebig kleinen Umgebungen von <math>x</math> berücksichtigt.

Vergarbung

Ist <math>\mathcal F</math> eine Prägarbe auf einem topologischen Raum <math>X</math>, so gibt es eine Garbe <math>\mathbf a\mathcal F</math>, die Vergarbung von oder assoziierte Garbe zu <math>\mathcal F</math>, so dass für jede Garbe <math>\mathcal G</math>

<math>\mathrm{Hom}_{\mathrm{(Garben)}}(\mathbf a\mathcal F,\mathcal G)=\mathrm{Hom}_{\mathrm{(Pr\ddot agarben)}}(\mathcal F,\mathcal G)</math>

gilt. <math>\mathbf a</math> ist also linksadjungiert zum Vergissfunktor <math>\mathrm{(Garben)}\to\mathrm{(Pr\ddot agarben)}.</math>

Es gibt keine einheitliche Notation für den Vergarbungsfunktor.

Direkte Bilder und Urbildgarben

Ist <math>\mathcal F</math> eine Garbe auf einem topologischen Raum <math>X</math> und <math>f\colon X\to Y</math> eine stetige Abbildung, so ist

<math>U\mapsto\mathcal F(f^{-1}(U)),\quad U\subseteq Y\ \text{offen}</math>

eine Garbe auf <math>Y</math>, die mit <math>f_*\mathcal F</math> bezeichnet wird und direktes Bild oder auch Bildgarbe von <math>\mathcal F</math> unter <math>f</math> heißt.

Ist <math>\mathcal G</math> eine Garbe auf <math>Y</math>, so ist die assoziierte Garbe zu

<math>U\mapsto\operatorname{colim}_{V\supseteq f(U)}\mathcal G(V)</math>

eine Garbe auf <math>X</math>, die Urbildgarbe, die mit <math>f^{-1}\mathcal G</math> bezeichnet wird.

Ist <math>g\colon Y\to Z</math> eine weitere stetige Abbildung, so sind die Funktoren

<math>\,(gf)_*</math> und <math>\,g_*f_*</math>

sowie die Funktoren

<math>\,(gf)^{-1}</math> und <math>\,f^{-1}g^{-1}</math>

natürlich äquivalent.

Die Funktoren <math>\,f_*</math> und <math>\,f^{-1}</math> sind adjungiert: Ist <math>\mathcal F</math> eine Garbe auf <math>X</math> und <math>\mathcal G</math> eine Garbe auf <math>\,Y</math>, so ist

<math>\operatorname{Hom}(f^{-1}\mathcal G,\mathcal F)=\operatorname{Hom}(\mathcal G,f_*\mathcal F).</math>

Halme sind spezielle Garbenurbilder: Bezeichnet <math>i_y</math> die Inklusion <math>\{y\}\to Y</math> eines Punktes, so ist

<math>\mathcal G_y=i_y^{-1}\mathcal G;</math>

dabei wurde die Garbe <math>i_y^{-1}\mathcal G</math> auf dem einpunktigen Raum <math>\,\{y\}</math> mit ihren globalen Schnitten identifiziert. Infolgedessen ist das Garbenurbild kompatibel mit Halmen:

<math>\,(f^{-1}\mathcal G)_x=\mathcal G_{f(x)}.</math>

Diese Beziehung ist auch der Grund dafür, dass <math>\,f^{-1}</math> trotz der komplizierteren Definition der einfacher zu verstehende Funktor ist: in einem gewissen Sinn ist Kohomologie das Studium des Funktors <math>\,f_*</math>.

Der Étalé-Raum einer Garbe

Zu einer Garbe <math>\mathcal F</math> von Mengen sei ein topologischer Raum <math>E</math> über <math>X</math> wie folgt definiert:

• Die zugrundeliegende Menge ist die disjunkte Vereinigung aller Halme von <math>\mathcal F</math>; die Abbildung <math>E\to X</math> bilde <math>\mathcal F_x</math> auf <math>x\in X</math> ab.
• Die Topologie auf <math>E</math> ist die stärkste Topologie, für die die Abbildungen

<math>U\to E,\quad x\mapsto f_x</math>

für jeden Schnitt <math>f\in\mathcal F(U)</math> über einer offenen Menge <math>U\subseteq X</math> stetig sind.

Dann gibt es eine Bijektion zwischen den Schnitten von <math>\mathcal F</math> über einer offenen Menge <math>U\subseteq X</math> und den Schnitten von <math>\pi\colon E\to X</math> über <math>U</math>, d. h. den stetigen Abbildungen <math>s\colon U\to E</math>, für die <math>\pi\circ s</math> gleich der Inklusion <math>U\subseteq X</math> ist.

Dieser Raum <math>E</math> heißt der Étalé-Raum (frz. étalé = ausgebreitet) oder, in deutschsprachiger Literatur auch ohne Akzente geschrieben, der etale Raum.<ref>F. Constantinescu, H. F. de Groote: Geometrische und algebraische Methoden der Physik: Supermannigfaltigkeiten und Virasoro-Algebren, Teubner Studienbücher 1994, ISBN 978-3-519-02087-5</ref>

Beispiele

• Die stetigen Funktionen mit kompaktem Träger bilden keine Prägarbe, weil die Einschränkung einer Funktion mit kompaktem Träger auf eine offene Teilmenge im Allgemeinen nicht wieder kompakten Träger hat.

• Die Prägarbe, die jeder nicht-leeren offenen Teilmenge von <math>\mathbb R</math> die abelsche Gruppe <math>\mathbb Z</math> sowie der leeren Menge die triviale Untergruppe <math>\{0\}</math> zuordnet, ist keine Garbe: Ist <math>U=U_1\cup U_2</math> mit <math>U_1=(1,2)</math> und <math>U_2=(3,4)</math>, so lassen sich der Schnitt <math>5</math> über <math>U_1</math> und der Schnitt <math>7</math> über <math>U_2</math> nicht zu einem Schnitt über <math>U</math> „verkleben“.

• Die Garbe <math>\mathcal O</math> der holomorphen Funktionen auf <math>\mathbb C</math> ist eine Garbe von Ringen (eine Ringgarbe): der Halm im Nullpunkt kann mit dem Ring der konvergenten Potenzreihen <math>\mathbb C\{z\}</math> identifiziert werden, d. h. der Potenzreihen, deren Konvergenzradius nicht Null ist. Die anderen Halme entstehen durch Koordinatenwechsel (d. h. ersetze <math>z</math> durch <math>z-a</math>).

• Es sei <math>X=\{\eta,s\}</math> der topologische Raum mit zwei Punkten, von denen <math>s</math> abgeschlossen ist und <math>\eta</math> nicht, d. h. der Sierpiński-Raum. Dann ist eine Garbe durch die zwei Mengen <math>M=\Gamma(X,\mathcal F)</math> und <math>N=\Gamma(\{\eta\},\mathcal F)</math> zusammen mit einer Abbildung <math>\rho\colon M\to N</math> bestimmt, und umgekehrt kann man diese Daten beliebig vorgeben und erhält eine Garbe. Die Halme von <math>\mathcal F</math> sind

<math>\mathcal F_\eta=N</math> und <math>\mathcal F_s=M</math>.

• Es sei <math>X=\mathbb{R}/\mathbb{Z}\cong S^1</math> ausgestattet mit der Quotiententopologie und zu offenem <math>U\subseteq X</math> sei <math>\mathcal F(U)</math> die Menge aller Funktionen, die lokal Steigung 1 haben, das sind alle <math>f\colon U\to \mathbb{R}</math> mit <math>f(x+\varepsilon +\mathbb{Z})=f(x+\mathbb{Z})+\varepsilon</math>, sofern beide Seiten definiert sind und <math>|\varepsilon|</math> hinreichend klein ist. Dies ist eine Garbe, bei der jeder Halm <math>\mathcal F_x</math> isomorph zu <math>\mathbb R</math> und auch <math>\Gamma(U,\mathcal F)\cong\mathbb R</math> für jede zusammenhängende offene echte Teilmenge <math>U\subsetneq X</math>. Es gibt jedoch keine globalen Schnitte, <math>\Gamma(X,\mathcal F)=\emptyset</math>. Dadurch ist dies „nur“ eine mengenwertige und keine abelsche-Gruppen-wertige Garbe.

Verallgemeinerung

Der Begriff der Garbe lässt sich allgemeiner im Kontext von Grothendieck-Topologien fassen.

Siehe auch

• Garbenkohomologie

Literatur

• Francisco Miraglia: An Introduction to Partially Ordered Structures and Sheaves. Polimetrica, Mailand 2006, ISBN 88-7699-035-6 (Contemporary Logic).

Einzelnachweise

<references />