Eine Datenzuordnung, die jeder offenen Menge U eines topologischen Raums X ein algebraisches oder analytisches Objekt (Menge, Gruppe, Ring, Modul usw.) zusammen mit Einschränkungsabbildungen zuordnet und die Lokalitätsaxiom (auf Überlappungen gleiche Schnitte sind gleich) sowie das Verklebeaxiom (kompatible lokale Schnitte auf einer Überdeckung kleben eindeutig zu einem globalen Schnitt) erfüllt.

Prinzip

Lokal definierte Daten und die Regeln für Einschränkung und kohärentes Verkleben so zu kodieren, dass globale Objekte aus kompatiblen lokalen Stücken rekonstruiert werden können.

Demonstration

Das Garben C^0_X der stetigen reellwertigen Funktionen auf einem topologischen Raum X ordnet jeder offenen Menge U den Ring C^0(U) zu. Das Garben der holomorphen Funktionen auf einer komplexen Mannigfaltigkeit oder das Strukturgarben O_X auf einem Schema sind weitere Standardbeispiele.

Fehlanwendung

Ein Prägarbe, die das Verklebeaxiom nicht erfüllt, fälschlich wie eine Garbe behandeln (z. B. annehmen, lokal kompatible algebraische Daten würden stets eindeutig verkleben, obwohl Obstruktionen oder Kohomologieklassen dies verhindern können).

Konsequenz

Die korrekte Verwendung von Garben erlaubt lokal‑zu‑global Spektralsequenzen, Garbenkohomologie‑Berechnungen und präzise Kontrolle lokaler Obstruktionen für Erweiterung und Deszendenz.

Umkehrung

Prägarbe: eine Zuordnung mit Einschränkungsabbildungen, aber ohne gewährleistetes Verkleben; Prägarben geben möglicherweise nicht die globale Konsistenz lokaler Daten wieder.

Abgrenzung

Nicht jede Prägarbe ist eine Garbe; die Garbentheorie schließt in der Regel Daten aus, die nur bis auf Isomorphismus verklebt werden (Stacks) oder Objekte, die nur in formalen Nachbarschaften definiert sind (formale Schemata), sofern keine erweiterten Strukturen vorliegen.

Semantische Spannung

Im Vergleich zu Bündeln oder lokalen Systemen: Eine Garbe kodiert lokale algebraische Daten und Verklebe­bedingungen, während Bündel/ lokale Systeme zusätzliche geometrische oder lineare Struktur und lokale Trivialität verlangen.

Synthese

Eine Garbe ist eine disziplinierte Art, lokale algebraische oder analytische Daten mit Einschränkungsabbildungen und einem präzisen Verklebegebot zu erfassen, sodass kompatible lokale Schnitte einen eindeutigen globalen Schnitt bestimmen und systematisches lokal‑zu‑global Denken ermöglichen.