Die Garbentheorie: eine Garbe weist offenen Mengen eines topologischen Raums (oder Objekten eines Site) algebraische oder kategoriale Daten mit Einschränkungsabbildungen zu, die Lokalitäts- und Klebeaxiome erfüllen, und untersucht die globalen Folgen durch abgeleitete Konstruktionen wie Garbenkohomologie.

Prinzip

Lokal-zu-Global: lokale Schnitte und deren Einschränkungen und Verklebungen so kodieren, dass Obstruktionen für globale Existenz oder Eindeutigkeit durch kohomologische abgeleitete Funktoren gemessen werden; Exaktheit und Flabbigkeit steuern die Berechenbarkeit.

Demonstration

Die Garbe der stetigen reellwertigen Funktionen auf einer Mannigfaltigkeit ordnet jedem offenen Gebiet den Ring der stetigen Funktionen zu; Schnitte über einer offenen Überdeckung, die auf den Überlappungen übereinstimmen, kleben zu einem globalen Schnitt, während ein nicht verschwindendes H^1 für die Garbe lokaler Trivialisierungen eine Obstruktion für die Konstruktion eines globalen Objekts wie eines Linienbündels anzeigt.

Fehlanwendung

Einen Prägarbe ohne Prüfung der Klebeigenschaft als Garbe zu behandeln oder anzunehmen, Garbenkohomologie gleiche stets singuläre Kohomologie für beliebige Koeffizienten oder Räume, was zu falschen Schlüssen über Obstruktionen führt.

Konsequenz

Garbentheorie organisiert lokale Daten, bietet eine flexible Sprache für kohärente algebraische und analytische Strukturen und liefert berechenbare Obstruktionen und Klassifikationsinvarianten (z. B. Linienbündel, Erweiterungsklassen) mittels Kohomologie.

Umkehrung

Ein Kosheaf kehrt die Varianz und Klebeperspektive um (Pushouts statt Pullbacks) und betont, wie lokale Beiträge vorwärts zusammengesetzt werden; manche Probleme werden besser durch Kosheaves modelliert als durch Garben.

Abgrenzung

Gilt für topologische Räume und allgemeiner für Sites und Topoi; schließt Invarianten aus, die sich nicht in Form lokaler Schnitte und Einschränkungen ausdrücken lassen, sowie Situationen ohne sinnvolle Überdeckungs-/Klebetheorie.

Semantische Spannung

Spannung zwischen Prägarbe und Garbe: Prägarben erfassen lokale Zuweisungen, können aber am Kleben scheitern; Spannung auch zwischen Garben und Bündeln, da ein lokal triviales Bündel eine Garbe von Schnitten bestimmt, die Umkehrung jedoch zusätzliche Struktur verlangt.

Synthese

Garbentheorie formalisiert Lokalität und Kleben: indem sie darstellt, wie lokale Daten sich einschränken und verbinden, und durch Verwendung abgeleiteter Funktoren kohomologische Invarianten liefert, die genau die Obstruktionen vom Lokalen zum Globalen messen.