Generalized knot groups $G_n(K)$ were introduced independently by Kelly (1991) and Wada (1992). We prove that $G_2(K)$ determines the unoriented knot type and sketch a proof of the same for $G_n(K)$ for $n>2$.
We analyze all monodromies of genus one fibered knots that possess clean or once-unclean arcs, and use this to determine all manifolds containing genus one fibered knots with generalized crossing changes resulting in another genus one fibered knot, and classify all such generalized crossing changes between two genus one, fibered knots.
We show that if K is a satellite knot which admits a generalized cosmetic crossing change of order q with |q| \geq 6, then K admits a pattern knot with a generalized cosmetic crossing change of the same order. As a consequence of this, we find that any prime satellite knot which admits a pattern knot that is fibered cannot admit a generalized cosmetic crossing changes of order q with |q| \geq 6. We also show that if there is any knot admitting a generalized cosmetic crossing change of order q with |q| \geq 6, then there must be such a knot which is hyperbolic.
In this article, we consider alternating knots on a closed surface in the 3-sphere, and show that these are not parallel to any closed surface disjoint from the prescribed one.
This article presents a formula for the determinant of the twisted generalized hybrid weaving knot $\hat{Q}_3(m_1,m_2,n,l)$, which is a closed 3-braid. As a corollary, we prove Conjecture 2 of Singh & Chbili [Nuclear Physics B, 980:115800 (2022)].
We construct a Kirby diagram of the rational homology ball used in "generalized rational blow-down" developed by Jongil Park. The diagram consists of a dotted circle and a torus knot. The link is simpler, but the parameters are a little complicate. Euclidean Algorithm is used three times in the construction and the proof.
We show that a knot has a non left-orderable surgery if the knot group admits a generalized Baumslag-Solitar relator and satisfies certain conditions on a longitude of the knot. As an application, it is shown that certain positively twisted torus knots admit non left-orderable surgeries.
We consider knots whose diagrams have a high amount of twisting of multiple strands. By encircling twists on multiple strands with unknotted curves, we obtain a link called a generalized augmented link. Dehn filling this link gives the original knot. We classify those generalized augmented links that are Seifert fibered, and give a torus decomposition for those that are toroidal. In particular, we find that each component of the torus decomposition is either "trivial", in some sense, or homeomorphic to the complement of a generalized augmented link. We show this structure persists under high D…
It is well known that any knot group is torsion-free, but it may admit a generalized torsion element. We show that the knot group of any negative twist knot admits a generalized torsion element. This is a generalization of the same claim for the knot $5_2$, which is the $(-2)$-twist knot, by Naylor and Rolfsen.
We use the Bar-Natan Zh-correspondence to identify the generalized Alexander polynomial of a virtual knot with the Alexander polynomial of a two component welded link. We show that the Zh-map is functorial under concordance, and also that Satoh's Tube map (from welded links to ribbon knotted tori in $S^4$) is functorial under concordance. In addition, we extend classical results of Chen, Milnor, and Hillman on the lower central series of link groups to links in thickened surfaces. Our main result is that the generalized Alexander polynomial vanishes on any knot in a thickened surface which is …
Bott, Cattaneo and Rossi defined invariants of long knots $\mathbb R^n \hookrightarrow \mathbb R^{n+2}$ as combinations of configuration space integrals for $n$ odd $\geq 3$. Here, we give a more flexible definition of these invariants. Our definition allows us to interpret these invariants as counts of diagrams. It extends to long knots inside more general $(n+2)$-manifolds, called asymptotic homology $\mathbb R^{n+2}$, and provides invariants of these knots.
In a group, a non-trivial element is called a generalized torsion element if some non-empty finite product of its conjugates equals to the identity. We say that a knot has generalized torsion if its knot group admits such an element. For a (2, 2q+1)-torus knot K, we demonstrate that there are infinitely many unknots c such that p-twisting K about c yields a twist family, which consists of hyperbolic knots with generalized torsion whenever |p| > 3. This gives a new infinite class of hyperbolic knots having generalized torsion. In particular, each class contains knots with arbitrarily high genus…
The motivation for this work was to construct a nontrivial knot with trivial Jones polynomial. Although that open problem has not yielded, the methods are useful for other problems in the theory of knot polynomials. The subject of the present paper is a generalization of Conway's mutation of knots and links. Instead of flipping a 2-strand tangle, one flips a many-string tangle to produce a generalized mutant. In the presence of rotational symmetry in that tangle, the result is called a "rotant". We show that if a rotant is sufficiently simple, then its Jones polynomial agrees with that of the …
We give an obstruction for genus one knots $K$, $K'$ to have the Gordian distance one by using the $0$th coefficient of the HOMFLT polynomials. As an application, we give a new constraint for genus one knot to admit a (generalized) cosmetic crossing. Combining known results, we prove the (generalized) cosmetic crossing conjecture for genus one pretzel knots.
If there are any 2-component counterexamples to the Generalized Property R Conjecture, a least genus component of all such counterexamples cannot be a fibered knot. Furthermore, the monodromy of a fibered component of any such counterexample has unexpected restrictions. The simplest plausible counterexample to the Generalized Property R Conjecture could be a 2-component link containing the square knot. We characterize all two-component links that contain the square knot and which surger to (S^1 x S^2) # (S^1 x S^2). We exhibit a family of such links that are probably counterexamples to General…
Kashaev's invariants for a knot in a three sphere are generalized to invariants of a knot in a three manifold. A relation between the newly constructed invariants and the hyperbolic volume of the knot complement is observed for some knots in lens spaces.
We show that for many classical knots one can find generalized torsion in the fundamental group of its complement, commonly called the knot group. It follows that such a group is not bi-orderable. Examples include all torus knots, the (hyperbolic) knot $5_2$ and satellites of these knots.
We prove that there are compact submanifolds of the 3-sphere whose interiors are not homeomorphic to any geometric limit of hyperbolic knot complements.
The knot coloring polynomial defined by Eisermann for a finite pointed group is generalized to an infinite pointed group as the longitudinal mapping invariant of a knot. In turn this can be thought of as a generalization of the quandle 2-cocycle invariant for finite quandles. If the group is a topological group then this invariant can be thought of a topological generalization of the 2-cocycle invariant. The longitudinal mapping invariant is based on a meridian-longitude pair in the knot group. We also give an interpretation of the invariant in terms of quandle colorings of a 1-tangle for gene…
We generalize R. Riley's study about parabolic representations of two bridge knot groups to the general knots in $S^3$. We utilize the parabolic quandle method for general knot diagrams and adopt symplectic quandle for better investigation, which gives such representations and their complex volumes explicitly. For any knot diagram with a specified crossing $c$, we define a generalized Riley polynomial $R_c(y) \in \mathbb{Q}[y]$ whose roots correspond to the conjugacy classes of parabolic representations of the knot group. The sign-type of parabolic quandle is newly introduced and we obtain a f…
Twisted torus knots and links are given by twisting adjacent strands of a torus link. They are geometrically simple and contain many examples of the smallest volume hyperbolic knots. Many are also Lorenz links. We study the geometry of twisted torus links and related generalizations. We determine upper bounds on their hyperbolic volumes that depend only on the number of strands being twisted. We exhibit a family of twisted torus knots for which this upper bound is sharp, and another family with volumes approaching infinity. Consequently, we show there exist twisted torus knots with arbitrarily…
Three new knot invariants are defined using cocycles of the generalized quandle homology theory that was proposed by Andruskiewitsch and Graña. We specialize that theory to the case when there is a group action on the coefficients. First, quandle modules are used to generalize Burau representations and Alexander modules for classical knots. Second, 2-cocycles valued in non-abelian groups are used in a way similar to Hopf algebra invariants of classical knots. These invariants are shown to be of quantum type. Third, cocycles with group actions on coefficient groups are used to define quandle co…
In 2008, Kauffman and Lomonaco introduce the concepts of a knot mosaic and the mosaic number of a knot or link, the smallest integer $n$ such that a knot or link can be represented on an $n$-mosaic. In arXiv:1702.06462, the authors explore space-efficient knot mosaics and the tile number of a knot or link, the smallest number of non-blank tiles necessary to depict the knot or link on a mosaic. They determine bounds for the tile number in terms of the mosaic number. In this paper, we focus specifically on prime knots with mosaic number 6. We determine a complete list of these knots, provide a m…
We determine p-colorability of the paradromic rings. These rings arise by generalizing the well-known experiment of bisecting a Mobius strip. Instead of joining the ends with a single half twist, use $m$ twists, and, rather than bisecting ($n = 2$), cut the strip into $n$ sections. We call the resulting collection of thin strips $P(m,n)$. By replacing each thin strip with its midline, we think of $P(m,n)$ as a link, that is, a collection of circles in space. Using the notion of $p$-colorability from knot theory, we determine, for each $m$ and $n$, which primes $p$ can be used to color $P(m,n)$…
In this paper, we determine geometric information on slope lengths of a large class of knots in the 3-sphere, based only on diagrammatical properties of the knots. In particular, we show such knots have meridian length strictly less than 4, and we find infinitely many families with meridian length approaching 4 from below. Finally, we present an example to show that, in contrast to the case of the regular augmented link, longitude lengths of these knots cannot be determined by a function of the number of twist regions alone.
We determine the pairs of torus knots that have a genus one cobordism between them, with one notable exception. This is done by combining obstructions using $ν^+$ from the Heegaard Floer knot complex and explicit constructions of cobordisms. As an application, we determine the pairs of torus knots related by a single crossing change. Also, we determine the pairs of Thurston-Bennequin number maximizing Legendrian torus knots that have a genus one exact Lagrangian cobordism, with one exception.
Kirchhoff energy is a classical functional on the space of arclength-parameterized framed curves whose critical points approximate configurations of springy elastic rods. We introduce a generalized functional on the space of framed curves of arbitrary parameterization, which model rods with axial stretch or cross-sectional inflation. Our main result gives explicit parameterizations for all periodic critical framed curves for this generalized functional. The main technical tool is a correspondence between the moduli space of shape similarity classes of closed framed curves and an infinite-dimen…
The signature function of a knot is a locally constant integer valued function with domain the unit circle. The jumps (i.e., the discontinuities) of the signature function can occur only at the roots of the Alexander polynomial on the unit circle. The latter are important in deforming U(1) representations of knot groups to irreducible SU(2) representations. Under the assumption that these roots are simple, we formulate a conjecture that explicitly computes the jumps of the signature function in terms of the Jones polynomial of a knot and its parallels. As evidence, we prove our conjecture for …
An $(m,n)$-branched twist spin is a fibered $2$-knot in $S^4$ which is determined by a $1$-knot $K$ and coprime integers $m$ and $n$. For a $1$-knot, Lin proved that the number of irreducible $SL(2,\mathbb{C})$-metabelian representations of the knot group of a $1$-knot up to conjugation is determined by the knot determinant of the $1$-knot. In this paper, we prove that the number of irreducible $SL(2,\mathbb{C})$-metabelian representations of the knot group of an $(m,n)$-branched twist spin up to conjugation is determined by the determinant of a $1$-knot in the orbit space by comparing a prese…
We introduce an unknotting-type number of knot projections that gives an upper bound of the crosscap number of knots. We determine the set of knot projections with the unknotting-type number at most two, and this result implies classical and new results that determine the set of alternating knots with the crosscap number at most two.
We have the generating function which determines the number of $2$-bridge knot groups admitting epimorphisms onto the knot group of a given $2$-bridge knot, in terms of crossing number. In this paper, we will refine this formula by taking account into genus as well as crossing number. Next, we determine the number of epimorphisms between fibered $2$-bridge knot groups. Moreover, we discuss degree one maps and $2$-bridge knots uknotting number one.
In this paper we introduce the concept of a space-efficient knot mosaic. That is, we seek to determine how to create knot mosaics using the least number of non-blank tiles necessary to depict the knot. This least number is called the tile number of the knot. We determine strict bounds for the tile number of a knot in terms of the mosaic number of the knot. In particular, if $t$ is the tile number of a prime knot with mosaic number $m$, then $5m-8 \leq t \leq m^2-4$ if $m$ is even and $5m-8 \leq t \leq m^2-8$ if $m$ is odd. We also determine the tile number of several knots and provide space-ef…
The Bott-Cattaneo-Rossi invariant $(Z_k)_{k\in \mathbb N\setminus\{0,1\}}$ is an invariant of long knots $\mathbb R^n\hookrightarrow\mathbb R^{n+2}$ for odd $n$, which reads as a combination of integrals over configuration spaces. In this article, we compute such integrals and prove explicit formulas for (generalized) $Z_k$ in terms of Alexander polynomials, or in terms of linking numbers of some cycles of a hypersurface bounded by the knot. Our formulas, which hold for all null-homologous long knots in homology $\mathbb R^{n+2}$ at least when $n\equiv 1\mod 4$, conversely express the Reidemei…
Let $G$ be a group. If an equation $x^n = y^n$ in $G$ implies $x = y$ for any elements $x$ and $y$, then $G$ is called an $R$--group. It is completely understood which knot groups are $R$--groups. Fay and Walls introduced $\bar{R}$--group in which the normalizer and the centralizer of an isolator of $\langle x \rangle$ coincide for any non-trivial element $x$. It is known that $\bar{R}$--groups and $R$--groups share many interesting properties and $\bar{R}$--groups are necessarily $R$--groups. However, in general, the converse does not hold. We will prove that these classes are the same for kn…
We solve the Jones conjecture, which states that the exponent sum in a minimal braid representation of a knot in S^3 is a knot invariant, by proving a generalized version of the original one. We apply contact geometry to study this problem in knot theory.
We deal with Matveev complexity of compact orientable 3-manifolds represented via Heegaard diagrams. This lead us to the definition of modified Heegaard complexity of Heegaard diagrams and of manifolds. We define a class of manifolds which are generalizations of Dunwoody manifolds, including cyclic branched coverings of two-bridge knots and links, torus knots, some pretzel knots, and some theta-graphs. Using modified Heegaard complexity, we obtain upper bounds for their Matveev complexity, which linearly depend on the order of the covering. Moreover, using homology arguments due to Matveev and…
It has long been known that the quadratic term in the degree of the colored Jones polynomial of a knot is bounded above in terms of the crossing number of the knot. We show that this bound is sharp if and only if the knot is adequate. As an application of our result we determine the crossing numbers of broad families of non-adequate prime satellite knots. More specifically, we exhibit minimal crossing number diagrams for untwisted Whitehead doubles of zero-writhe adequate knots. This allows us to determine the crossing number of untwisted Whitehead doubles of any amphicheiral adequate knot, in…
We determine the rational Khovanov bigraded homology groups of all Kanenobu knots. Also, we determine the crossing number for all Kanenobu knots $K(p,q)$ with $pq > 0$ or $|pq|\leq \max \{|p|, |q|\}$. In the case where $pq < 0$ and $|pq| > \max \{|p|, |q|\}$, we conjecture that the crossing number is $|p| + |q| + 8$.
We show, using Mellit's recent results, that Kálmán's full twist formula for the HOMFLY polynomial can be generalized to a formula for superpolynomials in the case of positive toric braids.
Generalized knot groups G_n(K) were introduced first by Wada and Kelly independently. The classical knot group is the first one G_1(K) in this series of finitely presented groups. For each natural number n, G_1(K) is a subgroup of G_n(K) so the generalized knot groups can be thought of as extensions of the classical knot group. For the square knot SK and the granny knot GK, we have an isomorphism $G_1(SK)\cong G_1(GK)$. From the presentations of G_n(SK) and G_n(GK), for n>1, it seems unlikely that G_n(SK) and G_n(GK) would be isomorphic to each other. We are able to show that for many finite g…
For any given number of crossings $c$, there exists a formula to determine the number of 2-bridge knots of $c$ crossings, and indeed it is a simple matter to actually construct presentations of these knots. However, the determination of whether a given (prime) knot is a 2-bridge knot remains a nontrivial exercise, and we have no procedure to determine bridge numbers more generally. Herein, we identify the 2-bridge knots within the Hoste--Thistlethwaite--Weeks tables of prime knots of up to 16 crossings by an exhaustive search of a larger set of 2-bridge knots. As the unknot is the only knot wi…
We analyze how a family of essential annuli in a compact 3-manifold will induce, from a strongly irreducible generalized Heegaard splitting of the ambient manifold, generalized Heegaard splittings of the complementary components. There are specific applications to the subadditivity of tunnel number of knots, improving somewhat bounds of Kowng. For example, in the absence of 2-bridge summands, the tunnel number of the sum of n knots is no less than 2/5 the sum of the tunnel numbers.
In this paper we consider all possible generalizations of the B-type Hecke algebras, namely the cyclotomic and what we call 'generalized', and we construct Markov traces on each of them, so as to obtain all possible different levels of homfly-pt analogues in the solid torus related to the (Hecke) algebras of B-type.
We describe a method of encoding various types of link diagrams, including those with classical, flat, rigid, welded, and virtual crossings. We show that this method may be used to encode link diagrams, up to equivalence, in a notation whose length is a cubic function of the number of 'riser marks'. For classical knots, the minimal number of such marks is twice the bridge index, and a classical knot diagram in minimal bridge form with bridge index $b$ may be encoded in space $\mathcal{O}(b^2)$. A set of moves on the notation is defined. As a demonstration of the utility of the notation we give…
We construct a new order 1 invariant for knot diagrams. We use it to determine the minimal number of Reidemeister moves needed to pass between certain pairs of knot diagrams.
We describe two locally finite graphs naturally associated to each knot type K, called Reidemeister graphs. We determine several local and global properties of these graphs and prove that in one case the graph-isomorphism type is a complete knot invariant up to mirroring. Lastly, we introduce another object, relating the Reidemeister and Gordian graphs, and determine some of its properties.
The Alexander polynomial of a knot has been generalized in three different ways to give twisted invariants. The resulting invariants are usually referred to as twisted Alexander polynomials, higher-order Alexander polynomials and $L^2$-Alexander invariants of knots. We quickly recall the definitions and we summarize and compare some of their properties. We also report on work by the authors on $L^2$-Alexander torsions and we conclude the paper with several conjectures on $L^2$-Alexander torsions.