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.
We study how the genus, the simplicial volume and the $L^2$-Alexander invariant of W. Li and W. Zhang can detect individual knots among all others. In particular, we use various techniques coming from hyperbolic geometry and topology to prove that the $L^2$-Alexander invariant contains strictly more information than the pair (genus, simplicial volume). Along the way we prove that the $L^2$-Alexander invariant detects the figure-eight knot $4_1$, the twist knot $5_2$ and an infinite family of cables on the figure-eight knot.
We show that the set of colored Jones polynomials and the set of generalized Alexander polynomials defined by Akutsu, Deguchi and Ohtsuki intersect non-trivially. Moreover it is shown that the intersection is (at least includes) the set of Kashaev's quantum dilogarithm invariants for links. Therefore Kashaev's conjecture can be restated as follows: The colored Jones polynomials determine the hyperbolic volume for a hyperbolic knot. Modifying this, we propose a stronger conjecture: The colored Jones polynomials determine the simplicial volume for any knot. If our conjecture is true, then we can…
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 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.
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…
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.
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))$.
An increasing sequence of integers is said to be universal for knots and links if every knot and link has a projection to the sphere such that the number of edges of each complementary face of the projection comes from the given sequence. This paper is an investigation into which sequences, either finite or infinite, are universal. We also consider how to minimize the number of odd-sided faces for projections of knots and links with n components.
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…
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.
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.
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.
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…
We consider several ways to measure the `geometric complexity' of an embedding from a simplicial complex into Euclidean space. One of these is a version of `thickness', based on a paper of Kolmogorov and Barzdin. We prove inequalities relating the thickness and the number of simplices in the simplicial complex, generalizing an estimate that Kolmogorov and Barzdin proved for graphs. We also consider the distortion of knots. We give an alternate proof of a theorem of Pardon that there are isotopy classes of knots requiring arbitrarily large distortion. This proof is based on the expander-like pr…
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.
In this article, we give explicit examples of infinitely many non-commensurable (non-arithmetic) hyperbolic $3$-manifolds admitting exactly $k$ totally geodesic surfaces for any positive integer $k$, answering a question of Bader, Fisher, Miller and Stover. The construction comes from a family of twist knot complements and their dihedral covers. The case $k=1$ arises from the uniqueness of an immersed totally geodesic thrice-punctured sphere, answering a question of Reid. Applying the proof techniques of the main result, we explicitly construct non-elementary maximal Fuchsian subgroups of infi…
In earlier work, the authors introduced a conjecture which, for an orientation-preserving diffeomorphism $φ\colon S \to S$ of a surface, connects a certain quantum invariant of $φ$ with the hyperbolic volume of its mapping torus $M_φ$. This article provides a proof of this conjecture in the simplest case where it applies, namely when the surface $S$ is the one-puncture torus and the mapping torus $M_φ$ is the complement of the figure-eight knot.
