{"title":"Applications of forcing theory to homeomorphisms of the closed annulus","authors":"Jonathan Conejeros, Fabio Armando Tal","doi":"10.24033/asens.2552","DOIUrl":null,"url":null,"abstract":"This paper studies homeomorphisms of the closed annulus that are isotopic to the identity from the viewpoint of rotation theory, using a newly developed forcing theory for surface homeomorphisms. Our first result is a solution to the so called strong form of Boyland's Conjecture on the closed annulus: Assume $f$ is a homeomorphism of $\\overline{\\mathbb{A}}:=(\\mathbb{R}/\\mathbb{Z})\\times [0,1]$ which is isotopic to the identity and preserves a Borel probability measure $\\mu$ with full support. We prove that if the rotation set of $f$ is a non-trivial segment, then the rotation number of the measure $\\mu$ cannot be an endpoint of this segment. We also study the case of homeomorphisms such that $\\mathbb{A}=(\\mathbb{R}/\\mathbb{Z})\\times (0,1)$ is a region of instability of $f$. We show that, if the rotation numbers of the restriction of $f$ to the boundary components lies in the interior of the rotation set of $f$, then $f$ has uniformly bounded deviations from its rotation set. Finally, by combining this last result and recent work on realization of rotation vectors for annular continua, we obtain that if $f$ is any area-preserving homeomorphism of $\\overline{\\mathbb{A}}$ isotopic to the identity, then for every real number $\\rho$ in the rotation set of $f$, there exists an associated Aubry-Mather set, that is, a compact $f$-invariant set such that every point in this set has a rotation number equal to $\\rho$. This extends a result by P. Le Calvez previously known only for diffeomorphisms.","PeriodicalId":50971,"journal":{"name":"Annales Scientifiques De L Ecole Normale Superieure","volume":"5 1","pages":"0"},"PeriodicalIF":1.3000,"publicationDate":"2023-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Annales Scientifiques De L Ecole Normale Superieure","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.24033/asens.2552","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 5
Abstract
This paper studies homeomorphisms of the closed annulus that are isotopic to the identity from the viewpoint of rotation theory, using a newly developed forcing theory for surface homeomorphisms. Our first result is a solution to the so called strong form of Boyland's Conjecture on the closed annulus: Assume $f$ is a homeomorphism of $\overline{\mathbb{A}}:=(\mathbb{R}/\mathbb{Z})\times [0,1]$ which is isotopic to the identity and preserves a Borel probability measure $\mu$ with full support. We prove that if the rotation set of $f$ is a non-trivial segment, then the rotation number of the measure $\mu$ cannot be an endpoint of this segment. We also study the case of homeomorphisms such that $\mathbb{A}=(\mathbb{R}/\mathbb{Z})\times (0,1)$ is a region of instability of $f$. We show that, if the rotation numbers of the restriction of $f$ to the boundary components lies in the interior of the rotation set of $f$, then $f$ has uniformly bounded deviations from its rotation set. Finally, by combining this last result and recent work on realization of rotation vectors for annular continua, we obtain that if $f$ is any area-preserving homeomorphism of $\overline{\mathbb{A}}$ isotopic to the identity, then for every real number $\rho$ in the rotation set of $f$, there exists an associated Aubry-Mather set, that is, a compact $f$-invariant set such that every point in this set has a rotation number equal to $\rho$. This extends a result by P. Le Calvez previously known only for diffeomorphisms.
期刊介绍:
The Annales scientifiques de l''École normale supérieure were founded in 1864 by Louis Pasteur. The journal dealt with subjects touching on Physics, Chemistry and Natural Sciences. Around the turn of the century, it was decided that the journal should be devoted to Mathematics.
Today, the Annales are open to all fields of mathematics. The Editorial Board, with the help of referees, selects articles which are mathematically very substantial. The Journal insists on maintaining a tradition of clarity and rigour in the exposition.
The Annales scientifiques de l''École normale supérieures have been published by Gauthier-Villars unto 1997, then by Elsevier from 1999 to 2007. Since January 2008, they are published by the Société Mathématique de France.