Density of positive Lyapunov exponents for quasiperiodic SL\((2, \mathbb R)\)-cocycles in arbitrary dimension (Q962233)

By a \(d\)-dimensioal quasilinear cocycle is meant a pair \((a,A)\), where \(a\) is an element of the \(d\)-dimensioal torus \(\mathbb{T}^d\) and \(A\) is a continuous map from the torus into \(SL(2,\mathbb{R})\), understood as a linear skew product \((x,w) \mapsto (x+a, A(x)\cdot w)\). Defining \(A_n\) by \(A_n(x) = A(x+(n-1)a) \cdots A(x)\) the Lyapunov exponent is defined by \((a,A) = \lim_{n \to \infty} \int \ln ||A_n(x)||\,dx\). The main result of this paper is a proof that if \(a\) is irrational then the set of \(A \in C^\omega(\mathbb{T}^d, SL(2, \mathbb{R})\) for which \(L(a,A) > 0\) is dense in the usual inductive limit topology.