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 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.
We study the geometry of hyperbolic knots that admit alternating projections on embedded surfaces in closed 3-manifolds. We show that, under mild hypothesis, their cusp area admits two sided bounds in terms of the twist number of the alternating projection and the genus of the projection surface. As a result, we derive diagrammatic estimates of slope lengths and give applications to Dehn surgery. These generalize results of Lackenby and Purcell about alternating knots in the 3-sphere. Using a result of Kalfagianni and Purcell, we point out that alternating knots on surfaces of higher genus, ca…
We consider the existence of simple closed geodesics or "geodesic knots" in finite volume orientable hyperbolic 3-manifolds. Previous results show that at least one geodesic knot always exists [Bull. London Math. Soc. 31(1) (1999) 81-86], and that certain arithmetic manifolds contain infinitely many geodesic knots [J. Diff. Geom. 38 (1993) 545-558], [Experimental Mathematics 10(3) (2001) 419-436]. In this paper we show that all cusped orientable finite volume hyperbolic 3-manifolds contain infinitely many geodesic knots. Our proof is constructive, and the infinite family of geodesic knots prod…
A knot $K$ is definite if $|σ(K)| = 2g(K)$. We prove that the quotient of a definite periodic knot is definite by considering equivariant minimal genus Seifert surfaces.
We find explicit maximal rank Coxeter quotients for the knot groups of 595,515 out of the 1,701,936 knots through 16 crossings. We thus calculate the bridge numbers and verify Cappell and Shaneson's Meridional Rank Conjecture for these knots. In addition, we provide a computational tool for establishing the conjecture for knots beyond 16 crossings whose meridional ranks can be detected via finite Coxeter quotients.
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.
This paper gives the first explicit, two-sided estimates on the cusp area of once-punctured torus bundles, 4-punctured sphere bundles, and 2-bridge link complements. The input for these estimates is purely combinatorial data coming from the Farey tesselation of the hyperbolic plane. The bounds on cusp area lead to explicit bounds on the volume of Dehn fillings of these manifolds, for example sharp bounds on volumes of hyperbolic closed 3-braids in terms of the Schreier normal form of the associated braid word. Finally, these results are applied to derive relations between the Jones polynomial …
We show that the cusp volume of a hyperbolic alternating knot can be bounded above and below in terms of the twist number of an alternating diagram of the knot. This leads to diagrammatic estimates on lengths of slopes, and has some applications to Dehn surgery. Another consequence is that there is a universal lower bound on the cusp density of hyperbolic alternating knots.
A horospherical torus about a cusp of a hyperbolic manifold inherits a Euclidean similarity structure, called a cusp shape. We bound the change in cusp shape when the hyperbolic structure of the manifold is deformed via cone deformation preserving the cusp. The bounds are in terms of the change in structure in a neighborhood of the singular locus alone. We then apply this result to provide information on the cusp shape of many hyperbolic knots, given only a diagram of the knot. Specifically, we show there is a universal constant C such that if a knot admits a prime, twist reduced diagram with …
We classify the complete hyperbolic 3-manifolds admitting a maximal cusp of volume at most 2.62. We use this to show that the figure-8 knot complement is the unique 1-cusped hyperbolic 3-manifold with nine or more non-hyperbolic fillings; to show that the figure-8 knot complement and its sister are the unique hyperbolic 3-manifolds with minimal volume maximal cusps; and to extend results on determining low volume closed and cusped hyperbolic 3-manifolds.
We define a metric filtration of the Gordian graph by an infinite family of 1-dense subgraphs. The n-th subgraph of this family is generated by all knots whose fundamental groups surject to a symmetric group with parameter at least n, where all meridians are mapped to transpositions. Incidentally, we verify the Meridional Rank Conjecture for a family of knots with unknotting number one yet arbitrarily high bridge number.
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.
We survey some tools and techniques for determining geometric properties of a link complement from a link diagram. In particular, we survey the tools used to estimate geometric invariants in terms of basic diagrammatic link invariants. We focus on determining when a link is hyperbolic, estimating its volume, and bounding its cusp shape and cusp area. We give sample applications and state some open questions and conjectures.
The Gordian graph and H(2)-Gordian graphs of knots are abstract graphs whose vertex sets represent isotopy classes of unoriented knots, and whose edge sets record whether pairs of knots are related by crossing changes or H(2)-moves, respectively. We investigate quotients of these graphs under equivalence relations defined by several knot invariants including the determinant, the span of the Jones polynomial, and an invariant related to tricolorability. We show, in all cases considered, that the quotient graphs are Gromov hyperbolic. We then prove a collection of results about the graph isomorp…
We derive bounds on the length of the meridian and the cusp volume of hyperbolic knots in terms of the topology of essential surfaces spanned by the knot. We provide an algorithmically checkable criterion that guarantees that the meridian length of a hyperbolic knot is below a given bound. As applications we find knot diagrammatic upper bounds on the meridian length and the cusp volume of hyperbolic adequate knots and we obtain new large families of knots with meridian lengths bounded above by four. We also discuss applications of our results to Dehn surgery.
We give a criterion for distinguishing a prime knot $K$ in $S^3$ from every other knot in $S^3$ using the finite quotients of $π_1(S^3\setminus K)$. Using recent work of Baldwin-Sivek, we apply this criterion to the hyperbolic knots $5_2$, $15n_{43522}$, and the three-strand pretzel knots $P(-3,3,2n+1)$ for every integer $n$.
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…
This note investigates the so-called Tube map which connects welded knots, that is a quotient of the virtual knot theory, to ribbon torus-knots, that is a restricted notion of fillable knotted tori in the 4-sphere. It emphasizes the fact that ribbon torus-knots with a given filling are in one-to-one correspondence with welded knots before quotient under classical Reidemeister moves and reformulates these moves and the known sources of non-injectivity of the Tube map in terms of filling changes.
We construct a representation of the braid groups in a cluster C*-algebra coming from a triangulation of the Riemann surface S with one or two cusps. It is shown that the Laurent polynomials attached to the K-theory of such an algebra are topological invariants of the closure of braids. In particular, the Jones and HOMFLY polynomials of a knot correspond to the case S being a sphere with two cusps and a torus with one cusp, respectively.
Defined by Joyce and Matveev, the fundamental quandle is a complete invariant of oriented classical knots. We consider invariants of knots defined from quotients of the fundamental quandle. In particular, we introduce the fundamental Latin Alexander quandle of a knot and consider its Gröbner basis-valued invariants, which generalize the Alexander polynomial. We show via example that the invariant is not determined by the generalized Alexander polynomial for virtual knots.
We identify all hyperbolic knots whose complements are in the census of orientable one-cusped hyperbolic manifolds with eight ideal tetrahedra. We also compute their Jones polynomials.
The bipolar filtration of Cochran, Harvey and Horn presents a framework of the study of deeper structures in the smooth concordance group of topologically slice knots. We show that the graded quotient of the bipolar filtration of topologically slice knots has infinite rank at each stage greater than one. To detect nontrivial elements in the quotient, the proof simultaneously uses higher order amenable Cheeger-Gromov $L^2$ $ρ$-invariants and infinitely many Heegaard Floer correction term $d$-invariants.
It is known that each of the successive quotient groups of the grope and solvable filtrations of the knot concordance group has an infinite rank subgroup. The generating knots of these subgroups are constructed using iterated doubling operators. In this paper, for each of the successive quotients of the filtrations we give a new infinite rank subgroup which trivially intersects the previously known infinite rank subgroups. Instead of iterated doubling operators, the generating knots of these new subgroups are constructed using the notion of algebraic $n$-solutions, which was introduced by Coch…
We classify all the non-hyperbolic Dehn fillings of the complement of the chain-link with 3 components, conjectured to be the smallest hyperbolic 3-manifold with 3 cusps. We deduce the classification of all non-hyperbolic Dehn fillings of infinitely many 1-cusped and 2-cusped hyperbolic manifolds, including most of those with smallest known volume. Among other consequences of this classification, we mention the following: - for every integer n we can prove that there are infinitely many hyperbolic knots in the 3-sphere having exceptional surgeries n, n+1, n+2, n+3, with n+1, n+2 giving small S…
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…
It is known that S^4 is a union of two fishtails, and S^2 x S^2 is a union of two cusps (glued along their boundaries). Here we prove that, for any choice of knots K,L in S^3, performing knot surgery operations to S^4 and S^2 x S^2, along both of the fishtails and cusps, respectively, do not change the diffeomorphism type of these manifolds.
In the present paper, we consider local moves on classical and welded diagrams: (self-)crossing change, (self-)virtualization, virtual conjugation, Delta, fused, band-pass and welded band-pass moves. Interrelationship between these moves is discussed and, for each of these move, we provide an algebraic classification. We address the question of relevant welded extensions for classical moves in the sense that the classical quotient of classical object embeds into the welded quotient of welded objects. As a by-product, we obtain that all of the above local moves are unknotting operations for wel…
The waist size of a cusp in an orientable hyperbolic 3-manifold is the length of the shortest nontrivial curve generated by a parabolic isometry in the maximal cusp boundary. Previously, it was shown that the smallest possible waist size, which is 1, is realized only by the cusp in the figure-eight knot complement. In this paper, it is proved that the next two smallest waist sizes are realized uniquely for the cusps in the $5_2$ knot complement and the manifold obtained by (2,1)-surgery on the Whitehead link. One application is an improvement on the universal upper bound for the length of an u…
These are notes from lectures given at the Clay Institute Summer School on "Floer homology, gauge theory and low-dimensional topology" (Budapest, 2004). The first part describes as background some of the geometry of symplectic fibre bundles and their monodromy. The second part, overviewing joint work with Paul Seidel, applies these general ideas and Floer cohomology to certain fibre bundles that arise naturally in Lie theory. This constructs an invariant of oriented links in the three-sphere which is conjecturally equal to Khovanov's combinatorial homology theory.
We show that the set of cusp shapes of hyperbolic tunnel number one manifolds is dense in the Teichmuller space of the torus. A similar result holds for tunnel number n manifolds. As a consequence, for fixed n, there are infinitely many hyperbolic tunnel number n manifolds with at most one exceptional Dehn filling. This is in contrast to large volume Berge knots, which are tunnel number one manifolds, but with cusp shapes converging to a single point in Teichmuller space.
Recognizing oriented knots from finite quotients with one marked element
Shiv Nadar Institution of Eminence Deemed to be University（希夫纳达尔卓越学院）；International Centre for Theoretical Sciences–Tata Institute of Fundamental Research（国际理论科学中心-塔塔基础研究所）
Let $\widetilde{K}$ be a 2-periodic knot in $S^3$ with quotient $K$. We prove a rank inequality between the knot Floer homology of $\widetilde{K}$ and the knot Floer homology of $K$ using a spectral sequence of Hendricks, Lipshitz and Sarkar. We also conjecture a filtered refinement of this inequality, for which we give computational evidence, and produce applications to the Alexander polynomials of $\widetilde{K}$ and $K$.
We find that cusp densities of hyperbolic knots in the 3-sphere are dense in [0,0.6826...] and those of links are dense in [0,0.853...]. We define a new invariant associated with cusp volume, the cusp crossing density, as the ratio between the cusp volume and the crossing number of a link, and show that cusp crossing density for links is bounded above by 3.1263.... Moreover, there is a sequence of links with cusp crossing density approaching 3. The least upper bound for cusp crossing density remains an open question. For two-component hyperbolic links, cusp crossing density is shown to be dens…
Given any knot k, there exists a hyperbolic knot tilde k with arbitrarily large volume such that the knot group pi k is a quotient of pi tilde k by a map that sends meridian to meridian and longitude to longitude. The knot tilde k can be chosen to be ribbon concordant to k and also to have the same Alexander invariant as k.
A classical result of H. S. M. Coxeter asserts that a certain quotient $B(m,n)$ of the braid group $B(m)$ on $m$ strands is finite if and only if $(m,n)$ corresponds to the type of one of the five Platonic solids. If ${\bf k}$ is a knot or virtual knot, one can study similar quotients $G({\bf k}, n)$ for the corresponding knot group. We identify a class of long virtual knots ${\bf k}$ for which $G({\bf k}, n)$ is infinite for $n\ge 2$. The main feature of these long virtual knots is that their Wirtinger complexes are non-positively curved squared complexes.
We analyze the orbifolds that can be obtained as quotients of hyperbolic 3-manifolds admitting a Heegaard splitting of genus two by their orientation preserving isometry groups. The genus two hyperbolic 3-manifolds are exactly the hyperbolic 2-fold branched coverings of 3-bridge links. If the 3-bridge link is a knot, we prove that the underlying topological space of the quotient orbifold is either the 3-sphere or a lens space and we describe the combinatorial setting of the singular set for each possible isometry group. In the case of 3-bridge links with two or three components, the situation …
Let $M = \mathbb{B}^2 / Γ$ be a smooth ball quotient of finite volume with first betti number $b_1(M)$ and let $\mathcal{E}(M) \ge 0$ be the number of cusps (i.e., topological ends) of $M$. We study the growth rates that are possible in towers of finite-sheeted coverings of $M$. In particular, $b_1$ and $\mathcal{E}$ have little to do with one another, in contrast with the well-understood cases of hyperbolic $2$- and $3$-manifolds. We also discuss growth of $b_1$ for congruence arithmetic lattices acting on $\mathbb{B}^2$ and $\mathbb{B}^3$. Along the way, we provide an explicit example of a l…
We establish results concerning the profinite completions of 3-manifold groups. In particular, we prove that the complement of the figure-eight knot $S^3-K$ is distinguished from all other compact 3-manifolds by the set of finite quotients of its fundamental group. In addition, we show that if $M$ is a compact 3-manifold with $b_1(M)=1$, and $π_1(M)$ has the same finite quotients as a free-by-cyclic group $F_r\rtimes\mathbb{Z}$, then $M$ has non-empty boundary, fibres over the circle with compact fibre, and $π_1(M)\cong F_r\rtimes_ψ\mathbb{Z}$ for some $ψ\in{\rm{Out}}(F_r)$.
The fundamental quandle is a powerful invariant of knots and links, but it is difficult to describe in detail. It is often useful to look at quotients of the quandle, especially finite quotients. One natural quotient introduced by Joyce is the $n$-quandle. Hoste and Shanahan gave a complete list of the knots and links which have finite $n$-quandles for some $n$. We introduce a generalization of $n$-quandles, denoted $N$-quandles (for a quandle with $k$ algebraic components, $N$ is a $k$-tuple of positive integers). We conjecture a classification of the links with finite $N$-quandles for some $…
In this paper, we explicitly construct large classes of incommensurable hyperbolic knot complements with the same volume and the same initial (complex) length spectrum. Furthermore, we show that these knot complements are the only knot complements in their respective commensurabiltiy classes by analyzing their cusp shapes. The knot complements in each class differ by a topological cut-and-paste operation known as mutation. Ruberman has shown that mutations of hyperelliptic surfaces inside hyperbolic 3-manifolds preserve volume. Here, we provide geometric and topological conditions under which …
In this paper we study some aspects of knots and links in lens spaces. Namely, if we consider lens spaces as quotient of the unit ball $B^{3}$ with suitable identification of boundary points, then we can project the links on the equatorial disk of $B^{3}$, obtaining a regular diagram for them. In this contest, we obtain a complete finite set of Reidemeister type moves establishing equivalence, up to ambient isotopy, a Wirtinger type presentation for the fundamental group of the complement of the link and a diagrammatic method giving the first homology group. We also compute Alexander polynomia…
We show that the 1-cusped quotient of the hyperbolic space $\mathbb{H}^3$ by the tetrahedral Coxeter group $Γ_*=[5,3,6]$ has minimal volume among all non-arithmetic cusped hyperbolic 3-orbifolds, and as such it is uniquely determined. Furthermore, the lattice $Γ_*$ is incommensurable to any Gromov-Piatetski-Shapiro type lattice. Our methods have their origin in the work of C. Adams. We extend considerably this approach via the geometry of the underlying horoball configuration induced by a cusp.
