Relative Homotopy Groups

In the field of algebraic topology, homotopy groups provide a powerful way to classify and understand the "shape" of topological spaces by detecting their multidimensional holes. However, these groups analyze a space in isolation. A more nuanced question often arises: how does the structure of a space $X$ relate to that of a subspace $A$ contained within it? What topological features emerge from this specific relationship? This article addresses this gap by introducing the concept of relative homotopy groups.

In the sections that follow, we will embark on a journey to understand these essential tools. We will first explore the "Principles and Mechanisms," where we define relative homotopy groups and uncover the elegant machinery of the long exact sequence that governs their behavior. Following this, under "Applications and Interdisciplinary Connections," we will witness these abstract concepts in action, demonstrating their crucial role in constructing complex spaces and providing profound insights into the symmetries and defects found in modern physics. Our exploration begins by defining what it means to measure topology relative to a subspace.

In our journey to understand the shape of space, we've met the homotopy groups, $\pi_n(X)$, which act as a sophisticated toolkit for detecting "holes" of various dimensions. An element of $\pi_n(X)$ is, essentially, a map of an $n$-sphere $S^n$ into our space $X$, with two such maps considered the same if one can be continuously deformed into the other. But what happens if we add a constraint to this game? What if we are not interested in the entire space $X$, but in the relationship between $X$ and a special region $A$ inside it? This is where the story of ​​relative homotopy groups​​ begins.

Imagine you are a sculptor. Your block of material is an $n$-dimensional hypercube, which we'll call $I^n$. Your task is to deform this cube and place it inside a vast gallery, our space $X$. The homotopy groups we've seen so far, $\pi_n(X)$, are like deforming an $n$-sphere, which is topologically a cube with its entire boundary collapsed to a single point.

Now, let's change the rules. Suppose the gallery $X$ has a special, roped-off area, a subspace $A$. The new rule is: when you map your cube $I^n$ into the gallery $X$, its entire boundary, $\partial I^n$, must land somewhere inside the special area $A$. To make things definite, we'll also require that one entire face of the cube is squashed down to a single point, our basepoint $x_0$, which lies in $A$.

The different shapes you can make, up to continuous wiggling (homotopy), while always respecting these boundary conditions, are the elements of the ​​$n$-th relative homotopy group​​, denoted $\pi_n(X, A)$. This group doesn't just describe $X$; it describes the interplay between $X$ and its subspace $A$. It captures the ways you can have a shape in $X$ whose "edges" are confined to $A$.

Nature, it seems, loves interconnectedness. And in mathematics, one of the most beautiful expressions of this is the ​​long exact sequence​​. For any pair of spaces $(X, A)$, there exists a marvelous, infinite chain that links the homotopy groups of $A$, the groups of $X$, and the new relative groups we've just defined. It looks like this:

This sequence is "exact," a term of art that carries a beautifully simple meaning: at every stage, the stuff that flows in is exactly the stuff that gets annihilated by the next map. More formally, the image of one homomorphism is precisely the kernel of the next. It’s like a series of perfectly engineered gears, where the output of one becomes the "neutral" input for the next. Nothing is lost, and no information is created from thin air. It's a closed system of information flow.

Let's look at the key players in this chain:

• The map $i_*: \pi_n(A) \to \pi_n(X)$ is the most straightforward. It just says that any sphere mapped into the subspace $A$ is, of course, also a sphere mapped into the larger space $X$. We're just "including" it.

• The map $j_*: \pi_n(X) \to \pi_n(X, A)$ takes a sphere in $X$ and views it as a relative map. Think of the sphere as a cube whose boundary is squashed to a point. Since that basepoint is in $A$, this map automatically satisfies the condition for being an element of $\pi_n(X, A)$.

• The map $\partial: \pi_n(X, A) \to \pi_{n-1}(A)$ is the most magical of all. It’s called the ​​boundary map​​ or ​​connecting homomorphism​​. It takes an element of $\pi_n(X, A)$—our cube in $X$ with its boundary in $A$—and focuses solely on its boundary. That boundary is an $(n-1)$-dimensional sphere, and the rules of the game forced it to be entirely within $A$. So, the boundary itself is an element of $\pi_{n-1}(A)$! This map brilliantly connects a relative group of dimension $n$ to an absolute group of dimension $n-1$.

The true power of this long exact sequence isn't just its existence, but what it reveals when we start feeding it simple cases.

What if our total space $X$ is "topologically boring"? That is, what if $X$ is ​​contractible​​, meaning it can be continuously shrunk to a single point? A solid disk $D^n$ is a classic example. A contractible space has no interesting holes, so all its homotopy groups $\pi_k(X)$ are trivial (the zero group, $\{0\}$) for $k \ge 1$.

Let's see what happens to our long exact sequence. The segment around $\pi_n(X,A)$ becomes:

Because the sequence is exact, the map $\partial$ must be both injective (its kernel is the image of the zero map) and surjective (its image is the kernel of the next zero map). A map that is both injective and surjective is an isomorphism! We have just discovered a profound relationship:

This is a spectacular result explored in problem. The relative group, which we thought depended on both $X$ and $A$, actually gives us direct access to the homotopy groups of the subspace $A$, just shifted by one dimension. For example, considering the pair of a 4-disk and its boundary 3-sphere, $(D^4, S^3)$, this principle immediately tells us that $\pi_5(D^4, S^3) \cong \pi_4(S^3)$. Since we know $\pi_4(S^3)$ is the two-element group $\mathbb{Z}_2$, we have computed a rather exotic-looking relative group with ease.

Now, let's flip the script. What if the subspace $A$ is contractible? For instance, let $X$ be a sphere $S^2$ and $A$ be its closed northern hemisphere, which is just a floppy disk. The long exact sequence now looks like this:

Once again, the laws of exactness force an isomorphism: $\pi_n(X, A) \cong \pi_n(X)$. This result from problem shows that if the subspace we're relativizing by is topologically trivial, the relative group just mirrors the homotopy group of the larger space. The constraint of having the boundary in $A$ wasn't much of a constraint at all.

These examples hint at a deeper truth: relative homotopy groups measure the "difference" between $X$ and $A$. They are the perfect tool for detecting what happens when we embed the space $A$ inside the larger space $X$.

Imagine $\pi_n(X, A)$ is trivial. What does that tell us? Looking back at our exact sequence, if $\pi_n(X, A) = \{0\}$, then the segment

tells us two things. First, the map $i_n$ must be surjective (its image is the whole kernel of the next map, which is all of $\pi_n(X)$). Second, the map $i_{n-1}$ must be injective (its kernel is the image of the previous map, which is $\{0\}$).

In plain English, a trivial $\pi_n(X, A)$ means that every $n$-dimensional hole in $X$ is just the image of a hole that was already in $A$ (surjectivity), and no $(n-1)$-dimensional holes in $A$ get "filled in" or become trivial when viewed inside $X$ (injectivity).

The ultimate expression of this idea is the Whitehead theorem. It connects two scenarios we've examined. If all the relative homotopy groups $\pi_k(X, A)$ are trivial for all $k \ge 1$, the long exact sequence forces the inclusion map $i_*: \pi_k(A) \to \pi_k(X)$ to be an isomorphism for every $k$. Conversely, if the inclusion $A \hookrightarrow X$ is a homotopy equivalence (meaning $A$ and $X$ are the "same" shape), then all its induced maps $i_*$ are isomorphisms, and the long exact sequence immediately implies that all the relative homotopy groups $\pi_k(X, A)$ must be trivial. So, the relative homotopy groups are precisely the ​​obstructions​​ to $A$ and $X$ being topologically the same. They are zero if and only if $A$ is already a "deformation retract" of $X$. They are the ultimate difference detectors.

While powerful, homotopy groups can be notoriously difficult to compute. Fortunately, there are bridges to other, more computable worlds. One such bridge is the ​​Relative Hurewicz Theorem​​. It connects our relative homotopy groups to ​​relative homology groups​​, $H_n(X, A)$, which are often much easier to calculate. The theorem states that if a pair $(X, A)$ satisfies certain connectivity conditions (specifically, if it's $(n-1)$-connected and $A$ is simply connected for $n \ge 2$), then the first non-trivial relative homotopy group is isomorphic to the corresponding relative homology group: $\pi_n(X, A) \cong H_n(X, A)$. This allows us to use the tools of algebra to compute topological invariants, as demonstrated in problem, where knowing $H_4(X, A)$ gives us $\pi_4(X, A)$ for free.

Finally, the structure we have uncovered is not just beautiful, but also robust. This is elegantly captured by the ​​Five Lemma​​. Imagine you have two pairs, $(X, A)$ and $(Y, B)$, and a map between them. This creates two long exact sequences, one for each pair, and the map induces vertical arrows between them, forming a ladder. The Five Lemma is a powerful piece of logic that says if the vertical maps on the "absolute" rungs of the ladder ($\pi_k(A) \to \pi_k(B)$ and $\pi_k(X) \to \pi_k(Y)$) are all isomorphisms, then the map on the "relative" rung in the middle ($\pi_k(X, A) \to \pi_k(Y, B)$) must also be an isomorphism.

This is a profound statement about the unity and rigidity of mathematical structure. It guarantees that the properties of our spaces and maps propagate in a consistent and predictable way through this intricate machinery. The relative homotopy groups are not just a clever definition; they are an integral part of a deep and interconnected web that helps us map the very fabric of shape.

In our journey so far, we have forged a new tool: the relative homotopy group. We have seen that for a space $X$ and a subspace $A$ nestled within it, the groups $\pi_n(X, A)$ act as a sophisticated lens, allowing us to focus precisely on the topological features that $X$ possesses but $A$ lacks. This is a wonderfully abstract idea, but what is its cash value? Where does this mathematical gadget connect with the world, with physics, with the very structure of other branches of mathematics?

It is one thing to invent a tool, and quite another to use it to build something marvelous or to understand something new. In this chapter, we shall see that relative homotopy groups are no mere curiosity for topologists. They are a master key, unlocking insights into the construction of spaces, the deep symmetries of nature, and even the imperfections that give our world its texture.

Imagine you are a cosmic architect, building a universe out of fundamental topological bricks. The simplest and most powerful way to construct complex shapes is to start with a foundation and attach higher-dimensional "cells"—disks of various dimensions. Let's say you have a space $A$ and you wish to attach an $n$-dimensional disk, $D^n$, by gluing its boundary sphere $S^{n-1}$ onto $A$. What have you actually added, topologically speaking?

Our intuition screams that we've added an "$n$-dimensional hole" of some sort. The relative homotopy group $\pi_n(X, A)$ makes this idea perfectly precise. In a remarkable and general result, it turns out that this group is isomorphic to the infinite cyclic group, $ℤ$.

This isn't just a formula; it's the signature of creation. It tells us that every time we attach an $n$-cell, we introduce exactly one new "generator" of $n$-dimensional relative homotopy. The elements of this group—the integers—essentially count how many times a map wraps around this new cell. This principle is the very heart of how mathematicians build and analyze CW complexes, which are the fundamental models for almost any space you can imagine.

To see this principle in its purest form, consider the simplest possible attachment: creating an $n$-disk $D^n$ from its own boundary, $S^{n-1}$. What is the relative group $\pi_n(D^n, S^{n-1})$? The machinery of the long exact sequence answers this with breathtaking elegance. It establishes a profound connection:

We already know that $\pi_{n-1}(S^{n-1}) \cong \mathbb{Z}$. So, the relative group $\pi_n(D^n, S^{n-1})$ is also $ℤ$. This tells us that the relative maps from a disk into itself are classified by how they map onto the boundary sphere—an idea that echoes through all of topology. Furthermore, this is no coincidence. A deep and beautiful result known as the Suspension Isomorphism reveals a hidden symmetry across dimensions, showing that $\pi_k(D^n, S^{n-1})$ is isomorphic to $\pi_{k+1}(D^{n+1}, S^n)$ for all $k$ and $n$. The patterns of topology repeat themselves in a harmonious, predictable way as we climb the ladder of dimensions.

The universe, as far as physicists can tell, is governed by symmetries. These symmetries are not just abstract rules but are described by mathematical objects called Lie groups—smooth spaces that are also groups. Relative homotopy provides a powerful language for understanding the structure of these groups and the physical theories built upon them.

Consider the group $SU(2)$, the mathematical description of quantum spin and one of the most fundamental objects in the Standard Model. Topologically, this group is identical to the 3-sphere, $S^3$. Within it sits a crucial subgroup, $U(1)$, which represents phase rotations in quantum mechanics and is topologically a circle, $S^1$. One might ask: what is the topological relationship between the full space of spin states and this restricted set of phase rotations?

The question is precisely framed by the relative homotopy group $\pi_2(SU(2), U(1))$. By identifying the spaces with their spherical counterparts, we seek to compute $\pi_2(S^3, S^1)$. The long exact sequence provides a swift and decisive answer: $\pi_2(S^3, S^1) \cong ℤ$. This non-trivial result reveals a rich topological structure relating the group to its subgroup, a structure that has implications for the classification of certain states and configurations in physical systems described by these symmetries.

This interplay between geometry and physics becomes even more striking when we consider more exotic structures like fiber bundles. The famous Hopf Fibration, for instance, reveals a stunning fact: the 3-sphere can be thought of as being "made of" circles ($S^1$ fibers) arranged over a 2-sphere ($S^2$ base). If we take the whole 3-sphere as our space $X$ and one of these fibers as our subspace $A=S^1$, we can again ask about the relative topology. By cleverly combining the long exact sequence of the pair $(S^3, S^1)$ with the long exact sequence of the Hopf fibration itself, we can compute groups that would otherwise be formidable. For instance, this method shows that the fourth relative homotopy group $\pi_4(S^3, S^1)$ is isomorphic to $\mathbb{Z}_2$, the group with two elements. This finite group points to a subtle "twist" in the structure, a topological feature of order two that is invisible to cruder tools.

These are not just games. The spaces that form the bedrock of modern theoretical physics—like the complex projective space $\mathbb{C}P^2$, a key player in string theory and quantum field theory—can be analyzed with these very tools. $\mathbb{C}P^2$ can be built by attaching a 4-cell to a 2-sphere. The relative homotopy group $\pi_4(\mathbb{C}P^2, S^2)$ therefore tells us about the essential 4-dimensional nature of this space. Whether by considering the space's cellular structure or by invoking the powerful Relative Hurewicz Theorem connecting homotopy to homology, the answer comes out the same: $\pi_4(\mathbb{C}P^2, S^2) \cong ℤ$,. This result is a fingerprint of the fundamental 4-dimensional cell from which the space is built.

Perfection is often sterile. It is the imperfections, the flaws, and the differences that give the world its character. Relative homotopy groups are exquisite detectors of such "imperfections" in the mathematical sense.

Suppose you have a subspace $A$ sitting inside a larger space $X$. How can you tell if $X$ is topologically "more" than $A$? The inclusion map $i: A \to X$ embeds $A$ in $X$. If this map were a homotopy equivalence, it would mean $A$ and $X$ are essentially the same shape. The relative homotopy groups $\pi_n(X, A)$ are precisely the things that detect the failure of this map to be an equivalence. If any of these groups are non-trivial, it is a definitive signal that $X$ contains topological features not present in $A$.

Consider the space $X = S^2 \times S^4$ and the subspace $A$ which is just the $S^2$ factor. Is $X$ just a "fattened" version of $S^2$, or is there something genuinely new? The long exact sequence shows that while the lower relative homotopy groups are trivial, $\pi_4(S^2 \times S^4, S^2)$ is isomorphic to $ℤ$. This group acts like a ringing bell, announcing that the 4-sphere factor contributes a new, essential 4-dimensional feature to the topology that cannot be compressed away or ignored. The relative group has detected the difference.

This role as a "defect detector" finds its most spectacular application in condensed matter physics. Think of a liquid crystal in a display screen. Its molecules are aligned in a particular way, defining an "ordered phase." The space of all possible orientations is called the order parameter space, often a space like $SO(3)/H$ where $H$ is a symmetry group.

Sometimes, a "domain wall" can form—a thin region where the material's symmetry is different from the bulk. For instance, the symmetry might be reduced from a group $D_4$ in the bulk to a smaller group $C_2$ inside the wall. Now, a physicist might ask: can stable, point-like defects (think of them as topological knots in the orientation field) exist only within this wall?

This is not a vague question; it is a question that relative homotopy is born to answer. The bulk states form a space $X=SO(3)/D_4$, and the states within the wall form a subspace $A=SO(3)/C_2$. Stable point defects trapped in the wall are classified by the second relative homotopy group, $\pi_2(X, A)$. The calculation, using the deep structure of these symmetry spaces, might show that the group is trivial, meaning no such stable defects can exist. Or it might be non-trivial, giving physicists a concrete prediction of new phenomena to look for. This same magnificent idea applies to classifying defects in superfluids, magnets, and even in the fabric of the early universe after the Big Bang.

From the abstract dance of spheres and cells to the tangible prediction of defects in a crystal, relative homotopy groups demonstrate the unifying power of mathematical thought. They show us that by asking precise questions about what makes a whole different from its parts, we can uncover the deepest structures of our world.