Pseudo-rotations with sufficiently Liouvillean rotation number are \(C^0\)-rigid (Q2257729)

The paper under review is devoted to investigation related to the following question (see problem 3.1 in [\textit{B. Fayad} and \textit{A. Katok}, Ergodic Theory Dyn. Syst. 24, No. 5, 1477--1520 (2004; Zbl 1089.37012)]): Does there exist a mixing area-preserving diffeomorphism of the closed unit 2-disk with zero topological entropy? The author searches the mixing examples in the class of irrational pseudo-rotations, i.e., \(C^\infty\)-diffeomorphisms preserving area and orientation, fixing the origin and having no other periodic points. The weak mixing examples in this class were constructed by \textit{B. Fayad} and \textit{M. Saprykina} [Ann. Sci. Éc. Norm. Supér. (4) 38, No. 3, 339--364 (2005; Zbl 1090.37001)]. The main result states that irrational pseudo-rotation with boundary rotation number in \(\mathcal{L_*}\) is \(C^0\)-rigid and therefore is not mixing. The boundary rotation number is the rotation number of a circle map obtained by restricting a diffeomorphism to the boundary of the disk. The set \(\mathcal{L}_*\) is the dense set of all irrational numbers~\(\alpha\) satisfying the following condition: for all~\({k\in\mathbb{N}}\) there exists \((p,q)\in\mathbb{Z}\times\mathbb{N}\) relatively prime for which \(\left|\alpha-p/q\right|<e^{-kq}\). The proof relies on the special representation of irrational pseudo-rotation by suitable Hamiltonian, and some Sobolev-type and Gronwall-like inequalities.