Rigidity on the two-torus and Sarnak's conjecture

Abstract: We establish quantitative rigidity results for pseudo-rotations of the two-torus under a $(C,δ)$-deviation condition relative to their rotation vectors. The main ingredient is a quantitative free-disk estimate that converts bounds on orbit deviation into explicit control of the distance between the iterates and the identity map. Under such a $(C,δ)$-deviation condition, we show that Hölder continuous super-Liouville irrational pseudo-rotations are $C<sup>0$-rigid with an exponential decay rate and that $C<sup>k$ semi-irrational pseudo-rotations of strong non-Brjuno type exhibit $C<sup>{k-1}$-rigidity with a superpolynomial decay rate. Moreover, under this deviation condition and sufficiently large irrationality measure, we show that Hölder continuous skew products on $\mathbb{T}<sup>2$ over circle rotations are $C<sup>0$-rigid with a polynomial decay rate. As a consequence, all these classes satisfy Sarnak's conjecture.