Conformal measure rigidity for representations via self-joinings

TL;DR

This paper investigates rigidity phenomena for representations of Zariski dense groups into simple algebraic groups, using conformal measures and self-joinings to recover and extend classical and modern rigidity results, including for Anosov and Hitchin representations.

Contribution

It introduces a new measure-theoretic criterion involving higher rank conformal measures and self-joinings to detect whether a representation extends to the ambient group, unifying and generalizing previous rigidity theorems.

Findings

Zariski density of the self-joining implies measure class distinction

The approach recovers classical rigidity theorems of Sullivan, Tukia, and Yue

Applies to Anosov and Hitchin representations with new measure rigidity criteria

Abstract

Let $\Gamma$ be a Zariski dense discrete subgroup of a connected simple real algebraic group $G_1$. We discuss a rigidity problem for discrete faithful representations $\rho:\Gamma\to G_2$ and a surprising role played by higher rank conformal measures of the associated self-joining group. Our approach recovers rigidity theorems of Sullivan, Tukia and Yue, as well as applies to Anosov representations, including Hitchin representations. More precisely, for a given representation $\rho$ with a boundary map $f$ defined on the limit set $\Lambda$, we ask whether the extendability of $\rho$ to $G$ can be detected by the property that $f$ pushes forward some $\Gamma$-conformal measure class $[\nu_\Gamma]$ to a $\rho(\Gamma)$-conformal measure class $[\nu_{\rho(\Gamma)}]$. When $\Gamma$ is of divergence type in a rank one group or when $\rho$ arises from an Anosov representation, we give an affirmative answer by showing that if the self-joining $\Gamma_\rho=(\text{id} \times \rho)(\Gamma)$ is Zariski dense in $G_1\times G_2$, then the push-forward measures $(\text{id}\times f)_*\nu_\Gamma$ and $(f^{-1}\times \text{id})_*\nu_{\rho(\Gamma)}$, which are higher rank $\Gamma_\rho$-conformal measures, cannot be in the same measure class.