Reducibility, differentiable rigidity and Lyapunov exponents for quasi-periodic cocycles on ${\bf T}times SL(2,{\bf R})$

Abstract

Given $α$ in some set $Σ$ of total (Haar) measure in ${\bf T}={\bf R}/{\bf Z}$, and $A\in C^{\infty}({\bf T},SL(2,{\bf R}))$ which is homotopic to the identity, we prove that if the fibered rotation number of the skew-product system $(α,A):{\bf T}\times SL(2,{\bf R})\to {\bf T}\times SL(2,{\bf R})$, $(α,A)(θ,y)=(θ+α,A(θ)y)$ is diophantine with respect to $α$ and if the fibered products are uniformly bounded in the $C^0$-topology then the cocycle $(α,A)$ is $C^\infty$-reducible --that is $A(\cdot)=B(\cdot+α)A_0 B(\cdot)^{-1}$, for some $A_0\in SL(2,{\bf R})$, $B\in C^{\infty}({\bf T},SL(2,{\bf R}))$. This result which can be seen as a non-pertubative version of a theorem by L.H. Eliasson has two interesting corollaries: the first one is a result of differentiable rigidity: if $α\inΣ$ and the cocycle $(α,A)$ is $C^0$-conjugated to a constant cocycle $(α,A_0)$ with $A_0$ in a set of total measure in $SL(2,{\bf R})$ then the conjugacy is $C^\infty$; the second consequence is: if $α\in Σ$ is fixed then the set of $A\in C^\infty({\bf T},SL(2,{\bf R}))$ for which $(α,A)$ has positive Lyapunov exponent is $C^\infty$-dense. A similar result is true for the Schrödinger cocycle and for 2-frequencies conservative differential equations in the plane.