Brunnian links of 3-balls in the 4-sphere

This paper constructs infinitely many $n$-component Brunnian links of 3-balls in the 4-sphere for each integer $n \ge 2$ by utilizing and providing a new proof for a result concerning splitting spheres for trivial two-component links of 2-spheres.

The Gist

Here is an explanation of the paper "Brunnian Links of 3-Balls in the 4-Sphere" using simple language, analogies, and metaphors.

The Big Picture: Tangled Balloons in a Fourth Dimension

Imagine you are holding a bunch of balloons. In our normal 3D world, if you tie two balloons together with a string, they are linked. If you cut the string, they separate.

Now, imagine a special kind of knot called a Brunnian Link. Think of the "Borromean Rings" (three interlocked rings). If you have three rings, and you remove any one of them, the other two instantly fall apart. They are linked only because all three are present together.

This paper is about creating these "Borromean" knots, but with a twist:

1. The Objects: Instead of simple rings (1D), we are using 3D balls (like solid spheres of jelly).
2. The Space: Instead of our 3D world, these balls are floating in a 4th-dimensional space (the 4-sphere, or $S^4$).
3. The Goal: The authors prove that you can make infinitely many different versions of these tangled 3D balls that look the same if you take one away, but are actually completely different when you look at the whole group.

---

The Main Characters

1. The 3-Balls and Their "Shadows"

Imagine a 3D ball (a solid sphere) floating in 4D space. It has a surface, which is a 2D sphere (like the skin of a beach ball).

• The Link: The authors take $n$ of these 3D balls. They arrange them so their surfaces (the "shadows" or boundaries) are linked in a Brunnian way.
• The Trick: If you remove any single ball, the remaining balls become "unlinked" (they can be pulled apart without cutting). But if you keep all of them, they are permanently tangled.

2. The "Magic Wands" (Diffeomorphisms)

To create these knots, the authors use a tool called a Barbell Diffeomorphism.

• The Analogy: Imagine a "barbell" shape made of two weights (spheres) connected by a bar.
• The Action: The authors perform a magical "spin" or "twist" on the 4D space around this barbell. It's like taking a piece of dough, twisting it around a specific axis, and then smoothing it out.
• The Result: This twist doesn't change the shape of the space itself, but it rearranges how the 3D balls sit inside it. By doing this twist in different ways (using different "magic wands"), they create different knots.

3. The "Splitting Sphere" (The Detective)

How do we know two knots are actually different? If you just look at them, they might look identical. The authors use a mathematical "detective" tool called a Splitting Sphere.

• The Analogy: Imagine a giant, invisible soap bubble (a 3-sphere) that you can blow up in 4D space.
• The Test: You try to blow this bubble so that it separates the first ball from the rest.
  • In a normal, unlinked situation, you can easily blow a bubble that separates them.
  • In the authors' new knots, the "magic twist" makes it impossible to blow a simple bubble that separates them in the same way.
• The Proof: The authors proved that for every different "magic twist" they used, the "bubble" needed to separate the balls looks different. This proves the knots are truly unique.

---

How They Did It (The Recipe)

The paper follows a logical recipe to build these infinite knots:

1. Start Simple: They begin with a known, simple setup: two 3D balls that are unlinked.
2. Apply the Twist: They use the "Barbell" tool to twist the space around the balls. They do this with a specific parameter, let's call it $k$ (where $k$ is a number like 4, 5, 6...).
3. Check the Result: They check if the new tangle is different from the old one.
   • They use a technique called Covering Spaces. Imagine taking a map of a city and making a copy of it that wraps around the original city multiple times.
   • When they look at their knots in this "wrapped" 4D world, the different twists ($k=4$ vs $k=5$) leave different "fingerprints."
4. The Brunnian Property: They prove that if you take away any one ball, the magic twist disappears (or cancels out), and the remaining balls become unlinked again. This confirms they are Brunnian.

Why This Matters

• New Math: Before this, we knew about Brunnian links in 3D (rings) and some in 4D (spheres), but creating infinitely many distinct Brunnian links of solid 3D balls in 4D was a breakthrough.
• The "Infinite" Factor: It's not just that you can make one; you can make an endless variety of them, each unique in a way that standard math tools couldn't distinguish before.
• The Tool: They used a powerful new "detective" method (the splitting sphere result by the third author) to prove these knots are different. This method is so strong it can tell the difference between knots that look exactly the same to the naked eye.

Summary Metaphor

Imagine you have a set of invisible, solid 3D ghosts floating in a 4D room.

• If you take away any one ghost, the others float freely and unconnected.
• But if all ghosts are present, they are locked together in a complex dance.
• The authors found a way to choreograph this dance in infinitely many different ways.
• To prove the dances are different, they used a special 4D camera (the splitting sphere) that takes a photo of the "space" between the ghosts. The photos for each dance are unique, proving that no two dances are the same, even though they all share the same "take one away, and they fall apart" rule.

This paper is a triumph of 4D topology, showing us that the universe of knots in higher dimensions is far richer and more complex than we previously imagined.

Technical Summary

Here is a detailed technical summary of the paper "Brunnian Links of 3-Balls in the 4-Sphere" by Seungwon Kim, Geehyun Nahm, and Alison Tatsuoka.

1. Problem Statement and Context

The paper addresses a fundamental question in 4-dimensional topology: the existence and classification of Brunnian links of 3-balls in the 4-sphere ($S^4$).

• Brunnian Links: A link is Brunnian if the entire link is non-trivial (not isotopic to the unlink), but the removal of any single component renders the remaining link trivial.
• The Object: The authors focus on links where the components are 3-balls ($B^3$) embedded in $S^4$, rather than the more commonly studied 1-dimensional knots or 2-spheres. The boundary of each 3-ball is a 2-sphere ($S^2$).
• The Gap: While Budney and Gabai (2021) had previously constructed infinitely many knotted 3-balls in $S^4$, the existence of infinitely many distinct Brunnian links of 3-balls for any number of components $n \geq 2$ was an open problem.

Main Theorem (Theorem 1.2): For every integer $n \geq 2$, there exist infinitely many pairwise non-isotopic $n$-component Brunnian links of 3-balls in $S^4$.

2. Methodology and Tools

The authors employ a combination of geometric constructions and algebraic invariants to distinguish these links.

A. Barbell Diffeomorphisms

The core construction tool is the barbell diffeomorphism, originally introduced by Budney and Gabai.

• Construction: A "barbell" consists of two disjoint 2-spheres (cuffs) connected by an arc (bar) in a 4-manifold.
• Mechanism: By performing an "arc-spinning" isotopy (spinning one arc around another) within a neighborhood of the barbell, one generates a diffeomorphism of the ambient manifold that is the identity on the boundary.
• Implantation: These local diffeomorphisms are "implanted" into $S^4$ along specific embeddings. The authors utilize a specific infinite family of such diffeomorphisms, denoted $\delta_k$ (and $\delta'_k$), defined on $S^1 \times B^3$.

B. Splitting Spheres and Double Branched Covers

To prove that the constructed links are distinct and Brunnian, the authors rely on the existence of splitting spheres.

• Definition: A splitting sphere $\Sigma$ for a 2-component link $K_1 \sqcup K_2$ is an embedded $S^3$ in $S^4$ that separates the two components.
• Key Tool (Theorem 1.4 / Theorem 3.5): The paper proves (and provides a new proof for) the result that there are infinitely many non-isotopic splitting spheres for the trivial 2-component link of 2-spheres in $S^4$.
• Detection via Covering Spaces: The authors distinguish these splitting spheres by lifting them to the double branched cover of $S^4$ along the link. For a trivial 2-component 2-link, this cover is $S^1 \times S^3$.
• The $W_3$ Invariant: In the cover $S^1 \times S^3$, the authors use the $W_3$ invariant (defined by Budney and Gabai) to detect non-isotopy. They show that the lifts of the splitting spheres correspond to non-isotopic non-separating 3-spheres in $S^1 \times S^3$ with distinct $W_3$ values.

C. Inductive Construction (Bing Doubling)

For the general case $n \geq 2$, the construction is motivated by Bing doubling.

• The authors construct diffeomorphisms of $S^4$ by pushing forward the barbell maps $\delta_k$ along specific loops in the complement of the unlink.
• For $n$ components, they use an inductive argument involving cyclic branched covers. To distinguish an $n$-component link, they consider an $m$-fold cyclic branched cover over one component, reducing the problem to distinguishing $(n-1)$-component links in the cover (which is again $S^4$).

3. Key Results

Theorem 4.1 (The $n=2$ Case)

The authors first construct an infinite family of 2-component Brunnian links of 3-balls.

• Construction: They take a trivial 2-link $K_1 \sqcup K_2$ and spanning 3-balls $B_1, B_2$. They define a diffeomorphism $\gamma_k = r_k \circ b_{k,1} \circ b_{k,2}$, where $r_k$ pushes forward $\delta_k$ along a loop linking both components, and $b_{k,i}$ pushes forward $\delta_{k-1}$ along loops linking individual components.
• Brunnian Property: Removing $B_2$ allows the loop $r$ to be isotoped away from $B_1$, canceling the effect of the diffeomorphism on $B_1$ (and vice versa). Thus, the sub-links are trivial.
• Non-triviality: The full link is non-trivial because the diffeomorphism $\gamma_k$ acts non-trivially on the splitting sphere $\Sigma = \partial N(B_1)$. The action of $\gamma_k$ on $\Sigma$ is detected by the $W_3$ invariant in the double branched cover.

Theorem 4.2 (The General $n \geq 2$ Case)

The authors generalize the construction to $n$ components.

• Construction: Using a loop $\eta$ in the complement of the $n$-component unlink, they define a diffeomorphism $\eta_k$ by pushing forward $\delta_k$ along $\eta$.
• Inductive Proof: They prove by induction on $n$ that the resulting links are Brunnian and pairwise non-isotopic.
  • Brunnian: Removing any component $B_i$ allows the loop $\eta$ to be isotoped into a 4-ball disjoint from the remaining components, trivializing the link.
  • Non-isotopic: They use an $m$-fold cyclic branched cover over the $n$-th component. The lift of the link in this cover reduces the problem to the $(n-1)$-component case, which is non-trivial by the induction hypothesis.

4. Significance and Contributions

1. Existence of Infinite Families: The paper definitively establishes that for any $n \geq 2$, there are infinitely many distinct Brunnian links of 3-balls in $S^4$. This expands the known landscape of high-dimensional knot theory beyond single knotted balls.
2. New Proof of Splitting Sphere Results: The authors provide a new, self-contained proof of the existence of infinitely many non-isotopic splitting spheres for the trivial 2-link in $S^4$ (Theorem 1.4). This result is crucial not only for this paper but potentially for other problems involving 4-manifold topology.
3. Methodological Innovation: The paper effectively combines barbell diffeomorphisms with branched covering techniques and the $W_3$ invariant. This synthesis provides a robust framework for distinguishing high-dimensional links that are locally trivial but globally complex.
4. Connection to 5-Manifolds: Remark 1.5 highlights that while these links are distinct in $S^4$, they become isotopic if pushed into the 5-ball ($B^5$). This underscores the specific rigidity and complexity inherent to 4-dimensional topology.
5. Independent Verification: The paper notes that the $n=2$ case was independently proved by Niu (2026) using a generalization of the $W_3$ invariant, validating the main result through a slightly different methodological path.

In summary, this work resolves the existence of Brunnian links of 3-balls in $S^4$ by constructing explicit infinite families and developing a sophisticated toolkit involving barbell diffeomorphisms and branched covers to distinguish them.