Slow area-preserving diffeomorphisms of the torus

Differentiable Conjugacy of Anosov Diffeomorphisms on Three Dimensional Torus

We consider two C^2 Anosov diffeomorphisms in a C^1 neighborhood of a linear hyperbolic automorphism of three dimensional torus with real spectrum. We prove that they are C^1+ conjugate if and only if the differentials of the return maps at corresponding periodic points have the same eigenvalues.

A $C^{\infty}$ closing lemma on torus

Asaoka & Irie recently proved a $C^{\infty}$ closing lemma of Hamiltonian diffeomorphisms of closed surfaces. We reformulated their techniques into a more general perturbation lemma for area-preserving diffeomorphism and proved a $C^{\infty}$ closing lemma for area-preserving diffeomorphisms on a torus that is isotopic to identity. i.e., we show that the set of periodic orbits is dense for a generic diffeomorphism isotopic to identity area-preserving diffeomorphism on torus. The main tool is the flux vector of area-preserving diffeomorphisms which is, different from Hamiltonian cases, non-zero…

Nondense orbits for Anosov diffeomorphisms of the $2$-torus

Let $λ$ denote the probability Lebesgue measure on ${\mathbb T}^2$. For any $C^2$-Anosov diffeomorphism of the $2$-torus preserving $λ$ with measure-theoretic entropy equal to topological entropy, we show that the set of points with nondense orbits is hyperplane absolute winning (HAW). This generalizes the result in~\cite[Theorem~1.4]{T4} for $C^2$-expanding maps of the circle.

Area-preserving irrotational diffeomorphisms of the torus with sublinear diffusion

We construct a $C^\infty$ area-preserving diffeomorphism of the two-dimensional torus which is Bernoulli (in particular, ergodic) with respect to Lebesgue measure, homotopic to the identity, and has a lift to the universal covering whose rotation set is $\{(0,0)\}$, which in addition has the property that almost every orbit by the lifted dynamics is unbounded and accumulates in every direction of the circle at infinity.

Instability for the rotation set of diffeomorphisms of the torus homotopic to the identity

The aim of this short note is to explain how the arguments of the "closing lemma with time control" of F. Abdenur and S. Crovisier (arXiv:1111.4206) can be used to answer Question 1 of the article "Instability for the rotation set of homeomorphisms of the torus homotopic to the identity" of S. Addas-Zanata.

A mixing-like property and inexistence of invariant foliations for minimal diffeomorphisms of the 2-torus

We consider diffeomorphisms in the $C^\infty$-closure of the conjugancy class of translations of the 2-torus. By a theorem of Fathi and Herman, a generic diffeomorphism in that space is minimal and uniquely ergodic. We define a new mixing-like property, which takes into account the "directions" of mixing, and we prove that generic elements of the space in question satisfy this property. As a consequence, we show that there is a residual set of strictly ergodic diffeomorphisms without invariant foliations of any kind. We also obtain an analytic version of these results.

Uniform bounds for diffeomorphisms of the torus and a conjecture of P. Boyland

We consider $C^{1+ε}$ diffeomorphisms of the torus, denoted $f,$ homotopic to the identity and whose rotation sets have interior. We give some uniform bounds on the displacement of points in the plane under iterates of a lift of $f,$ relative to vectors in the boundary of the rotation set and we use these estimates in order to prove that if such a diffeomorphism $f$ preserves area, then the rotation vector of the area measure is an interior point of the rotation set. This settles a strong version of a conjecture proposed by P. Boyland. We also present some new results on the realization of ext…

Rigidity of measures on the torus: smooth stabilizers and entropy

For a nonlinear Anosov diffeomorphism of the 2-torus, we present examples of measures so that the group of $μ$-preserving diffeomorphisms is, up to zero-entropy transformations, cyclic. For families of equilibrium states $μ$, we strengthen this to show that the group of $μ$-preserving diffeomorphism is virtually cyclic.

梯度型映射在 торus 上的稳定成分：诱导矩阵 $\begin{pmatrix} -1 & -1\cr 1& 0\end{pmatrix}$

Stable components for gradient-like diffeomorphisms of torus inducing matrix $\begin{pmatrix} -1 & -1\cr 1& 0\end{pmatrix}$

本文研究了诱导特定矩阵的梯度型映射在 2- торus 上的稳定成分结构，证明其分解为四个稳定成分，并建立了稳定连接的条件。

Ergodicity and partial hyperbolicity on the 3-torus

If a non-ergodic, partially hyperbolic diffeomorphism on the 3-torus is homotopic to an Anosov diffeomorphism $A$, it is topologically conjugate to $A$.

3-环面上Anosov微分同胚的中心Lyapunov指数刚性

Rigidity of center Lyapunov exponents for Anosov diffeomorphisms on 3-torus

该研究针对3-环面上具三子束部分双曲分裂的Anosov微分同胚，证明若两微分同胚共轭且共轭保持强稳定叶状结构，则对应周期点的中心Lyapunov指数相等，给出已有结果的逆命题，并将结论推广至由Anosov导出的部分双曲微分同胚。

Measure Preserving Diffeomorphisms of the Torus are Unclassifiable

The isomorphism problem in ergodic theory was formulated by von Neumann in 1932 in his pioneering paper Zur Operatorenmethode in der klassischen Mechanik (Ann. of Math. (2), 33(3):587--642, 1932). The problem has been solved for some classes of transformations that have special properties, such as the collection of transformations with discrete spectrum or Bernoulli shifts. This paper shows that a general classification is impossible (even in concrete settings) by showing that the collection $E$ of pairs of ergodic, Lebesgue measure preserving diffeomorphisms $(S,T)$ of the 2-torus that are is…

环面上阿诺索夫微分同胚的实现

Realization of Anosov Diffeomorphisms on the Torus

本文证明环面上保面积阿诺索夫微分同胚的几何势压力函数集合与线性阿诺索夫自同构的Hölder势压力函数集合相同，并据此否定回答了Rodriguez Hertz关于相同压力函数是否蕴含$C^\infty$共轭的$C^{1+α}$版本问题。

A Note on Rigidity of Anosov diffeomorphisms of the Three Torus

We consider Anosov diffeomorphisms on $\mathbb{T}^3$ such that the tangent bundle splits into three subbundles $E^s_f \oplus E^{wu}_f \oplus E^{su}_f.$ We show that if $f$ is $C^r, r \geq 2,$ volume preserving, then $f$ is $C^1$ conjugated with its linear part $A$ if and only if the center foliation $\mathcal{F}^{wu}_f$ is absolutely continuous and the equality $λ^{wu}_f(x) = λ^{wu}_A,$ between center Lyapunov exponents of $f$ and $A,$ holds for $m$ a.e. $x \in \mathbb{T}^3.$ We also conclude rigidity of derived from Anosov diffeomorphism, assuming an strong absolute continuity property (Unifo…

二维环面上阿诺索夫微分同胚的稳定与不稳定流形的切空间

Tangent Space of the Stable And Unstable Manifold of Anosov Diffeomorphism on 2-Torus

本文针对二维环面上一类阿诺索夫微分同胚，利用形式级数与导数树方法，通过对坐标变换H重新标度，给出了稳定和不稳定流形切向量的显式公式。

Global fixed points for nilpotent actions on the torus

An isotopic to the identity map of the $2$-torus, that has zero rotation vector with respect to an invariant ergodic probability measure, has a fixed point by a theorem of Franks. We give a version of this result for nilpotent subgroups of isotopic to the identity diffeomorphisms of the $2$-torus. In such a context we guarantee the existence of global fixed points for nilpotent groups of irrotational diffeomorphisms. In particular we show that the derived group of a nilpotent group of isotopic to the identity diffeomorphisms of the $2$-torus has a global fixed point.

关于2维流形梯度样映射稳定连通性的组成部分

On components of stable connectivity of gradient-like diffeomorphisms of the 2-torus

本文研究了2维流形梯度样映射的稳定连通性组成部分，证明了非恒等同调的梯度样映射集可以分成有限个稳定连通性组成部分，并定义了每个同调类的周期数据以唯一确定成员身份。

3-维 тор斯上 Anosov 流形的不稳定熵

Unstable entropy for Anosov diffeomorphisms on the 3-torus

本文研究了 3-维 торus 上 Anosov 流形的不稳定熵，通过构造 Margulis 测度系统，揭示了最大不稳定熵测度与共振态之间的关系。

A toral diffeomorphism with a non-polygonal rotation set

We construct a diffeomorphism of the two-dimensional torus which is isotopic to the identity and whose rotation set is not a polygon.

Real-analytic AbC constructions on the torus

In this article we demonstrate a way to extend the AbC (approximation by conjugation) method invented by Anosov and Katok from the smooth category to the category of real-analytic diffeomorphisms on the torus. We present a general framework for such constructions and prove several results. In particular, we construct minimal but not uniquely ergodic diffeomorphisms and nonstandard real-analytic realizations of toral translations.

Area-preserving diffeomorphisms of the torus whose rotation sets have non-empty interior

In this paper we consider $C^{1+ε}$ area-preserving diffeomorphisms of the torus $f,$ either homotopic to the identity or to Dehn twists. We suppose that $f$ has a lift $\widetilde{f}$ to the plane such that its rotation set has interior and prove, among other things that if zero is an interior point of the rotation set, then there exists a hyperbolic $\widetilde{f}$-periodic point $\widetilde{Q}$$\in {\rm I}\negthinspace {\rm R^2}$ such that $W^u(\widetilde{Q})$ intersects $W^s(\widetilde{Q}+(a,b))$ for all integers $(a,b)$, which implies that $\bar{W^u(\widetilde{Q})}$ is invariant under int…

Slow entropy for some Anosov-Katok diffeomorphisms

The Anosov-Katok method is one of the most powerful tools of constructing smooth volume-preserving diffeomorphisms of entropy zero with prescribed ergodic or topological properties. To measure the complexity of systems with entropy zero, invariants like slow entropy have been introduced. In this article we develop several mechanisms facilitating computation of topological and measure-theoretic slow entropy of Anosov-Katok diffeomorphisms.

环面 $\T^2$ 上的横截叶状结构与 3-流形上的部分双曲微分同胚

Transverse foliations on the torus $\T^2$ and partially hyperbolic diffeomorphisms on 3-manifolds

本文证明环面上任意两个横截 $C^1$ 叶状结构可由非零伦微分同胚环路保持横截，并据此将 Dehn 扭转构造部分双曲微分同胚的方法推广到任意非传递 Anosov 流。

Polynomial growth of the derivative for diffeomorphisms on tori

We consider area--preserving diffeomorphisms on tori with zero entropy. We classify ergodic area--preserving diffeomorphisms of the 3--torus for which the sequence $\{Df^n\}_{n\in{\Bbb N}}$ has polynomial growth. Roughly speaking, the main theorem says that every ergodic area--preserving $C^2$--diffeomorphism with polynomial uniform growth of the derivative is $C^2$--conjugate to a 2--steps skew product of the form \[\tor^3\ni(x_1,x_2,x_3)\mapsto (x_1+α,\ep x_2+β(x_1),x_3+γ(x_1,x_2))\in\tor^3,\] where $\ep=\pm 1$. We also indicate why there is no 4--dimensional analogue of the above result. Ra…

On the Bernoulli property for certain partially hyperbolic diffeomorphisms

We address the classical problem of equivalence between Kolmogorov and Bernoulli property of smooth dynamical systems. In a natural class of volume preserving partially hyperbolic diffeomorphisms homotopic to Anosov ("derived from Anosov") on 3-torus, we prove that Kolmogorov and Bernoulli properties are equivalent. In our approach, we propose to study the conditional measures of volume along central foliation to recover fine ergodic properties for partially hyperbolic diffeomorphisms. As an important consequence we obtain that there exists an almost everywhere conjugacy between any volume pre…

Chain-transitivity of partially hyperbolic diffeomorphisms on $\mathbb{T}^3$ isotopic to Anosov

We prove that if $f$ is a partially hyperbolic diffeomorphism on 3-torus $\mathbb{T}^3$ and isotopic to Anosov, then $f$ is chain transitive.

Normal form à la Moser for diffeomorphisms and generalization of Rüssmann's translated curve theorem to higher dimension

We prove a discrete time analogue of 1967 Moser's normal form of real analytic perturbations of vector fields possessing an invariant, reducible, Diophantine torus; in the case of diffeomorphisms too, the persistence of such an invariant torus is a phenomenon of finite co-dimension. Under convenient non-degeneracy assumptions on the diffeomorphisms under study (torsion property for example), this co-dimension can be reduced. As a by-product we obtain generalizations of Rüssmann's translated curve theorem in any dimension, by a technique of elimination of parameters.

Real-analytic realization of Uniform Circular Systems and some applications

Recently Matthew Foreman and Benjamin Weiss showed in a series of papers that smooth ergodic diffeomorphisms of a compact manifold are unclassifiable up to measure-isomorphism. In this paper we show that the uniform circular systems used in the work of Foreman-Weiss admit real-analytic realizations on the torus. As a consequence we obtain the same anti-classification result for real-analytic ergodic diffeomorphisms on the torus. In another application we show the existence of an uncountable family of pairwise non-Kakutani equivalent real-analytic diffeomorphisms on the torus.

Kan型部分双曲微分同胚的拓扑传递性

Topological transitivity of Kan-type partially hyperbolic diffeomorphisms

本文证明了加厚环面上包括Kan 1994年部分双曲例子在内的一类微分同胚具有拓扑传递性，该例子以混合盆现象著称。

On classification of periodic maps on the 2-torus

In this paper, following J.Nielsen, we introduce a complete characteristic of orientation preserving periodic maps on the two-dimensional torus. All admissible complete characteristics were found and realized. In particular, each of classes of non-homotopic to the identity orientation preserving periodic homeomorphisms on the 2-torus is realized by an algebraic automorphism. Moreover, it is shown that number of such classes is finite. Due to V.Z. Grines and A. Bezdenezhnykh, any gradient like orientation preserving diffeomorphism of an orientable surface is represented as a superposition of th…

Anosov diffeomorphism with a horseshoe that attracts almost any point

We present an example of a C1 Anosov diffeomorphism of a two-torus with a physical measure such that its basin has full Lebesgue measure and its support is a horseshoe of zero measure.

No round wandering domains for ${\bf C^1}$-diffeomorphisms of tori

We prove that if $n\geq 2$, then there is no $C^1$-diffeomorphism $f$ of $n$-torus, such that $f$ is semi-conjugate to a minimal translation and its wandering domains are geometric balls. This improves a recent result of A. Navas, who proved it assuming $C^{n+1}$ regularity of $f$.

Stable arcs connecting polar cascades on a torus

In this paper, we obtain a solution to the 33rd Palis-Pugh problem for polar gradient-like diffeomorphisms on a two-dimensional torus, under the assumption that all non-wandering points are fixed and have a positive orientation type.

Open sets of diffeomorphisms with trivial centralizer in the $C^1$ topology

On the torus of dimension $2$, $3$, or $4$, we show that the subset of diffeomorphisms with trivial centralizer in the $C^1$ topology has nonempty interior. We do this by developing two approaches, the fixed point and the odd prime periodic point, to obtain trivial centralizer for an open neighbourhood of Anosov diffeomorphisms arbitrarily near certain irreducible hyperbolic toral automorphism.

Tori with hyperbolic dynamics in 3-manifolds

Let M be a closed orientable irreducible 3-manifold, and let f be a diffeomorphism over M. We call an embedded 2-torus T an Anosov torus if it is invariant and the induced action of f over π_1(T) is hyperbolic. We prove that only few irreducible 3-manifolds admit Anosov tori: (1) the 3-torus, (2) the mapping torus of -id, and (3) the mapping torus of hyperbolic automorphisms of the 2-torus. This has consequences for instance in the context of partially hyperbolic dynamics of 3-manifolds: if there is an invariant center-unstable foliation, then it cannot have compact leaves [19]. This has lead …

A Garden of Eden theorem for Anosov diffeomorphisms on tori

Let $f$ be an Anosov diffeomorphism of the $n$-dimensional torus ${\mathbb{T}}^n$ and $τ$ a continuous self-mapping of ${\mathbb{T}}^n$ commuting with $f$. We prove that $τ$ is surjective if and only if the restriction of $τ$ to each homoclinicity class of $f$ is injective.

Simultaneous dense and nondense orbits for toral diffeomorphisms

We show that, for pairs of hyperbolic toral automorphisms on the $2$-torus, the points with dense forward orbits under one map and nondense forward orbits under the other is a dense, uncountable set. The pair of maps can be noncommuting. We also show the same for pairs of $C^2$-Anosov diffeomorphisms on the $2$-torus. (The pairs must satisfy slight constraints.) Our main tools are the Baire Category theorem and a geometric construction that allows us to give a geometric characterization of the fractal that is the set of points with forward orbits that miss a certain open set.

Regular variation and rates of mixing for infinite measure preserving almost Anosov diffeomorphisms

The purpose of this paper is to establish mixing rates for infinite measure preserving almost Anosov diffeomorphisms on the two-dimensional torus. The main task is to establish regular variation of the tails of the first return time to the complement of a neighbourhood of the neutral fixed point.

Generic non-trivial resonances for Anosov diffeomorphisms

We study real analytic perturbations of hyperbolic linear automorphisms on the 2-torus. The Koopman and the transfer operator are nuclear of order 0 when acting on a suitable Hilbert space. We show the generic existence of non-trivial Ruelle resonances for both operators. We prove that some of the perturbations preserve the volume and some of them do not.

在精细曲线图上具有抛物且非真作用的环面微分同胚及其广义旋转集

Torus diffeomorphisms with parabolic and non-proper actions on the fine curve graph and their generalized rotation sets

本研究证明环面Anosov-Katok类的一般元素在精细曲线图上有抛物非真作用，且存在平面上任意点对称紧凸位似类型的广义旋转集。

A consequence of the growth of rotation sets for families of diffeomorphisms of the torus

In this paper we consider $C^\infty $-generic families of area-preserving diffeomorphisms of the torus homotopic to the identity and their rotation sets. Let $f_t:\rm{T^2\rightarrow T^2}$ be such a family, $\widetilde{f}_t:\rm I\negthinspace R^2 \rightarrow \rm I\negthinspace R^2$ be a fixed family of lifts and $ρ(\widetilde{f}_t)$ be their rotation sets, which we assume to have interior for $t$ in a certain open interval $I.$ We also assume that some rational point $(\frac pq,\frac rq)\in \partial ρ(\widetilde{f}_{\overline{t}})$ for a certain parameter $\overline{t}\in I$ and we want to unde…

体积保持微分同胚群上的近似可控性

Approximate controllability on the group of volume-preserving diffeomorphisms

研究体积保持微分同胚群在二维和三维托罗斯上的近似可控性问题，通过分析无散向量场和常数向量场的控制作用，探讨系统的可控性条件与结果。

Real-analytic diffeomorphisms with homogeneous spectrum and disjointness of convolutions

On any torus $\mathbb{T}^d$, $d \geq 2$, we prove the existence of a real-analytic diffeomorphism $T$ with a good approximation of type $\left(h,h+1\right)$, a maximal spectral type disjoint with its convolutions and a homogeneous spectrum of multiplicity two for the Cartesian square $T\times T$. The proof is based on a real-analytic version of the Approximation by Conjugation-method.

Resonances for rational Anosov maps on the torus

A complete description of resonances for rational toral Anosov diffeomorphisms preserving certain Reinhardt domains is presented. As a consequence it is shown that every homotopy class of two-dimensional Anosov diffeomorphisms contains maps with the sequence of resonances decaying stretched-exponentially. This is achieved by introducing a certain group of rational toral diffeomorphisms and computing the resonances of the respective composition operator considered on suitable anisotropic spaces of hyperfunctions. The class of examples is sufficiently rich to also include non-linear Anosov maps …

On the non-robustness of intermingled basins

It is well-known that it is possible to construct a partially hyperbolic diffeomorphism on the 3-torus in a similar way than in Kan's example. It has two hyperbolic physical measures with intermingled basins supported on two embedded tori with Anosov dynamics. A natural question is how robust is the intermingled basins phenomenon for diffeomorphisms defined on boundaryless manifolds? In this work we will show that on the 3-torus the only partially hyperbolic examples having hyperbolic physical measures with intermingled basins are not robust.

A symbolic representation of Anosov-Katok systems

This paper is part 1 of a series of papers culminating in the result that measure preserving diffeomorphisms of the disc or 2-torus are unclassifiable. It also addresses another classical problem: which abstract measure preserving systems are realizable as smooth diffeomorphisms of a compact manifold? The main result of this paper gives new symbolic representations of the Anosov-Katok diffeomorphisms.

Slow-Fast Torus Knots

The goal of this paper is to study global dynamics of $C^\infty$-smooth slow-fast systems on the $2$-torus of class $C^\infty$ using geometric singular perturbation theory and the notion of slow divergence integral. Given any $m\in\mathbb{N}$ and two relatively prime integers $k$ and $l$, we show that there exists a slow-fast system $Y_ε$ on the $2$-torus that has a $2m$-link of type $(k,l)$, i.e. a (disjoint finite) union of $2m$ slow-fast limit cycles each of $(k,l)$-torus knot type, for all small $ε>0$. The $(k,l)$-torus knot turns around the $2$-torus $k$ times meridionally and $l$ times l…

On the hyperbolic automorphisms of the 2-torus and their Markov partitions

In the paper we give an introduction to Anosov diffeomorphisms, ways to represent their chaotic properties and some historical remarks on this subject. A complete classification of hyperbolic linear automorphisms of 2-torus is presented. We introduce a notion of pre-Markov partition for such automorphisms and give their classification and an algorithm for their construction.

实解析Anosov微分同胚的Ruelle共振分布

Distribution of Ruelle resonances for real-analytic Anosov diffeomorphisms

本研究证明了实解析Anosov微分同胚对应的Koopman算子Ruelle共振数目的上界为𝒪(|log r|^d)，揭示了其空间连通分支的指数最优性二分性，并验证二维环面情形下指数在稠子集上最优。

Duck farming on the two-torus: multiple canard cycles in generic slow-fast systems

Generic slow-fast systems with only one (time-scaling) parameter on the two-torus have attracting canard cycles for arbitrary small values of this parameter. This is in drastic contrast with the planar case, where canards usually occur in two-parametric families. In present work, general case of nonconvex slow curve with several fold points is considered. The number of canard cycles in such systems can be effectively computed and is no more than the number of fold points. This estimate is sharp for every system from some explicitly constructed open set.

Accessibility of derived-from-Anosov systems

This paper shows any non-Anosov partially hyperbolic diffeomorphism on the 3-torus which is homotopic to Anosov must be accessible.

Generic Torus Canards

Torus canards are solutions of slow/fast systems that alternate between attracting and repelling manifolds of limit cycles of the fast subsystem. A relatively new dynamic phenomenon, torus canards have been found in neural applications to mediate the transition from spiking to bursting via amplitude-modulated spiking. In $\mathbb{R}^3$, torus canards are degenerate: they require one-parameter families of 2-fast/1-slow systems in order to be observed and even then, they only occur on exponentially thin parameter intervals. The addition of a second slow variable unfolds the torus canard phenomen…

On the Existence of and Relationship between Canards and Torus Canards in Forced Slow/Fast Systems

Canards are special solutions of slow/fast systems which are ubiquitous in neuroscience and electrical engineering. Two distinct classes of canard solutions have been identified and carefully studied: folded singularity canards and torus canards. Recently, an explicit and analytic relationship between these seemingly unrelated families of solutions was established in the classical forced van der Pol equation (Burke et al., J. Nonlinear Sci. 26:405--451, 2015). In this article, we generalize the results of Burke et al. (2015) to the broader class of time-periodically forced planar slow/fast sys…

Duck factory on the two-torus: multiple canard cycles without geometric constraints

Slow-fast systems on the two-torus are studied. As it was shown before, canard cycles are generic in such systems, which is in drastic contrast with the planar case. It is known that if the rotation number of the Poincare map is integer and the slow curve is connected, the number of canard limit cycles is bounded from above by the number of fold points of the slow curve. In the present paper it is proved that there are no such geometric constraints for non-integer rotation numbers: it is possible to construct generic system with as simple as possible slow curve and arbitrary many limit cycles.