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 1 X 1 F (x; q) = xm=2 − x−m=2f (q) 2 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 2 Z+ and ∆ 2 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: ~ 1 FK x; q = e X Pr(x) r = ~ ; (2) x1=2 − x−1=2 ∆ (x)2r+1 r=0 K n ±1 where x = e ~ is fixed, n is the color of K, Pr(x) 2 Q x , P0(x) = 1 and ∆K (x) is the (sym- metrized) Alexander polynomial of K. Additionally, motivated by the quantum volume conjecture/AJ-conjecture [7, 11] (explained in Section 2.2), it was conjectured that FK -series is q-holonomic: 3 Conjecture 1.2 ([13, Conjecture 1.6]). For any knot K ⊂ S , the normalized series fK (x; q) satisfies a linear recursion relation generated by the quantum A-polynomial of K A^K (q; x;^ y^): A^K (q; x;^ y^)fK (x; q) = 0; (3) 1=2 −1=2 where fK := FK (x; q)= x − x . The actions ofx ^ andy ^ are xf^ K (x; q) = xfK (x; q)yf ^ K (x; q) = fK (xq; q): 1Implicitly, there is a choice of group; originally, the group used is SU(2). 2They can be polynomials for monic Alexander polynomial of K (See Section 3.2) 2 For examples of the FK -series, several prime knots up to ten crossings have been analyzed [13, 27, 28]. They include the torus knots, the figure eight knot in [13], and 51 in [28]. Positive braid knots (10139, 10152), strongly quasipositive braids knots (m(10145); 10154; 10161), double twist knots (m(52), m(73), m(74)), and a few more prime knots (m(75), m(815)) were examined in [27]. In this paper we verify the above conjectures by computing the FK -series for (9; 2)-cabling of the figure eight knot and we compare our result to that of the figure eight knot. Furthermore, we conjecture about the FK -series for a family of a cable knot of the figure eight. The rest of the paper is organized as follows. In Section 2 we review the satellite operation on a knot and the recursion ideal of the quantum torus. In Section 3 we analyze knot polynomials of the cable knot of the figure eight. In Section 4 we derive the recursion relation for the cable knot. Then we deduce ~ expansion from the recursion in Section 5. Finally in Section 6 consequences of the cabling operation are discussed and we propose conjectures about a family of a cable knot. Acknowledgments. I would like to thank Sergei Gukov, Thang L^eand Laura Starkston for helpful conversations. I am grateful to Ciprian Manolescu for valuable suggestions on a draft of this paper. I am also grateful to Colin Adams for valuable comments. 2 Background 2.1 Satellites The satellite operation consists of a pattern knot P in the interior of the solid torus S1 × D2, a 0 3 companion knot K in the S and an canonical identification hK0 1 2 0 3 hK0 : S × D −! ν(K ) ⊂ S ; (4) where ν(K0) is the tubular neighborhood of K0. Figure 1: A pattern knot P (left), companion K0 (center) and satellite knot P (K0) (right). 0 A well-known example of satellite knots is a cable knot hK0 (P ) = C(r;s)(K ) that is obtained by 1 2 choosing P to be the (r; s)-torus knot pushed into the interior of the S × D . This map hK0 has been investigated in [23, 25, 26]. 3 2.2 Quantum Torus and Recursion Ideal Let T be a quantum torus ±1 ±1 ±1 2 T := C[t ] M ;L =(LM − t ML): The generators of the noncommutative ring T acts on a set of discrete functions, which are colored ±1 Jones polynomials JK;n 2 Z[t ] in our context, as 2n MJK;n = t JK;n LJK;n = JK;n+1: The recursion(annihilator) ideal AK of JK;n is the left ideal AK in T consisting of operators that annihilates JK;n: AJK;n := fαK 2 T j αK JK;n = 0g : As it turns out that AK is not a principal ideal in general. However, by adding inverse polynomials of t and M to T [7], we obtain a principal ideal domain T~ 8 9 < = ~ X j ±1 T := aj(M)L aj(M) 2 C[t ](M); aj = almost always 0 :j2Z ; Using T~ we get a principal ideal A~K := TA~ K generated by a single polynomial A^K d X j A^K (t; M; L) = aj(t; M)L : j=0 This A^K polynomial is a noncommutative deformation of a classical A-polynomial of a knot [3] (see also [4]). Alternative approaches to obtain A^K (t; M; L) are by quantizing the classical A-polynomial curve using a twisted Alexander polynomial or applying the topological recursion [17]. A conjecture called AJ conjecture/quantum volume conjecture was proposed in [7, 11] via different approaches: 3 Conjecture 2.1. For any knot K ⊂ S , A^K (t = −1; L; M) reduces to the (classical) A-polynomial curve AK (L; M) up to a solely M-dependent overall factor. In other words, JK;n(t) satisfies a linear recursion relation generated by A^K (t; M; L). This property of JK;n is often called q-holonomic [9]. The conjecture was confirmed for a variety of knots [5, 7, 8, 10, 19, 22, 36, 34]. 3 Knot Polynomials In this section we will analyze the colored Jones polynomial and the Alexander polynomial of a cable knot to show that the former satisfies the MMR expansion and the latter is monic. Furthermore, the MMR expansion enables us to read off the initial condition that is needed in Section 5. 4 3.1 The Colored Jones Polynomial 0 For (r,2)-cabling of the figure eight knot 41, we set P = T (r; 2) and K = 41 in (4). The cabling 0 3 formula for an unnormalized sl2(C) colored Jones polynomial of a (r; 2)-cabling of a knot K in S is [35] n − r (n2−1) X r(n−w) r w(w−1) J~ 0 (q) = q 2 (−1) q 2 J~ 0 (q); jrj > 8 and odd: C(r;2)(K );n K ; (2w−1) w=1 Figure 2: (r,2)-cable of the figure eight knot. 3 Its application to K = C(9;2)(41) , whose diagram has 25 crossings, is n " 2w−2 r # − 9 (n2−1) X (n−w) 9 w(w−1) X Y −k k 1−2w 2w−1 J~K;n(q) = q 2 (−1) q 2 [2w − 1] −q − q + q + q : w=1 r=0 k=1 Using the (0-framed) unknot U value together with q = t4 t2n − t−2n J (t) = ; U;n t2 − t−2 the first few unknot normalized polynomials JK;n(q) are JK;1(q) = 1 1 1 1 1 1 1 1 J (q) = q2 − q + + − + − + − K;2 q4 q6 q7 q8 q9 q12 q13 1 1 1 1 1 1 J (q) = q12 − q11 − q10 + q9 − q8 + q7 + q6 − q5 + q2 − 1 + + − + − + K;3 q8 q11 q13 q14 q16 q17 1 1 2 1 1 1 1 1 2 1 1 1 2 1 − − + − + − + + − − + − + − q18 q19 q20 q21 q23 q24 q25 q26 q27 q28 q29 q30 q32 q33 1 1 − + q34 q35 3 This cabling parameters correspond to 91 for the pattern knot.