Stationary probability measures on projective spaces for block-Lyapunov dominated systems

Abstract

Given a finite-dimensional real vector space $V$, a probability measure $\mu$ on $\mathrm{PGL}(V)$ and a $\mu$-invariant subspace $W$, under a block-Lyapunov contraction assumption, we prove existence and uniqueness of lifts to $P(V)\setminus P(W)$ of stationary probability measures on the quotient $P(V/W)$. In the other direction, i.e. under block-Lyapunov expansion, we prove that stationary measures on $P(V/W)$ have lifts if any only if the group generated by the support of $\mu$ stabilizes a subspace $W^{\prime }$ not contained in $W$ and exhibiting a faster growth than on $W\cap W^{\prime }$. These refine the description of stationary probability measures on projective spaces as given by Furstenberg, Kifer and Hennion, and under the same assumptions, extend corresponding results by Aoun, Benoist, Bruère, Guivarc'h, and others.

final version and minor corrections after revision, accepted for publication in Mathematische Annalen