Here is an proof-sketch of a strengthened Gordon-Luecke theorem. This is presumably known, but is it written down somewhere? I am also curious if there is a pre-geometrization proof of this statement, in roughly this generality.

Theorem: Let $L$ be an $n$-component link in the 3-sphere. Let $M$ be the exterior of the link, i.e. $S^3 \setminus \nu L$ where $\nu L$ is an open tubular neighbourhood of $L$. Then there is a natural representation given by restricting diffeomorphisms to the boundary

$$\pi_0 Diff(M) \to \pi_0 Diff(\partial M).$$

This representation has infinite image if and only if the link $L$ contains a split unknot, or a split Hopf link.

Notation: $Diff(M)$ means to the full group of diffeomorphisms of the knot exterior, so $\pi_0 Diff(M)$ means isotopy-classes, i.e. the mapping class group. Similarly $\pi_0 Diff(\partial M)$ is the mapping class group of the boundary, i.e. a disjoint union of tori. So this group is the wreath product $\Sigma_n \wr GL_2 \mathbb Z$, i.e. one can permute tori and act by automorphisms of tori.

Proof: The unknot exterior is $S^1 \times D^2$ and the Hopf link exterior is $S^1 \times S^1 \times I$, and both admit mapping-classes of infinite order -- generalized Dehn twists.

So what remains to be shown is that if a link does not have one of these as split sublinks, then the representation is of finite order.

The idea is to prove it using geometrization.

For links whose exteriors are Seifert-fibered manifolds this is a direct computation using the Seifert data and their mapping class groups.

For hyperbolic links the mapping class group is finite, so the image is finite.

For satellite links, we can take the subgroup of finite index that preserves all the 3-manifolds in the JSJ-decomposition, and these are Seifert-fibered or hyperbolic link exteriors, so the result follows from the previous two steps. Lastly, unknot and Hopf link exteriors do not arise via torus splittings i.e. the JSJ decomposition.

Off the top of my head the only extensions to Gordon-Luecke that I know of concern the question of if two distinct links can have diffeomorphic complements. While this is related to my question, it only would appear to be "in the neighbourhood" and not really on exactly the same topic.

$\DeclareMathOperator\Diff{Diff}\DeclareMathOperator\GL{GL}$Here is an proof-sketch of a strengthened Gordon-Luecke theorem. This is presumably known, but is it written down somewhere? I am also curious if there is a pre-geometrization proof of this statement, in roughly this generality.

Theorem: Let $L$ be an $n$-component link in the 3-sphere. Let $M$ be the exterior of the link, i.e. $S^3 \setminus \nu L$ where $\nu L$ is an open tubular neighbourhood of $L$. Then there is a natural representation given by restricting diffeomorphisms to the boundary

$$\pi_0 \Diff(M) \to \pi_0 \Diff(\partial M).$$

This representation has infinite image if and only if the link $L$ contains a split unknot, or a split Hopf link.

Notation: $\Diff(M)$ means to the full group of diffeomorphisms of the knot exterior, so $\pi_0 \Diff(M)$ means isotopy-classes, i.e. the mapping class group. Similarly $\pi_0 \Diff(\partial M)$ is the mapping class group of the boundary, i.e. a disjoint union of tori. So this group is the wreath product $\GL_2 \mathbb Z\wr\Sigma_n$, i.e. one can permute tori and act by automorphisms of tori.

Proof: The unknot exterior is $S^1 \times D^2$ and the Hopf link exterior is $S^1 \times S^1 \times I$, and both admit mapping-classes of infinite order — generalized Dehn twists.

So what remains to be shown is that if a link does not have one of these as split sublinks, then the representation is of finite order.

The idea is to prove it using geometrization.

For links whose exteriors are Seifert-fibered manifolds this is a direct computation using the Seifert data and their mapping class groups.

For hyperbolic links the mapping class group is finite, so the image is finite.

For satellite links, we can take the subgroup of finite index that preserves all the 3-manifolds in the JSJ-decomposition, and these are Seifert-fibered or hyperbolic link exteriors, so the result follows from the previous two steps. Lastly, unknot and Hopf link exteriors do not arise via torus splittings i.e. the JSJ decomposition.

Off the top of my head the only extensions to Gordon-Luecke that I know of concern the question of if two distinct links can have diffeomorphic complements. While this is related to my question, it only would appear to be "in the neighbourhood" and not really on exactly the same topic.

Here is an proof-sketch of a strengthened Gordon-Luecke theorem. This is presumably known, but is it written down somewhere? I am also curious if there is a pre-geometrization proof of this statement, in roughly this generality.

Theorem: Let $L$ be an $n$-component link in the 3-sphere. Let $M$ be the exterior of the link, i.e. $S^3 \setminus \nu L$ where $\nu L$ is an open tubular neighbourhood of $L$. Then there is a natural representation given by restricting diffeomorphisms to the boundary

$$\pi_0 Diff(M) \to \pi_0 Diff(\partial M).$$

This representation has infinite image if and only if the link $L$ contains a split unknot, or a split Hopf link.

Notation: $Diff(M)$ means to the full group of diffeomorphisms of the knot exterior, so $\pi_0 Diff(M)$ means isotopy-classes, i.e. the mapping class group. Similarly $\pi_0 Diff(\partial M)$ is the mapping class group of the boundary, i.e. a disjoint union of tori. So this group is the wreath product $\Sigma_n \wr GL_2 \mathbb Z$, i.e. one can permute tori and act by automorphisms of tori.

Proof: The unknot exterior is $S^1 \times D^2$ and the Hopf link exterior is $S^1 \times S^1 \times I$, and both admit mapping-classes of infinite order -- generalized Dehn twists.

So what remains to be shown is that if a link does not have one of these as split sublinks, then the representation is of finite order.

The idea is to prove it using geometrization.

For links whose exteriors are Seifert-fibered manifolds this is a direct computation using the Seifert data and their mapping class groups.

For hyperbolic links the mapping class group is finite, so the image is finite.

For satellite links, we can take the subgroup of finite index that preserves all the 3-manifolds in the JSJ-decomposition, and these are Seifert-fibered or hyperbolic link exteriors, so the result follows from the previous two steps. Lastly, unknot and Hopf link exteriors to not arise via torus splittings i.e. the JSJ decomposition.

Off the top of my head the only extensions to Gordon-Luecke that I know of concern the question of if two distinct links can have diffeomorphic complements. While this is related to my question, it only would appear to be "in the neighbourhood" and not really on exactly the same topic.

Here is an proof-sketch of a strengthened Gordon-Luecke theorem. This is presumably known, but is it written down somewhere? I am also curious if there is a pre-geometrization proof of this statement, in roughly this generality.

Theorem: Let $L$ be an $n$-component link in the 3-sphere. Let $M$ be the exterior of the link, i.e. $S^3 \setminus \nu L$ where $\nu L$ is an open tubular neighbourhood of $L$. Then there is a natural representation given by restricting diffeomorphisms to the boundary

$$\pi_0 Diff(M) \to \pi_0 Diff(\partial M).$$

This representation has infinite image if and only if the link $L$ contains a split unknot, or a split Hopf link.

Notation: $Diff(M)$ means to the full group of diffeomorphisms of the knot exterior, so $\pi_0 Diff(M)$ means isotopy-classes, i.e. the mapping class group. Similarly $\pi_0 Diff(\partial M)$ is the mapping class group of the boundary, i.e. a disjoint union of tori. So this group is the wreath product $\Sigma_n \wr GL_2 \mathbb Z$, i.e. one can permute tori and act by automorphisms of tori.

Proof: The unknot exterior is $S^1 \times D^2$ and the Hopf link exterior is $S^1 \times S^1 \times I$, and both admit mapping-classes of infinite order -- generalized Dehn twists.

So what remains to be shown is that if a link does not have one of these as split sublinks, then the representation is of finite order.

The idea is to prove it using geometrization.

For links whose exteriors are Seifert-fibered manifolds this is a direct computation using the Seifert data and their mapping class groups.

For hyperbolic links the mapping class group is finite, so the image is finite.

For satellite links, we can take the subgroup of finite index that preserves all the 3-manifolds in the JSJ-decomposition, and these are Seifert-fibered or hyperbolic link exteriors, so the result follows from the previous two steps. Lastly, unknot and Hopf link exteriors do not arise via torus splittings i.e. the JSJ decomposition.

Off the top of my head the only extensions to Gordon-Luecke that I know of concern the question of if two distinct links can have diffeomorphic complements. While this is related to my question, it only would appear to be "in the neighbourhood" and not really on exactly the same topic.