Profinite rigidity witnessed by Dehn fillings of cusped hyperbolic 3-manifolds

This paper establishes the profinite rigidity of various cusped finite-volume hyperbolic 3-manifolds, including specific link and knot complements, by demonstrating that profinite isomorphisms preserve Dehn fillings and utilizing this property to detect exceptional surgeries and characterizing slopes.

The Gist

Imagine you have a collection of incredibly complex, knotted 3D shapes floating in space. Mathematicians call these 3-manifolds. Some are solid, some have holes (like a donut), and some are "cusped," meaning they have tunnels that go off to infinity.

For a long time, mathematicians have asked a tricky question: If you only know the "fingerprint" of a shape's fundamental group (its DNA), can you identify the shape itself?

Usually, different shapes can have the same DNA. But sometimes, a shape is so unique that its DNA is a perfect match for only one specific shape. This is called Profinite Rigidity. If a shape is "profinitely rigid," it means: "If I give you the list of all its finite symmetries (its finite quotient groups), you can reconstruct the exact shape, no guessing required."

This paper, by Xiaoyu Xu, is like a master detective solving a series of cold cases. It proves that many specific, complex 3D shapes are indeed "profinitely rigid." Here is how the paper solves the mystery, explained simply.

The Main Trick: The "Dehn Filling" Puzzle

The paper's biggest breakthrough is a new detective technique involving Dehn Fillings.

The Analogy: The Swiss Cheese and the Plugs
Imagine a hyperbolic 3-manifold as a block of Swiss cheese with holes (cusps) going through it.

• Dehn Filling is the act of taking a specific "plug" (a slope) and gluing it into a hole to seal it shut.
• Depending on which plug you use, the resulting solid shape changes completely. Some plugs create a sphere, some create a donut, and some create a shape with a hidden "Klein bottle" (a weird, non-orientable surface) inside.

The Discovery:
The author proves a powerful rule: If two shapes have the same "DNA" (profinite completion), then their "plugged" versions must also have matching DNA.

Think of it like this: If two people have identical fingerprints, and you give them both the same set of identical Lego bricks to build a house, the resulting houses must also be structurally identical. You can't build a castle with one person's DNA and a spaceship with the other's if their DNA is the same.

This allows the mathematician to look at the "plugged" shapes. If the original shapes were mysterious, the plugged versions might be simple and well-known. By matching the plugged versions, the detective can prove the original shapes were the same all along.

The "Exceptional" Clues

Not all plugs work the same way. Most plugs create a standard hyperbolic shape. But a few special plugs (called Exceptional Slopes) create weird, non-hyperbolic shapes.

The paper uses these "weird" outcomes as fingerprints.

• The "Klein Bottle" Clue: Some plugs create a shape containing a Klein bottle (a surface that has no inside or outside, like a Möbius strip but closed).
• The "Toroidal" Clue: Some plugs create a shape with a hidden torus (donut) inside.

The author shows that the pattern of these weird plugs is unique to specific shapes. It's like saying: "Only the Whitehead Link has a hole that, when plugged with a '4' plug, creates a shape with a Klein bottle, and when plugged with a '0' plug, creates a donut. No other shape has this exact combination."

The Cast of Characters (The Rigids)

The paper proves that a whole family of these shapes are "profinitely rigid." Here are the stars of the show, described with analogies:

1. The Whitehead Link & Sister: Imagine two loops of string tangled in a very specific, symmetric way. The paper proves that if you have the DNA of this tangle, you know exactly which tangle it is.
2. The Twist Knots: Imagine taking a piece of string, twisting it $n$ times, and tying the ends. The paper proves that for almost every number of twists, the resulting knot is unique in the universe of 3D shapes.
3. The Pretzel Knots: These look like pretzels made of string. The paper shows that specific pretzel shapes are so unique that their DNA identifies them instantly.
4. The Berge Manifold: A complex shape related to braids. It's rigid, meaning it can't be confused with anything else.

Why This Matters

Before this paper, we knew a few shapes were rigid, but they were rare. This paper says, "Actually, rigidity is much more common than we thought."

It provides a recipe for proving rigidity:

1. Take a shape with holes.
2. Look at the "plugged" versions (Dehn fillings).
3. Find the "exceptional" plugs that create weird shapes (like those with Klein bottles).
4. Show that the pattern of these weird shapes is unique to your original shape.
5. If the pattern is unique, the original shape is Profinitely Rigid.

The Big Picture

The paper is a massive step forward in understanding the "DNA" of 3D space. It suggests that for almost all these complex, hyperbolic shapes, the finite symmetries contain the entire story of the shape.

In a nutshell:
If you have a 3D shape with holes, and you know all its finite symmetries, you can figure out exactly what the shape is, provided you know how it reacts when you plug its holes. This paper proves that for many famous knots and links, this "plug test" works perfectly, making them uniquely identifiable by their mathematical fingerprints.

Technical Summary

1. Problem Statement

The central problem addressed in this paper is profinite rigidity in the context of 3-manifold topology. Specifically, the author investigates whether the profinite completion of the fundamental group, denoted $\widehat{\pi_1 M}$, uniquely determines the homeomorphism type of a compact, orientable 3-manifold $M$ within a specific class.

While profinite rigidity is well-understood for certain geometries (e.g., Seifert fibered spaces) and known for a few closed hyperbolic 3-manifolds (e.g., the Weeks manifold), the general case for cusped finite-volume hyperbolic 3-manifolds remains largely open. The paper seeks to establish new criteria and examples of profinitely rigid cusped hyperbolic 3-manifolds, including knot and link complements, by leveraging the properties of their Dehn fillings.

2. Methodology

The paper employs a combination of profinite group theory, 3-manifold topology (specifically JSJ decomposition and hyperbolic geometry), and the theory of Dehn surgery. The core methodology relies on the following logical framework:

• Peripheral $\widehat{\mathbb{Z}}^\times$-regularity: Building on the work of Wilton and Zalesskii, the author utilizes the concept that any profinite isomorphism between cusped hyperbolic 3-manifolds respects the peripheral structure (the boundary tori) up to a unit in the profinite integers ($\widehat{\mathbb{Z}}^\times$).
• Profinite Detection of Dehn Fillings (Theorem A): The primary technical tool is the proof that if two cusped hyperbolic 3-manifolds $M$ and $N$ have isomorphic profinite completions ($\widehat{\pi_1 M} \cong \widehat{\pi_1 N}$), then their Dehn fillings along corresponding slopes are also profinitely isomorphic. Crucially, this isomorphism preserves the "peripheral structure" and maps exceptional slopes (slopes yielding non-hyperbolic fillings) to exceptional slopes.
• Classification of Exceptional Slopes: The author uses known classifications of exceptional Dehn fillings (e.g., toroidal fillings, non-aspherical fillings, fillings containing Klein bottles) to distinguish manifolds. By calculating the geometric intersection numbers ($\Delta$) between exceptional slopes, the paper identifies unique "fingerprints" for specific manifolds.
• Characterising Slopes for Knots: For knot complements, the paper introduces the concept of unoriented characterising slopes. If a slope $\alpha$ is characterising (meaning $J(\alpha) \cong K(\alpha)$ implies $J$ is isotopic to $K$ or its mirror), and the filled manifold $K(\alpha)$ is profinitely rigid, then the knot complement $S^3 \setminus K$ is profinitely rigid.

3. Key Contributions and Theoretical Results

A. Profinite Correspondence of Dehn Fillings (Theorem A)

The paper proves that for orientable cusped finite-volume hyperbolic 3-manifolds $M$ and $N$, if $\widehat{\pi_1 M} \cong \widehat{\pi_1 N}$, there exists a homeomorphism between their boundaries that induces a bijection on slopes such that the profinite completions of the resulting Dehn fillings are isomorphic.

• Significance: This allows the transfer of topological properties from the filled manifolds back to the original cusped manifolds. If the filled manifolds are distinct, the original manifolds must be distinct.

B. Profinite Rigidity of Exceptional Slopes

The author demonstrates that the profinite completion can detect specific types of exceptional Dehn fillings:

1. Non-aspherical fillings.
2. Toroidal fillings (containing incompressible tori).
3. Fillings containing embedded Klein bottles.
   By analyzing the set of exceptional slopes $E(M)$ and their geometric intersection numbers, the paper shows that these sets are profinite invariants.

C. Improved Criteria for Knot Rigidity

The paper refines the criteria for the profinite rigidity of knot complements (Theorem C and Corollary D). It establishes that if a hyperbolic (or hyperbolic-type satellite) knot $K$ has an unoriented characterising slope $\alpha$ such that the Dehn surgery $K(\alpha)$ is profinitely rigid among closed 3-manifolds, then the knot complement $S^3 \setminus K$ is profinitely rigid among all compact orientable 3-manifolds.

4. Main Results: Infinitely Many New Examples

The paper provides a comprehensive list of infinitely many profinitely rigid examples, categorized as follows:

1. Link Complements and Surgeries:

• Whitehead Link ($W$): The complement $S^3 \setminus W$ is profinitely rigid.
• Whitehead Sister Link ($WS$): The complement $S^3 \setminus WS$ is profinitely rigid.
• $3/10$ Two-Bridge Link ($L$): The complement is profinitely rigid.
• Specific Surgeries: The paper proves rigidity for specific Dehn surgeries on components of these links, including:
  • $5, -1, -2, -4, 5/2$-surgeries on the Whitehead link.
  • $n - 1/2$-surgeries on the $3/10$ link.
  • Surgeries on the link $L_B$ (Berge link).

2. Knot Complements:

• Twist Knots ($K_n$): For $n \in \mathbb{Z} \setminus \{0, 1\}$.
• Braid Knots ($J_n$): Defined by $\sigma_2^{-1}\sigma_1(\sigma_1\sigma_2)^{3n}$ for $n \in \mathbb{Z} \setminus \{-1, 0, 1\}$.
• Eudave-Muñoz Knots ($K(3, 1, n, 0)$): Including the Pretzel knot $P(-2, 3, 7)$.
• Pretzel Knots: $P(-3, 3, 2n+1)$.
• Specific Knots: The $5_2$ knot and the $15n43522$ knot.
• Satellite Knots: Whitehead doubles $W^\pm(T_{2,3}, 2)$.

3. Special Manifolds:

• The Berge Manifold: The complement of the link $L_A$.
• Manifold $M_{14}$: The double branched cover of $S^2 \times I$ along a specific tangle.

5. Significance and Impact

• Resolution of Specific Cases: The paper significantly expands the known list of profinitely rigid hyperbolic 3-manifolds, moving beyond the few known closed examples to a vast array of cusped manifolds and knot complements.
• Methodological Advancement: By establishing a robust link between the profinite completion of a cusped manifold and its Dehn fillings, the paper provides a powerful new technique for distinguishing manifolds. This shifts the problem from analyzing the complex fundamental group of the cusped manifold to analyzing the often simpler (or better classified) fundamental groups of its filled counterparts.
• Support for Conjectures: The results provide strong evidence for Conjecture 1.10, which posits that all cusped hyperbolic 3-manifolds are profinitely rigid among compact orientable 3-manifolds.
• Unification of Invariants: The work unifies the study of profinite rigidity with classical knot invariants (like Alexander polynomials) and geometric intersection numbers, showing how profinite data can recover specific geometric and topological features (e.g., distinguishing between a knot and its mirror image or identifying specific surgery coefficients).

In summary, Xiaoyu Xu's paper represents a major step forward in the classification of 3-manifolds via profinite groups, utilizing the geometry of Dehn fillings to prove rigidity for an infinite family of hyperbolic knots and links.