Eine lange exakte Folge in Homologie oder Kohomologie, abgeleitet aus einer Überdeckung eines Objekts durch zwei Teilobjekte, die die Invarianten des Ganzen mit denen der Teile und ihrer Schnittmenge verknüpft und Rechnungen durch Zusammenfügen lokaler Daten ermöglicht.

Prinzip

Zerlege einen Raum (oder Kettenkomplex, Garbe usw.) in zwei sich überlappende Stücke; die Mayer–Vietoris-Konstruktion liefert eine Verbindungsabbildung und eine exakte Folge, die die globale Homologie/Kohomologie durch die Homologie/Kohomologie der Stücke und ihrer Schnittmenge ausdrückt.

Demonstration

Die singuläre Homologie des Kreises lässt sich durch Überdecken mit zwei überlappenden kontrahierbaren Bögen berechnen: die Mayer–Vietoris-Folge für diese Überdeckung liefert exakte Relationen, die H_1 des Kreises als Z identifizieren, indem man Stücke und Schnittmege vergleicht.

Fehlanwendung

Die Folge anzuwenden, ohne zu prüfen, ob die Überdeckung oder die Kategorie die Exzisions- oder Klebe-Hypothesen erfüllt (etwa nicht-offene Überdeckungen in der Topologie), kann zu falschen Aussagen über Exaktheit oder berechnete Gruppen führen.

Konsequenz

Bietet ein fundamentales Rechenwerkzeug, das globale homologische Probleme auf lokale Berechnungen reduziert, stützt Exzision und relative Homologieargumente und ist zentral für Spektralsequenzen und Abstiegsberechnungen.

Umkehrung

Scheitert die Exaktheit der Mayer–Vietoris-Folge für eine gegebene Überdeckung, so zeigt dies, dass die Überdeckung die notwendigen Voraussetzungen nicht erfüllt oder die Invarianten nicht lokal auf dieser Überdeckung sind, was auf Klebe-Obstruktionen hinweist.

Abgrenzung

Gilt in Kategorien, in denen Klebe- und Exzisionsannahmen zutreffen: topologische Räume mit geeigneten offenen Überdeckungen, Kettenkomplexe mit kurzen exakten Folgen, Garbenkohomologie auf Überdeckungen mit Akzyklizitätsbedingungen; nicht universell gültig für beliebige Zerlegungen ohne Hypothesen.

Semantische Spannung

Spannung zwischen Mayer–Vietoris und Čech- bzw. Spektralsequenzmethoden: alle sind Klebe-Werkzeuge, unterscheiden sich aber in Voraussetzungen, lokalem Kontrollgrad und Konvergenzverhalten, sodass die Wahl vom Kontext abhängt.

Synthese

Die Mayer–Vietoris-Folge ist der kanonische exakte Mechanismus zur Rekonstruktion der Homologie oder Kohomologie eines Objekts aus zwei überlappenden Teilen und ihrer Schnittmenge und verwandelt lokale Berechnungen in globale Invarianten, sofern Exzisions- und Klebe-Bedingungen erfüllt sind.