Let L be a link in the 3-sphere that is in thin position but not in bridge position and let P be a thin level sphere. We generalize a result of Wu by giving a bound on the number of disjoint irreducible compressing disks that P can have, including identifying thin spheres with unique compressing disks. We also give conditions under which P must be incompressible on a particular side or be weakly incompressible. If P is strongly compressible we describe how a pair of compressing disks must lie relative to the link.
A bridge sphere is said to be keen weakly reducible if it admits a unique pair of disjoint compressing disks on opposite sides. In particular, such a bridge sphere is weakly reducible, not perturbed, and not topologically minimal in the sense of David Bachman. In terms of Jennifer Schultens' width complex, a link in bridge position with respect to a keen weakly reducible bridge sphere is distance one away from a local minimum. In this paper, we give infinitely many examples of keen weakly reducible bridge spheres for links in $b$ bridge position for $b \geq 4.$
Wu has shown that if a link or a knot $L$ in $S^3$ in thin position has thin spheres, then the thin sphere of lowest width is an essential surface in the link complement. In this paper we show that if we further assume that $L \subset S^3$ is prime, then the thin sphere of lowest width also does not have any vertical cut-disks. We also prove the result for a specific kind of tangles in $S^2 \times [-1,1]$.
Many noncompact hyperbolic 3-manifolds are topologically complements of links in the 3-sphere. Generalizing to dimension 4, we construct a dozen examples of noncompact hyperbolic 4-manifolds, all of which are topologically complements of varying numbers of tori and Klein bottles in the 4-sphere. Finite covers of some of those manifolds are then shown to be complements of tori and Klein bottles in other simply-connected closed 4-manifolds. All the examples are based on a construction of Ratcliffe and Tschantz, who produced 1171 noncompact hyperbolic 4-manifolds of minimal volume. Our examples a…
We give examples of non-fibered hyperbolic knot complements in homology spheres that are not commensurable to fibered knot complements in homology spheres. In fact, we give many examples of knot complements in homology spheres with the property that every commensurable knot complement in a homology sphere has non-monic Alexander polynomial.
Let $M$ be a hyperbolic 3-manifold with no rank two cusps admitting an embedding in $\mathbb S^3$. Then, if $M$ admits an exhaustion by $π_1$-injective sub-manifolds there exists cantor sets $C_n\subset \mathbb S^3$ such that $N_n=\mathbb S^3\setminus C_n$ is hyperbolic and $N_n\rightarrow M$ geometrically.
We investigate great circle links in the three-sphere, the class of links where each component is a great circle. Using the geometry of their complements, we classify such links up to five components. For any two-bridge knot complement, there is a finite cover that is the complement of a link of great circles in $S^3$. We show that for many two-bridge knots, this cover contains a closed incompressible surface. Infinitely many fillings of the two-bridge knot lift to fillings of great circle link where the incompressibility of this surface is preserved. Using this, we show that infinitely many f…
The purpose of this note is to announce complete answers to the following questions. (1) For an essential simple loop on a 2-bridge sphere in a 2-bridge link complement, when is it null-homotopic in the link complement? (2) For two distinct essential simple loops on a 2-bridge sphere in a 2-bridge link complement, when are they homotopic in the link complement? We also announce applications of these results to character varieties and McShane's identity.
For every N > 0 there exists a group of deficiency less than -N that arises as the fundamental group of a smooth homology 4-sphere and also as the fundamental group of the complement of a compact contractible submanifold of the 4-sphere. A group is the fundamental group of the complement of a contractible submanifold of the n-sphere, n > 4, if and only if it is the fundamental group of a homology n-sphere. There exist fundamental groups of homology n-spheres, n > 4, that cannot arise as the fundamental group of the complement of a contractible submanifold of the 4-sphere.
Let $K$ denote a knot inside the homology sphere $Y$ and $K'$ denote a knot inside a homology sphere $L$-space. Let $X=Y(K,K')$ denote the 3-manifold obtained by splicing the complements of $K$ and $K'$. We show that $\text{rank}(\widehat{HF}(X)) \ge \text{rank}(\widehat{HF}(Y))$.
In this paper we look at the knot complement problem for L-space $\mathbb{Z}$-homology spheres. We show that an L-space $\mathbb{Z}$-homology sphere $Y$ cannot be obtained as a non-trivial surgery along a knot $K\subset Y$. As a consequence, we prove that knots in an L-space $\mathbb{Z}$-homology sphere are determined by their complements.
We show that given a trivalent graph in $S^3$, either the graph complement contains an essential almost meridional planar surface or thin position for the graph is also bridge position. This can be viewed as an extension of a theorem of Thompson to graphs. It follows that any graph complement always contains a useful planar surface.
In this paper and its two sequels, we give a necessary and sufficient condition for two essential simple loops on a 2-bridge sphere in a 2-bridge link complement to be homotopic in the link complement. This paper treats the case when the 2-bridge link is a $(2,p)$-torus link, where more cases of homotopy arise, and its sequels will treat the remaining cases.
This is the second of a series of papers which give a necessary and sufficient condition for two essential simple loops on a 2-bridge sphere in a 2-bridge link complement to be homotopic in the link complement. The first paper of the series treated the case of the 2-bridge torus links. In this paper, we treat the case of 2-bridge links of slope $n/(2n+1)$ and $(n+1)/(3n+2)$, where $n \ge 2$ is an arbitrary integer.
Mathematical Institute, University of Oxford（牛津大学数学研究所）；School of Mathematics and Physics, The University of Queensland（昆士兰大学数理学院）；School of Mathematics and Statistics, University of Melbourne（墨尔本大学数理统计学院）；School of Mathematics and Statistics, The University of Sydney（悉尼大学数理统计学院）；School of Mathematics, Monash University（蒙纳士大学数学学院）
We prove that there are compact submanifolds of the 3-sphere whose interiors are not homeomorphic to any geometric limit of hyperbolic knot complements.
In this paper we investigate the question of when different surgeries on a knot can produce identical manifolds. We show that given a knot in a homology sphere, unless the knot is quite special, there is a bound on the number of slopes that can produce a fixed manifold that depends only on this fixed manifold and the homology sphere the knot is in. By finding a different bound on the number of slopes, we show that non-null-homologous knots in certain homology $\mathbb{R}P^3$'s are determined by their complements. We also prove the surgery characterisation of the unknot for null-homologous knot…
We show that the integer homology sphere obtained by splicing two nontrivial knot complements in integer homology sphere L-spaces has Heegaard Floer homology rank strictly greater than one. In particular, splicing the complements of nontrivial knots in the 3-sphere never produces an L-space. The proof uses bordered Floer homology.
Let $K$ be an unknot in $8$-bridge position in the $3$-sphere. We give an example of a pair of weak reducing disks $D_1$ and $D_2$ for $K$ such that both disks obtained from $D_i$ ($i = 1, 2$) by a surgery along any outermost disk in $D_{3-i}$, cut off by an outermost arc of $D_i \cap D_{3-i}$ in $D_{3-i}$, are not weak reducing disks, i.e. the property of weak reducibility of compressing disks is not preserved by a disk surgery.
We study trivalent graphs in $S^{3}$ whose closed complement is a genus two handlebody. We show that such a graph, when put in thin position, has a simple (i. e. non-loop) level edge.
This is the last of a series of papers which give a necessary and sufficient condition for two essential simple loops on a 2-bridge sphere in a 2-bridge link complement to be homotopic in the link complement. The first paper of the series treated the case of the 2-bridge torus links, and the second paper treated the case of 2-bridge links of slope $n/(2n+1)$ and $(n+1)/(3n+2)$, where $n \ge 2$ is an arbitrary integer. In this paper, we first treat the case of 2-bridge links of slope $n/(mn+1)$ and $(n+1)/((m+1)n+m)$, where $m \ge 3$ is an arbitrary integer, and then treat the remaining cases b…
Using techniques from the theory of Kirby calculus we give an explicit construction of a four dimensional hyperbolic link complement in a 4-manifold that is diffeomorphic to the standard 4-sphere.
Murasugi sums can be defined as readily for Morse maps to the circle of (arbitrary) link complements in the 3-sphere as for fibrations over the circle of (fibered) link complements in the 3-sphere. As one application, I show that if a knot K has free genus m, then there is a Morse map from its complement to the circle (representing the relative homology class of a Seifert surface for K) with no more than 4m critical points.
This paper is a survey of some of the most elementary consequences of the JSJ-decomposition and geometrization for knot and link complements in the 3-sphere. Formulated in the language of graphs, the result is the construction of a bijective correspondence between the isotopy classes of links in $S^3$ and a class of vertex-labelled, finite acyclic graphs, called companionship graphs. This construction can be thought of as a uniqueness theorem for Schubert's `satellite operations.' We identify precisely which graphs are companionship graphs of knots and links respectively. We also describe how …
We prove that in the complement of a highly twisted link, all closed, essential, meridionally incompressible surfaces must have high genus. The genus bound is proportional to the number of crossings per twist region. A similar result holds for surfaces with meridional boundary: such a surface either has large negative Euler characteristic, or is an n-punctured sphere visible in the diagram.
We give upper bounds of the Matveev complexities of two-bridge link complements by constructing their spines explicitly. In particular, we determine the complexities for an infinite sequence of two-bridge links corresponding to the continued fractions of the form [2,1,...,1,2]. We also give upper bounds for the 3-manifolds obtained as meridian-cyclic branched coverings of the 3-sphere along two-bridge links.
We show that essential punctured spheres in the complement of links with distance three bridge spheres have bounded complexity. We define the operation of tangle product, a generalization of both connected sum and Conway product. Finally, we use the bounded complexity of essential punctured spheres to show that the bridge number of a tangle product is at least the sum of the bridge numbers of the two factor links up to a constant error.
First, we extend Otal's result for the trivial knot to trivial spatial graphs, namely, we show that for any bridge tangle decomposing sphere $S^2$ for a trivial spatial graph $Γ$, there exists a 2-sphere $F$ such that $F$ contains $Γ$ and $F$ intersects $S^2$ in a single loop. Next, we introduce two invariants for spatial graphs. As a generalization of the bridge number for knots, we define the {\em bridge string number} $bs(Γ)$ of a spatial graph $Γ$ as the minimal number of $|Γ\cap S^2|$ for all bridge tangle decomposing sphere $S^2$. As a spatial version of the representativity for a graph …
We generalize the results of [AS], finding large classes of totally geodesic Seifert surfaces in hyperbolic knot and link complements, each the lift of a rigid 2-orbifold embedded in some hyperbolic 3-orbifold. In addition, we provide a uniqueness theorem and demonstrate that many knots cannot possess totally geodesic Seifert surfaces by giving bounds on the width invariant in the presence of such a surface. Finally, we utilize these examples to demonstrate that the Six Theorem is sharp for knot complements in the 3-sphere.
The classical knot groups are the fundamental groups of the complements of smooth or piecewise-linear (PL) locally-flat knots. For PL knots that are not locally-flat, there is a pair of interesting groups to study: the fundamental group of the knot complement and that of the complement of the ``boundary knot'' that occurs around the singular set, the set of points at which the embedding is not locally-flat. If a knot has only point singularities, this is equivalent to studying the groups of a PL locally-flat disk knot and its boundary sphere knot; in this case, we obtain a complete classificat…
We construct a family of hyperbolic link complements by gluing tangles along totally geodesic four-punctured spheres, then investigate the commensurability relation among its members. Those with different volume are incommensurable, distinguished by their scissors congruence classes. Mutation produces arbitrarily large finite subfamilies of nonisometric manifolds with the same volume and scissors congruence class. Depending on the choice of mutation, these manifolds may be commensurable or incommensurable, distinguished in the latter case by cusp parameters. All have trace field Q(i,\sqrt{2}),…
We give a complete characterization of those essential simple loops on 2-bridge spheres of 2-bridge links which are null-homotopic in the link complements. By using this result, we describe all upper-meridian-pair-preserving epimorphisms between 2-bridge link groups.
The hyperbolic volume of a link complement is known to be unchanged when a half-twist is added to a link diagram, and a suitable 3-punctured sphere is present in the complement. We generalize this to the simplicial volume of link complements by analyzing the corresponding toroidal decompositions. We then use it to prove a refined upper bound for the volume in terms of twists of various lengths for links.
Let $Σ$ be a simply connected rational homology sphere. A pair of disjoint closed submanifolds $M_+, M_-$ in $Σ$ are called dual to each other if the complement $Σ- M_+$ strongly homotopy retracts onto $M_-$ or vice-versa. In this paper we will give a complete answer of which integral triples $(n; m_+, m_-)$ can appear, where $n=dim Σ-1$, $m_+={codim}M_+ -1$ and $m_-={codim}M_- -1$.
Let $K$ denote a knot inside the homology sphere $Y$. The zero-framed longitude of $K$ gives the complement of $K$ in $Y$ the structure of a bordered three-manifold, which may be denoted by $Y(K)$. We compute the quasi-isomorphism type of the bordered Floer complex of $Y(K)$ in terms of the knot Floer complex associated with $K$. As a corollary, we show that if a homology sphere has the same Heegaard Floer homology as $S^3$ it does not contain any incompressible tori. Consequently, if $Y$ is an irreducible homology sphere $L$-space then $Y$ is either $S^3$, or the Poicaré sphere $Σ(2,3,5)$, or…
Let $f:S^2\to \mathbb{R}$ be a Morse function on the $2$-sphere and $K$ be a connected component of some level set of $f$ containing at least one saddle critical point. Then $K$ is a $1$-dimensional CW-complex cellularly embedded into $S^2$, so the complement $S^2\setminus K$ is a union of open $2$-disks $D_1,\ldots, D_k$. Let $\mathcal{S}_{K}(f)$ be the group of isotopic to the identity diffeomorphisms of $S^2$ leaving invariant $K$ and also each level set $f^{-1}(c)$, $c\in\mathbb{R}$. Then each $h\in \mathcal{S}_{K}(f)$ induces a certain permutation $σ_{h}$ of those disks. Denote by $G = \{…
