arxiv: v4 [math.gt] 9 Jul 2018

Transcription

1 VOLUME CONJECTURES FOR THE RESHETIKHIN-TURAEV AND THE TURAEV-VIRO INVARIANTS QINGTAO CHEN AND TIAN YANG rxiv: v4 [mth.gt] 9 Jul 2018 ABSTRACT. We onsider the symptotis of the Turev-Viro nd the Reshetikhin-Turev invrints of hyperoli 3-mnifold, evluted t the root of unity exp(2π 1/r) insted of the stndrd exp(π 1/r). We present evidene tht, s r tends to, these invrints grow exponentilly with growth rtes respetively given y the hyperoli nd the omplex volume of the mnifold. This revels n symptoti ehvior tht is different from tht of Witten s Asymptoti Expnsion Conjeture, whih predits polynomil growth of these invrints when evluted t the stndrd root of unity. This new phenomenon suggests tht the Reshetikhin-Turev invrints my hve geometri interprettion other thn the originl one vi SU(2) Chern-Simons guge theory. 1. INTRODUCTION In [62], Witten provided new interprettion of the Jones polynomil sed on Chern-Simons guge theory, nd expnded on this ide to onstrut sequene of omplex vlued 3-mnifold invrints. This pproh ws formlized though the representtion theory of quntum groups y Reshetikhin nd Turev [53, 54], who generlized the Jones polynomil to sequene of polynomil invrints of link, lter lled the olored Jones polynomils of tht link. They lso defined sequene of 3-mnifold invrints orresponding to Witten s invrints. The Reshetikhin-Turev onstrution of 3-mnifold invrints strts from surgery desription [33] of the mnifold, nd evlutes the olored Jones polynomils of the surgery dt t ertin roots of unity. A different pproh ws developed y Turev nd Viro [60] who, from tringultion of losed 3-mnifold, onstruted rel vlued invrints of the mnifold y using quntum 6jsymols [35]; these Turev-Viro invrints turned out to e equl to the squre of the norm of the Reshetikhin-Turev invrints [55, 59, 61]. Using quntum dilogrithm funtions, Kshev [29, 30] used different type of 6j-symols, involving the disrete quntum dilogrithm, to define for eh integer n omplex vlued link invrints. He oserved in few exmples, nd onjetured in the generl se, tht the solute vlue of these invrints grow exponentilly with n, nd tht the growth rte is given y the hyperoli volume of the omplement of the link. In [44], Murkmi nd Murkmi showed tht Kshev s invrints oinide with the vlues of the olored Jones polynomils t ertin root of unity, nd reformulted Kshev s onjeture s follows. Volume Conjeture ([30, 44]). For hyperoli link L in S 3, let J n (L; q) e its n-th olored Jones polynomil. Then 2π lim n + n log Jn (L; e 2π 1 n ) = vol(s 3 \ L), where vol(s 3 \ L) is the hyperoli volume of the omplement of L. The reserh of the first uthor ws prtilly supported y the Ntionl Centre of Competene in Reserh SwissMAP of the Swiss Ntionl Siene Foundtion. The seond uthor ws supported y NSF grnt DMS

2 2 QINGTAO CHEN AND TIAN YANG This onjeture hs now een proved for ertin numer of ses: the figure-eight knot [44]; ll hyperoli knots with t most six rossings [49, 50]; the Borromen rings [24]; the twisted Whitehed links [66]; the Whitehed hins [63]. Vrious extensions of this onjeture hve een proposed, nd proved for ertin ses in [28, 46, 15, 20, 19, 47]. In the urrent pper we investigte the symptoti ehvior of the Reshetikhin-Turev nd the Turev-Viro invrints, evluted t the root of unity q = e 2π 1 r. Supported y numeril evidene, we propose the following onjeture. Conjeture 1.1. For hyperoli 3-mnifold M, let TV r (M; q) e its Turev-Viro invrint nd let vol(m) e its hyperoli volume. Then for r running over ll odd integers nd for q = e 2π 1 r, 2π lim r + r log ( TV r (M; q) ) = vol(m). We here onsider ll types of hyperoli 3-mnifolds: losed, usped or those with totlly geodesi oundry. The Turev-Viro invrint TV r (M; q) is the originl one defined in [60] when the mnifold M is losed, nd is its extension defined in [10] when M hs non-empty oundry. See 2.3 for detils. This onjeture should e ontrsted with Witten s Asymptoti Expnsion Conjeture (see [48]) whih predits tht, when evluted t q = e π 1 r, the Witten invrints of 3-mnifold (nd therefore its Reshetikhin-Turev nd Turev-Viro invrints) only grow polynomilly, with growth rte relted to lssil invrints of the mnifold suh s the Chern-Simons invrint nd the Reidemeister torsion. Conjeture 1.1 is motivted y the eutiful work of Costntino [16] relting the symptotis of quntum 6j-symols to the volumes of trunted hyperidel tetrhedr. See lso [18, 19]. We provide muh supporting evidene for Conjeture 1.1. In 3, we numerilly lulte TV r (M) for vrious hyperoli 3-mnifolds with usps, inluding the figure-eight knot omplement nd its sister, the omplements of the knots K 52 nd K 61, nd the mnifolds denoted y M 36, M 38, N 11 nd N 21 in the Cllhn-Hildernd-Weeks ensus [14]. We lso numerilly lulte TV r (M) for the smllest hyperoli 3-mnifolds with totlly geodesi oundry [23, 39]. Reently, Detherry, Klfginni nd the seond uthor [22] provided rigorous proof of Conjeture 1.1 for the figure-eight knot omplement. The Reshetikhin-Turev invrints RT r (M; q) re omplex vlued invrints of losed oriented 3-mnifold M, defined for ll integers r 3 nd ll primitive 2r-th roots of unity q. For q = e π 1 r, these invrints provide mthemtil reliztion of Witten s invrints [62]. Following skein theory pproh pioneered y Likorish [36, 37], Blnhet-Hegger-Msum-Vogel [11] (see lso Likorish [38]) extended Reshetikhin-Turev invrints to primitive r-th roots of unity q with r odd. In prtiulr, RT r (M; q) is defined t q = e 2π 1 r when r is odd. In 4, we numerilly ompute Reshetikhin-Turev invrints for vrious losed hyperoli 3-mnifolds otined y integrl Dehn surgery long the knots K 41 nd K 52. These lultions suggest the following onjeture. Conjeture 1.2. Let M e losed oriented hyperoli 3-mnifold nd let RT r (M; q) e its Reshetikhin-Turev invrints. Then for q = e 2π 1 r with r odd nd for suitle hoie of the rguments, 4π 1 lim log ( RT r (M; q) ) = CS(M) + vol(m) 1 mod π 2 Z, r + r

3 VOLUME CONJECTURES FOR THE RESHETIKHIN-TURAEV AND THE TURAEV-VIRO INVARIANTS 3 where CS(M) denotes the Chern-Simons invrint of the hyperoli metri of M multiplied y 2π 2. Ohtsuki [51] reently nnouned proof of Conjeture 1.2 for the mnifolds otined y Dehn surgery long the knot K 41. By [55, 59, 61], Conjeture 1.2 implies Conjeture 1.1 for losed 3-mnifolds. Compring Conjeture 1.2 with Witten s Asymptoti Expnsion Conjeture, one sees very different symptoti ehvior for the Reshetikhin-Turev invrints evluted t q = e 2π 1 r nd q = e π 1 2r. Our numeril lultions lso suggest exponentil growth t other roots of unity suh s q = e 3π 1 r. For these roots of unity, we expet geometri interprettion of Reshetikhin-Turev invrints tht is different from the SU(2) Chern-Simons guge theory. In 5, we lulte TV r (M) for the omplements of the unknot, the Hopf link, the trefoil knot nd the torus links T (2,4) nd T (2,6). We lso numerilly lulte TV r (M) for the omplement of the torus knots T (2,5), T (2,7), T (2,9), T (2,11), T (3,5) nd T (3,7). These omputtions suggest n Integrlity Conjeture (Conjeture 5.1) whih sttes tht the Turev-Viro invrints of torus link omplement re integers independent of the roots of unity t whih they re evluted. Aknowledgments: Prt of this work ws done during the Tenth Est Asin Shool of Knots nd Relted Topis t the Est Chin Norml University in Jnury We would like to thnk the orgnizers for their support nd hospitlity. The uthors re deeply grteful to Frnis Bonhon for disussions, suggestions nd improving the writing of the pper, nd re lso grteful to Rirdo Benedetti, Frneso Costntino, Chrles Frohmn, Stvros Grouflidis, Rint Kshev, Ling Kong, Thng Lê, Julien Mrhé, Gregor Msum, Nioli Reshetikhin, Dyln Thurston, Rolnd vn der Veen, Zhenghn Wng nd Ho Zheng for disussions nd suggestions, nd Xiogng Wen nd Shing-Tung Yu for showing interest in this work. The first uthor thnks Kefeng Liu nd Weiping Zhng for mny useful disussions during the pst few yers, nd Nioli Reshetikhin for guiding him to the re of quntum invrints nd shring mny experienes nd ides sine The seond uthor thnks Henry Segermn nd Hongin Sun for very helpful disussions, nd Steven Kerkhoff, Feng Luo nd Mrym Mirzkhni for mny suggestions. 2. PRELIMINARIES We rell the onstrution of Turev-Viro invrints of 3-dimensionl mnifolds. In order to follow uniform tretment for ll ses, we extend their definition to pseudo 3-mnifolds Pseudo 3-mnifolds nd tringultions. A pseudo 3-mnifold is topologil spe M suh tht eh point p of M hs neighorhood U p tht is homeomorphi to one over surfe Σ p. We ll p singulr point nd U p singulr neighorhood if Σ p is not 2-sphere. In prtiulr, losed 3-mnifold is pseudo 3-mnifold with no singulr point, nd every 3-mnifold with oundry is homeomorpi to pseudo 3-mnifold with suitle singulr neighorhoods of ll singulr points removed. A tringultion T of pseudo mnifold M onsists of disjoint union X = i of finitely mny Euliden tetrhedr i nd of olletion of homeomorphisms Φ etween pirs of fes in X suh tht the quotient spe X/Φ is homeomorphi to M. The verties, edges, fes nd tetrhedr in T re respetively the quotients of the verties, edges, fes nd tetrhedr in X. From the definition, we see tht singulr point of M must e vertex of T. We ll the nonsingulr verties of T the inner verties. If M is losed 3-mnifold, then tringultion of M is

4 4 QINGTAO CHEN AND TIAN YANG tringultion of mnifold in the usul sense; nd if N is 3-mnifold with oundry otined y removing ll singulr neighorhoods of pseudo 3-mnifold M, then tringultion of M without inner verties determines n idel tringultion of N. In [41, 42, 52], it is proved tht ny two tringultions of pseudo 3-mnifold re relted y sequene of 0 2 nd 2 3 Phner moves. See the figure elow, where in the 0 2 move new inner vertex is introdued. 0-2 move 2-3 move 2.2. Quntum 6j-symols. We now rell the definition nd si properties of the quntum 6j-symols. See [35, 32] for more detils. Throughout this susetion, we will fix n integer r 3, nd we let I r = {0, 1/2,..., (r 2)/2} e the set of non-negtive hlf-integers less thn or equl to (r 2)/2. The elements of I r re trditionlly lled olors. Let q C e root of unity suh tht q 2 is primitive root of unity of order r. For n integer n, the quntum integer [n] is the rel numer defined y [n] = qn q n q q 1, nd the ssoited quntum ftoril is [n]! = [n][n 1]... [1]. By onvention, [0]! = 1. A triple (i, j, k) of elements of I r is lled dmissile if (1) i + j k, j + k i nd k + i j, (2) i + j + k Z, (3) i + j + k r 2. A 6-tuple (i, j, k, l, m, n) of elements of I r is dmissile if the triples (i, j, k), (j, l, n), (i, m, n) nd (k, l, m) re dmissile For n dmissile triple (i, j, k), define (i, j, k) = [i + j k]![j + k i]![k + i j]! [i + j + k + 1]! with the onvention tht x = x 1 when the rel numer x is negtive.

5 VOLUME CONJECTURES FOR THE RESHETIKHIN-TURAEV AND THE TURAEV-VIRO INVARIANTS 5 Definition 2.1. The quntum 6j-symol of n dmissile 6-tuple (i, j, k, l, m, n) is the numer i j k l m n = 1 2(i+j+k+l+m+n) (i, j, k) (j, l, n) (i, m, n) (k, l, m) min{q 1,Q 2,Q 3 } z=mx{t 1,T 2,T 3,T 4 } ( 1) z [z + 1]! [z T 1 ]![z T 2 ]![z T 3 ]![z T 4 ]![Q 1 z]![q 2 z]![q 3 z]! where T 1 = i + j + k, T 2 = j + l + n, T 3 = i + m + n nd T 4 = k + l + m, Q 1 = i + j + l + m, Q 2 = i + k + l + n nd Q 3 = j + k + m + n. A good wy to memorize the definitions is to onsider tetrhedron s in Figure 1, nd to tth the weights i, j, k, l, m, n to its edges s indited in the figure. Then eh of T 1, T 2, T 3, T 4 orresponds to fe of the tetrhedron, nd eh of Q 1, Q 2, Q 3 orresponds to qudrilterl seprting two pirs of the verties. i j n m k l FIGURE 1. 6j-symols nd the tetrhedron The following symmetries i j k l m n = j i k m l n = i k j l n m = i m n l j k = l m k i j n = l j n i m k immeditely follow from the definitions. The quntum 6j-symols stisfy the following two importnt identities, whih re ruil in the onstrution of the Turev-Viro invrints. For i I r, set w i = ( 1) 2i [2i + 1] nd η = i I r w 2 i. Proposition 2.2 (Orthogonlity Property). For ny dmissile 6-tuple (i, j, k, l, m, n), i j m (2.1) w s w m k l s i j n k l s = δ mn, s where δ is the Kroneker symol, nd where the sum is over ll s I r suh tht the two 6-tuples in the sum re dmissile. Corollry 2.3. For ny dmissile triple (i, j, k), (2.2) η 1 i j k w l w m w n l m n i j k l m n = 1, l,m,n

6 6 QINGTAO CHEN AND TIAN YANG where the sum is over l, m, n I r suh tht the 6-tuples (i, j, k, l, m, n) is dmissile. Proposition 2.4 (Biedenhrn-Elliot identity). For ny i, j, k, l, m, n, o, p, q I r suh tht (o, p, q, i, j, k) nd (o, p, q, l, m, n) re dmissile, (2.3) i j q w s m l s j k o n m s k i p l n s = o p q i j k o p q l m n, s where the sum is over s I r suh tht the three 6-tuples in the sum re dmissile Turev-Viro invrints of pseudo 3-mnifolds. Let q e root of unity, nd let r e suh tht q 2 is primitive root of unity of order r. As in 2.2, we onsider the set I r = {0, 1/2, 1,..., (r 2)/2} of olors, nd the nottion [n] = qn q n q q 1, w i = ( 1) 2i [2i + 1], η = i I r w 2 i. for every integer n nd olor i I r. For tringultion T of pseudo 3-mnifold M, n r-dmissile oloring of (M, T ) is mp : {edges of T } I r suh tht, for every 2-dimensionl fe F of T, the olors (e 1 ), (e 2 ), (e 3 ) T ssoited to the edges of F form n dmissile triple. Suh oloring ssoites to eh edge e of T the numer e = w (e), nd to eh tetrhedron of T the 6j-symol = (e 12) (e 13 ) (e 23 ) (e 34 ) (e 24 ) (e 14 ), where the edges of re indexed in suh wy tht, if v 1, v 2, v 3, v 4 denote the verties of, the edge e ij onnets v i to v j. Definition 2.5. With the ove definitions, the Turev-Viro invrint of M ssoited to the root of unity q is defined s the sum TV q (M, T ) = η V e A r where V, E, T, A r respetively denote the sets of inner verties, edges, tetrhedr nd r-dmissile olorings of the tringultion T. Theorem 2.6. The ove invrint TV q (M, T ) depends only on the pseudo-mnifold M nd on the root of unity q, not on the tringultion T. Proof. Theorem 2.6 is proved y strightforwrd extension to pseudo 3-mnifolds of the originl rgument of Turev nd Viro in [60] for 3-mnifolds. The first ingredient is purely topologil sttement, proved in [41, 42, 52], whih sys tht ny two tringultions of pseudo 3-mnifold re relted y sequene of the Phner Moves 0 2 nd 2 3 represented in Figures 2 nd 3. The Phner Move 0 2 reples 2-dimensionl fe of the tringultion y two tetrhedr meeting long 3 fes, nd dds one vertex to the tringultion. The 2 3 Move reples two tetrhedr meeting long one fe y three tetrhedr shring one edge. The seond ingredient is lgeri, nd is provided y the properties of 6j-symols given in 2.2. Indeed, extly s in [60], Corollry 2.3 of the Orthogonlity Property of Proposition 2.1 e E T

7 VOLUME CONJECTURES FOR THE RESHETIKHIN-TURAEV AND THE TURAEV-VIRO INVARIANTS 7 i n j i j m l k k FIGURE 2. The Phner Move 0 2 i k i k q j s p o q j o p l m n l m n FIGURE 3. The Phner Mover 2 3 shows tht TV r (M, T ) is unhnged s we modify the tringultion T y 0 2 move, nd the Biedenhrn-Elliot identity (2.3) gurntees the invrine under the 2 3 move. As mentioned in 2.1, tringultion of pseudo 3-mnifold without inner verties determines n idel tringultion of the 3-mnifold with oundry otined y removing ll the singulr neighorhoods. Hene for 3-mnifold M with oundry, one n define TV r (M) using n idel tringultion of M. Our invrint (nd its onstrution) then oinides with the one defined in [10] using o-grphs. Theorem 2.6 shows tht, for ny r nd q s ove, TV q (M, T ) is independent of the hoie of of the tringultion T. We will onsequently omit the tringultion T nd denote the invrint y TV r (M) if q = e 2π 1 r, or y TV r (M; q) if we wnt to emphsize whih root of unity q is eing used. 3. EVIDENCE FOR 3-MANIFOLDS WITH BOUNDARY We now provide numeril evidene for Conjeture 1.1 for few hyperoli 3-mnifolds with oundry. The losed mnifold se will e onsidered in the next setion. The reson for onsidering the two ses seprtely is tht hyperoli 3-mnifold with oundry often dmits n idel tringultion y smll numer of tetrhedr, wheres tringultion of losed hyperoli 3-mnifold usully requires more tetrhedr. For exmple, it tkes t lest nine tetrhedr to tringulte the Weeks mnifold, whih is the smllest losed hyperoli 3-mnifold. To simplify the nottion, set QV r (M) = 2π ( r 2 log TV r (M; e 2π 1 r ) )

8 8 QINGTAO CHEN AND TIAN YANG for eh odd integer r 3. Similrly, write TV r (L) = TV r (S 3 \ L) nd QV r (L) = QV r (S 3 \ L) when M = S 3 \ L is link omplement The figure-eight knot omplement nd its sister. By Thurston s fmous onstrution [56], the figure-eight knot omplement S 3 \ K 41 hs volume vol(s 3 \ K 41 ) , nd hs the idel tringultion represented in Figure 4. In tht figure, edges with the sme lels ( or ) re glued together following the indited orienttions to form n edge of the idel tringultion. FIGURE 4. By Definition 2.5, we hve TV r (K 41 ) = w w, (,) A r where A r onsists of the pirs (, ) of elements of I r suh tht (,, ) nd (,, ) re dmissile, i.e., 2 0, 2 0, 2 + r 2, 2 + r 2 nd 2 + nd 2 + re integers. From this formul, we hve the following tle of vlues of QV r (K 41 ). r QV r(k 41 ) r QV r(k 41 ) r QV r(k 41 ) Figure 5 elow ompres the vlues of the Turev-Viro invrints QV r (K 41 ) nd the Kshev invrints K 41 r for vrious vlues of r. The dots represent the points (r, QV r (K 41 )), the dimonds represent the points (r, 2π r log K 4 1 r ), nd the squres represent the points (r, vol(s 3 \ K 41 )). Note tht the vlues of QV r (K 41 ) pper to onverge to vol(s 3 \ K 41 ) muh fster thn K 41 r s r eomes lrge. The mnifold M 22 in the Cllhn-Hildernd-Weeks ensus [14], lso known s the figure-eight sister, shres the sme volume with the figure-eight knot omplement, i.e., vol(m 22 ) = vol(s 3 \ K 41 )

9 VOLUME CONJECTURES FOR THE RESHETIKHIN-TURAEV AND THE TURAEV-VIRO INVARIANTS 9 FIGURE 5. Comprison of different invrints for K 41 It is lso known tht M 22 is not the omplement of ny knot in S 3. Aording to Regin [12], M 22 hs the idel tringultion represented in Figure 6. FIGURE 6. Sine for eh tetrhedron in this tringultion, the oloring is the sme s tht of S 3 \ K 41, the invrint TV r (M 22 ) hs extly the sme formul s TV r (K 41 ). As onsequene, the Turev- Viro invrints of these mnifolds tke the sme vlues The K 52 knot omplement nd its sisters. Aording to SnpPy [21] nd Regin [12], the omplement of the knot K 52 hs volume vol(s 3 \ K 52 ) , nd dmits the idel tringultion represented in Figure 7. Sine only the olors of the edges (ording to whih the edges re identified to form n edge of the tringultion) mtters in the lultion of TV r (M), we omit the rrows on the edges. By Definition 2.5, we hve TV r (K 52 ) = w w w, (,,) A r

10 10 QINGTAO CHEN AND TIAN YANG FIGURE 7. where A r onsists of triples (,, ) of elements of I r suh tht (,, ), (,, ), (,, ) nd (,, ) re dmissile. From this, we hve the following tle of vlues of QV r (K 52 ). r QV r(k 52 ) r QV r(k 52 ) Figure 8 ompres the vlues of QV r (K 52 ) with those of the Kshev invrints K 52 r. Agin, the dots represent the points (r, QV r (K 52 )), the dimonds represent the points (r, 2π r log K 5 2 r ), nd the squres represent the points (r, vol(s 3 \ K 52 )). FIGURE 8. Comprison of different invrints for K 52 The mnifold M 36 in the Cllhn-Hildernd-Weeks ensus [14] is lso the omplement of the ( 2, 3, 7) pretzel knot of Figure 9. It hs the sme volume s S 3 \ K 52, nmely vol(m 36 ) = vol(s 3 \ K 52 ) Aording to Regin, M 36 n e represented y the idel tringultion of Figure 10.

11 VOLUME CONJECTURES FOR THE RESHETIKHIN-TURAEV AND THE TURAEV-VIRO INVARIANTS 11 FIGURE 9. The ( 2, 3, 7) pretzel knot FIGURE 10. Then for r 3, we hve TV r (M 36 ) = w w w, (,,) A r where A r onsists of ll triples (,, ) of elements of I r suh tht (,, ), (,, ), (,, ), (,, ) nd (,, ) re dmissile. The tle elow shows few vlues of QV r (K 52 ) nd QV r (M 36 ). We oserve tht QV r (K 52 ) nd QV r (M 36 ) re distint, ut re getting loser to eh other nd seem to onverge to s r grows. r QV r(k 52 ) QV r(m 36 ) r QV r(k 52 ) QV r(m 36 ) The mnifold M 38 in the Cllhn-Hildernd-Weeks ensus [14], whih is not the omplement of ny knot in S 3, lso hs the sme volume s S 3 \ K 52. Aording to Regin, M 38 hs n idel tringultion tht hs the sme olors s tht of S 3 \ K 52 drwn ove. As onsequene, QV r (M 38 ) oinides with QV r (K 52 ) for ll r The K 61 knot omplement. Aording to SnpPy [21] nd Regin [12], the omplement of the knot K 61 hs volume vol(s 3 \ K 61 ) ,

12 12 QINGTAO CHEN AND TIAN YANG nd n e desried y the idel tringultion of Figure 11. d d d d FIGURE 11. This gives TV r (K 61 ) = w w w w d d d d d, (,,,d) A r where A r onsists of qudruples (,,, d) of elements of I r suh tht ll the triples involved re dmissile. From this, we hve the following tle of vlues of QV r (K 61 ). r QV r(k 61 ) r QV r(k 61 ) Figure 12 ompres few vlues of QV r (K 61 ) with those of the Kshev invrint K 61 r nd with the volume vol(s 3 \ K 61 ). FIGURE 12. Comprison of different invrints for K 61

13 VOLUME CONJECTURES FOR THE RESHETIKHIN-TURAEV AND THE TURAEV-VIRO INVARIANTS Some non-orientle usped 3-mnifolds The Gieseking mnifold. The mnifold N 11 in the Cllhn-Hildernd-Weeks ensus [14], lso known s the Gieseking mnifold, is the smllest non-orientle usped 3-mnifold. It hs n idel tringultion with single tetrhedron whih, y n Euler hrteristi lultion, hs only one edge. Aording to SnpPy [21] nd Regin [12], the Gieseking mnifold hs volume By Definition 2.5, we hve vol(n 11 ) TV r (N 11 ) = w, A r where A r onsist of integers suh tht 0 (r 2)/3. Here is the floor funtion tht x equls the gretest integer less thn or equl to x. From this, we hve the following tle of vlues of QV r (N 11 ). r QV r(n 11 ) r QV r(n 11 ) Mnifold N 21. Aording to SnpPy [21] nd Regin [12], the mnifold N 21 in Cllhn- Hildernd-Weeks ensus [14] hs volume nd hs the following idel tringultion. vol(n 21 ) , By Definition 2.5, we hve TV r (N 21 ) = w w, (,) A r where A r onsist of the pirs (, ) of elements of I r suh tht (,, ) is dmissile. From this, we hve the following tle of vlues of QV r (N 21 ). r QV r(n 21 ) r QV r(n 21 )

14 14 QINGTAO CHEN AND TIAN YANG 3.5. Smllest hyperoli 3-mnifolds with totlly geodesi oundry. By [39], ny orientle hyperoli 3-mnifold M min with non-empty totlly geodesi oundry tht hs minimum volume dmits tetrhedrl deomposition y two regulr trunted hyperidel tetrhedr of dihedrl ngles π/6. As onsequene, suh hyperoli mnifold hs volume vol(m min ) Suh minimums re not unique nd re lssified in [23]. In prtiulr, the oundry of eh of them is onneted surfe of genus 2, nd n Euler hrteristi lultion shows tht eh idel tringultion of M min with two tetrhedr hs only one edge, s in Figure 13. FIGURE 13. Therefore, for r 3, TV r (M min ) = w, A r where A r onsists of ll integers with 0 (r 2)/3. Here TV r (M min ) is negtive for some vlues of r. In this se, we require the rgument of the logrithm to e in the intervl [0, 2π), so tht the imginry prt of QV r (M min ) = 2π log ( TV r 2 r (M min ) ) is either 0 or 2π 2 /(r 2). As onsequene, this imginry prt onverges to 0 nd it suffies to onsider the rel prt to test the onvergene of QV r (M min ). We hve the following tle of the vlues of the rel prt R(QV r (M min )) of QV r (M min ). r R(QV r(m min )) r R(QV r(m min )) Figure 14 elow illustrtes the symptoti ehvior of QV r (M min ), where the dots represent the points (r, QV r (M min )) nd the squres represent the points (r, vol(m min )). 4. EVIDENCE FOR CLOSED 3-MANIFOLDS We now onsider Conjetures 1.1 nd 1.2 in the se of losed mnifolds ([55, 59, 61]), nd provide evidene for these onjetures y numerilly lulting the Reshetikhin-Turev invrints of few losed 3-mnifolds otined y doing Dehn surgeries long the knots K 41 nd K 52.

15 VOLUME CONJECTURES FOR THE RESHETIKHIN-TURAEV AND THE TURAEV-VIRO INVARIANTS 15 FIGURE 14. Asymptotis of QV r (M min ) Aording to [38], if M is otined from S 3 y doing p-surgery long knot K, then for n odd r 3 the Reshetikhin-Turev invrint RT r (M; q) of M t q = e 2π 1 r is lulted s (4.1) RT r (M; q) = 2 ( r 2 ) ( 3 r e ɛ(p)( r r+1 4 )π 1 2(n + 1)π ) 2( e π 1 sin r ) p(n2 +2n) J n+1 (K; e 4π 1 r ), r n=0 where ɛ(p) is the sign of p, nd J n (K; e 4π 1 r ) is the vlue of the n-th olored Jones polynomil J n (K; t) of K t t = e 4π 1 r, normlized in suh wy tht J n (unknot) = 1. Remrk 4.1. The onventions in skein theory ([32, 11, 38]) mke use of vrile A tht is, either primitive 2r-th root of unity for n integer r, or primitive r-th root of unity for n odd integer r. The root of unity q in the definition of the Turev-Viro invrint then orresponds to A 2, while the vrile t of the olored Jones polynomil orresponds to A 4. Formul (4.1) dels with the se where A = e π 1 r for r odd, in whih se q = e 2π 1 r nd t = e 4π 1 r. Remrk 4.2. Formul (4.1) is diretly derived from [38, 4.1]. In Likorish s nottion nd letting A = e π 1 r, one hs µ = 1 r sin 2π, r µω σ U = e ɛ(p)( 3 r r+1 4 )π 1, µω 1 U = 2 r sin 2π, nd for r K p the knot K with frming p, r 2 ( sin 2(n+1)π r ω Kp = sin 2π r n=0 Multiplying the ove terms together, one gets formul (4.1). ) 2( e π 1 r ) p(n2 +2n) J n+1 (K; e 4π 1 r ). To lulte the growth rte of RT r (M; q) s r pprohes infinity, it is equivlent to lulte the limit of the following quntity Q r (M) = 2π 1 log (RT r (M; e 2π 1 r )/RT r 2 (M; e 2π 1 r 2 ) ), where the logrithm log is hosen so tht its imginry prt lies in the intervl ( π, π).

16 16 QINGTAO CHEN AND TIAN YANG 4.1. Surgeries long the figure-eight knot. In this susetion, we denote y M p the mnifold otined from S 3 y doing p-surgery long the figure-eight knot K 41. Rell from [56] tht M p is hyperoli if nd only if p 5. By [43], the n-th olored Jones polynomil of K 41 equls (4.2) J n (K 41, t) = n 1 k=0 i=1 k (t n i 2 t n i n+i 2 )(t 2 t n+i 2 ). In the tles elow, we list the vlues of Q r (M p ) modulo π 2 Z for p = 6, 5, 5, 6, 7, 8 nd for r = 51, 101, 151, 201, 301 nd p = 6. Aording to SnpPy [21], CS(M 6 ) + vol(m 6 ) 1 = mod π 2 Z, nd y (4.1) nd (4.2), we hve r Q r(m 6 ) r Q r(m 6 ) p = 5. Aording to SnpPy [21], CS(M 5 ) + vol(m 5 ) 1 = mod π 2 Z, nd y (4.1) nd (4.2), we hve r Q r(m 5 ) r Q r(m 5 ) p = 5. Aording to SnpPy [21], nd y (4.1) nd (4.2), we hve CS(M 5 ) + vol(m 5 ) 1 = mod π 2 Z, r Q r(m 5 ) r Q r(m 5 )

17 VOLUME CONJECTURES FOR THE RESHETIKHIN-TURAEV AND THE TURAEV-VIRO INVARIANTS p = 6. Aording to SnpPy [21], CS(M 6 ) + vol(m 6 ) 1 = mod π 2 Z, nd y (4.1) nd (4.2), we hve r Q r(m 6 ) r Q r(m 6 ) p = 7. Aording to SnpPy [21], CS(M 7 ) + vol(m 7 ) 1 = mod π 2 Z, nd y (4.1) nd (4.2), we hve r Q r(m 7 ) r Q r(m 7 ) p = 8. Aording to SnpPy [21], CS(M 8 ) + vol(m 8 ) 1 = mod π 2 Z, nd y (4.1) nd (4.2), we hve r Q r(m 8 ) r Q r(m 8 ) Surgeries long K 52. In this susetion, we let M p e the mnifold otined from S 3 y doing p-surgery long the knot K 52. Rell tht M p is hyperoli if nd only if p 1 or p 5. By [40], the n-th olored Jones polynomil of K 52 is equl to n 1 (4.3) J n (K 52, t) = where k=0 t k(k+3) 4 k k k = ( 1) k t 5k2 +7k 4 i=1 k i=0 (t n i 2 t n i t i2 2i 3ki 2 2 )(t n+i [k]! [i]![k i]!. 2 t n+i 2 ), Here the formul differs from tht of [40] y repling t with t 1. This omes from the hirlity of K 52. Here we stik to the onvention tht is used in SnpPy [21], whih is the mirror imge of the one used in [40]. In the tles elow, we list the vlues of Q r (M p ) modulo π 2 Z for p = 3, 2, 1, 5, 6, 7 nd for r = 51, 75, 101, 125, 151 nd 201.

18 18 QINGTAO CHEN AND TIAN YANG p = 3. Aording to SnpPy [21], CS(M 3 ) + vol(m 3 ) 1 = mod π 2 Z, nd y (4.1) nd (4.3), we hve r Q r(m 3 ) r Q r(m 3 ) p = 2. Aording to SnpPy [21], CS(M 2 ) + vol(m 2 ) 1 = mod π 2 Z, nd y (4.1) nd (4.3), we hve r Q r(m 2 ) r Q r(m 2 ) p = 1. Aording to SnpPy [21], CS(M 1 ) + vol(m 1 ) 1 = mod π 2 Z, nd y (4.1) nd (4.3), we hve r Q r(m 1 ) r Q r(m 1 ) p = 5. Aording to SnpPy [21], CS(M 5 ) + vol(m 5 ) 1 = mod π 2 Z, nd y (4.1) nd (4.3), we hve r Q r(m 5 ) r Q r(m 5 )

19 VOLUME CONJECTURES FOR THE RESHETIKHIN-TURAEV AND THE TURAEV-VIRO INVARIANTS p = 6. Aording to SnpPy [21], CS(M 6 ) + vol(m 6 ) 1 = mod π 2 Z, nd y (4.1) nd (4.3), we hve r Q r(m 6 ) r Q r(m 6 ) p=7. Aording to SnpPy [21], CS(M 7 ) + vol(m 7 ) 1 = mod π 2 Z, nd y (4.1) nd (4.3), we hve r Q r(m 7 ) r Q r(m 7 ) AN INTEGRALITY CONJECTURE FOR TORUS LINK COMPLEMENTS In this setion, we study the Turev-Viro invrints for torus link omplements. We propose the following Integrlity Conjeture 5.1, nd provide evidene y oth rigorous ( 5.1) nd numeril ( 5.2) lultions. Conjeture 5.1. Let T (m,n) e the (m, n)-torus link in S 3. If r is reltively prime to m nd n, then TV r (S 3 \ T (m,n) ) is n integer independent of the hoie of the roots of unity q Clultions for some torus links. In this susetion, we will rigorously lulte TV r (M) for the omplements of the unknot, the trefoil knot, the Hopf link nd the torus links T (2,4) nd T (2,6). As in the previous setions, for link L in S 3 we let TV r (L) = TV r (S 3 \ L). All the idel tringultions used in this setion re otined y using Regin [12] nd SnpPy [21], nd for simpliity, we will omit the rrows on the edges nd keep only the olors The unknot. Proposition 5.2. Let U e the unknot in S 3. Then TV r (U) = 1 for ll r 3 nd for ll q C suh tht q 2 is primitive root of unity of degree r.

20 20 QINGTAO CHEN AND TIAN YANG FIGURE 15. Proof. The omplement of the unknot dmits the idel tringultion represented in Figure 15. Therefore, for eh r 3, we hve TV r (U) = w w, = ( ) w w, where in the first row (, ) I r I r runs over ll the dmissile olorings t level r, nd in the seond row is over ll the elements of I r suh tht (,, ) is dmissile nd is over ll elements of I r suh tht (,, ) is dmissile. Then the result follows from the following identity (5.1) w = δ 0,. To prove (5.1), we use the Orthogonlity Property. Letting m = 0, s = nd i = j = k = l = n = in (2.1), we hve 0 w w 0 = δ 0,, where is over ll elements of I r suh tht (, ) is dmissile t level r. Sine w 0 = 1 nd 0 = 1, we hve [2+1] w = [2 + 1] δ 0, = δ 0,. Conjeture 5.3. Let K e knot in S 3. Then TV r (K) = 1 for ll r 3 nd for ll q C suh tht q 2 is primitive root of unity of degree r if nd only if K = U. Remrk 5.4. It is interesting to know whether there is n M S 3 \ U, not neessrily link omplement, suh tht TV r (M) = 1 for ll r nd q The trefoil knot. Proposition 5.5. Let T (2,3) e the trefoil knot in S 3. Then TV r (T (2,3) ) = r

21 VOLUME CONJECTURES FOR THE RESHETIKHIN-TURAEV AND THE TURAEV-VIRO INVARIANTS 21 for ll r 3 nd for ll q C suh tht q 2 is primitive root of unity of degree r. Proof. The omplement of trefoil knot T (2,3) dmits the idel tringultion represented in Figure 16. FIGURE 16. Therefore, for eh r 3, we hve TV r (T (2,3) ) =, w w, where (, ) I r I r runs over ll the dmissile olorings t level r. The triple (,, ) eing dmissile implies tht Z nd (r 2)/3. Hene the right hnd side equls ( w w ), 0 r 2 3 where is over ll the integers in tht rnge nd is over ll elements of I r suh tht (,, ) is dmissile. Letting i = j = k = l = m = n = nd s = in the Orthogonlity Property (2.1), we hve w w = 1, where is over ll elements of I r suh tht (,, ) is dmissile. As onsequene, TV r (T (2,3) ) = 0 r The Hopf link nd torus links T (2,4) nd T (2,6). Proposition 5.6. Let T (2,2) e the Hopf link in S 3. Then TV r (T (2,2) ) = r 1 1 = r for ll r 3 nd for ll q C suh tht q 2 is primitive root of unity of degree r. Proof. The omplement of the Hopf link dmits the idel tringultion represented in Figure 17.

22 22 QINGTAO CHEN AND TIAN YANG FIGURE 17. Therefore, for eh r 3, we hve TV r (T (2,2) ) = w w w,, = w w ( ) w,, where in the first row (,, ) runs over ll the dmissile olorings t level r, nd in the seond row runs over ll elements of I r suh tht ll the involved quntum 6j-symols re dmissile. By (5.1), we hve w = δ 0,. Therefore, TV r (T (2,2) ) = w 0 w = 1, where is over ll the elements in I r suh tht (0,, ) is dmissile. Sine this holds for ll elements in I r, TV r (T (2,2) ) = I r = r 1. Proposition 5.7. Let T (2,4) e the (2, 4)-torus link in S 3. Then ( TV r (T (2,4) ) = r 2 )( r 1 ) for ll r 3 nd for ll q C suh tht q 2 is primitive root of unity of degree r. Proof. The omplement of the torus link T (2,4) hs the following idel tringultion represented in Figure 18. Therefore, for eh r 3, we hve TV r (T (2,4) ) = w w w w d d (,,,d) A r = w w ( ) w d w d,,, d

23 VOLUME CONJECTURES FOR THE RESHETIKHIN-TURAEV AND THE TURAEV-VIRO INVARIANTS 23 d FIGURE 18. where in the seond row,, run over elements of I r suh tht ll the involved triples re dmissile. We lim tht w d w d = [2 + 1][2 + 1] δ 0,. d Indeed, letting m = 0, i = j =, k = l = n = nd s = d in the Orthogonlity Property (2.1), we hve w d w 0 d = δ 0,. Then the lim follows from the ft tht 0 = d [2 + 1][2 + 1]. Therefore, TV r (T (2,4) ) = 0 w w [2 + 1], = ( 1) 2 [2 + 1]( 1) 2 ( 1) [2 + 1] 1 [2 + 1] [2 + 1][2 + 1], [2 + 1] =, 1, where, run over ll the elements of I r suh tht (,, ) nd (,, 0) re dmissile. Counting the numer of suh pirs (, ), we hve ( TV r (T (2,4) ) = r 2 )( r 1 ) Proposition 5.8. Let T (2,6) e the (2, 6)-torus link in S 3. Then ( TV r (S 3 \ T (2,6) ) = r 2 )( r 2 ) for ll r 3 nd for ll q C suh tht q 2 is primitive root of unity of degree r. Proof. The omplement of the torus link T (2,6) hs the following idel tringultion represented in Figure 19.

24 24 QINGTAO CHEN AND TIAN YANG d FIGURE 19. Therefore, for eh r 3, we hve TV r (T (2,6) ) = w w w w d d (,,,d) A r = w w ( ) d w d w,,, d where in the seond row,, run over elements of I r suh tht ll the involved triples re dmissile. We lim tht d w d w = ( 1)2 [2 + 1] δ 0,. d Indeed, letting m = 0, i = j = k = l =, n = nd s = d in the Orthogonlity Property (2.1), we hve d w d w 0 d = δ 0,. Then the lim follows from the ft tht d 0 = ( 1)2 [2 + 1]. d Therefore, TV r (T (2,6) ) = 0 w w 0 0 ( 1)2 [2 + 1], = ( 1) 2 [2 + 1]( 1) 2 ( 1) 2+2 ( 1) 2 [2 + 1] [2 + 1][2 + 1] [2 + 1] ( 1)2 [2 + 1], =, 1, where, run over ll the elements of I r suh tht (,, ) nd (,, ) re dmissile. Counting the numer of suh pirs (, ), we hve ( TV r (T (2,6) ) = r 2 )( r 2 ) Remrk 5.9. Conjeture 1.1 n e generlized to non-hyperoli 3-mnifolds y onsidering the Gromov norm, nd Propositions 5.2, 5.5, 5.6, 5.7, 5.8 prove tht for the orresponding ses.

25 VOLUME CONJECTURES FOR THE RESHETIKHIN-TURAEV AND THE TURAEV-VIRO INVARIANTS Numeril evidene for Conjeture 5.1. In this susetion, we provide further evidene for Conjeture 5.1 y numerilly lulting the Turev-Viro invrints for the omplements of the torus knots T (2,5), T (3,5), T (2,7), T (3,7), T (2,9) nd T (2,11). ( Knot T (2,5). The tle elow ontins the vlues of TV r T(2,5) ; e kπ r r ) for k = 1, 2, 3 nd k \ r ( Knot T (3,5). The tle elow ontins the vlues of TV r T(3,5) ; e kπ r r ) for k = 1, 2, 3 nd k \ r ( Knot T (2,7). The tle elow ontins the vlues of TV r T(2,7) ; e kπ r r ) for k = 1, 2, 3 nd k \ r ( Knot T (3,7). The tle elow ontins the vlues of TV r T(3,7) ; e kπ r r ) for k = 1, 2, 3 nd k \ r

26 26 QINGTAO CHEN AND TIAN YANG ( Knot T (2,9). The tle elow ontins the vlues of TV r T(2,9) ; e kπ r r ) for k = 1, 2, 3 nd k \ r ( Knot T (2,11). The tle elow ontins the vlues of TV r T(2,11) ; e kπ nd r r ) for k = 1, 2, 3 k \ r REFERENCES [1] J.E. Andersen nd R. Kshev, A TQFT from quntum Teihmüller theory, Comm. Mth. Phys. 330(3): , [2], A new formultion of the Teihmüller TQFT, preprint: rxiv: , [3], Quntum Teihmüller theory nd TQFT, XVIIth Interntionl Congress on Mthemtil Physis, World Si. Pul., Hkensk, NJ, , [4], Complex quntum Chern-Simons, preprint: rxiv: , [5], Fddeev s quntum dilogrithm nd stte-integrls on shped tringultions, In Mthemtil Aspets of Quntum Field Theories, Editors D. Clque nd Thoms Strol, Mthemtil Physis Studies. XXVIII: , [6] S. Bseilh nd R. Benedetti, Quntum hyperoli invrints of 3-mnifolds with P SL(2, C)-hrters, Topology 43 (2004), no. 6, [7], Clssil nd quntum dilogrithmi invrints of flt P SL(2, C)-undles over 3-mnifolds, Geom. Topol. 9 (2005), [8], Quntum hyperoli geometry, Alger. Geom. Topol. 7 (2007), [9], The Kshev nd quntum hyperoli link invrints, J. Gökov Geom. Topol. GGT 5 (2011), [10] R. Benedetti nd C. Petronio, On Roerts proof of the Turev-Wlker theorem, J. Knot Theory Rmifitions 5 (1996), no. 4, [11] C. Blnhet, N. Hegger, G. Msum nd P. Vogel, Three-mnifold invrints derived from the Kuffmn rket, Topology 31 (1992), no. 4, [12] B. Burton, R. Budney nd W. Pettersson, Regin, [13] P.J. Cllhn, J.C. Den nd J.R. Weeks, The simplest hyperoli knots, J. Knot Theory Rmifitions 8 (1999), no. 3, [14] P.J. Cllhn, M.V. Hildernd nd J.R. Weeks, A ensus of usped hyperoli 3-mnifolds, Mth. Comp. 68 (1999), no. 225, [15] F. Costntino, Coloured Jones invrints of links nd the volume onjeture, J. Lond. Mth. So. (2) 76 (2007), no. 1, [16], 6j-symols, hyperoli strutures nd the volume onjeture, Geom. Topol. 11 (2007), [17], Integrlity of Kuffmn rkets of trivlent grphs, Quntum Topol. 5 (2014), no. 2, [18] nd J. Murkmi, On the SL(2, C) quntum 6j-symols nd their reltion to the hyperoli volume, Quntum Topol. 4 (2013), no. 3, [19], F. Guéritud nd R. vn der Veen, On the volume onjeture for polyhedr, preprint: rxiv:

27 VOLUME CONJECTURES FOR THE RESHETIKHIN-TURAEV AND THE TURAEV-VIRO INVARIANTS 27 [20], N. Geer nd B. Ptureu-Mirnd, Quntum invrints of 3-mnifolds vi link surgery presenttions nd non-semi-simple tegories, J Topology (2014) 7 (4): [21] M. Culler nd N. Dunfield, SnpPy, snppy.omputop.org/. [22] R. Detherry, E. Klfginni, Efstrti nd T. Yng, Turev-Viro invrints, olored Jones polynomils nd volume, preprint: rxiv:mth/ [23] M. Fujii, Hyperoli 3-mnifolds with totlly geodesi oundry whih re deomposed into hyperoli trunted tetrhedr, Tokyo J. Mth. 13 (1990), no. 2, [24] S. Grouflidis nd T. Lê, On the volume onjeture for smll ngles, preprint: rxiv:mth/ [25], Asymptotis of the olored Jones funtion of knot, Geom. Topol. 15 (2011), no. 4, [26] S. Grouflidis nd R. vn der Veen, Asymptotis of lssil spin networks, with n ppendix y D. Zgier. Geom. Topol. 17 (2013), no. 1, [27], Asymptotis of quntum spin networks t fixed root of unity, Mth. Ann. 352 (2012), no. 4, [28] S. Gukov, Three-dimensionl quntum grvity, Chern-Simons theory, nd the A-polynomil, Comm. Mth. Phys. 255 (2005) [29] R.M. Kshev, A link invrint from quntum dilogrithm, Modern Phys. Lett. A 10 (1995), no. 19, [30], The hyperoli volume of knots from the quntum dilogrithm, Lett. Mth. Phys. 39 (1997), no. 3, [31] nd O. Tirkkonen, A proof of the volume onjeture on torus knots, (Russin) Zp. Nuhn. Sem. S.- Peterurg. Otdel. Mt. Inst. Steklov. (POMI) 269 (2000), Vopr. Kvnt. Teor. Poly i Stt. Fiz. 16, , 370, trnsltion in J. Mth. Si. (N. Y.) 115 (2003), no. 1, [32] L. Kuffmn nd S. Lins, Temperley-Lie reoupling theory nd invrints of 3-mnifolds, Annls of Mthemtis Studies, 134. Prineton University Press, Prineton, NJ, [33] R. Kiry, A lulus for frmed links in S 3, Invent. Mth. 45 (1978), [34] nd P. Melvin, The 3-mnifold invrints of Witten nd Reshetikhin-Turev for sl(2, C), Invent. Mth. 105 (1991), no. 3, [35] A.A. Kirillov nd N.Y. Reshetikhin, Representtions of the lger U q (sl(2)), q-orthogonl polynomils nd invrints of links, Infinite-dimensionl Lie lgers nd groups (Luminy-Mrseille, 1988), , Adv. Ser. Mth. Phys., 7, World Si. Pul., Tenek, NJ, [36] W.B.R. Likorish, Three-mnifolds nd the Temperley-Lie lger, Mth. Ann. 290 (1991), no. 4, [37], Clultions with the Temperley-Lie lger. Comment. Mth. Helv, 67 (1992), no. 4, [38], The skein method for three-mnifold invrints, J. Knot Theory Rmifitions 2 (1993), no. 2, [39] S. Kojim nd Y. Miymoto, The smllest hyperoli 3-mnifolds with totlly geodesi oundry, J. Differentil Geom. 34 (1991), no. 1, [40] G. Msum, Skein-theoretil derivtion of some formuls of Hiro, Alger. Geom. Topol. 3 (2003), [41] S.V. Mtveev, Trnsformtions of speil spines, nd the Zeemn onjeture, (Russin) Izv. Akd. Nuk SSSR Ser. Mt. 51 (1987), no. 5, , 1119, trnsltion in Mth. USSR-Izv. 31 (1988), no. 2, [42], Algorithmi topology nd lssifition of 3-mnifolds, seond ed., Algorithms nd Com- puttion in Mthemtis, vol. 9, Springer, Berlin, [43] H. Murkmi, An introdution to the volume onjeture, Intertions etween hyperoli geometry, quntum topology nd numer theory, 1 40, Contemp. Mth., 541, Amer. Mth. So., Providene, RI, [44] nd J. Murkmi, The olored Jones polynomils nd the simpliil volume of knot, At Mth. 186 (2001), no. 1, [45], M. Okmoto, T. Tkt nd Y. Yokot, Kshev s onjeture nd the Chern-Simons invrints of knots nd links, Experiment. Mth. 11 (2002), no. 3, [46] nd Y. Yokot, The olored Jones polynomils of the figure-eight knot nd the volumes of three-mnifolds otined y Dehn surgeries, J. Reine Angew. Mth. 607 (2007), [47] J. Murkmi, Generlized Kshev invrints for knots in three mnifolds, preprint: rxiv: [48] T. Ohtsuki, Prolems on invrints of knots nd 3-mnifolds, with n introdution y J. Roerts. Geom. Topol. Monogr., 4, Invrints of knots nd 3-mnifolds (Kyoto, 2001), i iv, , Geom. Topol. Pul., Coventry, [49], On the symptoti expnsion of the Kshev invrint of the 5 2 knot, to pper in Quntum Topology. [50] nd Y. Yokot, On the symptoti expnsions of the Kshev invrint of the knots with 6 rossings, preprint. [51], privte ommunition.

28 28 QINGTAO CHEN AND TIAN YANG [52] R. Piergllini, Stndrd moves for stndrd polyhedr nd spines, Third Ntionl Conferene on Topology (Itlin) (Trieste, 1986). Rend. Cir. Mt. Plermo (2) Suppl. No. 18 (1988), [53] N.Y. Reshetikhin nd V.G. Turev, Rion grphs nd their invrints derived from quntum groups, Comm. Mth. Phys. 127 (1990), no. 1, [54], Invrints of 3-mnifolds vi link polynomils nd quntum groups, Invent. Mth. 103 (1991), no. 3, [55] J. Roerts, Skein theory nd Turev-Viro invrints, Topology 34 (1995), no. 4, [56] W.P. Thurston, Geometry nd topology of 3-mnifolds, Revised Leture Notes, Prineton Univ. Mth. Dept. (1982) [57] V.G. Turev, Shdow links nd fe models of sttistil mehnis, J. Differentil Geom. 36 (1992), no. 1, [58], Quntum invrints of links nd 3-vlent grphs in 3-mnifolds, Inst. Hutes tudes Si. Pul. Mth. No. 77 (1993), [59], Quntum invrints of knots nd 3-mnifolds, Seond revised edition. de Gruyter Studies in Mthemtis, 18. Wlter de Gruyter & Co., Berlin, [60] nd O.Y. Viro, Stte sum invrints of 3-mnifolds nd quntum 6j-symols, Topology 31 (1992), no. 4, [61] K. Wlker, On Wittens 3-mnifold invrints, preprint. [62] E. Witten, Quntum Field Theory nd the Jones Polynomil, Comm. Mth. Phys. 121 (3): [63] R. vn der Veen, Proof of the volume onjeture for Whitehed hins, At Mth. Vietnm. 33 (2008), no. 3, [64], The volume onjeture for ugmented knotted trivlent grphs, Alger. Geom. Topol. 9 (2009), no. 2, [65] D. Zgier, Quntum modulr forms, Qunt of Mths: Conferene in honor of Alin Connes, Cly Mthemtis Proeedings 11, AMS nd Cly Mthemtis Institute 2010, [66] H. Zheng, Proof of the volume onjeture for Whitehed doules of fmily of torus knots, Chin. Ann. Mth. Ser. B 28 (2007), no. 4, DEPARTMENT OF MATHEMATICS, ETH ZURICH, 8092 ZURICH, SWITZERLAND E-mil ddress: qingto.hen@mth.ethz.h DEPARTMENT OF MATHEMATICS, STANFORD UNIVERSITY, STANFORD CA 94305, USA E-mil ddress: yngtin@mth.stnford.edu