Eine lange exakte Folge in der algebraischen Topologie, die die Homologie oder Kohomologie eines Raumes, der als Vereinigung zweier Teilräume A und B dargestellt ist, mit den Homologien bzw. Kohomologien von A, B und deren Schnitt A∩B verknüpft und so Berechnungen mittels Exzision und algebraischem Zusammenfügen ermöglicht.

Prinzip

Die Zerlegung X = A ∪ B ausnutzen, um Verbindungsabbildungen und eine exakte Folge zu erzeugen, die lokale homologische Daten über A, B und A∩B in globale Informationen über X überführt.

Demonstration

In der singulären Homologie liefert die Mayer–Vietoris-Folge … → H_n(A∩B) → H_n(A) ⊕ H_n(B) → H_n(X) → H_{n−1}(A∩B) → …, womit H_*(X) aus den bekannten Gruppen von A, B und A∩B sowie den Verbindungsabbildungen berechnet werden kann.

Fehlanwendung

Mayer–Vietoris anzuwenden, ohne die Überdeckungsbedingungen (z. B. offene Überdeckungen oder exzise Paare) zu gewährleisten, oder Verbindungsabbildungen falsch zu berechnen, kann zu fehlerhaften Homologiegruppen und falschen Schlüssen über X führen.

Konsequenz

Ist die Folge anwendbar, so reduziert sie globale Homologieberechnungen auf lokale Stücke und deren Überschneidungen und liefert exakte algebraische Beschränkungen, die unbekannte Gruppen bestimmen und Induktions- sowie van-Kampen-artige Argumente stützen.

Umkehrung

Das Umgekehrte ist eine Zerlegung ohne Kontrolle der Schnitte oder mit fehlgeschlagener Exzision: ohne geeignete Überdeckung lassen sich lokale homologische Daten nicht zu einer kohärenten exakten Folge für den Gesamtraum zusammensetzen.

Abgrenzung

Gilt unter Voraussetzungen wie offenen Überdeckungen oder exzisen Paaren, bei denen die durch Inklusion induzierten Abbildungen Exzisionsbedingungen erfüllen; ausgeschlossen sind beliebige Zerlegungen ohne die technischen Voraussetzungen für die lange exakte Folge.

Semantische Spannung

Spannung besteht gegenüber Spektralsequenzansätzen: Beide reduzieren globale Probleme auf lokale Daten, doch liefert Mayer–Vietoris eine konkrete lange exakte Folge, die für Rechnungen niedriger Grade gut geeignet ist, während Spektralsequenzen Filtrationen und höhergradige Komplexität besser behandeln.

Synthese

Die Mayer–Vietoris-Folge ist das algebraische Werkzeug, das eine geeignete Überdeckung X = A ∪ B in eine lange exakte algebraische Beziehung zwischen der Homologie bzw. Kohomologie von A, B, A∩B und X verwandelt und so Berechnung und strukturelle Schlüsse durch Zusammenfügen lokaler Invarianten ermöglicht.