We show that a hyperbolic 2-bridge knot complement is the unique knot complement in its commensurability class. We also discuss constructions of commensurable hyperbolic knot complements and put forth a conjecture on the number of hyperbolic knot complements in a commensurability class.
We investigate commensurability classes of hyperbolic knot complements in the generic case of knots without hidden symmetries. We show that such knot complements which are commensurable are cyclically commensurable, and that there are at most $3$ hyperbolic knot complements in a cyclic commensurability class. Moreover if two hyperbolic knots have cyclically commensurable complements, then they are fibered with the same genus and are chiral. A characterisation of cyclic commensurability classes of complements of periodic knots is also given. In the non-periodic case, we reduce the characterisat…
Let K be a hyperbolic (-2,3,n) pretzel knot and M = S^3 K its complement. For these knots, we verify a conjecture of Reid and Walsh: there are at most three knot complements in the commensurability class of M. Indeed, if n \neq 7, we show that M is the unique knot complement in its class. We include examples to illustrate how our methods apply to a broad class of Montesinos knots.
In this paper we prove that if $M_K$ is the complement of a non-fibered twist knot $K$ in $\mathbb S^3$, then $M_K$ is not commensurable to a fibered knot complement in a $\mathbb Z/ 2 \mathbb Z$-homology sphere. To prove this result we derive a recursive description of the character variety of twist knots and then prove that a commensurability criterion developed by D. Calegari and N. Dunfield is satisfied for these varieties. In addition, we partially extend our results to a second infinite family of 2-bridge knots.
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.
In this paper we analyze symmetries, hidden symmetries, and commensurability classes of $(ε, d_L)$-twisted knot complements, which are the complements of knots that have a sufficiently large number of twists in each of their twist regions. These knot complements can be constructed via long Dehn fillings on fully augmented links complements. We show that such knot complements have no hidden symmetries, which implies that there are at most two other knot complements in their respective commensurability classes. Under mild additional hypotheses, we show that these knots have at most four (orienta…
We present a notion of mutation of hyperbolic polyhedra, analogous to mutation in knot theory, and then present a general question about commensurability of mutant pairs of polyhedra. We motivate that question with several concrete examples of mutant pairs for which commensurability is unknown. The polyhedra we consider are compact, so techniques involving cusps that are typically used to distinguishing mutant pairs of knots are not applicable. Indeed, new techniques may need to be developed to study commensurability of mutant pairs of polyhedra.
This paper investigates the strength of the trace field as a commensurability invariant of hyperbolic 3-manifolds. We construct an infinite family of two-component hyperbolic link complements which are pairwise incommensurable and have the same trace field, and infinitely many 1-cusped finite volume hyperbolic 3-manifolds with the same property. We also show that the two-component link complements above have integral traces, but each has a mutant with a nonintegral trace.
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}),…
In this paper, we show that any non-arithmetic hyperbolic $2$-bridge link complement admits no hidden symmetries. As a corollary, we conclude that a hyperbolic $2$-bridge link complement cannot irregularly cover a hyperbolic $3$-manifold. By combining this corollary with the work of Boileau and Weidmann, we obtain a characterization of $3$-manifolds with non-trivial JSJ-decomposition and rank two fundamental groups. We also show that the only commensurable hyperbolic $2$-bridge link complements are the figure-eight knot complement and the $6_{2}^{2}$ link complement. Our work requires a carefu…
In this paper we study some consequences of the author's classification of graph manifolds by their profinite fundamental groups. In particular we study commensurability, the behaviour of knots, and relation to mapping classes. We prove that the exteriors of graph knots are distinguished among all 3-manifold groups by their profinite fundamental groups. We also prove a strong conjugacy separability result for certain mapping classes of surfaces.
We prove that there are compact submanifolds of the 3-sphere whose interiors are not homeomorphic to any geometric limit of hyperbolic knot complements.
We consider the following question: when is the manifold obtained by gluing together two knot complements an $L$-space? Hedden and Levine proved that splicing 0-framed complements of nontrivial knots never produces an $L$-space. We extend this result to allow for arbitrary integer framings. We find that splicing two integer framed nontrivial knot complements only produces an $L$-space if both knots are $L$-space knots and the framings lie in an appropriate range. The proof involves a careful analysis of the bordered Heegaard Floer invariants of each knot complement.
The first examples of totally geodesic Seifert surfaces are constructed for hyperbolic knots and links, including both free and totally knotted surfaces. Then it is proved that two bridge knot complements cannot contain totally geodesic orientable surfaces.
Aitchison and Rubinstein constructed two knot complements that can be decomposed into two regular ideal dodecahedra. This paper shows that these knot complements are the only knot complements that decompose into n regular ideal dodecahedra, providing a partial solution to a conjecture of Neumann and Reid.
We construct an algorithm that lists all closed essential surfaces in the complement of a knot that lies on the fiber of a trefoil or figure eight knot. Such knots are Berge knots and hence admit lens space surgeries. Furthermore they may have arbitrarily large hyperbolic volume. Using this algorithm we concoct large volume Berge knots of two flavors: those whose complement contains arbitrarily many distinct closed essential surfaces, and those whose complement contains no closed essential surfaces.
We show that any closed incompressible surface in the complement of a positive knot is algebraically non-split from the knot, positive knots cannot bound non-free incompressible Seifert surfaces and that the splitability and the primeness of positive knots and links can be seen from their positive diagrams.
We show that Bordered Heegaard Floer invariant $\widehat{CFD}$ of a knot complement in $S^3$ is invariant under the elliptic involution on its boundary.
We establish upper bounds for the complexity of Seifert fibered manifolds with nonempty boundary. In particular, we obtain potentially sharp bounds on the complexity of torus knot complements.
In this paper, we characterize closed incompressible surfaces of genus two in the complements of 3-bridge knots and links. This characterization includes that of essential 2-string tangle decompositions for 3-bridge knots and links.
We establish a pair of criteria for proving that most knot complements obtained as Dehn fillings of a given two-component hyperbolic link complement lack hidden symmetries. To do this, we use certain rational functions on varieties associated to the link. We apply our criteria to show that among certain infinite families of knot complements, all but finitely many members lack hidden symmetries.
We show the existence of infinitely many prime knots each of which having in their complements meridional essential surfaces with two boundary components and arbitrarily high genus.
In the bordered Floer theory, gluing thickened torus of positive meridional Dehn twist to the boundary of a knot complement result in the knot complement of increased framing. For a fixed knot K, we construct a direct system of positively framed knot complements and study the direct limit. We also study the morphism space between two type-DD modules, and derive type-DA morphisms from DD morphisms to derive the direct system maps. In addition, we introduce a direct limit invariant from the direct system which can detect non-unstable chains in the type-D module of a knot complement, if the type-…
We show that if a knot or link has n thin levels when put in thin position then its exterior contains a collection of n disjoint, non-parallel, planar, meridional, essential surfaces. A corollary is that there are at least n/3 tetrahedra in any triangulation of the complement of such a knot.
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))$.
Hempel has shown that the fundamental groups of knot complements are residually finite. This implies that every nontrivial knot must have a finite-sheeted, noncyclic cover. We give an explicit bound, $Φ(c)$, such that if $K$ is a nontrivial knot in the three-sphere with a diagram with $c$ crossings and a particularly simple JSJ decomposition then the complement of $K$ has a finite-sheeted, noncyclic cover with at most $Φ(c)$ sheets.
We develop a word mechanism applied in knot and link diagrams for the illustration of a diagrammatic property. We also give a necessary condition for determining incompressible and pairwise incompressible surfaces, that are embedded in knot or link complements. Finally, we give a finiteness theorem and an upper bound on the Euler characteristic of such surfaces.
This paper provides two obstructions to small knot complements in $S^3$ admitting hidden symmetries. The first obstruction is being cyclically commensurable with another knot complement. This result provides a partial answer to a conjecture of Boileau, Boyer, Cebanu, and Walsh. We also provide a second obstruction to admitting hidden symmetries in the case where a small knot complement covers a manifold admitting some symmetry and at least two exceptional surgeries.
Neumann and Reid conjecture that there are exactly three knot complements which admit hidden symmetries. This paper establishes several results that provide evidence for the conjecture. Our main technical tools provide obstructions to having infinitely many fillings of a cusped manifold produce knot complements admitting hidden symmetries. Applying these tools, we show for any two-bridge link complement, at most finitely many fillings of one cusp can be covered by knot complements admitting hidden symmetries. We also show that the figure-eight knot complement is the unique knot complement with…
We show that all two-bridge knot and link complements are virtually fibered. We also show that spherical Montesinos knot and link complements are virtually fibered. This is accomplished by showing that such knot complements are finitely covered by great circle link complements.
We obtain a branched spherical CR structure on the complement of the figure eight knot with a given holonomy representation (called rho_2). There are essentially two boundary unipotent representations from the complement of the figure eight knot into PU(2,1), we call them rho_1 and rho_2. We make explicit some fundamental differences between these two representations. For instance, seeing the figure eight knot complement as a surface bundle over the circle, the behaviour of of the fundamental group of the fiber under the representation is a key difference between rho_1 and rho_2.
It is known that a knot complement can be decomposed into ideal octahedra along a knot diagram. A solution to the gluing equations applied to this decomposition gives a pseudo-developing map of the knot complement, which will be called a pseudo-hyperbolic structure. In this paper, we study these in terms of segment and region variables which are motivated by the volume conjecture so that we can compute complex volumes of all the boundary parabolic representations explicitly. We investigate the octahedral developing and holonomy representation carefully, and obtain a concrete formula of Wirting…
It is experimentally known that achiral hyperbolic 3-manifolds are quite sporadic at least among those with small volume, while we can find plenty of them as amphicheiral knot complements in the 3-sphere. In this paper, we show that there exist infinitely many achiral 1-cusped hyperbolic 3-manifolds not homeomorphic to any amphicheiral null-homologous knot complement in any closed achiral 3-manifold.
In this paper, we consider the knot complement problem for not null-homologous knots in homology lens spaces. Let $M$ be a homology lens space with $H_1(M; \mathbb{Z}) \cong \mathbb{Z}_p$ and $K$ a not null-homologous knot in $M$. We show that $K$ is determined by its complement if $M$ is non-hyperbolic, $K$ is hyperbolic, and $p$ is a prime more than 7, or, if $M$ is actually a lens space $L(p,q)$ and $K$ represents a generator of $H_1(L(p,q))$.
Weights of essential surfaces in 2-bridge knot complements
University of Wisconsin, Madison(威斯康星大学麦迪逊分校);Department of Mathematics and Statistics, The College of New Jersey(新泽西学院数学与统计系);Ignite Fueling Innovation, Inc(Ignite燃料创新公司)
Link-homotopy and self Delta-equivalence are equivalence relations on links. It was shown by J. Milnor (resp. the last author) that Milnor invariants determine whether or not a link is link-homotopic (resp. self Delta-equivalent) to a trivial link. We study link-homotopy and self Delta-equivalence on a certain component of a link with fixing the rest components, in other words, homotopy and Delta-equivalence of knots in the complement of a certain link. We show that Milnor invariants determine whether a knot in the complement of a trivial link is null-homotopic, and give a sufficient condition…
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…
This note corrects the mistakes in the splicing formulas of the paper "Floer homology and splicing knot complements". The mistakes are the result of the incorrect assumption that for a knot $K$ inside a homology sphere $Y$, the involution on the knot Floer homology of $K$ which corresponds to moving the basepoints by one full twist around $K$ is trivial. The correction implicitly involves considering the contribution from this (possibly non-trivial) involution in a number of places.
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.
We explain how to construct certain potential functions for the hyperbolic structures of a knot complement, which are closely related to the analytic functions on the deformation space of hyperbolic structures.
This paper completes a classification of the types of orientable and non-orientable cusps that can arise in the quotients of hyperbolic knot complements. In particular, $S^2(2,4,4)$ cannot be the cusp cross-section of any orbifold quotient of a hyperbolic knot complement. Furthermore, if a knot complement covers an orbifold with a $S^2(2,3,6)$ cusp, it also covers an orbifold with a $S^2(3,3,3)$ cusp. We end with a discussion that shows all cusp types arise in the quotients of link complements.
It was recently shown that there exists an explicit bound for the number of Pachner moves needed to connect any two triangulation of any Haken 3-manifold which contains no fibred sub-manifolds as strongly simple pieces of its JSJ-decomposition. In this paper we prove a generalisation of that result to all knot complements. The explicit formula for the bound is in terms of the numbers of tetrahedra in the two triangulations. This gives a conceptually trivial algorithm for recognising any knot complement among all 3-manifolds.
Let K be a knot in a closed orientable irreducible 3-manifold M and let P be a Heegaard splitting of the knot complement of genus at least two. Suppose Q is a bridge surface for K. Then either \begin{itemize} \item $d(P)\leq 2-χ(Q-K)$, or \item K can be isotoped to be disjoint from Q so that after the isotopy Q is a Heegaard surface for the knot exterior and is isotopic to a possibly stabilized copy of P. \end{itemize}
In this article, we investigate the problem of counting totally geodesic surfaces in the complement of hyperbolic knots with at most 9 crossings. Adapting previous counting techniques of boundary slope and intersection, we establish uniqueness of a totally geodesic surface for the knots $7_4$ and $9_{35}$. Extending an obstruction to the existence of totally geodesic surfaces due to Calegari, we show that there is no totally geodesic surface in the complement of 47 knots.
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.
Given a compact orientable 3-manifold M whose boundary is a hyperbolic surface and a simple closed curve C in its boundary, every knot in M is homotopic to one whose complement admits a complete hyperbolic structure with totally geodesic boundary in which the geodesic representative of C is as small as you like.
We show that for any nontrivial knot in $S^3$, there is an open interval containing zero such that a Dehn surgery on any slope in this interval yields a 3-manifold with taut foliations. This generalizes a theorem of Gabai on zero frame surgery.
We use the Ozsvath-Szabo theory of Floer homology to define an invariant of knot complements in three-manifolds. This invariant takes the form of a filtered chain complex, which we call CF_r. It carries information about the Floer homology of large integral surgeries on the knot. Using the exact triangle, we derive information about other surgeries on knots, and about the maps on Floer homology induced by certain surgery cobordisms. We define a certain class of \em{perfect} knots in S^3 for which CF_r has a particularly simple form. For these knots, formal properties of the Ozsvath-Szabo theor…
This paper is a very brief introduction to knot theory. It describes knot coloring by quandles, the fundamental group of a knot complement, and handle-decompositions of knot complements.
We give a rational surgery formula for the Casson-Walker invariant of a 2-component link in $S^{3}$ which is a generalization of Matveev-Polyak's formula. As application, we give more examples of non-hyperbolic L-space $M$ such that knots in $M$ are determined by their complements. We also apply the result for the cosmetic crossing conjecture.
We determine the action of the Kauffman bracket skein algebra of the torus on the Kauffman bracket skein module of the complement of the 3-twist knot. The point is to study the relationship between knot complements and their boundary tori, an idea that has proved very fruitful in knot theory. We place this idea in the context of Chern-Simons theory, where such actions arose in connection with the computation of the noncommutative version of the A-polynomial that was defined by Frohman, Gelca and Lofaro, but they can also be interpreted as quantum mechanical systems. Our goal is to exhibit a de…
Let $F$ be an incompressible, meridionally incompressible and not boundary-parallel surface with boundary in the complement of an algebraic tangle $(B,T)$. Then $F$ separates the strings of $T$ in $B$ and the boundary slope of $F$ is uniquely determined by $(B,T)$ and hence we can define the slope of the algebraic tangle. In addition to the Conway's tangle sum, we define a natural product of two tangles. The slopes and binary operation on algebraic tangles lead an algebraic structure which is isomorphic to the rational numbers. We introduce a new knot and link class, algebraically alternating …
Suppose $K$ is a knot in a closed 3-manifold $M$ such that $\bar{M-N(K)}$ is irreducible. We show that for any positive integer $b$ there exists a triangulation of $\bar{M-N(K)}$ such that any weakly incompressible bridge surface for $K$ of $b$ bridges or fewer is isotopic to an almost normal bridge surface.
This paper considers "geometric" ideal triangulations of cusped hyperbolic 3-manifolds, i.e. decompositions into positive volume ideal hyperbolic tetrahedra. We exhibit infinitely many geometric ideal triangulations of the figure eight knot complement. As far as we know, this is the first construction of infinitely many geometric triangulations of a cusped hyperbolic 3-manifold. In contrast, our approach does not extend to the figure eight sister manifold, and it is unknown if there are infinitely many geometric triangulations for this manifold.