Rigidity of Kleinian groups via self-joinings

Abstract

Let $Γ<\mathrm{PSL}_2(\mathbb{C})\simeq \mathrm{Isom}^+(\mathbb{H}^3)$ be a finitely generated non-Fuchsian Kleinian group whose ordinary set $Ω=\mathbb{S}^2-Λ$ has at least two components. Let $ρ: Γ\to \mathrm{PSL}_2(\mathbb{C})$ be a faithful discrete non-Fuchsian representation with boundary map $f:Λ\to \mathbb{S}^2$ on the limit set. In this paper, we obtain a new rigidity theorem: if $f$ is {\it conformal on $Λ$}, in the sense that $f$ maps every circular slice of $Λ$ into a circle, then $f$ extends to a Möbius transformation $g$ on $\mathbb{S}^2$ and $ρ$ is the conjugation by $g$. Moreover, unless $ρ$ is a conjugation, the set of circles $C$ such that $f(C\cap Λ)$ is contained in a circle has empty interior in the space of all circles meeting $Λ$. This answers a question asked by McMullen on the rigidity of maps $Λ\to \mathbb{S}^2$ sending vertices of every tetrahedron of zero-volume to vertices of a tetrahedron of zero-volume. The novelty of our proof is a new viewpoint of relating the rigidity of $Γ$ with the higher rank dynamics of the self-joining $(\mathrm{id} \times ρ)(Γ)<\mathrm{PSL}_2(\mathbb{C})\times \mathrm{PSL}_2(\mathbb{C})$.