Let $n, m\ge 2$. Let $\Gamma<\text{ SO}^\circ(n+1,1)$ be a Zariski dense convex cocompact subgroup and $\Lambda\subset\mathbb{ S}^n$ be its limit set. 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. 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{ in } \mathbb{ S}^m \end{ matrix} \right\}.$$ When there exists at least one $\Lambda$-doubly stable circle in $\mathbb{ S}^n$ (e.g., $\Omega=\mathbb{ S}^n-\Lambda$ is disconnected), we prove the following dichotomy: $$\text{ either}\quad \Lambda_f= \Lambda \quad \text{ or } \quad \mathcal{ H}^{ \delta}(\Lambda_f) =0,$$ where $\mathcal{ 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)$. We also obtain an analogous theorem for any divergence-type subgroup.
Categories: math.GT math.DS math.GR