# A question about the proof of Mostow rigidity

I have recently been studying a proof of Mostow rigidity (along the lines of Mostow's original argument), and I'm left a little confused about something. We start with an isomorphism $\alpha: \Gamma \to \Gamma'$ between cocompact lattices in $\mathbb{H}^n$, $n \geq 3$, and observe that such a map lifts to a quasi-isometry $\phi: \mathbb{H}^n \to \mathbb{H}^n$. We declare that two quasi-isometries are close if the pointwise distance between them is uniformly bounded, and we prove that the group $QI$ of quasi-isometries on $\mathbb{H}^n$ modulo closeness is isomorphic to the group $QC$ of quasi-conformal homoemorphisms of the boundary sphere. With the aid of some detailed analysis of quasi-conformal maps and an ergodic theorem, we complete the proof by showing that the map on the boundary sphere induced by $\phi$ is actually conformal.

My question is about the part of the argument where we prove that $QI$ is isomorphic to $QC$. To prove that every quasi-isometry on $\mathbb{H}^n$ extends to a homeomorphism of the boundary sphere, that this extension map is injective, and that its image lies in $QC$ involves only standard ideas in large scale geometry and hyperbolic geometry (mainly the fact that hyperbolic space is Gromov hyperbolic). Surjectivity, on the other hand, is much harder; it basically involves a tricky compactness theorem in analysis. Most of the references that I have used make a point to discuss this argument, but it is not clear to me why we even need surjectivity since in the proof of Mostow rigidity we show that an a-priori quasi-conformal map is secretly conformal and conformal maps are much more easily seen to be induced by honest isometries. Could someone familiar with this argument explain why we need surjectivity (assuming we do)?

Thanks!

As you say, $QI\cong QC$ is not necessary for the proof of Mostow rigidity. I'm not sure which reference you are referring to, but Gromov's proof (which is popular among topologists) does not lead to this result.
I suspect it is mentioned because there is a general program to try to classify quasi-isometry groups of $\delta$-hyperbolic spaces, and this is the motivating example. There is a nice discussion of how to extend quasiconformal isotopies of the sphere to quasi-isometries of hyperbolic space by "visual extension" in Appendix B of Curt McMullen's book "Renormalization and 3-manifolds which fiber over the circle".