Multiple mixing and disjointness for time changes of bounded-type Heisenberg nilflows (Q2333119)

The authors study time changes of bounded-type Heisenberg nilflows \((\phi_t)\) acting on the Heisenberg nilmanifold \(M\). They show that, for every positive \(\tau\in W^s(M)\), with \(s>7/2\), every non-trivial time change \((\phi_t^\tau)\) has the Ratner property. As a consequence, every mixing time change is mixing of all orders. In addition, they show that for every \(\tau\in W^s(M)\) with \(s>9/2\) and every \(p,q\in {\mathbb N}\) with \(p\not=q\), the time changes \((\phi_{pt}^\tau)\) and \((\phi_{qt}^\tau)\) are disjoint. They conclude that Sarnak's conjecture on Möbius disjointness holds for all such time changes.