A Cable 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 up to ten crossings have been explicitly computed. We present the first example of a , 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 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 and Recursion Ideal ...... 4

3 Knot 4 3.1 The Colored Jones ...... 5 3.2 The ...... 6

4 The Recursion Relation 7

5 An Expansion of a 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 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 (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 in the large color limit:

~ ∞ 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) ∈ Q x , P0(x) = 1 and ∆K (x) is the (sym- metrized) Alexander polynomial of K.

Additionally, motivated by the quantum /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)- 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 ∈ 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 := {αK ∈ T | αK JK,n = 0} .

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˜     ˜ X j ±1 T := aj(M)L aj(M) ∈ C[t ](M), aj = almost always 0 j∈Z 

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), |r| > 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) 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. We assume 0-framing for 41.

5 Their ~ series are 801 123  J (e~) = 1 + 6 − 6n2 2 + −42 + 42n2 3 + − 462n2 + n4 4 K,n ~ ~ 2 2 ~  8451 1895  3111491 132779 27281  + − + 5173n2 − n4 5 + − n2 + 14986n4 − n6 6 2 2 ~ 60 2 60 ~  14631401 19399417 3028829 840097  + − + n2 − n4 + n6 7 20 20 12 60 ~ 39069313501 950122877 54585517 1725671 13273763  + − n2 + n4 − n6 + n8 8 + ··· 3360 60 12 5 3360 ~ (5) We see that, at each ~ order, the degree of the polynomial in n is at most the order of ~, which is an equivalent characterization of the MMR expansion of the colored Jones polynomial of a knot. Secondly, as a consequence of the cabling, odd powers of ~ appear in the expansion, which are absent in the case of the figure eight knot [13]. Moreover, the coefficient polynomials for the odd ~-powers have one lower degree whereas the degree of the polynomials are the same for the even ~-powers. Hence they are unaffected by the cabling operation.

3.2 The Alexander Polynomial The cabling formula for the Alexander Polynomial of a knot K is [18]

∆ (t) = ∆ (tp)∆ (t), 2 ≤ p < |q| gcd(p, q) = 1, C(p,q)(K) K T(p,q) where ∆(t) is the symmetrized Alexander polynomial and T(p,q) is the (p,q) torus knot. Note that our convention for the parameters of the torus knot are switched (i.e. p ≡ 2, q ≡ r). Applying the above formula to C(9,2)(41), we get

∆ (x) = ∆ (x2)∆ (x) C(9,2)(41) 41 T(2,9) 1 1 2 2 1 1 = −x6 − + x5 + + 2x4 + − 2x3 − + x2 + − x − + 1. x6 x5 x4 x3 x2 x From this Alexander polynomial its symmetric expansion about x = 0 (in x) and x = ∞ (in 1/x) in the limit of ~ → 0 can be computed. ! x1/2 − x−1/2 lim 2FK (x, q) = 2 s.e q→1 ∆K (x) 1 2 5 13 = x11/2 − + 2x15/2 − + 5x19/2 − + 13x23/2 − x11/2 x15/2 x19/2 x23/2 34 1 89 2 + 34x27/2 − − x29/2 + + 89x31/2 − − 2x33/2 + x27/2 x29/2 x31/2 x33/2 35/2 233 37/2 5 39/2 610 hh ±1/2ii + 233x − − 5x + + 610x − + · · · ∈ Z x (6) x35/2 x37/2 x39/2 The coefficients in the expansions are integers and hence the Alexander polynomial is monic, which is a necessary condition for fm(q)’s in (1) to be polynomials.

6 4 The Recursion Relation

3 The quantum (or noncommutative) A-polynomial of a class of cable knot C(r,2)(41) in S having minimal L-degree is given by [33]

−1 r −2r −r AˆK (t, M, L) = (L − 1)B(t, M) Q(t, M, L) M L + t M ∈ A˜K (7) where

2 2 X 2j+2 2 Q(t, M, L) = Q2(t, M)L + Q1(t, M)L + Q0(t, M),B(t, M) := cjb(t, t M ) j=0

M(1 + t4M 2)(−1 + t4M 4)(−t2 + t14M 4) b(t, M) = t2 − t−2 4 2 6 2 2 2 6 2 2 2 4 2 c0 = Pˆ0(t, t M )Pˆ1(t, t M ), c1 = −Pˆ1(t, t M )Pˆ1(t, t M ), c2 = Pˆ1(t, t M )Pˆ2(t, t M ). ˆ The definitions of the operators Pi are written in Appendix A. For K = C(9,2)(41), applying (7) to n fK (x, q) together with x = q yields

2 3 4 α(x, q)FK (x, q) + β(x, q)FK (xq, q) + γ(x, q)FK (xq , q) + δ(x, q)FK (xq , q) + FK (xq , q) = 0, (8) where α, β, γ, δ functions and their ~ series are documented in [2]. From (8) we find the recursion relation for fm. −1 h f (q) = t f + t f + t f + t f + t f + t f m+98 109+m  87+m  2 m+94 4 m+90 6 m+86 8 m+82 9 m+80 10 m+78 q 2 1 − q 2

+ t11 fm+76 + t12 fm+74 + t13 fm+72 + t14 fm+70 + t15 fm+68 + t16 fm+66 + t17 fm+64

+ t18 fm+62 + t19 fm+60 + t20 fm+58 + t21 fm+56 + t22 fm+54 + t23 fm+52 + t24 fm+50

+ t25 fm+48 + t26 fm+46 + t27 fm+44 + t28 fm+42 + t29 fm+40 + t30 fm+38 + t31 fm+36

+ t32 fm+34 + t33 fm+32 + t34 fm+30 + t35 fm+28 + t36 fm+26 + t37 fm+24 + t38 fm+22 i ±1 + t39 fm+20 + t40 fm+18 + t41 fm+16 + t43 fm+12 + t45 fm+8 + t47 fm+4 + t49 fm ∈ Z[q ] (9) m where tv = tv(q, q )’s are listed in [2]. Using this recursion and the initial data documented in [2], FK (x, q) can be obtained to any desired order in x.

5 An Expansion of a Knot Complement

We next compute a series expansion of the FK of complement of the cable knot K. Specifically, a straightforward computation from (8) yields an ordinary differential equation(ODE) for Pm(x) at each ~ order. Using the initial conditions for the ODEs obtained from (5) 801 8451 P (1) = 0,P (1) = 6,P (1) = −42,P (1) = ,P (1) = − , ··· 1 2 3 4 2 5 2

7 we find that 5 10 13 36 10 16 P (x) = 5x12 + − 10x11 − − 13x10 − + 36x9 + − 10x8 − − 16x7 − + 15x6 1 x12 x11 x10 x9 x8 x7 15 14 16 18 19 20 + − 14x5 − + 16x4 + − 18x3 − + 19x2 + − 20x − + 20 x6 x5 x4 x3 x2 x 25x24 25 50 14 306 641x20 641 P (x) = + − 50x23 − − 14x22 − + 306x21 + − − − 448x19 2 2 2x24 x23 x22 x21 2 2x20 448 2011x18 2011 358 522 612 589x14 − + + − 358x17 − − 522x16 − + 612x15 + − x19 2 2x18 x17 x16 x15 2 589 508 3325x12 3325 1648 1538 − + 508x13 + − − + 1648x11 + + 1538x10 + − 3932x9 2x14 x13 2 2x12 x11 x10 3932 1574 1670 1798 396 1521x4 − + 1574x8 + + 1670x7 + − 1798x6 − + 396x5 + − x9 x8 x7 x6 x5 2 1521 4082 6541x2 6541 8334 − + 4082x3 + − − − 8334x − + 16831. 2x4 x3 2 2x2 x

The subsequent Pm’s are documented in [2]. Substituting them into (2) results in  1 2 5 13 34 2F (x, e~) = x11/2 − + 2x15/2 − + 5x19/2 − + 13x23/2 − + 34x27/2 − x11/2 x15/2 x19/2 x23/2 x27/2 1 89 2 233 − x29/2 + + 89x31/2 − − 2x33/2 + + 233x35/2 − − 5x37/2 x29/2 x31/2 x33/2 x35/2 5  + + ··· x37/2  11/2 5 15/2 12 19/2 35 23/2 104 27/2 + ~ 5x − + 12x − + 35x − + 104x − + 306x x11/2 x15/2 x19/2 x23/2 306 15 890 36 2563 − − 15x29/2 + + 890x31/2 − − 36x33/2 + + 2563x35/2 − x27/2 x29/2 x31/2 x33/2 x35/2 105  − 105x37/2 + + ··· x37/2 2 25 11/2 25 1 15/2 36 247 19/2 247 1 23/2 426 + ~ x − + 36x − + x − + 426x − 2 2 x11/2 x15/2 2 2 x19/2 x23/2 1441 225 225 1 4781 324 + 1441x27/2 − − x29/2 + + 4781x31/2 − − 324x33/2 + x27/2 2 2 x29/2 x31/2 x33/2 2563 2207 2207 1  + 2563x35/2 − − x37/2 + + ··· . x35/2 2 2 x37/2

Comparing to the series of the figure eight knot [13], we notice that every order of ~ appears in the above series whereas the series corresponding to the figure eight knot consists of only even powers of ~ (i.e. Pi(x) = 0 for i odd). This difference is an effect of the torus knot whose expansion involve all powers of ~ [13]. Furthermore, the x-terms begin from m = 11 instead of m = 1 and there are gaps in their powers. Specifically, x±13/2, x±17/2, x±21/2 and x±25/2 are absent. This is a consequence of the structure of (6). A distinctive feature of the cable knot is that from x±29/2 the coefficients are negative. Moreover, the positive and the negative coefficients alternate from that x-power for all ~ powers. These differences persist in the higher ~-orders, which are recorded in [2]. We will see these differences in a manifest way in the next section.

8 6 Effects of the Cabling

Since the initial data plays a core role in the recursion relation method, we discuss their features for the cable knot and then propose conjectures about them, which can be a useful guide for finding initial data for a family of the cable knots.

In the initial data (see [2]) for the recursion relation (9), we notice several differences from that of the figure eight knot [13]. Before discussing them, let us begin with the properties of the FK that are preserved by the cabling. The initial data consists of an odd number of terms and power of q increases by one between every consecutive terms in a fixed fm for all m’s, which are also true for f99 and f101. Additionally, the reflection symmetry of coefficients is retained up to f43 for positive coefficients and up to f61 for the negative ones but of course, those fm’s do not have the complete amphichiral structure. These invariant properties are a remnant feature of the amphichiral property of the figure eight knot.

A difference is that the nonzero initial data begins from f11 and the gaps between the powers 27/2 of x is four up to x , which is in the accordance with fm’s. These features are direct conse- quences of the symmetric expansion of the Alexander polynomial of the cable knot (6). In the case of the figure eight its coefficient functions start from f1 and there are no such gaps. Another distinctive difference is that fm’s containing negative coefficients appear from m = 29. Moreover, the positive and negative coefficient fm’s alternate from f27 (i.e. positive coefficients for f27, f31, ... and negative coefficients for f29, f33, ...). Furthermore, from f47 the reflection symmetry of the positive coefficients in the appropriate fm’s is broken. This phenomenon also occurs for the negative coefficient fm’s from m = 65. Breaking of the symmetry is expected since the cable knot of the figure eight is not amphichiral. The next difference is that the largest power of q in the pos- itive coefficient fm’s for m ≥ 15, the powers increase by 2, 2, 3, 3, 4, 4,..., 11, 11. For the negative coefficient case, the changes are 4, 4, 5, 5, 6, 6,..., 11, 11 from m = 33. The smallest powers of fm’s having positive coefficients exhibit their changes as 0, 0, −1, −1, −2, −2, −3, −3,... and for those with negative coefficients the pattern is 2, 2, 1, 1, 0, 0, −1, −1, −2, −2,....

An universal feature of the negative coefficient fm’s in the initial data is that their coefficient modulo sign is determined by the positive coefficient fm’s. For example, the absolute value of the coefficients of f29 is same as that of f11; f33’s coefficients come from that of f15 up to sign and so forth. Hence coefficients of fm having negative coefficients are determined by fm−18. In fact, this peculiar coefficient correlation also exists in the non-initial data f101 whose coefficients are correlated with that of f83.

3 Conjecture 6.1. For a class of a cable knot of the figure eight Kr = C(r,2)(41) ⊂ S , r > 8 and  ±1 odd having monic Alexander polynomial, the coefficient functions fm(q) ∈ Z[q ] in FKr (x, q) can be classified into two (disjoint) subsets: one of them consists of elements having all positive  + coefficients ft (q) t∈I+ and the other subset contains elements whose coefficients are all negative − − {fw (q)}w∈I− . Furthermore, for every element in {fw (q)}, its coefficients coincide with that of an  + element in ft (q) up to sign.

Conjecture 6.2. For the family of knots in Conjecture 6.1, every nonzero element in {fm(q)} consists of an odd number of terms and power of q increases(decreases) by one between every

9 − − consecutive terms of the element. Moreover, coefficients of an element fv (q) ∈ {fw (q)} agree with +  + − coefficients of fv−2r(q) ∈ ft (q) up to sign for all v ∈ I .

A The Definitions of the Operators

We list the definitions of the operators in the Aˆ-polynomial (7) in Section 4.

4 2 2 2 6 2 Q2(t, M) = Pˆ2(t, t M ) Pˆ1(t, t M ) Pˆ0(t, t M ) 4 2 6 2 2 2 6 2 2 2 4 2 Q1(t, M) = Pˆ0(t, t M ) Pˆ1(t, t M ) Pˆ2(t, t M ) − Pˆ1(t, t M ) Pˆ1(t, t M ) Pˆ1(t, t M ) 4 2 2 2 6 2 + Pˆ2(t, t M ) Pˆ1(t, t M ) Pˆ0(t, t M ) 4 2 6 2 2 2 Q0(t, M) = Pˆ0(t, t M ) Pˆ1(t, t M ) Pˆ0(t, t M ),

6 4 12 4 Pˆ0(t, M) : = t M (−1 + t M ) 4 2 4 2 4 2 4 4 12 4 12 4 12 6 16 8 Pˆ1(t, M) : = −(−1 + t M )(1 + t M ) 1 − t M − t M − t M − t M − t M + t M 10 4 4 4 Pˆ2(t, M) : = t M (−1 + t M ).

References

[1] Bar-Natan D., Garoufalidis S., On the Melvin–Morton–Rozansky conjecture, Invent. Math. 125 (1996), 103–133.

[2] Chae J., Ancillary files for “A Cable Knot and BPS Series”, arXiv:2101.11708.

[3] Cooper D., Culler D M., Gillet H., Long D., Shalen P., Plane curves associated to character varieties of 3–manifolds, Invent. Math. 118 (1994), 47–84.

[4] Cooper D., Long D., Remarks on the A-polynomial of a Knot, Journal of and Its Ramifications 05 (1996), 609–628.

[5] Dimofte T., Gukov S., Lenells J., Zagier D., Exact results for perturbative Chern–Simons theory with complex gauge group, Communications in Number Theory and Physics 3 (2009). arXiv:0903.2472v1.

[6] Ekholm T., Gruen A., Gukov S., Kucharski P., Park S., Sulkowski P., Zˆ at large N: from curve counts to quantum modularity, arXiv:2005.13349.

[7] Garoufalidis S., On the characteristic and deformation varieties of a knot, in Proceedings of the Casson Fest, Geom. Topol. Monogr., Vol. 7, Geom. Topol. Publ., Coventry, 2004, 291–309, arXiv:math.GT/0306230.

[8] Garoufalidis S., Koutschan C., The Noncommutative A-Polynomial of (−2, 3, n) Pretzel Knots, Experimental Mathematics 21(3) (2012), 241–251, arXiv:1101.2844.

[9] Garoufalidis S., Le T Q T., The colored Jones function is q–holonomic, Geometry and Topol- ogy 9 (2005), 1253–1293, arXiv:math/0309214.

10 [10] Garoufalidis S., Sun X., The non-commutative A-polynomial of twist knots, Journal of Knot Theory and Its Ramifications 19 (2010), 1571–1595, arXiv:0802.4074.

[11] Gukov S., Three-dimensional quantum gravity, Chern–Simons theory, and the A-polynomial, Comm. Math. Phys. 255 (2005), 577–627, arXiv:hep-th/0306165.

[12] Gukov S., Hsin P.-S., Nakajima H., Park S., Pei D., Sopenko N., Rozansky–Witten geometry of Coulomb branches and logarithmic knot invariants, arXiv:2005.05347.

[13] Gukov S., Manolescu C., A two-variable series for knot complements, arXiv:1904.06057.

[14] Gukov S., Putrov P., Park S., Cobordism invariants from BPS q-series, arXiv:2009.11874

[15] Gukov S., Pei D., Putrov P., Vafa C., BPS spectra and 3-manifold invariants, J. Knot Theory Ramifications 29 (2020), 2040003, 85 pages, arXiv:1701.06567.

[16] Gukov S., Putrov P., Vafa C., Fivebranes and 3-manifold homology, J. High Energy Phys. 2017 (2017), no. 7, 071, 81 pages, arXiv:1602.05302

[17] Gukov S., Sulkowski. P, A-polynomial, B-model, and quantization, J. High Energy Phys. 2012 (2012), no. 2, 070, arXiv:1108.0002

[18] Hedden M., On knot and cabling, Algebraic and Geometric Topology 5 (2005), 1197–1222, arXiv:math/0406402.

[19] Hikami K., Difference equation of the colored Jones polynomial for torus knot, Journal of Knot Theory and Its Ramifications 15 (2004), 959–965, arXiv:math/0403224v1.

[20] Khovanov M., A categorification of the Jones polynomial, Duke Math. J. 101 (2000), 359–426, arXiv:math.QA/9908171.

[21] Khovanov M., A categorification of the colored Jones polynomial, J. Knot Theory Ramifica- tions 14 (2005), 111–130, arXiv:math/0302060.

[22] Le T Q T., Tran A., On the AJ conjecture for knots, arXiv:1111.5258.

[23] Levine A., Non-surjective satellite operators and piecewise-linear concordance, Forum of Mathematics, Sigma 4e34 (2016), arXiv:1405.1125.

[24] Melvin P.M., Morton H.R., The coloured Jones function, Comm. Math. Phys. 169 (1995), 501–520.

[25] Miller A., Homomorphism obstructions for satellite maps, arXiv:1910.03461.

[26] Miller A., Piccirillo L., Knot traces and concordance, Journal of Topology 11 (2018), 201–220. arXiv:1702.03974.

[27] Park S., Large color R-matrix for knot complements and strange identities, arXiv:2004.02087.

[28] Kucharski P., Quivers for 3-manifolds: the correspondence, BPS states, and 3d N = 2 theories, arXiv:2005.13394.

11 [29] Reshetikhin N., Turaev V., Ribbon graphs and their invariants derived from quantum groups, Comm. Math. Phys. 127 (1990), 1–26.

[30] Reshetikhin N., Turaev V., Invariants of 3-manifolds via polynomials and quantum groups, Invent. Math. 103 (1991), 547–597.

[31] Rozansky L., Higher order terms in the Melvin–Morton expansion of the colored Jones poly- nomial, Comm. Math. Phys. 183 (1997), 291–306, arXiv:q-alg/9601009.

[32] Rozansky L., The Universal R-Matrix, Burau Representaion and the Melvin-Morton Expan- sion of the Colored Jones Polynomial, Adv. Math 134 (1998), 1–31, arXiv:q-alg/9604005.

[33] Ruppe D., The AJ-conjecture and cabled knots over the figure eight knot, Topology and its Applications 188 (2015), 27–50, arXiv:1405.3887.

[34] Ruppe D., Zhang X., The AJ-conjecture and cabled knots over torus knots, Journal of Knot Theory and Its Ramifications 24 (2015), 27–50, arXiv:1403.1858.

[35] Tran A., On the AJ conjecture for cables of the figure eight knot, New York Journal of Mathematics 20 (2014), 727–741, arXiv:1405.4055.

[36] Tran A., On the AJ conjecture for cables of twist knots, arXiv:1409.6071.

[37] Witten E., Quantum field theory and the Jones polynomial, Comm. Math. Phys. 121 (1989), 351–399.

12