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.
By obtaining surgery descriptions of knots which lie on the genus one fiber of the trefoil or figure eight knot, we show that these include hyperbolic knots with arbitrarily large volume. These knots admit lens space surgeries and form two families of Berge knots. By way of tangle descriptions we also obtain surgery descriptions for these knots on minimally twisted chain links.
T. Saito and M. Teragaito asked whether Berge knots of type VII are hyperbolic, and showed that some infinite sequences of the knots are hyperbolic. We show that Berge knots of types VII and VIII are hyperbolic except the known sequence of torus knots. We used the Reidemeister torsions. As a result, the Alexander polynomials of them have already shown their hyperbolicities. We also show that the standard parameters identify Berge knots of types VII and VIII, and study what kind of information identify them.
Divide knots and links, defined by A'Campo in the singularity theory of complex curves, is a method to present knots or links by real plane curves. The present paper is a continuation of the author's previous result that every knot in the major subfamilies of Berge's lens space surgery (i.e., knots yielding a lens space by Dehn surgery) is presented by an L-shaped curve as a divide knot. In the present paper, L-shaped curves are generalized and it is shown that every knot in the minor subfamilies, called sporadic examples, of Berge's lens space surgery is presented by a generalized L-shaped cu…
Let $P(K)$ be a satellite knot where the pattern, $P$, is a Berge-Gabai knot (i.e., a knot in the solid torus with a non-trivial solid torus Dehn surgery), and the companion, $K$, is a non-trivial knot in $S^3$. We prove that $P(K)$ is an L-space knot if and only if $K$ is an L-space knot and $P$ is sufficiently positively twisted relative to the genus of $K$. This generalizes the result for cables due to Hedden and the first author.
Using Kirby Calculus, we explicitly pass from Berge's R-R descriptions of ten families of knots with lens space surgeries to surgery descriptions on the minimally twisted five chain link (MT5C). Since the MT5C admits a strong involution, we also give the corresponding tangle descriptions.
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…
In [B90] or an available version [B18], Berge constructed twelve families of primitive/primitve(or simply P/P) knots, which are referred to as the Berge knots. It is proved in [B08] or independently in [G13] that all P/P knots are the Berge knots, which gives the complete classification of P/P knots. However, the hyperbolicity of the Berge knots was undetermined in [B90]. As a natural generalization of P/P knots, Dean introduced primitive/Seifert(or simply P/SF) knots in $S^3$. The classification of hyperbolic P/SF knots has been performed and the complete list of hyperbolic P/SF knots is give…
We complete the first step in a two-part program proposed by Baker, Grigsby, and the author to prove that Berge's construction of knots in the three-sphere which admit lens space surgeries is complete. The first step, which we prove here, is to show that a knot in a lens space with a three-sphere surgery has simple (in the sense of rank) knot Floer homology. The second (conjectured) step involves showing that, for a fixed lens space, the only knots with simple Floer homology belong to a simple finite family. Using results of Baker, we provide evidence for the conjectural part of the program by…
(Original version of PhD thesis, submitted in Spring 2009 to Harvard University. Provides a solution of the $p > k^2$ case, corresponding to Berge families I-VI, of the "Lens space realization problem" later solved in entirety by Greene.) In the 1980's, Berge proved that a certain collection of knots in $S^3$ admitted lens space surgeries, a list which Gordon conjectured was exhaustive. More recently, J. Rasmussen used techniques from Heegaard Floer homology to translate the related problem of classifying simple knots in lens spaces admitting L-space homology sphere surgeries into a combinator…
Dehn surgery on a knot determines a dual knot in the surgered manifold, the core of the filling torus. We consider duals of knots in $S^3$ that have a lens space surgery. Each dual supports a contact structure. We show that if a universally tight contact structure is supported, then the dual is in the same homology class as the dual of a torus knot.
It is proved that every knot in the major subfamilies of J. Berge's lens space surgery (i.e., knots yielding a lens space by Dehn surgery) is presented by an L-shaped (real) plane curve as a "divide knot" defined by N. A'Campo in the context of singularity theory of complex curves. For each knot given by Berge's parameters, the corresponding plane curve is constructed. The surgery coefficients are also considered. Such presentations support us to study each knot itself, and the relationship among the knots in the set of lens space surgeries.
We compute the genus zero bridge numbers and give lower bounds on the genus one bridge numbers for a large class of sufficiently generic hyperbolic twisted torus knots. As a result, the bridge spectra of these knots have two gaps which can be chosen to be arbitrarily large, providing the first known examples of hyperbolic knots exhibiting this property. In addition, we show that there are Berge and Dean knots with arbitrarily large genus one bridge numbers, and as a result, we give solutions to problems of Eudave-Muñoz concerning tunnel number one knots.
Given any closed, connected, orientable $3$--manifold and integers $g\geq g(M), D > 0$, we show the existence of knots in $M$ whose genus $g$ bridge number is greater than $D$. These knots lie in a page of an open book decomposition of $M$, and the proof proceeds by examining the action of the map induced by the monodromy on the arc and curve complex of a page. A corollary is that there are Berge knots of arbitrarily large genus one bridge number.
Berge introduced knots that are primitive/primitive with respect to the genus 2 Heegaard surface, $F$, in $S^3$; surgery on such knots at the surface slope yields a lens space. Later Dean described a similar class of knots that are primitive/Seifert with respect to $F$; surgery on these knots at the surface slope yields a Seifert fibered space. Here we construct a two-parameter family of knots that have distinct primitive/Seifert embeddings in $F$ with the same surface slope, as well as a family of torus knots that have a primitive/primitive representative and a primitive/Seifert representativ…
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 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))$.
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.
