In 1980, Albert Fathi asked whether the group of area-preserving homeomorphisms of the 2-disc that are the identity near the boundary is a simple group. In this paper, we show that the simplicity of this group is equivalent to the following fragmentation property in the group of compactly supported, area preserving diffeomorphisms of the plane: there exists a constant m such that every element supported on a disc D is the product of at most m elements supported on topological discs whose area are half the area of D.
We introduce Smale A-homeomorphisms that includes regular, semi-chaotic, chaotic, and super chaotic homeomorphisms of topo\-lo\-gi\-cal $n$-manifold $M^n$, $n\geq 2$. Smale A-homeo\-mor\-p\-hisms contain A-diffeomorphisms (in particular, structurally stable diffeomorphisms) provided $M^n$ admits a smooth structure. Regular A-homeomorphisms contain all Morse-Smale diffeomorphisms, while semi-chaotic and chaotic A-homeomorphisms contain A-diffeo\-mor\-p\-hisms with trivial and nontrivial basic sets. Super chaotic A-homeo\-mor\-p\-hisms contain A-diffeomorphisms whose basic sets are nontrivial. W…
The two main results of this paper concern the regularity of the invariant foliation of a C0-integrable symplectic twist diffeomorphisms of the 2-dimensional annulus, namely that $\bullet$ the generating function of such a foliation is C1 ; $\bullet$ the foliation is H{ö}lder with exponent 1/2. We also characterize foliations by graphs that are straightenable via a symplectic homeomorphism and prove that every symplectic homeomorphism that leaves invariant all the leaves of a straightenable foliation has Arnol'd-Liouville coordinates, in which the Dynamics restricted to the leaves is conjugate…
Given closed topological $n$-manifold $M^n$, $n\geq 2$, one introduces the classes of Smale regular $SRH(M^n)$ and Smale semi-regular $SsRH(M^n)$ homeomorphisms of $M^n$ with $SRH(M^n)\subset~SsRH(M^n)$. The class $SRH(M^n)$ contains all Morse-Smale diffeomorphisms, while $SsRH(M^n)$ contains A-diffeomorphisms with trivial and some nontrivial basic sets provided $M^n$ admits a smooth structure. We select invariant sets that determine dynamics of Smale homeomorphisms. This allows us to get necessary and sufficient conditions of conjugacy for $SRH(M^n)$ and $SsRH(M^n)$. We deduce applications fo…
In this paper we use the theory of barcodes as a new tool for studying dynamics of area-preserving homeomorphisms. We will show that the barcode of a Hamiltonian diffeomorphism of a surface depends continuously on the diffeomorphism, and furthermore define barcodes for Hamiltonian homeomorphisms. Our main dynamical application concerns the notion of {\it weak conjugacy}, an equivalence relation which arises naturally in connection to $C^0$ continuous conjugacy invariants of Hamiltonian homeomorphisms. We show that for a large class of Hamiltonian homeomorphisms with a finite number of fixed po…
Given a compactly supported area-preserving diffeomorphism of the disk, we prove an integral formula relating the asymptotic action to the asymptotic winding number. As a corollary, we obtain a new proof of Fathi's integral formula for the Calabi homomorphism on the disk.
Classical results by Poincaré and Denjoy show that two orientation-preserving $C^2$ diffeomorphisms of the circle are topologically conjugate if and only if they have the same rotation number. We show that there is no possibility of getting such a complete numerical Borel invariant for the conjugacy relation of orientation-preserving circle diffeomorphisms by homeomorphisms with higher degree of regularity. For instance, we consider conjugacy by Hölder homeomorphisms or by $C^k$-diffeomorphisms with $k\in \mathbb{Z}^+ \cup \{\infty\}$. The proof combines techniques from Descriptive Set Theory …
We give general classification and structure theorems for actions of groups of homeomorphisms and diffeomorphisms on manifolds, reminiscent of classical results for actions of (locally) compact groups. This gives a negative answer to Ghys' "extension problem" for diffeomorphisms of manifolds with boundary, as well as a classification of all homomorphisma $\mathrm{Homeo}_0(M) \to \mathrm{Homeo}_0(N)$ when dim(M) = dim(N) (and related results for diffeomorphisms), and a complete classification of actions of $\mathrm{Homeo}_0(S^1)$ on surfaces. This resolves many problems in a program initiated b…
Let $G$ be the group ${\rm PAff}_+({\bf S}^1)$ of piecewise--affine circle homeomorphisms or the group ${\Diff}^{\infty}(\mathbb R/\mathbb Z)$ of smooth circle diffeomorphisms. A constructive proof that all irrational rotations are distorted in $G$ is given.
Our first main result states that the spectral norm on the group of Hamiltonian diffeomorphisms, introduced in the works of Viterbo, Schwarz and Oh, is continuous with respect to the C^0 topology, when M is symplectically aspherical. This statement was previously proven only in the case of closed surfaces. As a corollary, using a recent result of Kislev and Shelukhin, we obtain C^0 continuity of barcodes on aspherical symplectic manifolds, and furthermore define barcodes for Hamiltonian homeomorphisms. We also present several applications to Hofer geometry and dynamics of Hamiltonian homeomorp…
Let $\mathcal{F}$ be a foliation with a "singular" submanifold $B$ on a smooth manifold $M$ and $p:E \to B$ be a regular neighborhood of $B$ in $M$. Under certain "homogeneity" assumptions on $\mathcal{F}$ near $B$ we prove that every leaf preserving diffeomorphism $h$ of $M$ is isotopic via a leaf preserving isotopy to a diffeomorphism which coincides with some vector bundle morphism of $E$ near $B$. This result is mutually a foliated and compactly supported variant of a well known statement that every diffeomorphism $h$ of $\mathbb{R}^n$ fixing the origin is isotopic to the linear isomorphis…
In the 1970s, Fathi, having proven that the group of compactly supported volume-preserving homeomorphisms of the $n$-ball is simple for $n \ge 3$, asked if the same statement holds in dimension $2$. We show that the group of compactly supported area-preserving homeomorphisms of the two-disc is not simple. This settles what is known as the "simplicity conjecture" in the affirmative. In fact, we prove the a priori stronger statement that this group is not perfect. An important step in our proof involves verifying for certain smooth twist maps a conjecture of Hutchings concerning recovering the C…
The goal of the article is to characterize the conservative homeomorphisms of a closed orientable surface $S$ of genus $\geq 2$, that have finitely many periodic points. By conservative, we mean a map with no wandering point. As a particular case, when $S$ is furnished with a symplectic form, we characterize the symplectic diffeomorphisms of $S$ with finitely many periodic points.
In a previous work it is shown that every finite group $G$ of diffeomorphisms of a connected smooth manifold $M$ of dimension $\geq 2$ equals, up to quotient by the flow, the centralizer of the group of smooth automorphisms of a $G$-invariant complete vector field $X$ (shortly $X$ describes $G$). Here the foregoing result is extended to show that every finite group of diffeomorphisms of $M$ is described, within the group of all homeomorphisms of $M$, by a vector field. As a consequence, it is proved that a finite group of homeomorphisms of a compact connected topological $4$-manifold, whose ac…
We show that, in many situations, a homeomorphism $f$ of a manifold $M$ may be recovered from the (marked) isomorphism class of a finitely generated group of homeomorphisms containing $f$. As an application, we relate the notions of {\em critical regularity} and of {\em differentiable rigidity}, give examples of groups of diffeomorphisms of 1-manifolds with strong differential rigidity, and in so doing give an independent, short proof of a recent result of Kim and Koberda that there exist finitely generated groups of $C^α$ diffeomorphisms of a 1-manifold $M$, not embeddable into $\mathrm{Diff}…
Existence of periodic points near an isolated fixed point with Lefschetz index $1$ and zero rotation for area preserving surface homeomorphisms
设$f$是有向曲面$M$的保向保面积同构，该曲面有一个孤立的退化不动点$z_0$，其Lefschetz指标为1. Le Roux证明了$z_0$是由周期轨道积累的。本文讨论Le Roux猜想，证明了若$f$与$z_0$的合痕一致，且$M$的面积有限，则$z_0$不仅由周期点积累，而且由周期轨道在测度意义下积累.更精确地说，在$z_0$上的狄拉克测度是在弱星拓扑中，周期轨道上的不变概率测度序列的极限。我们的证明是纯粹的拓扑和将工程同胚，是有关的概念，本地旋转集。
Ghys and Sergiescu proved in the $80$s that Thompson's group $T$, and hence $F$, admits actions by $C^{\infty}$ diffeomorphisms of the circle . They proved that the standard actions of these groups are topologically conjugate to a group of $C^\infty$ diffeomorphisms. Monod defined a family of groups of piecewise projective homeomorphisms, and Lodha-Moore defined finitely presentable groups of piecewise projective homeomorphisms. These groups are of particular interest because they are nonamenable and contain no free subgroup. In contrast to the result of Ghys-Sergiescu, we prove that the group…
We introduce and study the notion of a chain group of homeomorphisms of a one-manifold, which is a certain generalization of Thompson's group $F$. The resulting class of groups exhibits a combination of uniformity and diversity. On the one hand, a chain group either has a simple commutator subgroup or the action of the group has a wandering interval. In the latter case, the chain group admits a canonical quotient which is also a chain group, and which has a simple commutator subgroup. On the other hand, every finitely generated subgroup of $\operatorname{Homeo}^+(I)$ can be realized as a subgr…
Let K be a Cantor set embedded in the real line R. Following Funar and Neretin, we define the diffeomorphism group of K as the group of homeomorphisms of K which locally look like a diffeomorphism between two intervals of R. Higman-Thompson's groups Vn appear as subgroups of such groups. In this article, we prove some properties of this group. First, we study the Burnside problem in this group and we prove that any finitely generated subgroup consisting of finite order elements is finite. This property was already proved by Rover in the case of the groups Vn. We also prove that any finitely ge…
