# On the dimension of Furstenberg measure for $SL_2(\mathbb{R})$ random matrix products

Mon, 15/01/2018 - 14:00
Speaker:
Seminar:
Place:
Abstract:

Let $\mu$ be a finitely-supported measure on $SL_{2}(\mathbb{R})$ generating a non-compact and
totally irreducible subgroup, and let $\nu$ be the associated stationary (Furstenberg) measure.
We prove that if the support of $\mu$ is Diophantine,'' then
$\dim\nu=\min\{1,\frac{h_{RW}(\mu)}{2\chi(\mu)}\}$
where $h_{RW}(\mu)$ is the random walk entropy of $\mu$, $\dim$ denotes pointwise dimension,
and $\chi$ is the Lyapunov exponent of the random walk generated by $\mu$.
In particular, for every $\delta>0$, there is a neighborhood $U$ of the identity in
$SL_{2}(\mathbb{R})$ such that if $\mu$ has support in $U$ on matrices with algebraic entries,
is atomic with all atoms of size at least $\delta$, and generates a group which is non-compact
and totally irreducible, then its stationary measure $\nu$ satisfies  $\dim\nu=1$.
This is a joint work with M. Hochman.
In my talk, I will try to explain the concepts and motivate the result.