arxiv: v1 [math.gt] 8 Dec 2016

Transcription

1 ON THE VOLUME OF DOUBLE TWIST LINK CONE-MANIFOLDS ANH T. TRAN arxiv: v [math.gt] 8 Dec 206 Abstract. We consider the double twist link J2m +,2n + ) which is the twobridge link corresponding to the continued fraction 2m+) /2n+). It is known that J2m+,2n+) has reducible nonabelian SL 2 C)-character variety if and only if m = n. In this paper we give a formula for the volume of hyperbolic cone-manifolds of J2m+,2m+). We also give a formula for the A-polynomial 2-tuple corresponding to the canonical component of the character variety of J2m+,2m+).. Introduction For a hyperbolic link L in S 3, let E L = S 3 \ L be the link exterior and let ρ hol be a holonomy representation of π E L ) into PSL 2 C). Thurston [Th] showed that ρ hol can be deformed into an l-parameter family {ρ α,,α l } of representations to give a corresponding family {E L α,,α l )} of singular complete hyperbolic manifolds, where l is the number of components of L. In this paper we consider only the case where all of α j s are equal to a single parameter α. In which case we also denote E L α,,α l ) by E L α). These α s and E L α) s are called the cone-angles and hyperbolic cone-manifolds of L, respectively. We consider the complete hyperbolic structure on a link complement as the cone-manifold structure with cone-angle zero. It is known that for a two-bridge link L there exists an angle α L [ 2π,π) such that E 3 Lα) is hyperbolic for α 0,α L ), Euclidean for α = α L, and spherical for α α L,π) [HLM, Ko, Po, PW]. A method for computing the volume of hyperbolic cone-manifolds of links was outlined in [HLM], and explicit volume formulas have been known for hyperbolic cone-manifolds of the links 5 2, 62 2, 62 3, 72 3 see [HLMR] and references therein) and of twisted Whitehead links [Tr]. For integers m and n, consider the double twist link J2m +,2n + ) which is the two-bridge link corresponding to the continued fraction 2m+) /2n+) see Figure ). It was shown by Petersen and the author [PT] that J2m+,2n+) has reducible nonabelian SL 2 C)-character variety if and only if m = n. In this paper we are interested in the double twist link L m = J2m +,2m + ), since the canonical component of the character variety of L m has a rather nice form see Remark 3.4). Here a canonical component of the character variety of a hyperbolic link L is a component containing the character of a lift of a holonomy representation of π E L ) to SL 2 C). Let {S j v)} j Z be the sequence of Chebychev polynomials of the second kind defined by S 0 v) =, S v) = v and S j v) = vs j v) S j 2 v) for all integers j. Let R Lm s,z) = s 2 +s 2 +2 z) S 2 m z)+s2 m z)) 2s 2 +s 2 )S m z)s m z) z. The volume of the hyperbolic cone-manifold of L m is computed as follows Mathematics Subject Classification. Primary 57M27, Secondary 57M25. Key words and phrases. canonical component, cone-manifold, hyperbolic volume, the A-polynomial, two-bridge link, double twist link.

2 2 ANH T. TRAN Figure. The double twist link J2m+,2n+). Here 2m+ and 2n+ denote the numbers of half twists in the boxes. Positive resp. negative) numbers correspond to right-handed resp. left handed) twists. Theorem.. For α 0,α Lm ) we have π VolE Lm α) = log S m z) e iω S m z) S m z) e iω S m z) dω α where z, with ImS m z)s m z)) 0, is a certain root of R Lm e iω/2,z) = 0. Note that the above volume formula for the hyperbolic cone-manifold E Lm α) depends on the choice of a root z, with ImS m z)s m z)) 0, of R Lm e iω/2,z) = 0. In numerical approximations, we choose the root z which gives the maximal volume. It is known that the volume of the k-fold cyclic covering over a hyperbolic link L is k times the volume of the hyperbolic cone-manifold of L with cone-angle 2π/k. As a direct consequence of Theorem., we obtain the following. Corollary.2. The hyperbolic volume of the k-fold cyclic covering over the two-bridge link L m, with k 3, is given by the following formula kvole Lm 2π π k ) = k log S m z) e iω S m z) S m z) e iω S m z) dω where z, with ImS m z)s m z)) 0, is a certain root of R Lm e iω/2,z) = 0. 2π k The A-polynomial of a knot in S 3 was introduced by Cooper, Culler, Gillet, Long and Shalen [CCGLS] inthe90 s. It describes thesl 2 C)-character variety ofthe knot complement as viewed from the boundary torus. The A-polynomial carries a lot of information about the topology of the knot. For example, the sides of the Newton polygon of the A-polynomial of a knot in S 3 give rise to incompressible surfaces in the knot complement [CCGLS]. AgeneralizationoftheA-polynomialtolinksinS 3 wasproposedbyzhang[zh]. Foranl-componentlinkinS 3, Zhangdefinedapolynomiall-tuplelinkinvariantcalledthe A-polynomial l-tuple. The A-polynomial -tuple of a knot is just its A-polynomial. The A-polynomial l-tuple also caries important information about the topology of the link. For example, it can be used to construct concrete examples of hyperbolic link manifolds with non-integral traces [Zh]. The A-polynomial 2-tuple has been computed for a family of two bridge links called twisted Whitehead links [Tr]. In this paper we compute the A-polynomial 2-tuple for the canonical component of the character variety of L m = J2m+,2m+).

3 ON THE VOLUME OF DOUBLE TWIST LINK CONE-MANIFOLDS 3 Theorem.3. Let {Q j s,w)} j Z be the sequence of polynomials in two variables s,w defined by Q = Q 0 = 2 and where Q j = αq j Q j 2 +β α = s 8 +s 4 )w 4 + 2s 8 +6s 6 +6s 4 2s 2 )w 3 +s 8 2s 6 +34s 4 2s 2 +)w 2 + 2s 6 +6s 4 +6s 2 2)w+s 4 +, β = 2s 2 ) 2 s 4 w 4 s 4 +s 2 )w 3 6s 2 w 2 s 2 +)w+ ). Then the A-polynomial 2-tuple corresponding to the canonical component of the character variety of L m is [AM,L),AM,L)] where AM,L) = L )Q m M,LM 2m ). The paper is organized as follows. In Section 2 we review the definition of the A- polynomial l-tuple of an l-component link in S 3. In Section 3 we compute the nonabelian SL 2 C)-representationsofthedoubletwist linkj2m+,2n+). InSection4wecompute the volume of hyperbolic cone-manifolds of L m = J2m+,2m+) and give a proof of Theorem.. The last section is devoted to the computation of the A-polynomial 2-tuple for the canonical component of the character variety of L m and a proof of Theorem The A-polynomial l-tuple of a link Character varieties. The set of characters of representations of a finitely generated group G into SL 2 C) is known to be a algebraic set over C [CS, LM]. It is called the character variety of G and denoted by χg). For example, the character variety χz 2 ) of the free abelian group on 2 generators µ,λ is isomorphic to C ) 2 /τ, where C ) 2 is the set of non-zero complex pairs M,L) and τ : C ) 2 C ) 2 is the involution defined by τm,l) = M,L ). This fact can be proved by noting that every representation ρ : Z 2 SL 2 C) is conjugate to an upper diagonal one, with M and L being the upper left entries of ρµ) and ρλ) respectively The A-polynomial. Suppose L = K K l be an l-component link in S 3. Let E L = S 3 \ L be the link exterior and T,...,T l the boundary tori of E L corresponding to K,...,K l respectively. Each T j is a torus whose fundamental group is free abelian of rank two. An orientation of K j will define a unique pair of an oriented meridian µ j and an oriented longitude λ j such that the linking number between the longitude λ j and the knot K j is 0. The pair provides an identification of χπ T j )) and C ) 2 j /τ j, where C ) 2 j is the set of non-zero complex pairs M j,l j ) and τ j is the involution τm j,l j ) = M j,l j ), which actually does not depend on the orientation of K j. The inclusion T j E L induces the restriction map ρ j : χπ E L )) χπ T j )) C ) 2 j /τ j. For each γ π E L ) let f γ be the regular function on χπ E L )) defined by f γ χ ρ ) = χ ρ γ)) 2 4 = trργ)) 2 4, where χ ρ denotes the character of a representation ρ : π E L ) SL 2 C). Let χ j π E L )) be the subvariety of χπ E L )) defined by f µk = 0, f λk = 0 for all k j. Let Z j be the image of χ j π E L )) under ρ j and Ẑj C ) 2 j the lift of Z j under the projection C ) 2 j C ) 2 j /τ i. It is known that the Zariski closure of Ẑj C ) 2 j C2 j in C2 j is an

4 4 ANH T. TRAN algebraic set consisting of components of dimension 0 or [Zh]. The union of all the - dimension components is defined by a single polynomial A j Z[M j,l j ] whose coefficients are co-prime. Note that A j is defined up to ±. We will call [A M,L ),,A l M l,l l )] the A-polynomial l-tuple of L. For brevity, we also write A j M,L) for A j M j,l j ). We refer the reader to [Zh] for properties of the A-polynomial l-tuple. 3. Double twist links J2m+,2n+) In this section we compute nonabelian SL 2 C)-representations of the double twist link J2m+,2n+). They are described by the Chebyshev polynomials of the second kind, and so we first recall some properties of these polynomials. 3.. Chebyshev polynomials. Recall that {S j v)} j Z is the sequence of the Chebychev polynomials of the second kind defined by S 0 v) =, S v) = v and S j v) = vs j v) S j 2 v) for all integers j. The following two lemmas are elementary, see e.g. [Tr]. Lemma 3.. For any integer j we have S 2 jv)+s 2 j v) vs j v)s j v) =. Lemma 3.2. Suppose V SL 2 C) and v = trv. For any integer j we have where denotes the 2 2 identity matrix. V j = S j v) S j v)v We will need the following lemma in the last section of the paper. Lemma 3.3. For any integer j we have S j z)s j z) = z 2 2)S j z)s j 2 z) S j 2 z)s j 3 z)+z. Proof. We have S j z)s j z)+s j 2 z)s j 3 z) = zs j z) S j 2 z))s j z)+s j 2 z)zs j 2 z) S j z)) = zs 2 j z)+s2 j 2 z)) 2S j z)s j 2 z). The lemma follows, since S 2 j z)+s2 j 2 z) = +zs j z)s j 2 z) by Lemma Nonabelian reprsentations. In this subsection we study representations of link groups into SL 2 C). A representation is called nonabelian if its image is a nonabelian subgroup of SL 2 C). Let L = J2m+,2n+) and E L = S 3 \L the link exterior. By [PT] and [MPL] also) the link group of L has a two-generator presentation π E L ) = a,b aw = wa, where w = b a) m[ ba ) m bab a) m]n and a,b are meridians depicted in Figure. Suppose ρ : π E L ) SL 2 C) is a nonabelian representation. Up to conjugation, we may assume that [ ] [ ] s s2 0 3.) ρa) = 0 s and ρb) = u s 2 where u,s,s 2 ) C ) 3 satisfies the [ matrix equation ] ρaw) = ρwa). For any word v in v v 2 letters a and b, we write ρv) = 2. Then, by Riley [Ri], w v 2 v 2 can be written 22

5 ON THE VOLUME OF DOUBLE TWIST LINK CONE-MANIFOLDS 5 as w 2 = uw 2 for some w 2 C[s±,s± 2,u] and the matrix equation ρaw) = ρwa) is equivalent to the single equation w 2 = 0. We call w 2 the Riley polynomial of L. We now compute w 2 explicitly. Let x = trρa) = s +s, y = trρb) = s 2 +s 2 and z = trρab ) = s s 2 +s s 2 u. Let c = b a) m and d = ba ) m bab a) m = bc ac. Then w = cd n. Since [ ] ρb s s 2 s 2 a) = s u s s, 2 u [ ] c c by Lemma 3.2 we have ρc) = 2 where c 2 c 22 c = S m z) s s 2 u)s m z), c 2 = s 2 S m z), c 2 = s us m z), c 22 = S m z) s s 2 S m z). By a direct computation we then have ρd) = ρbc ac) = [ ] d d 2 where d 2 d 22 d = s s 2 S 2 mz) s 2 +s 2 2)S m z)s m z)+s s 2 +u)s 2 m z), d 2 = s 2 Smz) s 2 +s )S m z)s m z)+s 2 Sm z), 2 d 2 = u s Sm 2 z) s 2 +s 2 )S mz)s m z)+s S2 m z)), d 22 = s s 2 +u)sm 2 z) s 2 +s 2 2 )S mz)s m z)+s s 2 S2 m z). Let t = trρd). From the above computations we have t = s s 2 +s s 2 +u) S 2 mz)+s 2 m z) ) s 2 +s 2 +s 2 2 +s 2 2 )S m z)s m z) = xy z) S 2 m z)+s2 m z)) x 2 +y 2 4)S m z)s m z). Since w = cd n, by Lemma 3.2 we have [ ][ c c ρw) = 2 Sn t) d 22 S n t) c 2 c 22 d 2 S n t) [ ] w w With ρw) = 2 we obtain w 2 w 22 d 2 S n t) S n t) d S n t) w = c Sn t) d 22 S n t) ) +c 2 d 2 S n t), w 2 = c 2 Sn t) d 22 S n t) ) +c 22 d 2 S n t). By direct computations we have w 2 = us Sm z)s n t) S m z)s n t) ) and w = S n t) { s s 2 +s s 2 +s s 2 z)s m z) s 2 S m z) } +S n t) S m z)+s s 2 z)s m z) ). Hence, the Riley polynomial of L = J2m+,2n+) is w 2 = S mz)s n t) S m z)s n t). ].

6 6 ANH T. TRAN It determines the nonabelian SL 2 C)-character variety of L, which is essentially the set of all nonabelian representations ρ : π E L ) SL 2 C) up to conjugation. [ Moreover, ] for any w nonabelian representation ρ of the form 3.) we have ρw) = 0 w ) where 3.2) w = S n t) { s s 2 +s s 2 )S m z) s 2 S m z) } +S n t)s m z). Let w is the word obtained from w by exchanging a and b, namely w = a b) m[ ab ) m aba b) m]n. It is easy to see that the equation aw = wa is equivalent to wb [ = bw. Moreover, ] for any w 0 nonabelian representation ρ of the form 3.) we have ρw) = w ) where 3.3) w = S n t) { s s 2 +s s 2 )S mz) s 2 2 S m z) } +S n t)s m z). Remark 3.4. The above formula for the nonabelian SL 2 C)-character variety of the double twist link L = J2m +,2n + ) was already obtained in [PT] by a different method. Moreover, it was also shown in [PT] that the nonabelian character variety of L is reducible if and only if m = n. In which case, it has exactly 2 irreducible components and the canonical component is determined by the equation t = z. From now on we consider only the double twist link L m = J2m+,2m+), where m,0. As mentioned above, the canonical component of the character variety of L m is given by the equation t = z where 3.4) t = xy z) S 2 m z)+s2 m z)) x 2 +y 2 4)S m z)s m z). 4. Volume of hyperbolic cone-manifolds of L m Recall that E Lm α) is the cone-manifold of L m with cone angles α = α 2 = α. There exists an angle α Lm [ 2π,π) such that E 3 L m α) is hyperbolic for α 0,α Lm ), Euclidean for α = α Lm, and spherical for α α Lm,π). For α 0,α Lm ), by the Schlafli formula we have VolE Lm α) = π α 2log w dω where w is the,)-entry of the matrix ρw) and ρ : π L m ) SL 2 C) is a representation of the form 3.) such that the following 3 conditions hold: i) s = s 2 = s = e iω/2, ii) the character χ ρ of ρ lies on the canonical component of the character variety of L m, iii) w. We refer the reader to [HLM, HLMR] and references therein for the volume formula of hyperbolic cone-manifolds of links using the Schlafli formula. We now simplify w for representations ρ of the form 3.) satisfying the conditions i) iii). Consider the canonical component t = z of the character variety of L m. With s = s 2 = s = e iω/2, equation 3.2) implies that w = S m z) { +s 2 )S m z) s 2 S m z) } +S 2 m z) = S m z) S m z) ) S m z) s 2 S m z) ).

7 ON THE VOLUME OF DOUBLE TWIST LINK CONE-MANIFOLDS 7 Moreover, the equation t = z can be written as s 2 +s 2 +2 z) S 2 mz)+s 2 m z) ) 2s 2 +s 2 )S m z)s m z) = z. This, together with S 2 mz)+s 2 m z) = +zs m z)s m z) by Lemma 3.2), implies that S m z)s m z) = 2z s2 +s 2 +2) z 2)s 2 +s 2 z), S 2 mz)+s 2 m z) = z 2 2s 2 +s 2 ) z 2)s 2 +s 2 z). Then S m z) S m z) )2 = S 2 m z)+s2 m z) 2S mz)s m z) = z 2 s 2 +s 2 z and S m z) s 2 S m z))s m z) s 2 S m z)) = S 2 m z)+s2 m z) s2 +s 2 )S m z)s m z) = s2 +s 2 z. z 2 It follows that S m z) S m z) ) 2 Sm z) s 2 S m z) ) S m z) s 2 S m z) ) = and w 2 = S m z) S m z) ) 2 Sm z) s 2 S m z) ) 2 = S m z) s 2 S m z) S m z) s 2 S m z). Notethat S m z) e iω S m z) S m z) e iω S m z) ifandonlyifims m z)s m z)) 0. Hence, for α 0,α Lm ), by the Schlafli formula we have π π VolE Lm α) = 2log w dω = log S m z) s 2 S m z) S m z) s 2 S m z) dω α where s = e iω/2 and z, with ImS m z)s m z)) 0, satisfy s 2 +s 2 +2 z) S 2 m z)+s2 m z)) 2s 2 +s 2 )S m z)s m z) z = 0. This completes the proof of Theorem.. α 5. The A-polynomial 2-tuple of L m The canonical longitudes corresponding to the meridians a and b of J2m+,2n+) are respectively λ a = wa 2n and λ b = wb 2n, where w = a b) m[ ab ) m aba b) m]n is the word obtained from w by exchanging a and b. Consider the canonical component t = z of the character variety of L m = J2m +,2m+). To compute the A-polynomial 2-tuple for this component, we first consider a representation ρ : π L m ) SL 2 C) of the form 3.) and find a polynomial relating s and w when both t = z and s 2 2 = w ) 2 = occur. Recall from Subsection 3.2 that w and w are upper left entries of ρw) and ρw) respectively. With t = z and s 2 =, by equations 3.2) and 3.3) we have and w = S m m) { 2s S m z) s 2 S m z) } +S 2 mz) = S m z) s S m z)) 2 w = S m z) { s +s )S mz) S m z) } +S 2 m z). = S m z) s S m z))s m z) s S m z)).

8 8 ANH T. TRAN Moreover, since S 2 m z)+s2 m z) = +zs mz)s m z), the equation t = z becomes 0 = 2x z)s 2 m z)+s2 m z)) x2 S m z)s m z) z = 2x z)+zs m z)s m z)) x 2 S m z)s m z) z = x z)2+z x)s m z)s m z)). Suppose z x = 0. Then w = S m z) { zs m z) S m z) } +S 2 mz) = and w = S m x) s S m x) )2 = s 2m. Here we use the fact that S j s +s ) = sj+ s j )/s s ) for all integers j. Suppose 2+z x)s m z)s m z) = 0. This is equivalent to 5.) Sm z) s S m z) ) S m z) s S m z) ) =, since S 2 m z)+s2 m z) = +zs mz)s m z). It follows that w = and w = S m z) s S m z) )2 = S mz) s S m z) S m z) s S m z). Hence S m z) = rs m z) where r = s w +s w. We have + = S 2 m z)+s2 m z) zs mz)s m z) = S 2 m z) zr +r2 ), which implies that S 2 m z) = zr +r 2 ). Equation 5.) then becomes = S 2 m z)r s )r s ) = r s )r s )/ zr +r2 ). By solving for z from the above equation, we obtain z = 2 r+ ) s +s r ) = 2 s w +s w + + w ) + s w +s s +s ). Now, by plugging this expression of z into the equation 2 + z x)s m z)s m z) = 0 we obtain a polynomial depending on m) relating s and w. Moreover, we can find a recurrence relation between these polynomials as follows. Let P m x,z) = 2 + z x)s m z)s m z). By Lemma 3.3 we have S m z)s m z) = z 2 2)S m z)s m 2 z) S m 2 z)s m 3 z)+z. This implies that P m = 2+z 2 2)P m 2) P m 2 2)+zz x) = z 2 2)P m P m 2 +8 zz +x). Let Q m s,w ) = s 2 w +) 2 s 2 w +) 2 P m x,z). By replacing s w +s z = 2 + w ) + w + s w +s s +s ) into the above recurrence relation for P m we have where Q m = αq m Q m 2 +β α = s 8 +s 4 )w 4 + 2s 8 +6s 6 +6s 4 2s 2 )w 3 +s 8 2s 6 +34s 4 2s 2 +)w 2 + 2s 6 +6s4 +6s2 2)w +s 4 +, β = 2s 2 ) 2 s 4 w 4 s 4 +s 2 )w 3 6s 2 w 2 s 2 +)w + ).

9 ON THE VOLUME OF DOUBLE TWIST LINK CONE-MANIFOLDS 9 We have shown that w ) 2 = and w s 2m )Qs,w ) = 0 when both t = z and s 2 = occur. The same holds true when both t = z and s 2 = occur. This implies that w s 2m )Qs,w ) = 0 when both t = z and s 2 2 = w ) 2 = occur. Similarly, we have w s 2m 2 )Qs 2,w ) = 0 when both t = z and s 2 = w ) 2 = occur. Since the canonical longitudes corresponding to the meridians a and b of L m = J2m +,2m+) are respectively λ a = wa 2m and λ b = wb 2m, we conclude that the A-polynomial 2-tuple corresponding to the canonical component of the character variety of L m is [AM,L),AM,L)] where AM,L) = L )Q m M,LM 2m ). This completes the proof of Theorem.3. Acknowledgements The author has been partially supported by a grant from the Simons Foundation # to Anh Tran). References [BZ] G. Burde and H. Zieschang, Knots, de Gruyter Stud. Math., vol. 5, de Gruyter, Berlin, [CCGLS] D. Cooper, M. Culler, H. Gillet, D. Long and P. Shalen, Plane curves associated to character [CS] varieties of 3-manifolds, Invent. Math ), pp M. Culler and P. Shalen, Varieties of group representations and splittings of 3-manifolds, Ann. of Math. 2) 7 983), no., [HLM] H. Hilden, M. Lozano, and J. Montesinos-Amilibia, Volumes and Chern-Simons invariants of cyclic coverings over rational knots, in Topology and Teichmüller spaces Katinkulta, 995), pages World Sci. Publ., River Edge, NJ, 996. [HLMR] J. Ham, J. Lee, A. Mednykh and A. Rasskazov, An explicit volume formula for the link α,α) cone-manifolds, preprint 206, arxiv: [Ko] S. Kojima, Deformations of hyperbolic 3-cone-manifolds, J. Differential Geom ) [Ko2] S. Kojima, Hyperbolic 3-manifolds singular along knots, Chaos Solitons Fractals 9998) [LM] A. Lubotzky and A. Magid, Varieties of representations of finitely generated groups, Memoirs of the AMS ). [MPL] M. Macasieb, K. Petersen and R. van Luijk, On character varieties of two-bridge knot groups, Proc. Lond. Math. Soc. 3) 03 20), [PT] K. Petersen and A. Tran, Character varieties of double twist links, Algebr. Geom. Topol ), no. 6, [Po] J. Porti, Spherical cone structures on 2-bridge knots and links, Kobe J. Math ) [PW] J. Porti and H. Weiss, Deforming Euclidean cone 3-manifolds, Geom. Topol. 2007) [Ri] R. Riley, Algebra for Heckoid groups, Trans. Amer. Math. Soc ), [Th] [Tr] [Zh] W. Thurston, The geometry and topology of 3-manifolds, 977/78. Lecture Notes, Princeton University. A. Tran, The A-polynomial 2-tuple of twisted Whitehead links, preprint 206, arxiv: X. Zhang, The A-polynomial n-tuple of a link and hyperbolic 3-manifolds with non-integral traces, J. Knot Theory Ramifications ), Department of Mathematical Sciences, The University of Texas at Dallas, Richardson, TX 75080, USA address: att40830@utdallas.edu