Dehn filling and the knot group I: Realization Property

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Ito, Tetsuya, Motegi, Kimihiko, Teragaito, Masakazu
Natura: Preprint
Pubblicazione: 2023
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866911028391968768
author Ito, Tetsuya
Motegi, Kimihiko
Teragaito, Masakazu
author_facet Ito, Tetsuya
Motegi, Kimihiko
Teragaito, Masakazu
contents Each $r$-Dehn filling of the exterior $E(K)$ of a knot $K$ in $S^3$ produces a $3$-manifold $K(r)$, and induces an epimorphism from the knot group $G(K) = π_1(E(K))$ to $π_1(K(r))$, which trivializes elements in its kernel. To each element $g \in G(K)$, consider all the non-trivial Dehn fillings and assign $\mathcal{S}_K(g) = \{ r \in \mathbb{Q} \mid \textrm{$r$-Dehn filling trivializes}\ g \}$ $\subset \mathbb{Q}$. Which subsets of $\mathbb{Q}$ can occur as $\mathcal{S}_K(g)$? Property P concerns this question and gives a fundamental result which asserts that the emptyset can be realized by $\mathcal{S}_K(μ)$ for the meridian $μ$ of $K$. Suppose that $K$ is a hyperbolic knot. Then $\mathcal{S}_K(g)$ is known to be finite for all non-trivial elements $g \in G(K)$. We prove that generically, for instance, if $K$ has no exceptional surgery, then any finite (possibly empty) family of slopes $\mathcal{R} = \{ r_1, . . . , r_n \}$ can be realized by $\mathcal{S}_K(g)$ for some element $g \in G(K)$. Furthermore, there are infinitely many, mutually non-conjugate such elements, each of which is not conjugate to any power of $g$. We also provide an example showing that the above realization property does not hold unconditionally.
format Preprint
id arxiv_https___arxiv_org_abs_2303_15738
institution arXiv
publishDate 2023
record_format arxiv
spellingShingle Dehn filling and the knot group I: Realization Property
Ito, Tetsuya
Motegi, Kimihiko
Teragaito, Masakazu
Geometric Topology
Group Theory
57M05, 57K10, 57K30, 57M07, 20F65
Each $r$-Dehn filling of the exterior $E(K)$ of a knot $K$ in $S^3$ produces a $3$-manifold $K(r)$, and induces an epimorphism from the knot group $G(K) = π_1(E(K))$ to $π_1(K(r))$, which trivializes elements in its kernel. To each element $g \in G(K)$, consider all the non-trivial Dehn fillings and assign $\mathcal{S}_K(g) = \{ r \in \mathbb{Q} \mid \textrm{$r$-Dehn filling trivializes}\ g \}$ $\subset \mathbb{Q}$. Which subsets of $\mathbb{Q}$ can occur as $\mathcal{S}_K(g)$? Property P concerns this question and gives a fundamental result which asserts that the emptyset can be realized by $\mathcal{S}_K(μ)$ for the meridian $μ$ of $K$. Suppose that $K$ is a hyperbolic knot. Then $\mathcal{S}_K(g)$ is known to be finite for all non-trivial elements $g \in G(K)$. We prove that generically, for instance, if $K$ has no exceptional surgery, then any finite (possibly empty) family of slopes $\mathcal{R} = \{ r_1, . . . , r_n \}$ can be realized by $\mathcal{S}_K(g)$ for some element $g \in G(K)$. Furthermore, there are infinitely many, mutually non-conjugate such elements, each of which is not conjugate to any power of $g$. We also provide an example showing that the above realization property does not hold unconditionally.
title Dehn filling and the knot group I: Realization Property
topic Geometric Topology
Group Theory
57M05, 57K10, 57K30, 57M07, 20F65
url https://arxiv.org/abs/2303.15738