MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose there is a knot $K\subset M$,$M$ is a closed 3-manifold. What's the relation between $\chi(\pi_{1}(M-K))$ and $\chi(\pi_{1}(M))$?

($\chi(G)$ means the $\text{SL}_{2}(C)$ representation of $G$ modulo conjugation)

$\chi(\pi_{1}(M))$ is a subset of $\chi(\pi_{1}(M-K))$. Is it the subvariety defined by the equation: $Tr(\rho(m))=2$? ($m$ is the meridian).

It's not obvious because even if $[\rho]\in\chi (\pi_{1}(M-K) )$ satisfy $Tr(\rho(m))=2$, $\rho(m)$ may not be Id, so $\rho$ may not extend to $\pi_{1}(M)$.

share|cite|improve this question
Trace 2 does not imply identity, it could be also parabolic and such examples are easy to construct. But on the level of rep. variety the relation is very simple: The rep. variety for M is given by the equation that meridian maps to the identity. – Misha Mar 23 '13 at 22:18
Even the case $M=S^3$ is worth looking at. – Liviu Nicolaescu Mar 24 '13 at 11:29
Dear Lin: I think you should wait a bit before accepting answers. There are other people on MO besides me who know thing or two about character varieties of 3-manifold groups, e.g. Nathan Dunfield, Adam Sikora and Kevin Walker. They could give more enlightening answers than mine. – Misha Mar 24 '13 at 18:55

I do not think there is a particularly nice answer to this. Below is a suggestion on how you could proceed.

Consider representations $\rho$ of a finitely generated group $\pi$ to $Sl(2, C)$. First of all, the condition that $Tr(\rho(g))=2$ is necessary but not sufficient for $\rho(g)=1$. You can see this by looking at unipotent matrices in $Sl(2, C)$. If $\rho$ maps $g$ to the identity, then for every element $h$ in the normal closure $H$ of $g$ in the ambient group $\pi$, you have $Tr(\rho(h))=2$. One can show that this condition is necessary and sufficient for $\rho(g)=1$. By the Nullstellensatz, it suffices to check this condition only for finitely many elements $h$ in the normal closure $H$.

Now, it should be possible to find an explicit set of such elements of $H$. Doing so is a worthwhile task, I do not think anybody computed this set, it will depend on the word which represents $g$ in terms of generators of $\pi$. If you manage to do this, you can then apply the answer to the special case of generalized knot groups as in your question where $g=m$. Even in the case of knots in the sphere the answer is very likely to be very ugly, and will depend on the knot diagram. However, this is the best I can suggest.

share|cite|improve this answer
Thank you very much! It's very helpful. I think this is not an obvious question. I was a little bit misled by the $SU(2)$ case, which is very different. – Lin Jianfeng Mar 24 '13 at 19:40

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.