Généricité d'exposants de Lyapunov non-nuls pour des produits déterministes de matrices
Marcelo Viana | Bonatti, Christian | Goméz-Mont, Xavier
Lyapunov exponent | linear cocycle | SRB measure | representation
We propose a geometric sufficient criterium ``a la Furstenberg'' for the existence of non-zero Lyapunov exponents for certain linear cocycles over hyperbolic transformations: non-existence of probability measures on the fibers invariant under the cocycle and under the holonomies of the stable and unstable foliations of the transformation. This criterium applies to locally constant and to dominated cocycles over hyperbolic sets endowed with an equilibrium state. As a consequence, we get that non-zero exponents exist for an open dense subset of these cocycles, which is also of full Lebesgue measure in parameter space for generic parametrized families of cocycles. This criterium extends to continuous time cocycles obtained by lifting a hyperbolic flow to a projective fiber bundle, tangent to some foliation transverse to the fibers. Again, non-zero Lyapunov exponents are implied by non-existence of transvers e measures invariant under the holonomy of the foliation. We apply this last result to a natural geometric context: the geodesic flow tangent to the leaves of a foliation obtained as the suspension of a representation $\rho\colon\pi_1(S)\to PSL(2,\CC)$ of the fundamental group of a hyperbolic compact surface. We prove the existence of non-zero Lyapunov exponents for the corresponding cocycle, for $\rho$ in a dense open subset of all the representations. As a consequence we get that this foliated geodesic flow has a unique Sinai-Ruelle-Bowen measure.