Acta Math. 215 (1), 1-54, (2015) DOI: 10.1007/s11511-015-0128-7
KEYWORDS: symplectic diffeomorphisms, partial hyperbolicity, Lyapunov exponents, generic properties, 37D20, 37D25, 37D30, 37J10, 37C20
We study Schrödinger operators with a one-frequency analytic potential, focusing on the transition between the two distinct local regimes characteristic respectively of large and small potentials. From the dynamical point of view, the transition signals the emergence of non-uniform hyperbolicity, so the dependence of the Lyapunov exponent with respect to parameters plays a central role in the analysis. Though often ill-behaved by conventional measures, we show that the Lyapunov exponent is in fact remarkably regular in a “stratified sense” which we define: the irregularity comes from the matching of nice (analytic or smooth) functions along sets with complicated geometry. This result allows us to establish that the “critical set” for the transition lies within countably many codimension one subvarieties of the (infinite-dimensional) parameter space. A more refined renormalization-based analysis shows that the critical set is rather thin within those subvarieties, and allows us to conclude that a typical potential has no critical energies. Such acritical potentials also form an open set and have several interesting properties: only finitely many “phase transitions” may happen, but never at any specific point in the spectrum, and the Lyapunov exponent is minorated in the region of the spectrum where it is positive. On the other hand, we do show that the number of phase transitions can be arbitrarily large.
Key to our approach are two results about the dependence of the Lyapunov exponent of one-frequency SL cocycles with respect to perturbations in the imaginary direction: on one hand there is a severe “quantization” restriction, and on the other hand “regularity” of the dependence characterizes uniform hyperbolicity when the Lyapunov exponent is positive. Our method is independent of arithmetic conditions on the frequency.