On mixing diffeomorphisms of the disc

• 成果类型: Article
• 署名作者: Avila, Artur; Fayad, Bassam; Le Calvez, Patrice; Xu, Disheng; Zhang, Zhiyuan
• 署名单位: University of Zurich; Instituto Nacional de Matematica Pura e Aplicada (IMPA); Sorbonne Universite; Centre National de la Recherche Scientifique (CNRS); CNRS - National Institute for Mathematical Sciences (INSMI); Universite Paris Cite; Sorbonne Universite; Institut Universitaire de France; Universite Paris Cite; Imperial College London; Institute for Advanced Study - USA
• 刊物名称: INVENTIONES MATHEMATICAE
• ISSN/ISSBN: 0020-9910
• DOI: 10.1007/s00222-019-00937-7
• 发表日期: 2020
• 页码: 673-714
• 关键词: rotation number; fixed-points

摘要

We prove that a Ck\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C<^>k$$\end{document}, k >= 2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$k\ge 2$$\end{document} pseudo-rotation f of the disc with non-Brjuno rotation number is Ck-1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C<^>{k-1}$$\end{document}-rigid. The proof is based on two ingredients: (1) we derive from Franks' Lemma on free discs that a pseudo-rotation with small rotation number compared to its C1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$C<^>1$$\end{document} norm must be close to the identity map; (2) using Pesin theory, we obtain an effective finite information version of the Katok closing lemma for an area preserving surface diffeomorphism f, that provides a controlled gap in the possible growth of the derivatives of f between exponential and sub-exponential. Our result on rigidity, together with a KAM theorem by Russmann, allow to conclude that analytic pseudo-rotations of the disc or the sphere are never topologically mixing. Due to a structure theorem by Franks and Handel of zero entropy surface diffeomorphisms, it follows that an analytic conservative diffeomorphism of the disc or the sphere that is topologically mixing must have positive topological entropy.