Let $G$ be a torsionfree kleinian group. Is there necessary an sufficient conditions on $G$ to be a knot group ?
It seems that there is some necessary conditions:
- $H_{1}(BG) = \mathbb{Z}$
- $H_{2}(BG) =H_{3}(BG) = 0$
- $M= \mathbb{H}^3/G$ has a finite hyperbolic volume and $M$ has exactly one cusp.
- $\mathbb{Z}^2$ is isomorphic to a subgroup of $G$.
- (I am not sure about this one) for any non trivialthere exists an element $x\in G$ , $ G/<x>$ is the trivial group, where $<x>$ is the smallest normal subgroup of $G$ generated by $x$.
Question1: are these conditions sufficient?
Question2: let $G$ and $H$ be knot groups of hyperbolic knots such that the hyperbolic volume of $\mathbb{H}^3/G$ and $\mathbb{H}^3/H$ are equal. Are $G$ and $H$ isomorphic?