Current browse context:
math.GT
Change to browse by:
References & Citations
Mathematics > Geometric Topology
Title: Rigidity of Kleinian groups via self-joinings: measure theoretic criterion
(Submitted on 7 Feb 2023 (v1), last revised 11 Aug 2023 (this version, v4))
Abstract: Let $n, m\ge 2$. Let $\Gamma<\text{SO}^\circ(n+1,1)$ be a Zariski dense convex cocompact subgroup. Let $\rho : \Gamma \to \text{SO}^\circ(m+1,1)$ be a Zariski dense convex cocompact faithful representation and $f:\Lambda\to \mathbb{S}^{m}$ the $\rho$-boundary map on the limit set of $\Gamma$. Let $$\Lambda_f:= \bigcup \left\{ C \cap \Lambda : \begin{matrix} C \subset \mathbb{S}^n \text{ is a circle such that} \\ f(C \cap \Lambda) \text{ is contained in a proper sphere } \text{of } \mathbb{S}^m \end{matrix} \right\}.$$ When $\Lambda$ is doubly stable (e.g., $\Omega=\mathbb{S}^n-\Lambda$ is disconnected), we prove the following dichotomy $$\text{either}\quad \Lambda_f= \Lambda \quad \text{ or } \quad \cal H^{\delta}(\Lambda_f) =0,$$ where ${\cal H}^\delta$ is the Hausdorff measure of dimension $\delta=\dim_H \Lambda$. Moreover, in the former case, we have $n=m$ and $\rho$ is a conjugation by a M\"obius transformation on $\mathbb{S}^n$. Our proof uses ergodic theory for directional diagonal flows and conformal measure theory of discrete subgroups of higher rank semisimple Lie groups, applied to the self-joining subgroup $\Gamma_\rho=(\operatorname{id} \times \rho)(\Gamma) < \text{SO}^\circ(n+1,1)\times \text{SO}^\circ(m+1,1)$.
Submission history
From: Dongryul Kim [view email][v1] Tue, 7 Feb 2023 16:02:41 GMT (7529kb,D)
[v2] Wed, 8 Feb 2023 16:55:36 GMT (7529kb,D)
[v3] Tue, 18 Apr 2023 00:47:14 GMT (7774kb,D)
[v4] Fri, 11 Aug 2023 13:00:10 GMT (7774kb,D)
Link back to: arXiv, form interface, contact.