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öbius 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)$.

Measure Rigidity for Solvable Group Actions in the Space of Lattices

Measure Rigidity for Horospherical Subgroups of Groups Acting on Trees

Expanding measures: Random walks and rigidity on homogeneous spaces

Measure-theoretic equicontinuity and rigidity of group actions

Character rigidity for lattices and commensurators

Rigidity, unitary representations of semisimple groups, and fundamental groups of manifolds with rank one transformation group

Positive entropy actions by higher-rank lattices

Measures Invariant Under Horospherical Subgroups in Positive characteristic

Stabilizers of Ergodic Actions of Lattices and Commensurators

Sublinear Rigidity of Lattices in Semisimple Lie Groups

Rigidity at infinity for lattices in rank-one Lie groups

Finitary estimates for the distribution of lattice orbits in homogeneous spaces I: Riemannian metric

Entropy of group actions beyond uniform lattices

Harmonic measures and rigidity for surface group actions on the circle

Rigidity of measures invariant under the action of a multiplicative semigroup of polynomial growth on $\T$

Boundary actions by higher-rank lattices: Classification and embedding in low dimensions, local rigidity, smooth factors

Rigidity of Kleinian groups via self-joinings: measure theoretic criterion

Amenable group actions on $L_p$ lattices

Solvable Baumslag-Solitar Lattices

Measure rigidity for algebraic bipermutative cellular automata

Rigidity of braid group actions on $\mathbb{R}$ and of low-genus mapping class group actions on $S^1$