Mutliple mixing and disjointness for time changes of bounded-type Heisenberg nilflows

Abstract

We study time changes of bounded type Heisenberg nilflows $(ϕ_t)$ acting on the Heisenberg nilmanifold $M$. We show that for every positive $τ\in W^s(M)$, $s~>~7/2$, every non-trivial time change $(ϕ_t^τ)$ enjoys the Ratner property. As a consequence every mixing time change is mixing of all orders. Moreover we show that for every $τ\in W^s(M)$, $s>9/2$ and every $p,q\in \mathbb{N}$, $p\neq q$, $(ϕ_{pt}^τ)$ and $(ϕ_{qt}^τ)$ are disjoint. As a consequence Sarnak's Conjecture on Möbius disjointness holds for all such time changes.