2
$\begingroup$

Let $N$ be an oriented hyperbolic 3-manifold of finite volume and let $\Delta \subset N$ be a smooth connected compact subdomain such that the restriction of the injectivity radius function of $N$ to $\Delta$ is larger than some $\varepsilon > 0$ ($\Delta$ could be a thick part of $N$). Is there some finite cover $\Pi\colon \widehat{N} \to N$ such that the injectivity radius function of $\widehat{N}$ restricted to any component of $\Pi^{-1}(\Delta)$ is greater than $\varepsilon + 1$?

$\endgroup$
  • 2
    $\begingroup$ This follows in a reasonably standard way from the fact that $\pi_1N$ is residually finite. I'll try to find time to write something soon, but I expect someone else will answer first. $\endgroup$ – HJRW Jul 12 '16 at 9:52
3
$\begingroup$

As Henry Wilton points out this follows from the fact that $\pi_1 N$ is residually finite, i.e. that for every element $g \in \pi_1 N - \{1\}$ there exist a homomorphism $f_g$ to a finite group $G_g$ such that $f_g: \pi_1 N \rightarrow G_g$ is surjective and $f_g(g)\ne 1 \in G_g$.

Thus the kernel of $f_g$ corresponds to a cover where $g$ and its conjugates do not lift. To complete the proof, we invoke the fact that the set of geodesics shorter than a fixed length (here $\epsilon+1$) is finite.

$\endgroup$
  • 1
    $\begingroup$ If you want estimates on the degree you can get a quantitative version of this using the proof of finite residuality. Namely, $\pi_1 N$ embeds in $SL(2,R)$ for some finitely generated integral domain $R$ (in this case it can be taken to be a ring of $S$-integers for some finite ser $S$). Then taking the covers corresponding to the morphisms $\pi_1 N \to SL_2(R/nR)$ for non-invertible integers $n \in R$ you get a sequence of manifolds with injectivity radius $\ge \epsilon \log n$ (the volume is of order some power of $n$). $\endgroup$ – Jean Raimbault Jul 14 '16 at 6:18

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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