Welcome to MathOverflow

Question

3

Suppose that $K$ is an $\textit{alternating}$ knot in $S^3$, and let $R_0$ be the space of homomorphisms from $\pi_1(S^3 - K)\to SU(2)$ which send meridians to trace free matrices. Denote the subset of $R_0$ consisting of metabelian representations as $R_m \subset R_0$.

Question: when $K$ is prime, is there any reason to think that $R_0$ retracts to $R_m$? Could at least $H_*(R_0;\mathbb{Z})=H_*(R_m;\mathbb{Z})$? Does anyone know of anything about such questions in the literature?

Might there be similar analyses for more general $SU(2)$ representations of knot groups?

flag	asked Mar 17 2010 at 6:02 Sam Lewallen 656●5●9

	Do you mean deformation retract (this is suggested by your $H_*$ question): generically the space of trace free reps (mod conjugation) is finite and so there would obviously be a retract. – Paul Mar 18 2010 at 3:13
	It seems that $R_m$ is the set of binary dihedral reps, which is a finite set up to conjugation. IIRC it has \|p(-1)-1\|/2 points where p(t) is the alex. poly (see Klassen TAMS). One can probably find examples with $H_1(R_0)$ is non-zero if $S^3-K$ contains incompressible tori by bending the rep along the torus, but your assumption that K is alternating and prime presumably prevents this. For torus knots, $R_m=R_0$. – Paul Mar 18 2010 at 19:09
	Ah, that's interesting. Yes, there are definitely non-alternating examples, I think. Maybe using hyperbolicity for the alternating (non-torus) knots could give some leverage here? Indeed I did mean deformation retrace; I'm really just interested in the homology (for now). – Sam Lewallen Mar 22 2010 at 23:06

Agol · Accepted Answer · 2010-03-17 16:38:13Z UTC

3

I doubt there is such a retraction. Such representations are representations of the $\pi$-orbifold, obtained by killing the square of the meridian (at least if one quotients by $\pm Id$). If one takes a Montesinos knot, these orbifolds are Seifert fibered, and such representations should factor through the quotient orbifold. Such oribfolds can have several non-metabelian isolated representations into $SO(3)$, so I expect that the answer is no even on $H_0$.

answered Mar 17 2010 at 16:38

Agol
23.9k●1●33●84

	Ah, this is interesting, thanks! But many of the more interesting montesinos knots are non-alternating, right (e.g. if the cover is a Brieskorn homology sphere, the knot won't be alternating). Is there any possibility that the isolated non-metabelians only occur for alternating knots? I'm writing this comment just after reading your response, so I'm sorry if I've asked anything dumb... I'll think about it more soon – Sam Lewallen Mar 22 2010 at 23:09
	I mean "only occur for NON-alternating knots" – Sam Lewallen Mar 22 2010 at 23:09
	I don't think it should matter whether the Montesinos knot is alternating or not, it should only depend on the base orbifold. However, what I haven't checked is which $SO(3)$ reps lift to $SU(2)$ reps. The simplest non-trivial example would be the $(2,3,7)$-pretzel. This maps to a $(2,3,7)$ triangle orbifold, which is arithmetic. Thus, the orbifold fundamental group has a Galois conjugate which is in $O(3)$. However, one can actually get this to lie in $SO(3)$. Since $Isom(\mathbb{H}^2) < PSL(2, \mathbb{C})$, one can take the Galois conjugate to lie in $PSU(2)=SO(3)$. – Agol Mar 26 2010 at 4:36

Bruce Westbury · Answer 2 · 2010-03-17 11:43:56Z UTC

This looks like a good place to start from (if you haven't already read it)

MR2488756 (2009m:57024) Nagasato, Fumikazu . Finiteness of a section of the ${\rm SL}(2,\Bbb C)$-character variety of the knot group. Kobe J. Math. 24 (2007), no. 2, 125--136.

This paper shows that for any knot, there are only finitely many irreducible metabelian characters in the ${\rm SL}(2,{\bf C})$ character variety. It is also shown that the number of conjugacy classes is given by a simple formula involving the Alexander polynomial. In the context of two bridge knots, there are inequalities involving the $A$-polynomial of the knot. Results of this nature were previously obtained by X. S. Lin [Acta Math. Sin. (Engl. Ser.) 17 (2001), no. 3, 361--380; MR1852950 (2003f:57018)] for ${\rm SU}(2)$ representations.

This paper can be found at www.math.titech.ac.jp/~fukky/metabelian.pdf

SU(2) representations of alternating knot groups

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.