A Cable Knot and BPS-Series
John Chae
Department of Physics and QMAP, UC Davis, 1 Shields Ave, Davis, CA, 95616, USA [email protected]
Abstract A series invariant of a complement of a knot was introduced recently. The invariant for several prime knots up to ten crossings have been explicitly computed. We present the first example of a satellite knot, namely, a cable of the figure eight knot, which has more than ten crossings. This cable knot result provides nontrivial evidence for the conjectures for the series invariant and demonstrates the robustness of integrality of the quantum invariant under the cabling operation. Furthermore, we find interesting effects of the cabling on the series invariant.
CONTENTS
1 Introduction 2
2 Background 3 2.1 Satellites ...... 3 2.2 Quantum Torus and Recursion Ideal ...... 4
3 Knot Polynomials 4 3.1 The Colored Jones Polynomial ...... 5 3.2 The Alexander Polynomial ...... 6
4 The Recursion Relation 7
5 An Expansion of a Knot Complement 7
6 Effects of the Cabling 9 arXiv:2101.11708v3 [math.GT] 1 Feb 2021
Appendix 10
A The Definitions of the Operators 10
1 1 Introduction
Inspired by the categorification of the Witten-Reshitikhin-Turaev invariant of a closed oriented 3-manifold [37, 30, 29] in [15, 16], a two variable series invariant FK (x, q) for a complement of a 3 knot MK was introduced in [13]. Although its rigorous definition is yet to be found, it possesses various properties such as the Dehn surgery formula and the gluing formula. This knot invariant 1 FK takes the form
∞ 1 X 1 F (x, q) = xm/2 − x−m/2f (q) ∈ q∆ x±1/2q±1, (1) K 2 m 2c Z m≥1 m odd
2 where fm(q) are Laurent series with integer coefficients , c ∈ Z+ and ∆ ∈ Q. Moreover, x- c 3 2 variable is associated to the relative Spin MK ,T -structures, which is affinely isomorphic to 2 3 2 ∼ 3 H MK ,T ; Z = H1 MK ; Z ; it has an infinite order, which is reflected as a series in FK . The rational constant ∆ was investigated in [14], which elucidated its intimate connection to the d- invariant (or the correction term) in certain versions of the Heegaard Floer homology (HF ±) for rational homology spheres. The physical interpretation of the integer coefficients in fm(q) are 3 number of BPS states of 3d N = 2 supersymmetric quantum field theory on MK together with 3 boundary conditions on ∂MK . Furthermore, it was conjectured that FK also satisfies the Melvin– Morton–Rozansky conjecture [24, 31, 32] (proven in [1]):
Conjecture 1.1 ([13, Conjecture 1.5]). For a knot K ⊂ S3, the asymptotic expansion of the knot invariant FK x, q = e~ about ~ = 0 coincides with the Melvin–Morton–Rozansky (MMR) expansion of the colored Jones polynomial in the large color limit: