Suppose $X_{1}, X_{2}$ are nilmanifolds and $ρ, σ$ are automorphism actions of a discrete group $Γ$ on $X_{1}$ and $X_{2}$ respectively. We show that if $(X_{1},ρ)$ and $(X_{2}, σ)$ satisfy certain additional conditions then every $Γ$-equivariant continuous map from $(X_{1},ρ)$ to $(X_{2},σ)$ is an affine map.
In this paper we prove a perturbative result for a class of $\mathbb Z^2$ actions on Heisenberg nilmanifolds, which have Diophantine properties. Along the way we prove cohomological rigidity and obtain a tame splitting for the cohomology with coefficients in smooth vector fields for such actions.
We study mixing properties of commutative groups of automorphisms acting on compact nilmanifolds. Assuming that every nontrivial element acts ergodically, we prove that such actions are mixing of all orders. We further show exponential 2-mixing and 3-mixing. As an application we prove smooth cocycle rigidity for higher-rank abelian groups of nilmanifold automorphisms.
We study dynamical properties of automorphisms of compact nilmanifolds and prove that every ergodic automorphism is exponentially mixing and exponentially mixing of higher orders. This allows to establish probabilistic limit theorems and regularity of solutions of the cohomological equation for such automorphisms. Our method is based on the quantitative equidistribution results for polynomial maps combined with Diophantine estimates.
We study the regularity of a conjugacy between an Anosov automorphism $L$ of a nilmanifold $N/Γ$ and a volume-preserving, $C^1$-small perturbation $f$. We say that $L$ is locally Lyapunov spectrum rigid if this conjugacy is $C^{1+}$ whenever $f$ is $C^{1+}$ and has the same volume Lyapunov spectrum as $L$. For $L$ with simple spectrum, we show that local Lyapunov spectrum rigidity is equivalent to $L$ satisfying both an irreducibility condition and an ordering condition on its Lyapunov exponents.
We discuss conditions under which an affine automorphism of a compact nilmanifold is almost automorphic, and the structure of such automorphisms from a dynamical point of view.
We give a necessary and sufficient condition for $k$-step nilmanifolds associated with graphs $(k \geq 3)$ to admit Anosov automorphisms. We also prove nonexistence of Anosov automorphisms on certain classes of 2-step and 3-step nilmanifolds.
We study 9 and 10-dimensional Anosov Lie algebras, by using the properties of very special algebraic numbers. We classify k-step complex Anosov Lie algebras for $k>2$ and in the two step case, we give an example in each possible type, or we give a non-existence result.
Let $S=\{p_1, \dots, p_r,\infty\}$ for prime integers $p_1, \dots, p_r.$ Let $X$ be an $S$-adic compact nilmanifold, equipped with the unique translation invariant probability measure $μ.$ We characterize the countable groups $Γ$ of automorphisms of $X$ for which the Koopman representation $κ$ on $L^2(X,μ)$ has a spectral gap. More specifically, we show that $κ$ does not have a spectral gap if and only if there exists a non-trivial $Γ$-invariant quotient solenoid (that is, a finite-dimensional, connected, compact abelian group) on which $Γ$ acts as a virtually abelian group.
Given a $\mathbb Z^r$-action $α$ on a nilmanifold $X$ by automorphisms and an ergodic $α$-invariant probability measure $μ$, we show that $μ$ is the uniform measure on $X$, unless modulo finite index modification, one of the following obstructions occurs for an algebraic factor action: 1. The factor measure has zero entropy under every element of the action; 2. The factor action is virtually cyclic. We also deduce a rigidity property for invariant closed subsets.
We show that all $C^\infty$ Anosov $Z^r$-actions on tori and nilmanifolds without rank-one factor actions are, up to $C^\infty$ conjugacy, actions by automorphisms.
In this article we prove global rigidity results for hyperbolic actions of higher-rank lattices. Suppose $Γ$ is a lattice in semisimple Lie group, all of whose factors have rank $2$ or higher. Let $α$ be a smooth $Γ$-action on a compact nilmanifold $M$ that lifts to an action on the universal cover. If the linear data $ρ$ of $α$ contains a hyperbolic element, then there is a continuous semiconjugacy intertwining the actions of $α$ and $ρ$, on a finite-index subgroup of $Γ$. If $α$ is a $C^\infty$ action and contains an Anosov element, then the semiconjugacy is a $C^\infty$ conjugacy. As a coro…
We prove several results concerning smooth $\mathbb R^k$ actions with the property that their leafwise Laplacian is globally hypoelliptic. Such actions are necessarily uniquely ergodic and minimal, and cohomology is often finite-dimensional, even trivial. Further we consider a class of examples of $\mathbb R^2$ actions on 2-step nilmanifolds, which have globally hypoelliptic leafwise Laplacian, and we show transversal local rigidity under certain Diophantine conditions.
Assuming positive entropy we prove a measure rigidity theorem for higher rank actions on tori and solenoids by commuting automorphisms. We also apply this result to obtain a complete classification of disjointness and measurable factors for these actions.
We establish a strong form of local rigidity for hyperbolic automorphisms of the 3-torus with real spectrum. Namely, let $L\colon\mathbb T^3\to\mathbb T^3$ be a hyperbolic automorphism of the 3-torus with real spectrum and let $f$ be a $C^1$ small perturbation of $L$. Then $f$ is smoothly ($C^\infty$) conjugate to $L$ if and only if obstructions to $C^1$ conjugacy given by the eigenvalues at periodic points of $f$ vanish. By combining our result and a local rigidity result of Kalinin and Sadovskaya for conformal automorphisms this completes the local rigidity program for hyperbolic automorphis…
We classify complex projective surfaces with an automorphism of positive entropy for which the unique invariant measure of maximal entropy is absolutely continuous with respect to Lebesgue measure.
After more than thirty years, the only known examples of Anosov diffeomorphisms are hyperbolic automorphisms of infranilmanifolds. It is also important to note that the existence of an Anosov automorphism is a really strong condition on an infranilmanifold. Any Anosov automorphism determines an automorphism of the (rational) Lie algebra of the Mal'cev completion of the corresponding lattice which is hyperbolic and unimodular. These two conditions together are strong enough to make of such rational nilpotent Lie algebras (called Anosov Lie algebras) very distinguished objects. In this paper, we…
In this paper we obtain local rigidity results for linear Anosov diffeomorphisms in terms of Lyapunov exponents. More specifically, we show that given an irreducible linear hyperbolic automorphism $L$ with simple real eigenvalues with distinct absolute values, any small perturbation preserving the volume and with the same Lyapunov exponents is smoothly conjugate to $L$. We also obtain rigidity results for skew products over Anosov diffeomorphisms. Given a volume preserving partially hyperbolic skew product diffeomorphism $f_0$ over an Anosov automorphism of the 2-torus, we show that for any vo…
Consider actions of $\Z ^r$ by ergodic automorphisms on a compact nilmanifolds for $r \geq 2$. We show that small $C^k$ perturbations of such higher rank partially hyperbolic actions are smoothly conjugate to the original action, using a KAM scheme. The driving force for convergence of this iteration is the exponential mixing of the original action.
Let $d > 1$, and let $(X,α)$ and $(Y,β)$ be two zero-entropy ${\mathbb{Z}}^d$-actions on compact abelian groups by $d$ commuting automorphisms. We show that if all lower rank subactions of $α$ and $β$ have completely positive entropy, then any measurable equivariant map from $X$ to $Y$ is an affine map. In particular, two such actions are measurably conjugate if and only if they are algebraically conjugate.
We study the regularity of a conjugacy $H$ between a hyperbolic toral automorphism $A$ and its smooth perturbation $f$ We show that if $H$ is weakly differentiable then it is $C^{1+Hölder}$ and, if $A$ is also weakly irreducible, then $H$ is $C^\infty$. As a part of the proof, we establish results of independent interest on Hölder continuity of a measurable conjugacy between linear cocycles over a hyperbolic system. As a corollary, we improve regularity of the conjugacy to $C^\infty$ in prior local rigidity results.
We consider an irreducible Anosov automorphism L of a torus T^d such that no three eigenvalues have the same modulus. We show that L is locally rigid, that is, L is C^1 conjugate to any C^1-small perturbation f with the same periodic data. We also prove that toral automorphisms satisfying these assumptions are generic in SL(d,Z). Examples constructed in the Appendix by Rafael de la Llave show importance of the assumption on the eigenvalues.
We study the regularity of the conjugacy between an Anosov automorphism $L$ of a torus and its small perturbation. We assume that $L$ has no more than two eigenvalues of the same modulus and that $L^4$ is irreducible over $\mathbb Q$. We consider a volume-preserving $C^1$-small perturbation $f$ of $L$. We show that if Lyapunov exponents of $f$ with respect to the volume are the same as Lyapunov exponents of $L$, then $f$ is $C^{1+\text{Hölder}}$ conjugate to $L$. Further, we establish a similar result for irreducible partially hyperbolic automorphisms with two-dimensional center bundle.
We consider a hyperbolic toral automorphism $L$ and its $C^1$-small perturbation $f$. It is well-known that $f$ is Anosov and topologically conjugate to $L$, but a conjugacy $H$ is only Hölder continuous in general. We discuss conditions for smoothness of $H$, such as conjugacy of the periodic data of $f$ and $L$, coincidence of their Lyapunov exponents, and weaker regularity of $H$, and we summarize questions, results, and techniques in this area. Then we introduce our new results: if $H$ is weakly differentiable then it is $C^{1+\text{Hölder}}$ and, if $L$ is also weakly irreducible, then $H…
In this paper, we study positive as well as non-negative and non-trivial gradings on finite dimensional Lie algebras. We give a different proof that the existence of such a grading on a Lie algebra is invariant under taking field extensions, a result very recently obtained by Y. Cornulier. Similarly, we prove that given a grading of one these types and a finite group of automorphisms, there always exist a positive grading which is preserved by this group. From these results we conclude that the existence of an expanding map or a non-trivial self-cover on an infra-nilmanifold depends only on th…
Berend gives necessary and sufficient conditions on a $Z^r$-action $α$ on a torus $T^d$ by toral automorphisms in order for every orbit be either finite or dense. One of these conditions is that on every common eigendirection of the $Z^r$-action there is an element $\mathbf n \in Z^r$ so that $α^\mathbf n$ expands this direction. In this paper, we investigate what happens when this condition is removed; more generally, we consider a partial orbit $\{α^\mathbf n.x : \mathbf n \in Ω\}$ where $Ω$ is a set of elements which acts approximately as the identity on a given set of eigendirections. This…
We prove global rigidity results for some linear abelian actions on tori. The type of actions we deal with includes in particular maximal rank semisimple actions on $\T^N$.
In the present work we obtain rigidity results analysing the set of regular points, in the sense of Oseledec's Theorem. It is presented a study on the possibility of an Anosov diffeomorphisms having all Lyapunov exponents defined everywhere. We prove that this condition implies local rigidity of an Anosov automorphism of the torus $\mathbb{T}^d, d \geq 3,$ $C^1-$close to a linear automorphism diagonalizable over $\mathbb{R}$ and such that its characteristic polynomial is irreducible over $\mathbb{Q}.$
In this work we completely classify $C^\infty$ conjugacy for conservative partially hyperbolic diffeomorphisms homotopic to a linear Anosov automorphism on the 3-torus by its center foliation behavior. We prove that the uniform version of absolute continuity for the center foliation is the natural hypothesis to obtain $C^\infty$ conjugacy to its linear Anosov automorphism. On a recent work Avila, Viana and Wilkinson proved that for a perturbation in the volume preserving case of the time-one map of an Anosov flow absolute continuity of the center foliation implies smooth rigidity. The absolute…
We give a criterion for the rigidity of actions on homogeneous spaces. Let $G$ be a real Lie group, $Λ$ a lattice in $G$, and $Γ$ a subgroup of the affine group Aff$(G)$ stabilizing $Λ$. Then the action of $Γ$ on $G/Λ$ has the rigidity property in the sense of S. Popa, if and only if the induced action of $Γ$ on $\mathbb{P}(\frak{g})$ admits no $Γ$-invariant probability measure, where $\frak{g}$ is the Lie algebra of $G$. This generalizes results of M. Burger, and A. Ioana and Y. Shalom. As an application, we establish rigidity for the action of a class of groups acting by automorphisms on nil…
An algebraic $Z^{d}$-action is an action of $Z^{d}$ on a compact abelian group $X$ by automorphisms of $X$. We prove that for $d \ge 8$, there exist mixing zero entropy algebraic $Z^{d}$-actions which do not exhibit isomorphism rigidity property.
In this paper, we show local smooth rigidity for higher rank ergodic nilpotent action by toral automorphisms and prove the existence of such action on any torus TN for any even N ? 6. We also give examples of smooth rigidity of actions having rank-one factors. The method is a generalization of the KAM (Kolmogorov-Arnold-Moser) iterative scheme.
We prove that topologically isomorphic linear cellular automaton shifts are algebraically isomorphic. Using this, we show that two distinct such shifts cannot be isomorphic. We conclude that the automorphism group of a linear cellular automaton shift is a finitely generated abelian group.
In this paper, we study a local rigidity property of $\mathbb Z \ltimes_λ\mathbb R$ affine action on tori generated by an irreducible toral automorphism and a linear flow along an eigenspace. Such an action exhibits a weak version of local rigidity, i.e., any smooth perturbations close enough to an affine action is smoothly conjugate to the affine action up to proportional time change.
We show that for certain classes of actions of Z^d, d >= 2, by automorphisms of the torus any measurable conjugacy has to be affine, hence measurable conjugacy implies algebraic conjugacy; similarly any measurable factor is algebraic, and algebraic and affine centralizers provide invariants of measurable conjugacy. Using the algebraic machinery of dual modules and information about class numbers of algebraic number fields we consruct various examples of Z^d-actions by Bernoulli automorphisms whose measurable orbit structure is rigid, including actions which are weakly isomorphic but not isomor…
We give an alternative proof of a result of Cantat and Dupont, showing that any automorphism of a K3 surface with measure of maximal entropy in the Lebesgue class must be a Kummer example. Our method exploits the existence of Ricci-flat metrics on K3s and also covers the non-projective case.
We prove that the Julia set of a Henon type automorphism on C^2 is very rigid: it supports a unique positive ddc-closed current of mass 1. A similar property holds for the cohomology class of the Green current associated with an automorphism of positive entropy on a compact Kaehler surface. Relations between this phenomenon, several quantitative equidistribution properties and the theory of value distribution will be discussed. We also survey some rigidity properties of Henon type maps on C^k and of automorphisms of compact Kaehler manifolds.
For a Hénon map $H$ in $\mathbb{C}^2$, we characterize the polynomial automorphisms of $\mathbb{C}^2$ which keep any fixed level set of the Green function of $H$ completely invariant. The interior of any non-zero sublevel set of the Green function of a Hénon map turns out to be a Short $\mathbb{C}^2$ and as a consequence of our characterization, it follows that there exists no polynomial automorphism apart from possibly the affine automorphisms which acts as an automorphism on any of these Short $\mathbb{C}^2$'s. Further, we prove that if any two level sets of the Green functions of a pair of …
We study nilmanifolds admitting Anosov automorphisms by applying elementary properties of algebraic units in number fields to the associated Anosov Lie algebras. We identify obstructions to the existence of Anosov Lie algebras. The case of 13-dimensional Anosov Lie algebras is worked out as an illustration of the technique. Also, we recapture the following known results: (i) Every 7-dimensional Anosov nilmanifold is toral, and (ii) every 8-dimensional Anosov Lie algebra with 3 or 5-dimensional derived algebra contains an abelian factor.
We prove absolute continuity of "high entropy" hyperbolic invariant measures for smooth actions of higher rank abelian groups assuming that there are no proportional Lyapunov exponents. For actions on tori and infranilmanifolds existence of an absolutely continuous invariant measure of this kind is obtained for actions whose elements are homotopic to those of an action by hyperbolic automorphisms with no multiple or proportional Lyapunov exponents. In the latter case a form of rigidity is proved for certain natural classes of cocycles over the action.
Lind and Schmidt have shown that the homoclinic group of a cyclic $\Z^k$ algebraic dynamical system is isomorphic to the dual of the phase group. We show that this duality result is part of an exact sequence if $k=1$. The exact sequence is a well known algebraic object, which has been applied by Schmidt in his work on rigidity. We show that it can be derived from dynamical considerations only. The constructions naturally lead to an almost 1-1-coding of certain Pisot automorphisms by their associated $β$-shift, generalizing similar results for Pisot automorphisms of the torus.