Garbe (Mathematik)

Garbe (Mathematik)

Eine Garbe ist ein Begriff aus verschiedenen Gebieten der Mathematik wie zum Beispiel der algebraischen Geometrie und Funktionentheorie. 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. 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. 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.

Inhaltsverzeichnis

Definitionen

Um die Definition der "Garbe" zu verstehen, ist es ratsam, sich das Beispiel der Garbe der stetigen Funktionen im Hinterkopf zu halten: F(U) ist dann die Menge der stetigen Funktionen U\to\mathbb R, die Einschränkungsabbildungen (Bilder der Inklusionsabbildungen unter dem Funktor F) sind einfach die Einschränkungen der Funktionen auf kleinere Bereiche.

Prägarbe auf einem topologischen Raum

Eine Prägarbe \mathcal F auf einem topologischen Raum X besteht aus einer Menge (bzw. abelschen Gruppe, Modul, Ring) \mathcal F(U) für jede offene Teilmenge U\subseteq X zusammen mit Einschränkungsabbildungen \rho^U_V\colon\mathcal F(U)\to\mathcal F(V) für zwei offene Teilmengen V\subseteq U; dabei müssen die Einschränkungsabbildungen in der "offensichtlichen" Weise zusammenpassen:

  • \rho^U_U=\mathrm{id}_{\mathcal F(U)}
  • \rho^V_W\circ \rho^U_V=\rho^U_W für offene Teilmengen W\subseteq V\subseteq U.

Die Elemente von \mathcal F(U) heißen (lokale) Schnitte von \mathcal F über U, die Elemente von \mathcal F(X) globale Schnitte. Statt \mathcal F(U) schreibt man auch \Gamma(U,\mathcal F).

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

Garbe auf einem topologischen Raum

Eine Garbe ist eine Prägarbe, bei der die Daten "lokal" sind, d.h. die folgenden beiden Bedingungen erfüllt sind:

  • Lokale Übereinstimmung impliziert globale Übereinstimmung: Sind f und g Schnitte von \mathcal F über U und {Vi} eine Überdeckung von U, und gilt
f|_{V_i}=g|_{V_i}
für alle i, so gilt f = g.
  • Zusammenpassende lokale Daten lassen sich "verkleben": Sind Schnitte f_i\in\mathcal F(V_i) gegeben, so dass die Einschränkungen von fi und fj auf V_i\cap V_j übereinstimmen, so gibt es einen Schnitt f\in\mathcal F(U), so dass
f_i=f|_{V_i}
für alle i gilt.

Aus der ersten Bedingung folgt, dass f in der zweiten Bedingung durch die fi eindeutig bestimmt ist.

Kategorientheoretische Definition einer Garbe auf einem topologischen Raum

Es sei X ein topologischer Raum. Die Kategorie \mathbf{Ouv}(X) habe als Objekte die offenen Teilmengen von X mit einem Morphismus U\to V für jede Inklusion U\subseteq V offener Mengen. Eine Prägarbe \mathcal F auf X mit Werten in einer Kategorie C ist ein kontravarianter Funktor \mathcal F: \mathbf{Ouv}(X)\to C. Eine Prägarbe \mathcal F heißt Garbe, falls das folgende Diagramm für jede offene Teilmenge U\subseteq X und jede Überdeckung {Vi} von U exakt ist:

\mathcal F(U)\rightarrow \prod\mathcal F(V_i)\,\begin{matrix}\rightarrow\\[-,7em]\rightarrow\end{matrix}\,\prod\mathcal F(V_i\cap V_j),

d.h. dass \mathcal F(U) der Differenzkern der beiden rechten Pfeile ist.

(Der Begriff "Garbe" ist nur definiert, wenn C Produkte besitzt.)

Prägarbe auf einer Kategorie, Garbe auf einem Situs

Eine Prägarbe auf einer Kategorie C ist ein kontravarianter Funktor \mathcal F : C \rightarrow 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: Vi \rightarrow U}i\inI die Sequenz :\mathcal F(U)\rightarrow \prod\mathcal  F(V_i)\,\begin{matrix}\rightarrow\\[-,7em]\rightarrow\end{matrix}\,\prod\mathcal F(V_i\times V_j), exakt ist, d.h. wenn \mathcal F(U) 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 Cech-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 \mathcal{F} und \mathcal{G} Garben auf X mit Werten in derselben Kategorie. Ein Morphismus \varphi\colon\mathcal{F}\to\mathcal{G} besteht aus einer Sammlung von Morphismen \varphi(U)\colon\mathcal{F}(U)\to\mathcal{G}(U), einer für jede offene Teilmenge U von X, so dass für jede Inklusion V\subseteq U offener Teilmengen die Bedingung \tilde{\rho}^U_V\circ\varphi(U)=\varphi(V)\circ\rho^U_V erfüllt ist. Hierbei bezeichnet \rho^U_V die Einschränkungsabbildung von \mathcal{F} und \tilde{\rho}^U_V die von \mathcal{G}.

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 C bilden die C-wertigen Garben mit diesem Morphismenbegriff eine Kategorie.

Halme und Keime

Es sei C eine Kategorie algebraischer Strukturen, die durch endliche projektive Limites definiert sind, also z.B. (abelsche) Gruppen, Ringe, Moduln. Insbesondere existieren pseudofiltrierende Kolimites in C, und ihre zugrundeliegenden Mengen stimmen mit den Kolimites der zugrundeliegenden Mengen der Einzelobjekte überein.

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

\mathcal F_x=\operatorname{colim}_{V\ni x}\mathcal F(V).

Elemente des Halms heißen Keime.

Keime sind also Äquivalenzklassen von lokalen Schnitten über offenen Umgebungen von x, wobei Schnitte äquivalent sind, wenn sie bei Einschränkung auf eine kleinere Umgebung gleich werden.

Vergarbung

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

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

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

Es gibt keine einheitliche Notation für den Vergarbungsfunktor.

Direkte Bilder und Urbildgarben

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

U\mapsto\mathcal F(f^{-1}(U)),\quad U\subseteq Y\ \mathrm{offen}

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

Ist \mathcal G eine Garbe auf Y, so ist die assoziierte Garbe zu

U\mapsto\operatorname{colim}_{V\supseteq f(U)}\mathcal G(V)

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

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

\,(gf)_* und \,g_*f_*

sowie die Funktoren

\,(gf)^{-1} und \,f^{-1}g^{-1}

natürlich äquivalent.

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

\mathrm{Hom}(f^{-1}\mathcal G,\mathcal F)=\mathrm{Hom}(\mathcal G,f_*\mathcal F).

Halme sind spezielle Garbenurbilder: Bezeichnet iy die Inklusion \{y\}\to Y eines Punktes, so ist

\mathcal G_y=i_y^{-1}\mathcal G;

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

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

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

Der étale Raum einer Garbe

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

  • Die zugrundeliegende Menge ist die disjunkte Vereinigung aller Halme von \mathcal F; die Abbildung E\to X bilde \mathcal F_x auf x\in X ab.
  • Die Topologie auf E ist die stärkste Topologie, für die die Abbildungen
U\to E,\quad x\mapsto f_x
für jeden Schnitt f\in\mathcal F(U) über einer offenen Menge U\subseteq X stetig sind.

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

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 offenen Teilmenge von \mathbb R die abelsche Gruppe \mathbb Z zuordnet, ist keine Garbe: Ist U=U_1\cup U_2 mit U1 = (1,2) und U2 = (3,4), so lassen sich der Schnitt 5 über U1 und der Schnitt 7 über U2 nicht zu einem Schnitt über U "verkleben".
  • Die Garbe \mathcal O der holomorphen Funktionen auf \mathbb C ist eine Garbe von Ringen (eine "Ringgarbe"): der Halm im Nullpunkt kann mit dem Ring der konvergenten Potenzreihen \mathbb C\{z\} identifiziert werden, d.h. der Potenzreihen, deren Konvergenzradius nicht Null ist. Die anderen Halme entstehen durch Koordinatenwechsel (d.h. ersetze z durch za).
  • Es sei X = {η,s} der topologische Raum mit zwei Punkten, von denen s abgeschlossen ist und η nicht. Dann ist eine Garbe durch die zwei Mengen M=\Gamma(X,\mathcal F) und N=\Gamma(\{\eta\},\mathcal F) zusammen mit einer Abbildung \rho\colon M\to N bestimmt, und umgekehrt kann man diese Daten beliebig vorgeben und erhält eine Garbe. Die Halme von \mathcal F sind
\mathcal F_\eta=N und \mathcal F_s=M.
  • Es sei X=\mathbb{R}/\mathbb{Z}\cong S^1 und zu offenem U\subseteq X sei \mathcal F(U) die Menge aller Funktionen, die lokal Steigung 1 haben, das sind alle f\colon U\to \mathbb{R} mit f(x+\varepsilon +\mathbb{Z})=f(x+\mathbb{Z})+\varepsilon, sofern beide Seiten definiert sind und | ε | hinreichend klein ist. Dies ist eine Garbe, bei der jeder Halm \mathcal F_x isomorph zu \mathbb R und auch \Gamma(U,\mathcal F)\cong\mathbb R für jede zusammenhängende offene echte Teilmenge U\subsetneq X. Es gibt jedoch keine globalen Schnitte, \Gamma(X,\mathcal F)=\emptyset. 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.

Literatur

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

Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Garbe — steht für: Garbe (Landwirtschaft), ein Bündel aus Getreidehalmen einschließlich der Ähren Garbe (Mathematik), ein Begriff aus verschiedenen Gebieten der Mathematik Garbe (Fluss), ein kleiner Fluss in Sachsen Anhalt Garbe (Heraldik) als gemeine… …   Deutsch Wikipedia

  • Situs (Mathematik) — Eine Grothendieck Topologie ist ein mathematisches Konzept, das es erlaubt, in einem abstrakten kategoriellen Rahmen eine Garbentheorie und eine Kohomologietheorie zu entwickeln. Eine Kategorie, auf der eine Grothendieck Topologie erklärt ist,… …   Deutsch Wikipedia

  • Funktor (Mathematik) — Die Kategorientheorie oder die kategorielle Algebra ist ein Zweig der Mathematik, der sich Anfang der 1940er Jahre zuerst im Rahmen der Topologie entwickelte; Saunders MacLane nennt seine 1945 gemeinsam mit Samuel Eilenberg entstandene „General… …   Deutsch Wikipedia

  • Halm (Mathematik) — Eine Garbe ist ein Begriff aus verschiedenen Gebieten der Mathematik wie zum Beispiel der algebraischen Geometrie und Funktionentheorie. Eine Garbe abelscher Gruppen über einem topologischen Raum besteht aus je einer abelschen Gruppe zu jeder… …   Deutsch Wikipedia

  • Keim (Mathematik) — Eine Garbe ist ein Begriff aus verschiedenen Gebieten der Mathematik wie zum Beispiel der algebraischen Geometrie und Funktionentheorie. Eine Garbe abelscher Gruppen über einem topologischen Raum besteht aus je einer abelschen Gruppe zu jeder… …   Deutsch Wikipedia

  • Richard von Garbe — Richard Karl von Garbe (* 9. März 1857 in Bredow bei Stettin; † 22. September 1927 in Tübingen) war ein deutscher Indologe, der bedeutende Beiträge zur Erforschung von Samkhya, Yoga und der Bhagavadgita leistete. Inhaltsverzeichnis 1 Leben 2… …   Deutsch Wikipedia

  • Träger (Mathematik) — In der Mathematik bezeichnet der Träger (manchmal auch Support) die Nichtnullstellenmenge einer Funktion oder anderer Objekte. Inhaltsverzeichnis 1 Analysis 1.1 Träger einer Funktion 1.2 Träger einer Distribution …   Deutsch Wikipedia

  • Garben — Garbe steht für: Garbe (Landwirtschaft), ein Bündel aus Getreidehalmen einschließlich der Ähren Garbe (Mathematik), ein Begriff aus verschiedenen Gebieten der Mathematik Garbe (Fluss), ein kleiner Fluss in Sachsen Anhalt Garbe (Heraldik) als… …   Deutsch Wikipedia

  • Kohärente Modulgarbe — In den mathematischen Teilgebieten der algebraischen Geometrie und komplexen Analysis sind kohärente Garben das Analogon endlich erzeugter Moduln über noetherschen Ringen. Inhaltsverzeichnis 1 Definition 2 Eigenschaften …   Deutsch Wikipedia

  • Abstract nonsense — Die Kategorientheorie oder die kategorielle Algebra ist ein Zweig der Mathematik, der sich Anfang der 1940er Jahre zuerst im Rahmen der Topologie entwickelte; Saunders MacLane nennt seine 1945 gemeinsam mit Samuel Eilenberg entstandene „General… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”