Posted by: yglima | February 14, 2012

CF0: cylinder flows

Let {\mathbb T=\mathbb R/\mathbb Z} denote the circle, parameterized by {[0,1)}. For every irrational number {\alpha}, let {R_\alpha:\mathbb T\rightarrow\mathbb T} denote the irrational rotation by {\alpha}:

\displaystyle R_\alpha x=x+\alpha \pmod 1.

For any function {\phi:\mathbb T\rightarrow\mathbb R}, one can consider the skew product extension {F=F(\alpha,\phi):\mathbb T\times\mathbb R\rightarrow\mathbb T\times\mathbb R} given by

\displaystyle F(x,y)=(R_\alpha x,y+\phi(x)),

from now on called cylinder flow. In this series of posts I intend to discuss the basic results regarding this class of transformations. Following the established notation in this blog, the titles will have the form “CF{n}” (where CF stands for “Cylinder flows” and “{n}” stands for the number of the lecture).

There is a natural invariant measure for {F}: it is {\mu\times\nu}, where {\mu} and {\nu} are the Lebesgue measure of {\mathbb T} and {\mathbb R}, respectively. This measure is infinite and so the ergodic theoretical properties of cylinder flows have to be investigated in a different perspective from that of probability measure-preserving systems. For example, in the infinite measure situation the Birkhoff averages converge to zero almost surely, independent of the function.

In some situations, the map {\phi} takes values in {\mathbb Z} and in this case we also call the cylinder flow a {\mathbb Z}-extension. When we want to include both situations, we will write {G} instead of {\mathbb R} or {\mathbb Z}.

I have no intention in covering all the subjects that arise in this area. To this purpose, I refer the reader to the book An introduction to infinite ergodic theory of Jon Aaronson in which one chapter is devoted to the study of cylinder flows. Instead, this series of posts will discuss some of these topics as well as new results:

  • Uniform distribution and Denjoy-Koksma’s inequality: in the first post we discuss the uniform distribution of {R_\alpha} and Denjoy-Koksma’s inequality which roughly speaking says that, along the denominators of the continued fraction expansion of {\alpha}, the orbits of {R_\alpha} are highly equidistributed. Ergodic cylinder flows arise at this point as a tool to guarantee that the opposite phenomena of Denjoy-Koksma’s inequality, i.e. the irregularity of equidistribution, appears.
  • Ergodicity and essential values: because {\mathbb T\times G} has infinite Lebesgue measure, ergodicity for cylinder flows has not many characterizations as in the finite measure situation. Nevertheless, to each cylinder flow {F} one can associate a subgroup {E(F)} of {G} that characterizes ergodicity in the sense that {F} is ergodic iff {E(F)=G}. Each element is called an essential value and so {F} is ergodic iff every element of {G} is an essential value.
  • Basics in infinite ergodic theory: the foregoing discussion requires a basic understanding of classical results in infinite ergodic theory, such as Hopf’s ratio ergodic theorem, the non-existence of Birkhoff’s theorem, Aaronson’s theorem, rational ergodicity and law of large numbers.
  • Law of large numbers for some cylinder flows: I will discuss a result in collaboration with Patricia Cirilo and Enrique Pujals, in which we construct new examples of cylinder flows that have law of large numbers. We prove that, along a subsequence of iterates, the map is rationally ergodic, and this is enough to have law of large numbers.
  • Further results: recently there has been a growing interest in more general cylinder flows, such as {\mathbb Z^2}-extensions and {\mathbb Z}-covers of translation surfaces. See e.g the paper Ergodicity of {\mathbb Z^2} Extension of Irrational Rotation on the Circle of Yuqing Zhang and the recent preprints Ergodic infinite group extensions of geodesic flows on translation surfaces of David Ralston and Serge Troubetzkoy and Ergodicity for Infinite Periodic Translation Surfaces of Pascal Hubert and Barak Weiss.

Enjoy! להתראות.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s


%d bloggers like this: