Mixing for the time-changes of Heisenberg nilflows (Q431583)

This paper is a contribution to the smooth ergodic theory of parabolic flows. In Section 2, the definitions of Heisenberg nilflows, special flows and time-changes are given. Theorem 3 contains the main results for time-changes of nilflows. In Section 3, the authors prove that non-triviality of the time-change guarantees that there is a stretch of ergodic sums. Using this stretch, they prove the mixing in Section 4. Section 5 contains the proof of the effective characterization of non-trivial time-changes, which allows to exhibit explicit examples of mixing time-changes.