We show that for a finitely generated group of $C^2$ circle diffeomorphisms, the entropy of the action equals the entropy of the restriction of the action to the non-wandering set.
For a circle map $f\colon\mathbb{S}\to\mathbb{S}$ with zero topological entropy, we show that a non-diagonal pair $\langle x,y\rangle\in \mathbb{S}\times \mathbb{S}$ is non-separable if and only if it is an IN-pair if and only if it is an IT-pair. We also show that if a circle map is topological null then the maximal pattern entropy of every open cover is of polynomial order.
We characterize the maximal entropy measures of partially hyperbolic C^2 diffeomorphisms whose center foliations form circle bundles, by means of suitable finite sets of saddle points, that we call skeletons. In the special case of 3-dimensional nilmanifolds other than the torus, this entails the following dichotomy: either the diffeomorphism is a rotation extension of an Anosov diffeomorphism -- in which case there is a unique maximal measure, with full support and zero center Lyapunov exponents -- or there exist exactly two ergodic maximal measures, both hyperbolic and whose center Lyapunov …
This paper provides a canonical compactification of the plane ${\mathbb R}^2$ by adding a circle at infinity associated to a countable family of singular foliations or laminations (under some hypotheses), generalizing an idea by Mather \cite{Ma}. Moreover any homeomorphism of ${\mathbb R}^2 $ preserving the foliations extends on the circle at infinity. Then this paper provides conditions ensuring the minimality of the action on the circle at infinity induced by an action on ${\mathbb R}^2 $ preserving one foliation or two transverse foliations. In particular the action on the circle at infinit…
We show that if $G_1$ and $G_2$ are non-solvable groups, then no $C^{1,τ}$ action of $(G_1\times G_2)*\mathbb{Z}$ on $S^1$ is faithful for $τ>0$. As a corollary, if $S$ is an orientable surface of complexity at least three then the critical regularity of an arbitrary finite index subgroup of the mapping class group $\mathrm{Mod}(S)$ with respect to the circle is at most one, thus strengthening a result of the first two authors with Baik.
In this short and elementary note, we study some ergodic optimization problems for circle expanding maps. We first make an observation that if a function is not far from being convex, then its calibrated sub-actions are closer to convex functions in certain effective way. As an application of this simple observation, for circle doubling map, we generalize a result of Bousch saying that translations of the cosine function are uniquely optimized by Sturmian measures. Our argument follows the mainline of Bousch's original proof, while the technical part is simplified by the observation mentioned …
Given a uniform foliation by Gromov hyperbolic leaves on a $3$-manifold, we show that the action of the fundamental group on the universal circle is minimal and transitive on pairs of different points. We also prove two other results: we prove that general uniform Reebless foliations are $\mathbb{R}$-covered and we give a new description of the universal circle of $\mathbb{R}$-covered foliations with Gromov hyperbolic leaves in terms of the JSJ decomposition of $M$.
In this report, we first recall the Poincaré's classification theorem for minimal orientation-preserving homeomorphisms on the circle and the Ghys' classification theorem for minimal orientation-preserving group actions on the circle. Then we introduce a classification theorem for a specified class of topologically transitive orientation-preserving group actions on the circle by $\mathbb Z^d$. Also, some groups that admit/admit no topologically transitive actions on the line are determined.
Let $Σ_{g}$ be a closed, connected, and oriented surface of genus $g \geq 24$ and let $Γ$ be a finite index subgroup of the mapping class group $Mod(Σ_{g})$ that contains the Torelli group $\mathcal{I}(Σ_g)$. Then any orientation preserving $C^1$ action of $Γ$ on the circle cannot be faithful. We also show that if $Γ$ is a finite index subgroup of $Aut(F_n)$, when $n \geq 8$, that contains the subgroup of IA-automorphisms, then any orientation preserving $C^1$ action of $Γ$ on the circle cannot be faithful. Similarly, if $Γ$ is a finite index subgroup of $Out(F_n)$, when $n \geq 8$, that conta…
For the free group $F_2$ acting in $S^{1}$, we will prove that if the minimal set for the action is not a Cantor set, then the action does not have the shadowing property. We will also construct an example, whose minimal set is a Cantor set, that it has the shadowing property.
We investigate the structure of circle actions with the Rokhlin property, particularly in relation to equivariant $KK$-theory. Our main results are $\mathbb{T}$-equivariant versions of celebrated results of Kirchberg: any Rokhlin action on a separable, nuclear C*-algebra is $KK^\mathbb{T}$-equivalent to a Rokhlin action on a Kirchberg algebra; any Rokhlin action on an exact separable C*-algebra embeds equivariantly into $\mathcal{O}_2$ (with its unique Rokhlin action); and two circle actions with the Rokhlin property on a Kirchberg algebra are conjugate if and only if they are $KK^\mathbb{T}$-…
We show that every parabolic orbit of a two-degree of freedom integrable system admits a $C^\infty$-smooth Hamiltonian circle action, which is persistent under small integrable $C^\infty$ perturbations. We deduce from this result the structural stability of parabolic orbits and show that they are all smoothly equivalent (in the non-symplectic sense) to a standard model. Our proof is based on showing that every symplectomorphism of a neighbourhood of a parabolic point preserving the integrals of motion is Hamiltonian whose generating function is smooth and constant on the connected components o…