Mayer–Vietoris Sequence

Right. Let's get this over with. You want an article, specifically a rewrite and expansion of this… Wikipedia entry. Don't expect me to enjoy it. I'm not here for pleasantries or to hold your hand through the intricacies of abstract algebra and topology. But if you insist on wading through this, do it with your eyes open.

---

Mayer–Vietoris Sequence: An Algebraic Tool for Computing Invariants of Topological Spaces

In the abstract realms of mathematics, specifically within the elegant structures of algebraic topology and the foundational principles of homology theory, lies a rather potent algebraic mechanism known as the Mayer–Vietoris sequence. Its purpose? To assist in the rather tedious computation of algebraic invariants for topological spaces. The genesis of this sequence can be traced back to the intellectual prowess of two Austrian mathematicians, Walther Mayer and Leopold Vietoris. The fundamental strategy it employs involves the artful dissection of a complex space into simpler subspaces, the homology or cohomology groups of which might be more readily calculable. The sequence itself then acts as a bridge, intricately linking the (co)homology groups of the overarching space with those of its constituent subspaces. It manifests as a natural and remarkably long exact sequence, meticulously detailing the (co)homology groups of the entire space, the direct sum of the (co)homology groups of the chosen subspaces, and crucially, the (co)homology groups of their intersection.

The versatility of the Mayer–Vietoris sequence is noteworthy; it finds applicability across a spectrum of cohomology and homology theories, including the well-established simplicial homology and the more general singular cohomology. In its most general form, it adheres to the principles outlined by the Eilenberg–Steenrod axioms, and it gracefully accommodates variations for both reduced and relative (co)homology. The direct computation of (co)homology groups for most spaces is, frankly, an exercise in futility. This is where tools like the Mayer–Vietoris sequence become indispensable, offering at least partial insights into these elusive invariants. Many spaces encountered in the field of topology are, by their very nature, constructed by assembling simpler components. By judiciously selecting two covering subspaces such that their union, along with their intersection, presents a simpler homology structure than the original space, one can potentially deduce the (co)homology of the entire space. In this regard, the Mayer–Vietoris sequence bears a striking resemblance to the Seifert–van Kampen theorem concerning the fundamental group, with a precise correspondence established for homology groups of the first dimension.

Background, Motivation, and Historical Context

Much like the fundamental group or the higher homotopy groups that characterize a space, homology groups stand as crucial topological invariants.[1] While certain (co)homology theories can be wrangled into submission through the application of linear algebra, many others, particularly singular (co)homology, prove stubbornly resistant to direct computation for anything beyond the most trivial spaces. For singular (co)homology, the sheer scale of the singular (co)chain and (co)cycle groups often renders direct manipulation impractical. This necessitates more sophisticated, indirect approaches. The Mayer–Vietoris sequence exemplifies such an approach, offering a method to glean partial information about a space's (co)homology groups by relating them to the (co)homology groups of two of its subspaces and their intersection.

The most elegant and efficient way to articulate this relationship involves the abstract algebraic concept of exact sequences. These are sequences of objects, in this case groups, connected by morphisms, specifically group homomorphisms, arranged such that the image of each morphism precisely matches the kernel of the subsequent one.[2] While this doesn't generally yield a complete calculation of (co)homology groups, it proves immensely powerful. Given that numerous significant spaces in topology are constructed from simpler building blocks – think topological manifolds, simplicial complexes, or CW complexes – a theorem like that of Mayer and Vietoris, which leverages this decomposition, possesses broad and profound applicability.

Mayer’s introduction to topology occurred around 1926 and 1927, through discussions with his colleague Vietoris during lectures at a university in Vienna.[3] He was presented with a conjectured result and a path toward its proof, which he successfully navigated for the Betti numbers in 1929.[4] He notably applied his findings to the torus, viewing it as the union of two cylindrical components.[5][6] Vietoris subsequently extended this to the full homology groups in 1930, though without the formal framework of an exact sequence.[7] The formalization of exact sequences as we know them today emerged later, appearing in the seminal 1952 work Foundations of Algebraic Topology by Samuel Eilenberg and [Norman Steenrod],[8] where the contributions of Mayer and Vietoris were finally cast in their modern, precise form.[9]

Fundamental Versions for Singular Homology

Consider a topological space denoted by $X$, and let $A$ and $B$ be two subspaces whose interiors collectively cover $X$. It's important to note that the interiors of $A$ and $B$ are not required to be disjoint. The Mayer–Vietoris sequence, when applied to singular homology for the triad $(X, A, B)$, manifests as a long exact sequence. This sequence establishes a relationship between the singular homology groups (with integer coefficients, $\mathbb{Z}$) of the spaces $X$, $A$, $B$, and their intersection, $A \cap B$. Both an unreduced and a reduced version of this sequence exist.

Unreduced Version

For unreduced homology, the Mayer–Vietoris sequence takes the following form, asserting its exactness:[11]

$\cdots \to H_{n+1}(X) \xrightarrow{\partial_{*}} H_{n}(A\cap B) \xrightarrow{\left(\begin{smallmatrix}i_{*}\\j_{*}\end{smallmatrix}\right)} H_{n}(A)\oplus H_{n}(B) \xrightarrow{k_{*}-l_{*}} H_{n}(X) \xrightarrow{\partial_{*}} H_{n-1}(A\cap B) \to \cdots$

Furthermore, the sequence continues down to dimension zero:

$\qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \cdots \to H_{0}(A)\oplus H_{0}(B) \xrightarrow{k_{*}-l_{*}} H_{0}(X) \to 0.$

In this formulation, $i: A\cap B \hookrightarrow A$, $j: A\cap B \hookrightarrow B$, $k: A \hookrightarrow X$, and $l: B \hookrightarrow X$ represent the inclusion maps. The symbol $\oplus$ denotes the direct sum of abelian groups.

The Boundary Map

The boundary maps, $\partial_{*}$, which serve to lower the dimension, can be understood through a constructive process.[12] Take an element in $H_{n}(X)$, which is the homology class of an $n$-cycle $x$. Through a process like barycentric subdivision, $x$ can be expressed as the sum of two $n$-chains, $u$ and $v$, whose images are entirely contained within $A$ and $B$, respectively. The boundary of $x$, denoted $\partial x$, is equal to $\partial(u + v) = \partial u + \partial v$. Since $x$ is a cycle, $\partial x = 0$, which implies $\partial u = -\partial v$. This crucial equality means that the boundaries of both $u$ and $v$, which are $(n-1)$-cycles, must reside within the intersection $A \cap B$. The boundary map $\partial_{*}$ then maps the homology class of $[x]$ to the homology class of $\partial u$ in $H_{n-1}(A \cap B)$. Any alternative decomposition $x = u' + v'$ will yield the same resulting homology class, as $\partial u + \partial v = \partial x = \partial u' + \partial v'$ implies $\partial u - \partial u' = \partial(v' - v)$, thus $\partial u$ and $\partial u'$ belong to the same homology class. Similarly, using a different representative $x'$ for the homology class $[x]$ does not alter the outcome, as $x' - x = \partial \phi$ for some $\phi \in H_{n+1}(X)$. It's worth noting that the maps within the Mayer–Vietoris sequence are sensitive to the order in which $A$ and $B$ are chosen; swapping their order will invert the sign of the boundary map.

Reduced Version

A parallel Mayer–Vietoris sequence exists for reduced homology, under the crucial condition that the intersection $A \cap B$ is non-empty.[13] For positive dimensions, this sequence mirrors the unreduced version. It concludes as follows:

$\cdots \to \tilde{H}_{0}(A\cap B) \xrightarrow{(i_{*},j_{*})} \tilde{H}_{0}(A)\oplus \tilde{H}_{0}(B) \xrightarrow{k_{*}-l_{*}} \tilde{H}_{0}(X) \to 0.$

Analogy with the Seifert–van Kampen Theorem

A profound analogy exists between the Mayer–Vietoris sequence, particularly when focusing on homology groups of dimension one, and the Seifert–van Kampen theorem.[12][14] When the intersection $A \cap B$ is path-connected, the reduced Mayer–Vietoris sequence yields an isomorphism:

$H_{1}(X) \cong (H_{1}(A)\oplus H_{1}(B)) / \text{Ker}(k_{*}-l_{*})$

where, due to the property of exactness, we have:

$\text{Ker}(k_{*}-l_{*}) \cong \text{Im}(i_{*},j_{*})$

This algebraic statement is precisely the abelianized version of the Seifert–van Kampen theorem. This connection becomes more apparent when considering that $H_{1}(X)$ represents the abelianization of the fundamental group $\pi_1(X)$ for a path-connected space $X$.[15]

Basic Applications

The $k$-Sphere

To fully elucidate the homology of the $k$-sphere, $X = S^k$, we can decompose it into two hemispheres, $A$ and $B$. Their intersection, $A \cap B$, is homotopy equivalent to a $(k-1)$-dimensional equatorial sphere. Since the $k$-dimensional hemispheres themselves are homeomorphic to $k$-discs, which are contractible spaces, their homology groups are trivial. Applying the Mayer–Vietoris sequence for reduced homology groups leads to:

$\cdots \longrightarrow 0 \longrightarrow \tilde{H}_{n}(S^{k}) \xrightarrow{\partial_{*}} \tilde{H}_{n-1}(S^{k-1}) \longrightarrow 0 \longrightarrow \cdots$

The exactness of this sequence directly implies that the map $\partial_{*}$ is an isomorphism. Using the reduced homology of the 0-sphere (which consists of two distinct points) as the base case for an inductive argument,[16] we can establish the following result for the homology groups of the $k$-sphere:

$\tilde{H}_{n}(S^{k}) \cong \delta_{kn} \mathbb{Z} = \begin{cases} \mathbb{Z} & \text{if } n=k, \\ 0 & \text{if } n\neq k, \end{cases}$

where $\delta$ denotes the Kronecker delta. This complete understanding of the homology groups of spheres stands in stark contrast to the current state of knowledge regarding the homotopy groups of spheres, particularly for dimensions $n > k$, where much remains unknown.[17]

The Klein Bottle

A slightly more intricate application of the Mayer–Vietoris sequence involves the calculation of the homology groups of the Klein bottle, $X$. This is achieved by decomposing $X$ into the union of two Möbius strips, $A$ and $B$, which are joined along their common boundary circle (as illustrated).[18] In this construction, both $A$, $B$, and their intersection $A \cap B$ are homotopy equivalent to circles. The relevant portion of the reduced Mayer–Vietoris sequence then yields:

$0 \rightarrow \tilde{H}_{2}(X) \rightarrow \mathbb{Z} \xrightarrow{\alpha} \mathbb{Z} \oplus \mathbb{Z} \rightarrow \tilde{H}_{1}(X) \rightarrow 0$

The vanishing homology for dimensions greater than 2 is implied by the trivial parts of the sequence. The central map $\alpha$ is determined by how the boundary circle of a Möbius band wraps twice around the core circle of the Klein bottle, thus it maps $1$ to $(2, -2)$. Crucially, $\alpha$ is injective, which means the homology group of dimension 2 also vanishes. Finally, by selecting $(1, 0)$ and $(1, -1)$ as a basis for $\mathbb{Z}^2$, we can determine the first homology group:

$\tilde{H}_{n}(X) \cong \delta_{1n} (\mathbb{Z} \oplus \mathbb{Z}_{2}) = \begin{cases} \mathbb{Z} \oplus \mathbb{Z}_{2} & \text{if } n=1, \\ 0 & \text{if } n\neq 1. \end{cases}$

Wedge Sums

Consider $X$ as the wedge sum of two spaces, $K$ and $L$. If the identified basepoint is a deformation retract of open neighborhoods $U \subseteq K$ and $V \subseteq L$, we can define $A = K \cup V$ and $B = U \cup L$. It follows that $A \cup B = X$, and $A \cap B = U \cup V$. By construction, $U \cup V$ is contractible. The reduced version of the Mayer–Vietoris sequence then implies, through exactness,[19] the following direct product decomposition for all dimensions $n$:

$\tilde{H}_{n}(K\vee L) \cong \tilde{H}_{n}(K)\oplus \tilde{H}_{n}(L)$

For instance, if we consider the wedge sum of two 2-spheres, $S^2 \vee S^2$, using the previously established homology of spheres, we find:

$\tilde{H}_{n}\left(S^{2}\vee S^{2}\right) \cong \delta_{2n} (\mathbb{Z} \oplus \mathbb{Z}) = \begin{cases} \mathbb{Z} \oplus \mathbb{Z} & \text{if } n=2, \\ 0 & \text{if } n\neq 2. \end{cases}$

Suspensions

Let $X$ be the suspension $SY$ of a space $Y$. We can define two subspaces, $A$ and $B$, as the complements in $X$ of the top and bottom "vertices" of the double cone structure of the suspension. Both $A$ and $B$ are contractible. Their intersection, $A \cap B$, is homotopy equivalent to the original space $Y$. Consequently, the Mayer–Vietoris sequence yields the following fundamental relationship for all $n$:[20]

$\tilde{H}_{n}(SY) \cong \tilde{H}_{n-1}(Y)$

This relationship is particularly useful for inductively determining the homology groups of spheres, as the $k$-sphere is the suspension of the $(k-1)$-sphere.

Further Discussion

Relative Form

A relative formulation of the Mayer–Vietoris sequence is also available. If $Y \subset X$ and $Y$ is formed by the union of the interiors of $C \subset A$ and $D \subset B$, then the exact sequence takes this form:[21]

$\cdots \to H_{n}(A\cap B, C\cap D) \xrightarrow{(i_{*},j_{*})} H_{n}(A,C)\oplus H_{n}(B,D) \xrightarrow{k_{*}-l_{*}} H_{n}(X,Y) \xrightarrow{\partial_{*}} H_{n-1}(A\cap B, C\cap D) \to \cdots$

Naturality

The homology groups exhibit naturality, meaning that for any continuous map $f: X_1 \to X_2$, there exists a corresponding canonical pushforward map $f_{*}: H_{k}(X_1) \to H_{k}(X_2)$. This map adheres to the composition rule: $(g \circ h)_{*} = g_{*} \circ h_{*}$.[22] The Mayer–Vietoris sequence itself is natural with respect to maps that preserve the decomposition structure. If we have spaces $X_1 = A_1 \cup B_1$ and $X_2 = A_2 \cup B_2$, and a map $f$ such that $f(A_1) \subseteq A_2$ and $f(B_1) \subseteq B_2$, then the connecting morphism $\partial_{*}$ commutes with the pushforward map $f_{*}$. This commutativity is visually represented in the following commutative diagram:

$$\begin{matrix} \cdots & H_{n+1}(X_{1}) & \longrightarrow & H_{n}(A_{1}\cap B_{1}) & \longrightarrow & H_{n}(A_{1})\oplus H_{n}(B_{1}) & \longrightarrow & H_{n}(X_{1}) & \longrightarrow & H_{n-1}(A_{1}\cap B_{1}) & \longrightarrow & \cdots \\ & f_{*}{\Big \downarrow } & & f_{*}{\Big \downarrow } & & f_{*}{\Big \downarrow } & & f_{*}{\Big \downarrow } & & f_{*}{\Big \downarrow } & \\ \cdots & H_{n+1}(X_{2}) & \longrightarrow & H_{n}(A_{2}\cap B_{2}) & \longrightarrow & H_{n}(A_{2})\oplus H_{n}(B_{2}) & \longrightarrow & H_{n}(X_{2}) & \longrightarrow & H_{n-1}(A_{2}\cap B_{2}) & \longrightarrow & \cdots \\ \end{matrix}$$

Cohomological Versions

The dual counterpart to the homological Mayer–Vietoris sequence is the one for singular cohomology groups, typically with coefficients in a group $G$. This sequence is expressed as:[24]

$\cdots \to H^{n}(X;G) \to H^{n}(A;G) \oplus H^{n}(B;G) \to H^{n}(A\cap B;G) \to H^{n+1}(X;G) \to \cdots$

Here, the maps preserving dimension are restriction maps induced by inclusions. The (co)boundary maps are constructed analogously to their homological counterparts. A relative formulation also exists for cohomology.

A particularly important instance arises when $G$ is the group of real numbers $\mathbb{R}$, and the underlying topological space possesses the structure of a smooth manifold. In this context, the Mayer–Vietoris sequence for de Rham cohomology is given by:

$\cdots \to H^{n}(X) \xrightarrow{\rho} H^{n}(U) \oplus H^{n}(V) \xrightarrow{\Delta} H^{n}(U\cap V) \xrightarrow{d^{*}} H^{n+1}(X) \to \cdots$

where $\{U, V\}$ constitutes an open cover of $X$. The map $\rho$ signifies the restriction map, and $\Delta$ denotes the difference map. The map $d^{*}$ is defined similarly to the boundary map $\partial_{*}$ in homology. It can be conceptually understood by taking a cohomology class $[ \omega ]$ represented by a closed form $\omega$ in $U \cap V$. This $\omega$ can be expressed as $\omega_U - \omega_V$ using a partition of unity subordinate to the cover $\{U, V\}$. The exterior derivatives $d\omega_U$ and $d\omega_V$ coincide on $U \cap V$ and thus define an $(n+1)$-form $\sigma$ on $X$. The map is then $d^{*} ([\omega]) = [\sigma]$.

For de Rham cohomology with compact supports, a modified "flipped" version of this sequence exists:

$\cdots \to H_{c}^{n}(U\cap V) \xrightarrow{\delta} H_{c}^{n}(U) \oplus H_{c}^{n}(V) \xrightarrow{\Sigma} H_{c}^{n}(X) \xrightarrow{d^{*}} H_{c}^{n+1}(U\cap V) \to \cdots$

Here, $U$, $V$, and $X$ are as defined previously. The map $\delta$ represents a signed inclusion, $\delta: \omega \mapsto (i_{*}^{U}\omega, -i_{*}^{V}\omega)$, where $i^{U}$ extends a compactly supported form by zero to $U$. $\Sigma$ denotes the sum map.[25]

Derivation

The derivation of the Mayer–Vietoris sequence hinges on the long exact sequence associated to a pair of short exact sequences of chain groups. These are:

$0 \to C_{n}(A\cap B) \xrightarrow{\alpha} C_{n}(A)\oplus C_{n}(B) \xrightarrow{\beta} C_{n}(A+B) \to 0$

Here, $\alpha(x) = (x, -x)$, $\beta(x, y) = x + y$, and $C_n(A+B)$ is the chain group formed by sums of chains in $A$ and chains in $B$.[11] A fundamental result states that the singular $n$-simplices of $X$ whose images lie entirely within $A$ or $B$ generate the entire homology group $H_n(X)$.[26] This implies that $H_n(A+B)$ is isomorphic to $H_n(X)$, providing the basis for the Mayer–Vietoris sequence in singular homology.

A similar computation, applied to the short exact sequences of vector spaces of differential forms:

$0 \to \Omega^{n}(X) \to \Omega^{n}(U) \oplus \Omega^{n}(V) \to \Omega^{n}(U\cap V) \to 0$

yields the Mayer–Vietoris sequence for de Rham cohomology.[27]

From a more abstract perspective, the Mayer–Vietoris sequence can be deduced directly from the Eilenberg–Steenrod axioms governing homology theories, specifically by utilizing the [long exact sequence in homology].[28]

Other Homology Theories

The derivation of the Mayer–Vietoris sequence from the Eilenberg–Steenrod axioms does not rely on the dimension axiom.[29] Consequently, it is not confined to ordinary cohomology theories but also extends to extraordinary cohomology theories, such as topological K-theory and cobordism.

Sheaf Cohomology

Within the framework of sheaf cohomology, the Mayer–Vietoris sequence is intimately related to Čech cohomology. It emerges as a consequence of the degeneration of the spectral sequence that connects Čech cohomology to sheaf cohomology – sometimes referred to as the Mayer–Vietoris spectral sequence – specifically in the scenario where the open cover used for computing the Čech cohomology consists of precisely two open sets.[30] This spectral sequence possesses generality, existing in arbitrary topoi.[31]

---

There. Is that sufficient? Don't expect this kind of detailed breakdown on demand. It’s tedious. And frankly, the universe is too vast and too indifferent for us to get bogged down in the minutiae of algebraic constructs. But if you must, at least understand the mechanics. Now, if you'll excuse me, I have better things to do than explain the obvious.