Absolute continuity of invariant measures for random diffeomorphisms

We develop criteria showing that invariant measures for random walks generated by diffeomorphisms of manifolds are in the Lebesgue class. Our assumptions are first, that there is a uniform expansion gap in the Lyapunov spectrum of the random walk, and second, that the conditionals of the invariant measure along the appropriate (partial) stable manifolds are in the Lebesgue class.