No Arabic abstract
In this paper, we study a natural class of groups that act as affine transformations of $mathbb T^N$. We investigate whether these solvable, abelian-by-cyclic, groups can act smoothly and nonaffinely on $mathbb T^N$ while remaining homotopic to the affine actions. In the affine actions, elliptic and hyperbolic dynamics coexist, forcing a priori complicated dynamics in nonaffine perturbations. We first show, using the KAM method, that any small and sufficiently smooth perturbation of such an affine action can be conjugated smoothly to an affine action, provided certain Diophantine conditions on the action are met. In dimension two, under natural dynamical hypotheses, we get a complete classification of such actions; namely, any such group action by $C^r$ diffeomorphims can be conjugated to the affine action by $C^{r-epsilon}$ conjugacy. Next, we show that in any dimension, $C^1$ small perturbations can be conjugated to an affine action via $C^{1+epsilon}$ conjugacy. The method is a generalization of the Herman theory for circle diffeomorphisms to higher dimensions in the presence of a foliation structure provided by the hyperbolic dynamics.
For groups of diffeomorphisms of $T^2$ containing an Anosov diffeomorphism, we give a complete classification for polycyclic Abelian-by-Cyclic group actions on $T^2$ up to both topological conjugacy and smooth conjugacy under mild assumptions. Along the way, we also prove a Tits alternative type theorem for some groups of diffeomorphisms of $T^2$.
We prove that for any two continuous minimal (topologically free) actions of the infinite dihedral group on an infinite compact Hausdorff space, they are continuously orbit equivalent only if they are conjugate. We also show the above fails if we replace the infinite dihedral group with certain other virtually cyclic groups, e.g. the direct product of the integer group with any non-abelian finite simple group.
The purpose of this paper is to study the phenomenon of large intersections in the framework of multiple recurrence for measure-preserving actions of countable abelian groups. Among other things, we show: (1) If $G$ is a countable abelian group and $varphi, psi : G to G$ are homomorphisms such that $varphi(G)$, $psi(G)$, and $(psi - varphi)(G)$ have finite index in $G$, then for every ergodic measure-preserving system $(X, mathcal{B}, mu, (T_g)_{g in G})$, every set $A in mathcal{B}$, and every $varepsilon > 0$, the set ${g in G : mu(A cap T_{varphi(g)}^{-1}A cap T_{psi(g)}^{-1}A) > mu(A)^3 - varepsilon}$ is syndetic. (2) If $G$ is a countable abelian group and $r,s in mathbb{Z}$ are integers such that $rG$, $sG$, and $(r pm s)G$ have finite index in $G$, then for every ergodic measure-preserving system $(X, mathcal{B}, mu, (T_g)_{g in G})$, every set $A in mathcal{B}$, and every $varepsilon > 0$, the set ${g in G : mu(A cap T_{rg}^{-1}A cap T_{sg}^{-1}A cap T_{(r+s)g}^{-1}A) > mu(A)^4 - varepsilon}$ is syndetic. In particular, these extend and generalize results of Bergelson, Host, and Kra concerning $mathbb{Z}$-actions and of Bergelson, Tao, and Ziegler concerning $mathbb{F}_p^{infty}$-actions. Using an ergodic version of the Furstenberg correspondence principle, we obtain new combinatorial applications. We also discuss numerous examples shedding light on the necessity of the various hypotheses above. Our results lead to a number of interesting questions and conjectures, formulated in the introduction and at the end of the paper.
Let $X$ be a regular curve and $n$ be a positive integer such that for every nonempty open set $Usubset X$, there is a nonempty connected open set $Vsubset U$ with the cardinality $|partial_X(V)|leq n$. We show that if $X$ admits a sensitive action of a group $G$, then $G$ contains a free subsemigroup and the action has positive geometric entropy. As a corollary, $X$ admits no sensitive nilpotent group action.
We obtain a sufficient condition for a substitution ${mathbb Z}$-action to have pure singular spectrum in terms of the top Lyapunov exponent of the spectral cocycle introduced in arXiv:1802.04783 by the authors. It is applied to a family of examples, including those associated with self-similar interval exchange transformations.