Lehmer's question is equivalent to one about generalized growth rates of Lefschetz numbers of iterated pseudo-Anosov surface homeomorphisms. One need consider only homeomorphisms that arise as monodromies of fibered knots in lens spaces L(n,1), n>0. Lehmer's question for Perron polynomials is equivalent to one about generalized growth rates of words under injective free group endomorphisms.
This paper addresses a long standing open problem due to Lehmer in which the triple 2,3,7 plays a notable role. Lehmer's problem asks whether there is a gap between 1 and the next smallest algebraic integer with respect to Mahler measure. The question has been studied in a wide range of contexts including number theory, ergodic theory, hyperbolic geometry, and knot theory; and relates to basic questions such as describing the distribution of heights of algebraic integers, and of lengths of geodesics on arithmetic surfaces. This paper focuses on the role of Coxeter systems in Lehmer's problem. …
A well-known conjecture in knot theory says that the percentage of hyperbolic knots amongst all of the prime knots of $n$ or fewer crossings approaches $100$ as $n$ approaches infinity. In this paper, it is proved that this conjecture contradicts several other plausible conjectures, including the 120-year-old conjecture on additivity of the crossing number of knots under connected sum and the conjecture that the crossing number of a satellite knot is not less than that of its companion.
In "A survey on the Turaev genus of knots," Champanerkar and Kofman propose several open questions. The first asks whether the polynomial whose coefficients count the number of quasi-trees of the all-A ribbon graph obtained from a diagram with minimal Turaev genus is an invariant of the knot. We answer negatively by showing a counterexample obtained from the two diagrams of $8_{21}$ on the KnotAtlas and KnotScape.
Given a knot in $S^3$, one can associate to it a surface diffeomorphism in two different ways. First, an arbitrary knot in $S^{3}$ can be represented by braids, which can be thought of as diffeomorphisms of punctured disks. Second, if the knot is fibered -- that is, if its complement fibers over $S^1$ -- one can consider the monodromy of the fibration. One can ask to what extent properties of these surface diffeomorphisms dictate topological properties of the corresponding knot. In this article we collect observations, conjectures, and questions addressing this, from both the braid perspective…
We reformulate Lehmer's question from 1933 and a question due to Schinzel and Zassenhaus from 1965 in terms of a comparison of the Mahler measures and the houses, respectively, of monic integer reciprocal and skew-reciprocal polynomials of the same degree. This entails that understanding the difference between orientation-preserving and orientation-reversing mapping classes is at least as complicated as answering these questions.
A torti-rational knot, denoted by K(2a,b|r), is a knot obtained from the 2-bridge link B(2a,b) by applying Dehn twists an arbitrary number of times, r, along one component of B(2a,b). We determine the genus of K(2a,b|r) and solve a question of when K(2a,b|r) is fibred. In most cases, the Alexander polynomials determine the genus and fibredness of these knots. We develop both algebraic and geometric techniques to describe the genus and fibredness by means of continued fraction expansions of b/2a. Then, we explicitly construct minimal genus Seifert surfaces. As an application, we solve the same …
A quadrisecant line is one which intersects a curve in at least four points, while an essential secant captures something about the knottedness of a knot. This survey article gives a brief history of these ideas, and shows how they may be applied to questions about the geometry of a knot via the total curvature, ropelength and distortion of a knot.
We consider the question, asked by Friedl, Livingston and Zentner, of which sums of torus knots are concordant to alternating knots. After a brief analysis of the problem in its full generality, we focus on sums of two torus knots. We describe some effective obstructions based on Heegaard Floer homology.
This note explores two questions: (1) Which bigraded groups arise as the knot Floer homology of a knot in the three-sphere? (2) Given a knot, how many distinct knots share its Floer homology? Regarding the first, we show there exist bigraded groups satisfying all previously known constraints of knot Floer homology which do not arise as the invariant of a knot. This leads to a new constraint for knots admitting lens space surgeries, as well as a proof that the rank of knot Floer homology detects the trefoil knot. For the second, we show that any non-trivial band sum of two unknots gives rise to…
We consider the question: "If the zero-framed surgeries on two oriented knots in the 3-sphere are integral homology cobordant, preserving the homology class of the positive meridians, are the knots themselves concordant?" We show that this question has a negative answer in the smooth category, even for topologically slice knots. To show this we first prove that the zero-framed surgery on K is Z-homology cobordant to the zero-framed surgery on many of its winding number one satellites P(K). Then we prove that in many cases the tau and s-invariants of K and P(K) differ. Consequently neither tau …
We investigate the question of when distinct branched surfaces in the complement of a 2-bridge knot support essential surfaces with identical boundary slopes. We determine all instances in which this occurs and identify an infinite family of knots for which no boundary slopes are repeated.
Roberts proved that a family of alternating, arborescent, prime knots each have at least $2^{2n-1}$ distinct minimal genus Seifert surfaces, where $n$ is the genus of the knot in question. We give a subfamily of these knots that have exactly this many minimal genus Seifert surfaces.
Our main result is a nontrivial lower bound for the distortion of some specific knots. In particular, we show that the distortion of the torus knot $T_{p,q}$ satisfies $δ(T_{p,q})>\frac 1{160}\min(p,q)$. This answers a 1983 question of Gromov.
We consider the question of when a slice knot admits a reducible Dehn surgery. By analyzing the correction terms associated to such a surgery, we show that slice knots cannot admit surgeries with more than two summands. We also give a necessary Heegaard Floer theoretic condition for a positive cable of a knot to be slice.
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…
We answer a question posed by Fielder in [1] concerning two notions of crossing number for algebraic knots $K$ under Hopf fibration, one topological, denoted $h(K)$, the other coming from the realization of such knots around complex singularities, denoted $C_{alg}(K)$. We show that $C_{alg}(K)-h(K)$ can be arbitrarily large. We also give an upper bound for $h$ of some families of knots such as torus knots $T(2,n)$, twist knots and their mirror images.
Given a one-dimensional homology class in a lens space, a question related to the Berge conjecture on lens space surgeries is to determine all knots realizing the minimal rational genus of all knots in this homology class. It is known that simple knots are rational genus minimizers. In this paper, we construct many non-simple genus minimizers. This negatively answers a question of Rasmussen.
We describe a normal surface algorithm that decides whether a knot, with known degree of the colored Jones polynomial, satisfies the Strong Slope Conjecture. We also discuss possible simplifications of our algorithm and state related open questions. We establish a relation between the Jones period of a knot and the number of sheets of the surfaces that satisfy the Strong Slope Conjecture (Jones surfaces). We also present numerical and experimental evidence supporting a stronger such relation which we state as an open question.
The twisted torus knots K(p, q; r, s) are obtained by performing a sequence of s full twists on r adjacent strands of (p, q)-torus knots. Morimoto asked whether all twisted torus knots with essential tori in the exterior fit into one of two families. We prove that the answer to this question is no, by finding two different new families of toroidal twisted torus knots.
A knot in a thickened surface $K$ is a smooth embedding $K:S^1 \rightarrow Σ\times [0,1]$, where $Σ$ is a closed, connected, orientable surface. There is a bijective correspondence between knots in $S^2 \times [0,1]$ and knots in $S^3$, so one can view the study of knots in thickened surfaces as an extension of classical knot theory. An immediate question is if other classical definitions, concepts, and results extend or generalize to the study of knots in a thickened surface. One such famous result is the Fox Milnor Theorem, which relates the Alexander polynomials of concordant knots. We prov…
Given a knot $K$ in $S^3$, a question raised by Cappell and Shaneson asks if the meridional rank of $K$ equals the bridge number of $K$. Using augmentations in knot contact homology we consider the persistence of equality between these two invariants under satellite operations on $K$ with a braid pattern. In particular, we answer the question in the affirmative for a large class of iterated torus knots.
We give a topological characterisation of alternating knot exteriors based on the presence of special spanning surfaces. This shows that alternating is a topological property of the knot exterior and not just a property of diagrams, answering an old question of Fox. We also give a characterisation of alternating link exteriors which have marked meridians. We then describe a normal surface algorithm which can decide if a knot is prime and alternating given a triangulation of its exterior as input.
Lomonaco and Kauffman introduced a knot mosaic system to give a precise and workable definition of a quantum knot system, the states of which are called quantum knots. This paper is inspired by an open question about the knot mosaic enumeration suggested by them. A knot $n$--mosaic is an $n \times n$ array of 11 mosaic tiles representing a knot or a link diagram by adjoining properly that is called suitably connected. The total number of knot $n$--mosaics is denoted by $D_n$ which is known to grow in a quadratic exponential rate. In this paper, we show the existence of the knot mosaic constant…
Neuwirth asked if any non-trivial knot in the 3-sphere can be embedded in a closed surface so that the complement of the surface is a connected essential surface for the knot complement. In this paper, we examine some variations on this question and prove it for all knots up to 11 crossings except for two examples. We also establish the conjecture for all Montesinos knots and for all generalized arborescently alternating knots. For knot exteriors containing closed incompressible surfaces satisfying a simple homological condition, we establish that the knots satisfy the Neuwirth conjecture. If …
We use Heegaard Floer homology to give obstructions to unknotting a knot with a single crossing change. These restrictions are particularly useful in the case where the knot in question is alternating. As an example, we use them to classify all knots with crossing number less than or equal to nine and unknotting number equal to one. We also classify alternating knots with ten crossings and unknotting number equal to one.
In 2001, Östlund formulated the question: are Reidemeister moves of types 1 and 3 sufficient to describe a homotopy from any generic immersion of a circle in a two-dimensional plane to an embedding of the circle? The positive answer to this question was treated as a conjecture (Östlund conjecture). In 2014, Hagge and Yazinski disproved the conjecture by showing the first counterexample with a minimal crossing number of 16. This example is naturally extended to counterexamples with given even minimal crossing numbers more than 14. This paper obtains the first counterexample with a minimal cross…
Colorado State University Pueblo(科罗拉多州立大学普韦布洛分校);Saginaw Valley State University(萨吉诺谷州立大学);Louisiana State University(路易斯安那州立大学);Simons Center for Geometry and Physics, State University of New York(纽约州立大学西蒙斯几何与物理中心)
Supose that $Y$ is a lens space with $|H_1(Y; \mathbb{Z})|$ prime, and $Y$ does not contain a genus one fibered knot. We show that $Y$ contains a knot whose exterior is a once-punctured torus bundle if and only if $Y$ is the result of $p/q$-surgery on the trefoil. This partially answers a question posed by Ken Baker in a paper in which he gives a complete classification of genus one fibered knots contained in lens spaces. Combining Baker's classification with Moser's characterization of lens space surgeries on the trefoil, we generate an infinite family of lens spaces which do not contain any …
The braid axis of a closed 3-braid lifts to a genus one fibered knot in the double cover of S^3 branched over the closed braid. Every (null homologous) genus one fibered knot in a 3-manifold may be obtained in this way. Using this perspective we answer a question of Morimoto about the number of genus one fibered knots in lens spaces. We determine the number of genus one fibered knots up to homeomorphism in any given lens space. This number is 3 in the case of the lens space L(4,1), 2 for the lens spaces L(m,1) with m>0, and at most 1 otherwise.
Motivated by the study of ribbon knots we explore symmetric unions, a beautiful construction introduced by Kinoshita and Terasaka 50 years ago. It is easy to see that every symmetric union represents a ribbon knot, but the converse is still an open problem. Besides existence it is natural to consider the question of uniqueness. In order to attack this question we extend the usual Reidemeister moves to a family of moves respecting the symmetry, and consider the symmetric equivalence thus generated. This notion being in place, we discuss several situations in which a knot can have essentially di…
We consider the question of when is the closed manifold obtained by elementary surgery on an $n$-knot Seifert fibred over a 2-orbifold. After some observations on the classical case, we concentrate on the cases n=2 and 3. We have found a new family of 2-knots with torsion-free, solvable group, overlooked in earlier work. We know of no higher dimensional examples.
Besides offering a friendly introduction to knot homologies and quantum curves, the goal of these lectures is to review some of the concrete predictions that follow from the physical interpretation of knot homologies. In particular, this interpretation allows one to pose questions that would not have been asked otherwise, such as, "Is there a direct relation between Khovanov homology and the A-polynomial of a knot?" We will explain that the answer to this question is "yes," and introduce a certain deformation of the planar algebraic curve defined by the zero locus of the A-polynomial. This nov…
There is a question asking whether a handle-irreducible summand of every stable-ribbon surface-link is a unique ribbon surface-link. This question for the case of a trivial surface-link is affirmatively answered. That is, a handle-irreducible summand of every stably trivial surface-link is only a trivial 2-link. By combining this result with an old result of F. Hosowaka and the author that every surface-knot with infinite cyclic fundamental group is a stably trivial surface-knot, it is concluded that every surface-knot with infinite cyclic fundamental group is a trivial (i.e., an unknotted) su…
We prove that a simple knot in the lens space $L(p,q)$ fibers if and only if its order in homology does not divide any remainder occurring in the Euclidean algorithm applied to the pair $(p,q)$. One corollary is that if $p=m^2$ is a perfect square, then any simple knot of order $m$ fibers, answering a question of Cebanu. More generally, we compute the leading coefficient of the Alexander polynomial of a simple knot, and we describe how to construct a minimum complexity Seifert surface for one. The methods are direct, combinatorial, and geometric.
Two of the basic questions in contact topology are which manifolds admit tight contact structures, and on those that do, can we classify such structures. We present the first such classification on an infinite family of (mostly) hyperbolic 3-manifolds: surgeries on the figure-eight knot. We also determine which of the tight contact structures are symplectically fillable and which are universally tight.
Stoimenow and Kidwell asked the following question: Let $K$ be a non-trivial knot, and let $W(K)$ be a Whitehead double of $K$. Let $F(a,z)$ be the Kauffman polynomial and $P(v,z)$ the skein polynomial. Is then always $\max°_z P_{W(K)} - 1 = 2 \max°_z F_K$? Here this question is rephrased in more general terms as a conjectured relation between the maximum $z$-degrees of the Kauffman polynomial of an annular surface $A$ on the one hand, and the Rudolph polynomial on the other hand, the latter being defined as a certain Möbius transform of the skein polynomial of the boundary link $\partial A$. …
Given a link projection $P$ and a link $L$, it is natural to ask whether it is possible that $P$ is a projection of $L$. Taniyama answered this question for the cases in which $L$ is a prime knot or link with crossing number at most five. Recently, Takimura settled the issue for the knot $6_2$. We answer this question for the case in which $L$ is the link $L6n1$.