Reducibility or nonuniform hyperbolicity for quasiperiodic Schrödinger cocycles

We show that for almost every frequency α ∈ ℝ\ℚ, for every C^ω potential v : ℝ/ℤ → ℝ, and for almost every energy E the corresponding quasiperiodic Schrödinger cocycle is either reducible or nonuniformly hyperbolic. This result gives very good control on the absolutely continuous part of the spectrum of the corresponding quasiperiodic Schrödinger operator, and allows us to complete the proof of the Aubry-André conjecture on the measure of the spectrum of the Almost Mathieu Operator.