Mayer-Vietoris Sequence

The Mayer–Vietoris sequence is a long exact sequence relating the (co)homology of a space $X$ to the (co)homology of two subspaces $A,B$ whose interiors cover $X$ and of their intersection $A\cap B$. In words: if you can cut a space into two overlapping pieces, you can compute its homology from the homology of the pieces and their overlap, with a connecting map measuring the "twisting" along the overlap. It applies in singular, simplicial, cellular, sheaf, de Rham, and generalized (co)homology theories. Named after Walther Mayer and Leopold Vietoris, who developed it around 1929–1930.

Given a topological space $X=A\cup B$ where $A$ and $B$ are subspaces whose interiors cover $X$, the Mayer–Vietoris sequence is the long exact sequence

The Core Insight

A cycle on $X$ can be subdivided so that each piece lies in $A$ or in $B$. The obstruction to writing a cycle on $X$ as the sum of a cycle on $A$ and a cycle on $B$ is recorded in $A\cap B$: when you split a chain $c=c_A+c_B$, even if $\partial c=0$ the individual pieces satisfy $\partial c_A=-\partial c_B$, a cycle living in $A\cap B$. The connecting map sends $[c]$ to this overlap cycle. Exactness packages this single observation into a machine that recovers the global from the local.

Formal Statement

Excisive couple / Mayer–Vietoris triad

Let $X$ be a topological space and let $A,B\subseteq X$. The pair $(A,B)$ is called an excisive couple (and $(X;A,B)$ a Mayer–Vietoris triad) if

Here:

• $X$ is the ambient space;
• $A,B$ are the two covering subspaces;
• $A\cap B$ is their intersection;
• $\mathrm{int}(\cdot )$ denotes topological interior in $X$.

This condition guarantees that the inclusion $(A,A\cap B)\hookrightarrow (X,B)$ is an excision, which is the technical input that makes the sequence exact.

Mayer–Vietoris, homology

Let $(X;A,B)$ be a Mayer–Vietoris triad. Denote the inclusions

Reduced and cohomological versions

For the reduced homology ${\tilde{H}}_n$, the same sequence holds provided $A\cap B\ne \varnothing$, terminating

In cohomology, the arrows reverse and the connecting map raises degree:

Why It Holds / Derivation

The short exact sequence of chains

The covering condition [1] is essential and is not satisfied merely by $X=A\cup B$ as sets. If $A$ and $B$ are closed and meet only along a "thin" set whose interiors do not cover, the naive sequence can fail. For CW complexes one typically thickens subcomplexes to open neighborhoods (which deformation retract) so that the interior condition holds; the maps remain those of the subcomplexes up to homotopy equivalence.

Walther Mayer & Leopold Vietoris | 1887–1948 / 1891–2002

Walther Mayer, an Austrian mathematician, served as Albert Einstein's assistant ("Einstein's calculator") at Princeton and worked extensively on combinatorial topology and tensor calculus. Leopold Vietoris, also Austrian, is famous both for his topological contributions — the Vietoris topology, Vietoris–Rips complexes used today in topological data analysis, and the Vietoris homology theory — and for his extraordinary longevity, dying at age 110. Around 1929–1930 Mayer, prompted by lectures and discussions with Vietoris, formulated the exact-sequence relation between the homology of a complex and that of two subcomplexes. Vietoris had developed the relevant homology machinery for general (non-triangulable) spaces. The synthesis of their work into the sequence that bears both names became one of the cornerstones of the homological-algebra revolution of the 1940s–50s.

Building Intuition

Think of $X$ as a country, $A$ and $B$ as two overlapping maps that together cover it, and homology classes as "loops/holes that cannot be filled." If you have a global loop on $X$, you can cut it where the two maps overlap. The pieces on map $A$ and map $B$ might each be open arcs (boundaries), but where you cut — in the overlap $A\cap B$ — you create endpoints. The connecting map $\partial$ remembers those endpoints as a cycle in the overlap. Exactness says: a global hole exists precisely when the overlap forces an obstruction that cannot be canceled by holes already present in $A$ or $B$. The sphere $S^n$ is the cleanest example: both hemispheres are contractible (no holes), yet their overlap is a homotopy $S^{n-1}$, and $\partial$ transports the $(n-1)$-dimensional hole of the equator up to the $n$-dimensional hole of the whole sphere.

Mayer–Vietoris decomposition of the circle $S^1$ into two arcs with two-component overlap

Worked Examples

Homology of the $n$-sphere by induction

1. Each of $A,B$ is homeomorphic to ${\mathbb{R}}^n$, hence contractible: ${\tilde{H}}_{\ast }(A)={\tilde{H}}_{\ast }(B)=0$.
2. $A\cap B=S^n\setminus \{2\text{ poles}\}$ deformation retracts onto the equator $S^{n-1}$.
3. The reduced sequence [4] in degree $n$ gives, since the $\oplus$ term vanishes,

1. So $\partial$ is an isomorphism: ${\tilde{H}}_n(S^n)\cong {\tilde{H}}_{n-1}(S^{n-1})$.
2. Base case $S^0$ (two points): ${\tilde{H}}_0(S^0)=\mathbb{Z}$, all else $0$. Induct.

Homology of the torus $T^2 = S^1\times S^1$

1. $A\simeq S^1$, $B\simeq S^1$, so $H_{\ast }(A)=H_{\ast }(B)=H_{\ast }(S^1)$.
2. $A\cap B\simeq S^1\bigsqcup S^1$, so $H_0={\mathbb{Z}}^2,H_1={\mathbb{Z}}^2$.
3. Write the sequence in low degrees ($G=\mathbb{Z}$):

1. The map $\phi :{\mathbb{Z}}^2\to {\mathbb{Z}}^2$ sends each of the two boundary circles to the same generator (both annuli wrap the longitude), so $\phi$ has rank 1; thus $\ker \phi \cong \mathbb{Z}$ and $\mathrm{coker}\phi \cong \mathbb{Z}$.
2. Therefore $H_2(T^2)=\ker \phi =\mathbb{Z}$; counting ranks gives $H_1(T^2)={\mathbb{Z}}^2$.

Common Misconceptions

Failure without the interior-cover condition

Take $X=\mathbb{R}$, $A=(-\infty ,0]$, $B=[0,\infty )$. These are closed, $X=A\cup B$, and $A\cap B=\{0\}$. Here $\mathrm{int}A=(-\infty ,0)$ and $\mathrm{int}B=(0,\infty )$, whose union is $\mathbb{R}\setminus \{0\}\ne \mathbb{R}$, so [1] fails at the single point $0$. In this benign case all spaces are contractible and the sequence still works by accident. But replace with a pathological pair where the overlap is not a deformation retract of a neighborhood (e.g. the topologist's sine curve glued to an arc), and the excision step Step 2 collapses: $C^{\mathcal{U}}\hookrightarrow C(X)$ need not be a homotopy equivalence, and the resulting "sequence" need not be exact. The lesson: closedness is not enough — you genuinely need open interiors to cover, or subspaces that admit collared/neighborhood-retract structure.

Connections

Mayer–Vietoris is the abelian, all-degrees shadow of Seifert–van Kampen Theorem, which computes ${\pi }_1$ from a two-piece cover (a pushout of groups rather than an exact sequence). Both are instances of descent / gluing. The sequence is the special case of the Spectral Sequence of an open cover (the Mayer–Vietoris / Čech–to–derived-functor spectral sequence) when the cover has only two elements. In sheaf theory it is precisely the long exact sequence associated to the short exact sequence $0\to \mathcal{F}\to j_{A\ast }\mathcal{F}\oplus j_{B\ast }\mathcal{F}\to j_{(A\cap B)\ast }\mathcal{F}\to 0$, linking it to Sheaf Cohomology and Čech Cohomology. In differential geometry the de Rham version connects it to de Rham Cohomology via partitions of unity, and the dual statement for compactly supported forms gives Poincaré Duality. It is also a corollary of the Eilenberg–Steenrod Axioms (excision + exactness of pairs), hence holds for any Generalized Homology Theory such as K-theory and cobordism.

Real-World Applications

1. Topological Data Analysis (TDA). Persistent homology of point clouds is often computed by covering data with overlapping balls (Vietoris–Rips/Čech complexes) and gluing local homology via Mayer–Vietoris, enabling distributed and parallel computation of barcodes.
2. Sensor network coverage (de Silva–Ghrist). Determining whether a region is fully covered by sensors uses homology of the nerve complex; Mayer–Vietoris glues local coverage data into a global obstruction in $H_{\ast }$.
3. Computational topology / mesh processing. Cohomology generators for texture mapping and vector-field design on surfaces are computed piecewise on mesh patches and assembled by Mayer–Vietoris.
4. Quantum field theory & cobordism. Topological field theories assign invariants to manifolds glued along boundaries; gluing formulas (e.g. for Seiberg–Witten and Donaldson invariants) are Mayer–Vietoris-type statements in Floer/instanton (co)homology.
5. Algebraic geometry / GAGA-type gluing. Cohomology of varieties built from affine charts (e.g. computing $H^{\ast }({\mathbb{CP}}^n)$) uses Mayer–Vietoris over a Zariski or analytic cover.
6. Electromagnetism on complicated domains. Finite-element solvers for Maxwell's equations need the cohomology of the air region (cuts/loops); these are computed by decomposing the domain and applying the de Rham Mayer–Vietoris sequence.
7. Robotics configuration spaces. Homology of configuration spaces of mechanisms (assembled from local coordinate patches) is computed by Mayer–Vietoris to detect topological obstructions to motion planning.

Historical Development

• 1895–1904: Henri Poincaré founds combinatorial topology and defines Betti numbers and torsion in Analysis Situs, providing the homological objects that the sequence will later relate.
• 1925–1926: Emmy Noether reframes homology in terms of groups and homomorphisms rather than numbers, making exact-sequence reasoning conceivable.
• 1929: Leopold Vietoris develops a homology theory for general metric (non-triangulable) spaces, introducing the limit/nerve techniques that underlie the gluing philosophy.
• 1929–1930: Walther Mayer, in correspondence and lectures with Vietoris in Vienna, formulates the exact relationship between the homology of a complex and of two subcomplexes — the prototype of the sequence.
• 1930s: The relation is used in special cases (spheres, projective spaces) but stated in cumbersome combinatorial language, without the modern notion of "exact sequence."
• 1941–1942: Witold Hurewicz, and independently others, sharpen the language of exact sequences; the term exact sequence enters usage.
• 1945: Samuel Eilenberg and Norman Steenrod axiomatize homology theory (Eilenberg–Steenrod axioms), from which Mayer–Vietoris follows formally from excision and the exact sequence of a pair.
• 1952: Eilenberg–Steenrod's Foundations of Algebraic Topology presents Mayer–Vietoris in its now-standard categorical form, valid for any homology theory.
• 1990s–2000s: Carlsson, Ghrist, de Silva, Edelsbrunner and others revive Vietoris's gluing ideas in persistent homology and TDA, returning the sequence to computational practice.

Subtleties & Limits

The two-piece sequence generalizes to arbitrary open covers via the Mayer–Vietoris (Čech) spectral sequence, but extracting closed-form homology from many overlapping pieces is genuinely hard: the spectral sequence may have nonzero higher differentials and nontrivial extension problems, both of which can obstruct mechanical computation. In persistent (co)homology, a fully functorial, stable Mayer–Vietoris formalism for persistence modules — controlling how barcodes glue with interleaving/stability guarantees — is an active research area; the relevant "exactness up to interleaving distance" statements are subtle and not yet a closed theory. For generalized homology theories with products (e.g. complex cobordism, $K$-theory) the multiplicative structure of the connecting map and its interaction with the cup/external product (the Mayer–Vietoris analogue of the cohomology ring's behavior under gluing) requires care; clean gluing formulas for ring structures are theory-dependent. Finally, the non-excisive case — pairs not satisfying [1], common in singular or stratified spaces — generally requires intersection homology or homotopy-coherent descent rather than the naive sequence.

See Also