Random matrix products when the top Lyapunov exponent is simple (Q783728)

The authors consider random matrix products in the general linear group, when the top Lyapunov exponent is simple, and without the irreducibility assumption. They show the existence and uniqueness of the stationary measure related to the top Lyapunov exponent and describe the projective subspace generated by its support. The latter relates to the limit set of the semigroup generated by the random walk. Moreover, they prove regularity results and give limit theorems concerning the behavior of the random walk and the probability of hitting a hyperplane.