• ### Random matrix products when the top Lyapunov exponent is simple(1705.09593)

March 5, 2019 math.PR, math.DS, math.GR
In the present paper, we treat random matrix products on the general linear group $\textrm{GL}(V)$, where $V$ is a vector space defined on any local field, when the top Lyapunov exponent is simple, without irreducibility assumption. In particular, we show the existence and uniqueness of the stationary measure $\nu$ on $\textrm{P}(V)$ that is relative to the top Lyapunov exponent and we describe the projective subspace generated by its support. We observe that the dynamics takes place in a open set of $\textrm{P}(V)$ which has the structure of a skew product space. Then, we relate this support to the limit set of the semi-group $T_{\mu}$ of $\textrm{GL}(V)$ generated by the random walk. Moreover, we show that $\nu$ has H\"older regularity and give some limit theorems concerning the behavior of the random walk and the probability of hitting a hyperplane. These results generalize known ones when $T_{\mu}$ acts strongly irreducibly and proximally (i-p to abbreviate) on $V$. In particular, when applied to the affine group in the so-called contracting case or more generally when the Zariski closure of $T_{\mu}$ is not necessarily reductive, the H\"older regularity of the stationary measure together with the description of the limit set are new. We mention that we don't use results from the i-p setting; rather we see it as a particular case.
• ### Comptage probabiliste sur la fronti\`ere de Furstenberg(1707.02186)

July 7, 2017 math.PR, math.DS, math.GR
Let $G$ be a real linear semisimple algebraic group without compact factors and $\Gamma$ a Zariski dense subgroup of $G$. In this paper, we use a probabilistic counting in order to study the asymptotic properties of $\Gamma$ acting on the Furstenberg boundary of $G$. First, we show that the $K$ components of the elements of $\Gamma$ in the KAK decomposition of $G$ become asymptotically independent. This result is an analog of a result of Gorodnik-Oh in the context of the Archimedean counting. Then, we give a new proof of a result of Guivarc'h concerning the positivity of the Hausdorff dimension of the unique stationary probability measure on the Furstenberg Boundary of $G$. Finally, we show how these results can be combined to give a probabilistic proof of the Tit's alternative; namely that two independent random walks on $\Gamma$ will eventually generate a free subgroup. This result answered a question of Guivarc'h and was published earlier by the author. Since we're working with the field of real numbers, we give here a more direct proof and a more general statement.
• ### Transience of algebraic varieties in linear groups and application to generic Zariski density(1103.0944)

March 4, 2011 math.PR, math.GR
We study the transience of algebraic varieties in linear groups. In particular, we show that a "non elementary" random walk in SL_2(R) escapes exponentially fast from every proper algebraic subvariety. We also treat the case where the random walk is on the real points of a semi-simple split algebraic group and show such a result for a wide family of random walks. As an application, we prove that generic subgroups (in some sense) of linear groups are Zariski dense.
• ### Random subgroups of linear groups are free(1005.3445)

May 19, 2010 math.PR, math.DS, math.GR
We show that on an arbitrary finitely generated non virtually solvable linear group, any two independent random walks will eventually generate a free subgroup. In fact, this will hold for an exponential number of independent random walks.