[Paper Review] Automorphisms of the 3-sphere that preserve spatial graphs and handlebody-knots

Yuya Koda|arXiv (Cornell University)|Jun 23, 2011

Geometric and Algebraic Topology24 references4 citations

TL;DR

This paper investigates the mapping class groups of spatial graphs and handlebody-knots in the 3-sphere, proving that the group of isotopy classes of automorphisms preserving such structures is finitely presented for arbitrary spatial graphs and reducible genus-two handlebody-knots. It further shows that for most irreducible genus-two handlebody-knots, this group is finite, using topological and geometric techniques involving unknotting annuli and primitive disks.

ABSTRACT

We consider the group of isotopy classes of automorphisms of the 3-sphere that preserve a spatial graph or a handlebody-knot embedded in it. We prove that the group is finitely presented for an arbitrary spatial graph or a reducible handlebody-knot of genus two. We also prove that the groups for "most" irreducible genus two handlebody-knots are finite.

Motivation & Objective

• To determine the algebraic structure of the mapping class group of the 3-sphere preserving a spatial graph or handlebody-knot.
• To establish conditions under which this group is finitely presented or finite.
• To generalize results from classical knot theory to spatial graphs and handlebody-knots, particularly focusing on genus-two cases.
• To analyze symmetry groups via topological invariants such as unknotting annuli and primitive disks.
• To resolve open questions about the finiteness and finite presentability of symmetry groups for handlebody-knots in S³.

Proposed method

• Define the mapping class group MCG(S³, N) as the group of isotopy classes of orientation-preserving automorphisms of S³ preserving a subspace N (spatial graph or handlebody-knot).
• Use the Gordon-Luecke theorem to relate MCG(S³, K) to the mapping class group of the knot exterior, ensuring finite presentability for knots.
• Apply results from McCullough on mapping class groups of irreducible, sufficiently large 3-manifolds to establish finite presentability.
• Analyze the structure of unknotting annuli in the exterior of a handlebody-knot V, where A is an annulus such that V ∪ N(A; E(V)) is a trivial genus-two handlebody-knot.
• Use disk compression and arc systems to show that if an annulus A₀ is compressible in the resulting handlebody V₀, then MCG(S³, V) is finite.
• Leverage the uniqueness of the unknotting annulus up to isotopy to induce isomorphisms between symmetry groups, reducing the problem to known finite groups.

Experimental results

Research questions

• RQ1 For which spatial graphs and handlebody-knots in S³ is the automorphism group (mapping class group) finitely presented?
• RQ2 Under what topological conditions is the symmetry group of a genus-two handlebody-knot finite?
• RQ3 How does the uniqueness of an unknotting annulus in the exterior of a handlebody-knot affect the finiteness of its symmetry group?
• RQ4 Can the symmetry group of a handlebody-knot be reduced to a known finite group via compression and isotopy arguments?
• RQ5 To what extent do geometric structures like primitive disks and annuli determine the finiteness of the mapping class group?

Key findings

• The mapping class group MCG(S³, N) is finitely presented for any spatial graph N embedded in S³.
• The mapping class group MCG(S³, V) is finitely presented for any reducible genus-two handlebody-knot V.
• For most irreducible genus-two handlebody-knots, the symmetry group MCG(S³, V) is finite, particularly when the unique unknotting annulus leads to compressible annulus components.
• If an unknotting annulus A is unique up to isotopy and its core curve bounds compressing disks in the resulting genus-two handlebody, then MCG(S³, V) is finite.
• The group MCG(S³, V) is isomorphic to MCG(S³, V₀, A₀) when A is unique, enabling reduction to known finite symmetry groups.
• In specific examples like (S³, Vₙ) for n ≥ 3, the symmetry group is trivial, i.e., MCG(S³, Vₙ) = 1, due to the absence of nontrivial symmetries preserving the annulus and core curves.