Symmetry of geometrical figures is reflected in regularities of their algebraic invariants. Algebraic regularities are often preserved when the geometrical figure is topologically deformed. The most natural, intuitively simple but mathematically complicated, topological objects are Knots.
We present in this papers several examples, both old and new, of regularity of algebraic invariants of knots. Our main invariants are the Jones polynomial (1984) and its generalizations.
In the first section, we discuss the concept of a symmetric knot, and give one important example -- a torus knot. In the second section, we give review of the Jones type invariants. In the third section, we gently and precisely develop the periodicity criteria from the Kauffman bracket (ingenious version of the Jones polynomial). In the fourth section, we extend the criteria to skein (Homflypt) and Kauffman polynomials. In the fifth section we describe r^q periodicity criteria using Vassiliev-Gusarov invariants. We also show how the skein method may be used for r^q periodicity criteria for the classical (1928) Alexander polynomial. In the sixth section, we introduce the notion of Lissajous and billiard knots and show how symmetry principles can be applied to these geometric knots. Finally, in the seventh section, we show how symmetry can be used to gain nontrivial information about knots in other 3-manifolds, and how symmetry of 3-manifolds is reflected in manifold invariants. In particular, we find the formula for a torus knot in a solid torus and we show that the third eigenvector (e_3) of the Kauffman bracket skein module of the solid torus (with respect to the meridian Dehn twist) can be realized by a link in a solid torus.
We define cylinder knots as billiard knots in a cylinder. We present a necessary condition for cylinder knots: after dividing cylinder knots by possible rotational symmetries we obtain ribbon knots. We obtain an upper bound for the number of cylinder knots with two fixed parameters (out of three). In addition we prove that rosette knots are cylinder knots.
This work presents formulas for the Kauffman bracket and Jones polynomials of 3-bridge knots using the structure of Chebyshev knots and their billiard table diagrams. In particular, these give far fewer terms than in the Skein relation expansion. The subject is introduced by considering the easier case of 2-bridge knots, where some geometric interpretation is provided, as well, via combinatorial tiling problems.
Let $D$ be any elliptic right cylinder. We prove that every type of knot can be realized as the trajectory of a ball in $D.$ This proves a conjecture of Lamm and gives a new proof of a conjecture of Jones and Przytycki. We use Jacobi's proof of Poncelet's theorem by means of elliptic functions.
Knots parametrized in cylinder coordinates by t -> (st, 3 + cos(nt), cos(mt + ϕ)) share properties of Lissajous and billiard knots in a cylinder. We use these 'billiard knots in a flat solid torus' to study two topics: when is Z(s,n,m) equal to Z(s,m,n)? And: why are the determinants of certain Lissajous and billiard knots in a cylinder equal?
We use the Chebyshev knot diagram model of Koseleff and Pecker in order to introduce a random knot diagram model by assigning the crossings to be positive or negative uniformly at random. We give a formula for the probability of choosing a knot at random among all knots with bridge index at most 2. Restricted to this class, we define internal and external reduction moves that decrease the number of crossings of the diagram. We make calculations based on our formula, showing the numerics in graphs and providing evidence for our conjecture that the probability of any knot appearing in this model…
In a previous work, the first and third authors studied a random knot model for all two-bridge knots using billiard table diagrams. Here we present a closed formula for the distribution of the crossing numbers of such random knots. We also show that the probability of any given knot appearing in this model decays to zero at an exponential rate as the length of the billiard table goes to infinity. This confirms a conjecture from the previous work.
A symmetric quandle is a quandle with a good involution. For a knot in \$R^3\$, a knotted surface in \$R^4\$ or an \$n\$-manifold knot in \$R^{n+2}\$, the knot symmetric quandle is defined. We introduce the notion of a symmetric quandle presentation, and show how to get a presentation of a knot symmetric quandle from a diagram.
We present a short proof of a theorem of Tanaka that if a composite ribbon knot admits a symmetric union presentation with one twisting region, then it has a non-trivial knot and its mirror image as connected summands.
We present the results of Axel Seeliger's tabulation of symmetric union presentations for ribbon knots with crossing numbers 11 and 12 and exhibit possible examples for ribbon knots which are not representable as symmetric unions. In addition, we give a complete atlas of band diagrams for prime ribbon knots with 11 and 12 crossings.
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.
We prove the existence of symmetric critical torus knots for O'Hara's knot energy family $E_α$, $α\in (2,3)$ using Palais' classic principle of symmetric criticality. It turns out that in every torus knot class there are at least two smooth $E_α$-critical knots, which supports experimental observations using numerical gradient flows.
A symmetric union of two knots is a classical construction in knot theory which generalizes connected sum, introduced by Kinoshita and Terasaka in the 1950s. We study this construction for the purpose of finding an infinite family of hyperbolic non-fibered three-bridge knots of constant determinant which satisfy the well-known cosmetic crossing conjecture. This conjecture asserts that the only crossing changes which preserve the isotopy type of a knot are nugatory.
Motivated by the study of ribbon knots we explore symmetric unions, a beautiful construction introduced by Kinoshita and Terasaka in 1957. For symmetric diagrams we develop a two-variable refinement $W_D(s,t)$ of the Jones polynomial that is invariant under symmetric Reidemeister moves. Here the two variables $s$ and $t$ are associated to the two types of crossings, respectively on and off the symmetry axis. From sample calculations we deduce that a ribbon knot can have essentially distinct symmetric union presentations even if the partial knots are the same. If $D$ is a symmetric union diagra…
It is still unknown whether there is a nontrivial knot with Jones polynomial equal to that of the unknot. Tanaka shows that if an amphichiral knot is a symmetric union of the unknot with one twist region, then its Jones polynomial is trivial. Hence, he proposes that if any of these knots were nontrivial, a nontrivial knot with trivial Jones polynomial would exist. We first show such a knot is always trivial and hence cannot be used to answer the above question. We then generalize the argument to symmetric unions of any knots and show that if a symmetric union of a knot $J$ with one twist regio…
We give a formula for the duality structure of the 3-manifold obtained by doing zero-framed surgery along a knot in the 3-sphere, starting from a diagram of the knot. We then use this to give a combinatorial algorithm for computing the twisted Blanchfield pairing of such 3-manifolds. With the twisting defined by Casson-Gordon style representations, we use our computation of the twisted Blanchfield pairing to show that some subtle satellites of genus two ribbon knots yield non-slice knots. The construction is subtle in the sense that, once based, the infection curve lies in the second derived s…
Minimizing the bending energy within knot classes leads to the concept of elastic knots which has been initiated in [von der Mosel, Asymptot. Anal. 1998]. Motivated by numerical experiments in arxiv:1804.02206 (doi:10.1090/mcom/3633) we prescribe dihedral symmetry and establish existence of dihedrally symmetric elastic knots for knot classes admitting this type of symmetry. Among other results we prove that the dihedral elastic trefoil is the union of two circles that form a (planar) figure-eight. We also discuss some generalizations and limitations regarding other symmetries and knot classes.
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 study character varieties of symmetric knots and their reductions mod p. We observe that the varieties present a different behaviour according to whether the knots admit a free or periodic symmetry.
We describe the explicit form and the hidden structure of the answer for the HOMFLY polynomial for the figure eight and some other 3-strand knots in representation [21]. This is the first result for non-torus knots beyond (anti)symmetric representations, and its evaluation is far more complicated. We provide a whole variety of different arguments, allowing one to guess the answer for the figure eight knot, which can be also partly used in more complicated situations. Finally we report the result of exact calculation for figure eight and some other 3-strand knots based on the previously develop…
Knot theory is actively studied both by physicists and mathematicians as it provides a connecting centerpiece for many physical and mathematical theories. One of the challenging problems in knot theory is distinguishing mutant knots. Mutant knots are not distinguished by colored HOMFLY-PT polynomials for knots colored by either symmetric and or antisymmetric representations of $SU(N)$. Some of the mutant knots can be distinguished by the simplest non-symmetric representation $[2,1]$. However there is a class of mutant knots which require more complex representations like $[4,2]$. In this paper…
For knots in $S^3$, it is well-known that the Alexander polynomial of a ribbon knot factorizes as $f(t)f(t^{-1})$ for some polynomial $f(t)$. By contrast, the Alexander polynomial of a ribbon $2$-knot is not even symmetric in general. Via an alternative notion of ribbon $2$-knots, we give a topological condition on a $2$-knot that implies the factorization of the Alexander polynomial.
In this paper we construct new invariants of knotoids including the odd writhe, the parity bracket polynomial, the affine index polynomial and the arrow polynomial, and give an introduction to the theory of virtual knotoids. The invariants in this paper are defined for classical knotoids in analogy to corresponding invariants of virtual knots. The affine index polynomial and the arrow polynomial provide bounds on the height (minimum crossing distance between endpoints) of a classical knotoid. We show that classical knotoids have symmetric affine index polynomials.
Fox conjectured the Alexander polynomial of an alternating knot is trapezoidal, i.e. the coefficients first increase, then stabilize and finally decrease in a symmetric way. Recently, Hirasawa and Murasugi further conjectured a relation between the number of the stable coefficients in the Alexander polynomial and the signature invariant. In this paper we prove the Hirasawa-Murasugi conjecture for two-bridge knots.
We explain the notion of a grope cobordism between two knots in a 3-manifold. Each grope cobordism has a type that can be described by a rooted unitrivalent tree. By filtering these trees in different ways, we show how the Goussarov-Habiro approach to finite type invariants of knots is closely related to our notion of grope cobordism. Thus our results can be viewed as a geometric interpretation of finite type invariants. An interesting refinement we study are knots modulo symmetric grope cobordism in 3-space. On one hand this theory maps onto the usual Vassiliev theory and on the other hand it…
We study the ribbon discs that arise from a symmetric union presentation of a ribbon knot. A natural notion of symmetric ribbon number is introduced and compared with the classical ribbon number. We show that the gap between these numbers can be arbitrarily large by constructing an infinite family of ribbon knots with ribbon number 2 and arbitrarily large symmetric ribbon number. The proof is based on a particularly simple description of symmetric unions in terms of certain band diagrams which leads to an upper bound for the Heegaard genus of their branched double covers.
We define an algebraic group comprising symmetric chain complexes which captures the first two stages of the Cochran-Orr-Teichner solvable filtration of the knot concordance group in a single obstruction. To achieve this we impose additional structure on each chain complex which puts extra control on the fundamental groups, and in particular on the way in which they can change in a concordance.
In this paper we investigate the asymptotic behavior of the colored HOMFLY polynomial of the figure eight knot associated with the symmetric representation. We establish an analogous asymptotic expansion for the colored HOMFLY polynomial. From the asymptotic behavior we show that the Chern-Simons invariants and twisted Reidemeister torsion can be obtained with suitable modification of the case of colored Jones polynomial.
Character expansion expresses extended HOMFLY polynomials through traces of products of finite dimensional R- and Racah mixing matrices. We conjecture that the mixing matrices are expressed entirely in terms of the eigenvalues of the corresponding R-matrices. Even a weaker (and, perhaps, more reliable) version of this conjecture is sufficient to explicitly calculate HOMFLY polynomials for all the 3-strand braids in arbitrary (anti)symmetric representations. We list the examples of so obtained polynomials for V=[3] and V=[4], and they are in accordance with the known answers for torus and figur…
Explicit answer is given for the HOMFLY polynomial of the figure eight knot $4_1$ in arbitrary symmetric representation R=[p]. It generalizes the old answers for p=1 and 2 and the recently derived results for p=3,4, which are fully consistent with the Ooguri-Vafa conjecture. The answer can be considered as a quantization of the σ_R = σ_{[1]}^{|R|} identity for the "special" polynomials (they define the leading asymptotics of HOMFLY at q=1), and arises in a form, convenient for comparison with the representation of the Jones polynomials as sums of dilogarithm ratios. In particular, we construct…
For every knot $K$ and lie algebra $\mathfrak{g}$, there is a Gukov-Manolescu series denoted $F^{\mathfrak{g}}_K$ which serves as an analytic continuation of the quantum knot invariants associated to finite dimensional irreducible representations of $\mathfrak{g}$. There has been a great deal of work done on computing this invariant for $\mathfrak{g} = \mathfrak{sl}_2$ but comparatively less work has studied other lie algebras. In this paper we extend the large colour $R$ matrix from $\mathfrak{sl}_2$ to symmetrically coloured $\mathfrak{sl}_N$. This gives a definition for $F^{\mathfrak{sl}_N,…
We define an algebraic group comprising symmetric chain complexes which captures the first two stages of the Cochran-Orr-Teichner solvable filtration of the knot concordance group in a single invariant. To achieve this we impose additional structure on each chain complex which puts extra control on the fundamental groups, and in particular on the way in which they can change in a concordance.
Quandles with involutions that satisfy certain conditions, called good involutions, can be used to color non-orientable surface-knots. We use subgroups of signed permutation matrices to construct non-trivial good involutions on extensions of odd order dihedral quandles. For the smallest example of order 6 that is an extension of the three-element dihedral quandle, various symmetric quandle homology groups are computed, and applications to the minimal triple point number of surface-knots are given.
We provide an explicit example of a non trivial Legendrian knot $Λ$ such that there exists a Lagrangian concordance from $Λ_0$ to $Λ$ where $Λ_0$ is the trivial Legendrian knot. We then use the map induced in Legendrian contact homology by a concordance and the augmentation category of $Λ$ to show that no Lagrangian concordance exists in the other direction. This proves that the relation of Lagrangian concordance is not symmetric.
We compute Vassiliev invariants up to order six for arbitrary pretzel knots, which depend on $g+1$ parameters $n_1,\ldots,n_{g+1}$. These invariants are symmetric polynomials in $n_1,\ldots,n_{g+1}$ whose degree coincide with their order. We also discuss their topological and integer-valued properties.
We show that the $L^2$-Alexander torsion of a 3-manifold is symmetric. This can be viewed as a generalization of the symmetry of the Alexander polynomial of a knot.
Using the correspondence between Chern-Simons theories and Wess-Zumino-Witten models we present the necessary tools to calculate colored HOMFLY polynomials for hyperbolic knots. For two-bridge hyperbolic knots we derive the colored HOMFLY invariants in terms of crossing matrices of the underlying Wess-Zumino-Witten model. Our analysis extends previous works by incorporating non-trivial multiplicities for the primaries appearing in the crossing matrices, so as to describe colorings of HOMFLY invariants beyond the totally symmetric or anti-symmetric representations of SU(N). The crossing matrice…
A handlebody-knot is a handlebody embedded in the 3-sphere. We establish a uniform method to construct invariants for handlebody-links. We introduce the category $\mathcal{T}$ of handlebody-tangles and present it by generators and relations. The result tells us that every functor on $\mathcal{T}$ that gives rise to invariants is derived from what we call a quantum-commutative quantum-symmetric algebra in the target category. The example of such algebras of our main concern is finite-dimensional unimodular Hopf algebras. We investigate how those Hopf algebras give rise to handlebody-knot invari…
