Local limit theorem for nonuniformly partially hyperbolic skew-products, and Farey sequences

Abstract

We study skew-products of the form (x,ω)\mapsto (Tx, ω+ϕ(x)) where T is a nonuniformly expanding map on a space X, preserving a (possibly singular) probability measure \tildeμ, and ϕ:X\to S^1 is a C^1 function. Under mild assumptions on \tildeμand ϕ, we prove that such a map is exponentially mixing, and satisfies the central and local limit theorems. These results apply to a random walk related to the Farey sequence, thereby answering a question of Guivarc'h and Raugi.

55 pages