arxiv:math/ v1 [math.gt] 24 Jun 2002

Transcription

1 arxiv:math/26249v [math.gt] 24 Jun 22 MAHLER MEASURE OF THE COLORED JOES POLYOMIAL AD THE VOLUME COJECTURE HITOSHI MURAKAMI Abstract. In this note, I will discuss a possible relation between the Mahler measure of the colored Jones polynomial and the volume conjecture. In particular, I will study the colored Jones polynomial of the figure-eight knot on the unit circle. I will also propose a method to prove the volume conjecture for satellites of the figure-eight knot.. Mahler measure Let f(t) be a (non-zero) Laurent polynomial in t with coefficient in Z. The Mahler measure M(f) of f [5, 6, 4] is defined to be ( M(f) := exp log ) ( ) f exp(2π x) dx It is knownthat M(f) is the product ofthe absolutevalues of the leading coefficient and all the roots that are greaterthan one. It is convenient to define its logarithmic version: m(f) := log f ( exp(2π x) ) dx. Then the logarithmic Mahler measure can be regarded as a sort of mean of the logarithms of the values on the unit circle. Visit the web pages for more about the Mahler measure and also xl/knotprob/knotprob.html for problems on the Mahler measure of the Jones polynomial. 2. Mahler measure of the Alexander polynomial LetK beaknotinthethree-spheres 3 andm (K)bethe-foldcyclicbranched coveringovers 3 branched along K. Then it is well known that the order of the first homology group of M (K) can be obtained in terms of the Alexander polynomial (K;t) of K (see for example [4, Corollary 9.8]). Theorem 2.. (2.) H (M (K);Z) = d= (K,exp(2dπ /)), where A denotes the cardinality of a set A if A is a finite set and if it is infinite. Date: 23rd June, Mathematics Subject Classification. Primary 57M27; Secondary 57M25, 57M5, 7B37, 8R5. This research is partially supported by Grant-in-Aid for Scientific Research (B).

2 2 HITOSHI MURAKAMI If we take the logarithm of the both side of Equation (2.) and divide by, we have log H (M (K);Z) d= = log (K;exp(2πd /)) When grows, the right hand side approaches to the mean of the logarithms of the values of (K;t) on the unit circle, the logarithmic Mahler measure. In fact the following theorem is known to be true. Theorem 2.2 (D. Silver and S. Williams [5]). log H (M (K);Z) = m( (K;t)) See [2,, 3] for other topics of the homology of the branched cyclic cover over a knot. See also [6] for the Mahler measure of the Alexander polynomial of a link. 3. Mahler measure of the colored Jones polynomials Let J (K;t) be the -dimensional colored Jones polynomial of a knot K normalized so that J (O;t) = for the unknot O. We want to know the asymptotic behavior of J (K;t) for large. Since m(j (K;t)) = = log J ( K;exp(2π x) ) dx log ( ) J K;exp(2rπ /) dr, it is helpful to study the asymptotic behavior of log J ( K;exp(2π r/) ) for a fixed r. ote that for r =, this problem is nothing but the volume conjecture [, 8,, 9, 9, 8, 7, 2]. In the following sections I will discuss the colored Jones polynomials of the figure-eight knot evaluated on the unit circle. 4. Some calculations about the figure-eight knot Let E denote the figure-eight knot 4. Due to K. Habiro and T. Le, the following formula is known. k ( (4.) J (E;t) = t (+j)/2 t (+j)/2)( t ( j)/2 t ( j)/2). k= j= Using this formula we can prove the following result. Theorem 4.. Let r be a positive integer or a real number satisfying 5/6 < r < 7/6. Then ( ) 2πlog J E;exp(2rπ ) where Λ(z) := z = 2Λ( rπ +θ(r)/2 ) 2Λ ( rπ θ(r)/2 ) log sinx dx is the Lobachevski function and θ(r) is the smallest positive number satisfying cos θ(r) = cos(2rπ) /2. In particular, if r is a positive integer then log ( ) J E;exp(2rπ /) 2π r = Vol(S3 \E). r,

3 MAHLER MEASURE AD THE VOLUME COJECTURE 3 Proof of Theorem 4. when r is a positive integer. Replacingtwithexp(2rπ /) in Equation (4.), we have J (E;exp(2rπ k /)) = {2sin(jrπ/)} 2 k= j= If we put f(k) := k j= {2sin(jrπ/)}2, then f takes its maximum at krπ/ = 5π/6 if is large. Therefore log ( ) J E;exp(2rπ /) 5/6r = 2 See [8, Theorem 4.2] for details. = 2 rπ j= 5π/6 = 2 rπ Λ(5π/6) = Vol(S3 \E). 2rπ log(2 sin(jrπ/)) log(2sinx) dx Remark 4.2. The case where r = is due to R. Kashaev [3] and T. Ekholm [8]. Proof of Theorem 4. when 5/6 < r <. We will assume is sufficiently large so that j/ can behave as if it is a continuous parameter. Put ω := exp(2π /). Since and ω r(+j)/2 ω r(+j)/2 = 2 sin(r( +j)π/) ω r( j)/2 ω r( j)/2 = 2 sin(r( j)π/), we have k (ω r(+j)/2 ω r(+j)/2)( ω r( j)/2 ω r( j)/2) Put and j= = k 4sin(rjπ/ +rπ)sin(rjπ/ rπ). j= g(j) : = 4sin(rjπ/ +rπ)sin(rjπ/ rπ) f(k) : = = 2cos(2rπ) 2cos(2rjπ/) k g(j) j= so that J (E;ω r ) = k= f(k). We also put A := ( r), B := θ(r) r 2rπ, and (2π θ(r)) C := 2rπ where θ(r) is the smallest positive number satisfying cosθ(r) = cos(2rπ) /2 as before. ote that since 5/6 < r <, /2 < cos(2rπ) < and so the equation cosθ(r) = cos(2rπ) /2 has a solution. ote that < A < B < C < (see Figure ).

4 4 HITOSHI MURAKAMI Figure. Graph of g(j) when 5/6 < r < Since we have. g(j) < for j < A, and g(j) > for j > A, and 2. f j > for B < j < C, we see (3) If j < A then the signs of f(j) alternate, that is, f(j )f(j) <, and if j > A then the signs of f(j) are constant, and (4) f() > f() > > f(b) and f(b +) < < f(c). Letf MAX bethemaximumof{ f j }for j. otethatf MAX = f(c). We can show the following inequality. Claim 4.3. < f MAX J (E;ω r ) f MAX Proof of the Claim 4.3. We only show the second inequality for the case where A is even. In this case since f() =, f(2j )+f(2j) < for 2j < A, and f(j) < for j A, we have J (E;ω r ) = f()+{f()+f(2)}+{f(3)+f(4)}+ +{f(a 3)+f(A 2)} +f(a )+f(a)+f(a+)+ +f( ) = f()+f(2) + f(3)+f(4) + + f(a 3)+f(A 2) + f(a ) + f(a) + + f( ) > f MAX and the second equality follows. MAX are temporarily ana, Reina, and Lina.

5 MAHLER MEASURE AD THE VOLUME COJECTURE 5 Therefore we have log J (E;ω r ) log(f MAX ) = rπ C j= rπ θ(r)/2 rπ π { ( ( )) ( ( rjπ log 2sin +rπ π +log 2sin rjπ ))} +rπ log(2sinx)dx+ rπ log(2sinx)dx rπ rπ π+θ(r)/2 = (Λ(rπ π) Λ(rπ θ(r)/2)+λ(rπ π +θ(r)/2) Λ(rπ)) rπ = (Λ(rπ +θ(r)/2) Λ(rπ θ(r)/2)). rπ Here we use the π-periodicity of the Lobachevski function. (See [7].) Proof when < r < 7/6. The proof is similar to the case where 5/6 < r <. See Figure 2. Figure 2. Graph of g(j) when < r < 7/6 As a corollary we have Corollary 4.4. { r log J (E;exp(2rπ )) } log J (E;exp(2π ))

6 6 HITOSHI MURAKAMI BysomecalculationusingPARI-GP 2 andmaplev,itseemsthatthefollowing equality holds. { log J (E;ω r ) V(r) if r, (4.2) 2rπ = W(r [r]) if r >, where [r] denotes the greatest integer which does not exceed r, and if x < /6, V(x) := Λ(xπ +θ(x)/2 π/2) Λ(xπ θ(x)/2 π/2) if /6 x < 3/4, Λ(xπ +θ(x)/2) Λ(xπ θ(x)/2) if 3/4 x, and Λ(xπ)+θ(x)/2 Λ(xπ θ(x)/2) if x < /4, W(x) := Λ(xπ)+θ(x)/2 π/2) Λ(xπ θ(x)/2 π/2) if /4 x < 3/4, Λ(xπ +θ(x)/2) Λ(xπ θ(x)/2) if 3/4 x. See Figures 3 and 4 for graphs of V and W. See also Figures 6, 7, 8, 9,, and Figure 3. Graph of V, where is the volume of the figure-eight knot complement. for some results of calculations supporting Equation GP/PARI CALCULATOR Version 2..2 (beta) i586 running cygwin (ix86 kernel) 32-bit version (readline v. enabled, extended help not available) Copyright (C) by by C. Batut, K. Belabas, D. Bernardi, H. Cohen and M. Olivier. The program is available at

7 MAHLER MEASURE AD THE VOLUME COJECTURE 7 Figure 4. Graph of W. If Equation (4.2) is true, one could have the following result on the asymptotic behavior of the logarithmic Mahler measure of the colored Jones polynomials of the figure-eight knot. Remark 4.5. Caution! There are fake calculations in the following. m(j (E;t)) log log =? =? log 2πlog 2πlog log J (E;exp(2π x)) dx log J (E;exp(2π r/)) dr { V(r) } k+ W(r [r]) dr+ dr r k= k r { V(r) } W(r) dr+ r r+k dr, where =? means that there is a doubt in the equality. At the first I use in the integral, which should be independent of, and at the second I assume (4.2). ow since k + r+k k for r, we have Therefore we have k= W(r) k + dr W(r) r+k dr W(r) k + dr k= k= W(r) r+k dr W(r) dr. k k= W(r) dr. k

8 8 HITOSHI MURAKAMI Since k= log k+ and V(r) = for r /6, we finally have m(j (E;t)) 2π log k= k log = = W(r)dr = ? 5. Satellites of the figure-eight knot In this section, I would like to study the volume conjecture for the (2,)-cable and the Whitehead double of the figure-eight knot. Linear skein method gives us formulas to describe the colored Jones polynomials of such knots but one of the difficulties is that the value of the unknot is not but (t /2 t /2 )/(t /2 t /2 ) (see for example [4, Chapter 4]), and so they vanish if we evaluate them at the -th root of unity. To avoid this I will use Corollary 4.4 to analyze the asymptotic behaviors of the colored Jones polynomials. Unfortunately, I cannot give a rigorous result here but I hope that this method gives an insight to solve the volume conjecture for satellite knots. Remark 5.. Caution! There are many fake arguments in this section. Let E 2 be the (2,)-cable of the figure-eight knot. By using techniques in [4, Chapter 4], we see J (E 2 ;t)(t /2 t /2 )/(t /2 t /2 ) = u(c;t /4 )J c (E;t), c: odd c 2 where u(c;t /4 ) is a monomial in t /4. Replacing t with ω r with 5/6 < r < 7/6 (r ), we have J (E 2 ;ω r ) = sin(rπ/) u(c;ω r/4 )J c (E;ω r ). sin(rπ) c: odd c 2 ote that sin(rπ). If one could show that the maximum of the terms in the summation dominates the it, which is a kind of saddle point method, we could have log J (E 2 ;ω) { log J (E 2 ;ω r ) }? r log max J c(e,ω r ) c 2? r { log J (E,ω r } )? r = log J (E,ω), proving the volume conjecture for the (2,)-cable of the figure-eight knot. Here =? indicates that there is a doubt in the equality; at the fist equality, I change the order of the its, at the second, I assume the maximum dominates the it, and at the third, I assume that J c (E,ω r ) takes its maximum at c =, which can be observed by calculation using PARI. See Figure 5. I believe that the gaps here are not so big.

9 MAHLER MEASURE AD THE VOLUME COJECTURE 9 Figure 5. Plot of (c,2πlog J c (E;ω) /) with = 8. Let D(E) be the Whitehead double of the figure-eight knot (with any framing). Then using similar techniques we have J (D(E);t)(t /2 t /2 )/(t /2 t /2 ) = v(c;t)j c (E;t), with v(c;t) = d: odd d 2 d θ(,,c ) c θ(,,d ) c: odd c 2 { } c d { } x y z where x,θ(x,y,z) and are defined in [4, Chapter 4]. Similar calculation shows that for the Whitehead link W we have u v w J (W;t)(t /2 t /2 )/(t /2 t /2 ) = v(c;t)j,c (H;t), c: odd c 2 where J,c (H;t) is the colored Jones polynomial of the Hopf link H colored with and c, which is equal to ( )(c ). ow we have the following fake calculations with doubtful equalities: log J (D(E);ω)? r? r { log J (D(E);ω r } ) log max c 2 v(c;ωr )J c (E,ω r )

10 HITOSHI MURAKAMI { log v(;ω r )J (E;ω r } )? r log v(;ω r ) log J (e;ω r ) + r r r log v(;ω r ) + log J (E,ω), On the other hand { log J (W;ω) log J (W;ω r } )? r { log v(;ω r )J, (H;ω r } )? r r log v(;ω r ) since J, (W,ω r ) can be expressed in terms of sine of /. Therefore if we accept these calculations, we could prove log J (D(E),ω) log J, (W,ω) + n n n log J (E,ω). oting that the complement of D(E) is the union of those of the figure-eight knot and the Whitehead link, which is the volume conjecture for the Whitehead double of the figure-eight knot. Acknowledgments. This article is prepared for the proceedings of the workshop Volume Conjecture and Its Related Topics held at the International Institute for Advanced Studies from 5th to 8th March, 22. It was also supported by the Research Institute for Mathematical Sciences, Kyoto University. I would like to thank the institutes for their hospitality. I also thank Kazuhiro Hikami for introducing the computer program PARI. Part of this work was done when I was visiting Warwick University to attend the workshop Quantum Topology from 8th to 22nd March, 22, and Université du Québec à Montréal to attend the workshop Knots in Montreal II from 2th to 2st April, 22. Thanks are due to the universities and to the organizers of the workshops, Stavros Garoufalidis, Colin Rourke, Steven Boyer, and Adam Sikora. References [] F. González-Acuña and H Short, Cyclic branched coverings of knots and homology spheres, Rev. Mat. Univ. Complut. Madrid 4 (99), no., [2] C. McA. Gordon, Knots whose branched cyclic coverings have periodic homology, Trans. Amer. Math. Soc. 68 (972), [3] R. M. Kashaev, The hyperbolic volume of knots from the quantum dilogarithm, Lett. Math. Phys. 39 (997), no. 3, [4] W. B. R. Lickorish, An Introduction to Knot Theory, Graduate Texts in Mathematics, vol. 75, Springer-Verlag, ew York, 997. [5] K. Mahler, An application of Jensen s formula to polynomials, Mathematika 7 (96), 98. [6], On some inequalities for polynomials in several variables, J. London Math. Soc. 37 (962), [7] J. Milnor, Hyperbolic geometry: the first 5 years, Bull. Amer. Math. Soc. (.S.) 6 (982), no., [8] H. Murakami, The asymptotic behavior of the colored Jones function of a knot and its volume, Proceedings of Art of Low Dimensional Topology VI (T. Kohno, ed.), January 2, arxiv:math.gt/436. [9], Optimistic calculations about the Witten-Reshetikhin-Turaev invariants of closed three-manifolds obtained from the figure-eight knot by integral Dehn surgeries, Sūrikaisekikenkyūsho Kōkyūroku (2), no. 72, 7 79.

11 MAHLER MEASURE AD THE VOLUME COJECTURE [], Kashaev s invariant and the volume of a hyperbolic knot after Y. Yokota, Physics and combinatorics 999 (agoya), World Sci. Publishing, River Edge, J, 2, pp [] H. Murakami and J. Murakami, The colored Jones polynomials and the simplicial volume of a knot, Acta Math. 86 (2), no., [2] H. Murakami, J. Murakami, M. Okamoto, T. Takata, and Y. Yokota, Kashaev s conjecture and the Chern-Simons invariants of knots and links, arxiv:math.gt/239. [3] R. Riley, Growth of order of homology of cyclic branched covers of knots, Bull. London Math. Soc. 22 (99), no. 3, [4] K. Schmidt, Dynamical systems of algebraic origin, Birkhäuser Verlag, Basel, 995. [5] D. S. Silver and S. G. Williams, Mahler measure, links and homology growth, arxiv:math.gt/327. [6], Mahler measure of Alexander polynomials, arxiv:math.gt/5234. [7] Y. Yokota, On the volume conjecture for hyperbolic knots, arxiv:math.qa/965. [8], On the volume conjecture for hyperbolic knots, Proceedings of the 47th All Japan Topology Symposium (Inamori Hall, Kagoshima University), July 2, pp [9], On the volume conjecture of hyperbolic knots, Knot Theory dedicated to Professor Kunio Murasugi for his 7th birthday (M. Sakuma, ed.), March 2, pp Figure 6. Graph of W (gray) and 2rπlog J (E;ω r ) / with = 2 (black) for r. Department of Mathematics, Tokyo Institute of Technology, Oh-okayama, Meguro, Tokyo , Japan address: starshea@tky3.3web.ne.jp

12 2 HITOSHI MURAKAMI Figure 7. Graph of W (gray) and 2rπlog J (E;ω r ) / with = 2 (black) for r 2. Figure 8. Graph of W (gray) and 2rπlog J (E;ω r ) / with = 2 (black) for 2 r 3.

13 MAHLER MEASURE AD THE VOLUME COJECTURE 3 Figure 9. Graph of W (gray) and 2rπlog J (E;ω r ) / with = 2 (black) for 3 r 4. Figure. Graph of W (gray) and 2rπlog J (E;ω r ) / with = 2 (black) for 4 r 5.

14 4 HITOSHI MURAKAMI Figure. Graph of W (gray) and 2rπlog J (E;ω r ) / with = 8 (black) for 4 r 5.