4
$\begingroup$

Let $G$ be a connected semisimple Lie group without compact factor, $\mu$ be a Borel probability measure on $G$ such that the group generated by $\mathrm{supp}(\mu)$ is Zariski dense in $G$. For simplicity, we assume that $\mathrm{supp}(\mu)$ is compact. Let $G=KAN$ be an Iwasawa decomposition, $P=MAN$ be the minimal parabolic subgroup. Then there exists a unique $\mu$-stationary probability measure $\nu$ on the Furstenberg boundary $G/P$. There also exists a Borel map $\xi:G^\mathbb{N}\to G/P$ such that for $\mu^{\otimes\mathbb{N}}$-a.e. $\omega=(g_1,g_2,\ldots)\in G^\mathbb{N}$, the sequence of measures $(g_1\cdots g_n)_*\nu$ converges weakly to the Dirac measure $\delta_{\xi(\omega)}$.

Now consider an irreducible representation $\rho:G\to GL(V)$, where $V$ is a finite-dimensional real vector space. Let $\chi:A\to(0,\infty)$ be the highest weight for this representation, and let $V_\chi\subset V$ be the weight subspace for $\chi$. Note that $PV_\chi=V_\chi$. I am interested in the following result: For $\mu^{\otimes\mathbb{N}}$-a.e. $\omega=(g_1,g_2,\ldots)\in G^\mathbb{N}$, the limit of any convergent subsequence of $$\frac{\rho(g_1\ldots g_n)}{\|\rho(g_1\ldots g_n)\|}$$ has image $\xi(\omega)V_\chi$, where $\|T\|=\sup_{\|v\|=1}\|Tv\|$.

This should be a classical result on random walks on semisimple groups. I saw it from the paper of Benoist and Quint http://www.math.u-psud.fr/~benoist/prepubli/09stationnaire.pdf. But I cannot find a reference for it. Could someone be so kind to indicate a proof or point out a reference? Thanks in advance.

$\endgroup$

1 Answer 1

1
$\begingroup$

Dear Ionekite,

I believe the answer to your question is already in Benoist-Quint paper: in the proof of Proposition 5.2 of their article, you see that this result essentially goes back to Furstenberg, Furstenberg and Kesten, and Goldscheid and Margulis.

Best,

Matheus

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.