
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
semigroup $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 (ip to abbreviate) on $V$. In particular,
when applied to the affine group in the socalled 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 ip
setting; rather we see it as a particular case.

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 GorodnikOh
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.

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 semisimple 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.

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.