Tangle Equations, the Jones conjecture, slopes of surfaces in tangle complements, and q-deformed rationals

Abstract

We study systems of $2$-tangle equations which play an important role in the analysis of enzyme actions on DNA strands. We show that every system of framed tangle equations has at most one framed rational solution. Furthermore, we show that the Jones Unknot conjecture implies that if a system of tangle equations has a rational solution then that solution is unique among all $2$-tangles. This result potentially opens a door to a purely topological disproof of the Jones Unknot conjecture. We introduce the notion of the Kauffman bracket ratio $\{T\}_q\in \mathbb Q(q)$ of any $2$-tangle $T$ and we conjecture that for $q=1$ it is the slope of meridionally incompressible surfaces in $D^3-T$. We prove that conjecture for algebraic $T$. We also prove that for rational $T$, the brackets $\{T\}_q$ coincide with the $q$-rationals of Morier-Genoud-Ovsienko. Additionally, we relate systems of tangle equations to the Cosmetic Surgery Conjecture and the Nugatory Crossing Conjecture.

Figures (7)

• Figure 1: The $-1, 0, 1$ and $\infty$ tangles and the tangle addition $T+T'$. (We follow here Conway's notation, Co. Kauffman's and his collaborators' papers use opposite signs, eg. KL.)
• Figure 2: Rational Tangle $\langle -2,-3,2\rangle$, and the numerator, and the denumerator closures
• Figure 3: A satellite of a long trefoil
• Figure 4: A nugatory crossing in knot. Disks denote $1$-tangles.
• Figure 5: Balanced Reidemeister moves. (Diagrams have blackboard framing.)

Theorems & Definitions (39)

• Proposition \oldthetheorem: Proof in Sec. \ref{['s.uniqueKB']}
• Conjecture \oldthetheorem
• Theorem \oldthetheorem: Proof in Sec. \ref{['s-JC-for-tan']}
• Conjecture \oldthetheorem
• Proposition \oldthetheorem: Proof in Sec. \ref{['s.surgery']}.
• Theorem \oldthetheorem: Proof in Sec. \ref{['s-q-rationals']}.
• Theorem \oldthetheorem: Proof in Sec. \ref{['s-q-rationals']}.
• Conjecture \oldthetheorem
• Theorem \oldthetheorem: Proof in Sec. \ref{['s.slope']}
• Proposition \oldthetheorem