Andrés Navas
We prove that the so called Grigorchuk-Maki group of intermadiate growth can be seen as a group of $C^1$ diffeomorphisms of the interval. On the other hand, we prove that every group of $C^{1+α}$ diffeomorphisms of the interval having subexponential growth is almost nilpotent.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We relate the Mather invariant of diffeomorphisms of the (closed) interval to their asymptotic distortion. For maps with only parabolic fixed points, we show that the former is trivial if and only if the latter vanishes. As a consequence, we obtain that such a diffeomorphism of the interval with no fixed point in the interior contains the identity in the closure of its C^{1+bv} conjugacy class if and only if it is the time-1 map of a C^1 vector field. A corollary of this is that diffeomorphisms that do not arise from vector fields are undistorted in the whole group of interval interval diffeom…
We extend to the critical (intermediate) regularity several results concerning rigidity for centralizers and group actions on the interval.
We consider a class of step skew product systems of interval diffeomorphisms over shift operators, as a means to study random compositions of interval diffeomorphisms. The class is chosen to present in a simplified setting intriguing phenomena of intermingled basins, master-slave synchronization and on-off intermittency. We provide a self-contained discussion of these phenomena.
We prove that the group of diffeomorphisms of the interval $[0,1]$ contains surface groups whose action on $(0,1)$ has no global fix point, is topologically transitive, and such that only countably many points of the interval $(0,1)$ have non-trivial stabiliser.
We obtain several results on the distortion asymptotics for the iterations of diffeomorphisms of the interval extending the recent work of Polterovich and Sodin.
We improve a recent construction of Andrés Navas to produce the first examples of $C^2$-undistorted diffeomorphisms of the interval that are $C^{1+α}$-distorted (for every $α< 1$). We do this via explicit computations due to the failure of an extension to class $C^{1+α}$ of a classical lemma related to the work of Nancy Kopell.
We obtain results on the growth sequences of the differential for iterations of circle diffeomorphisms without periodic points.
On the Topological Transitivity of Interval Extensions of Anosov Diffeomorphisms
本文证明了加厚幂零流形上一类解析部分双曲微分同胚（由Anosov微分同胚的区间扩张构造的斜积系统）的拓扑传递性，并提出了允许中心方向任意有限阶抛物退化的机制。
We build the first examples of diffeomorphisms that are distorted in a group of $C^r$ diffeomorphisms yet undistorted in the corresponding group of $C^s$ diffeomorphisms, where $r < s$. This explicit construction is performed for the closed interval, $r = 1$ and $s = 2$.
The paper is withdrawn.
Given an orientation-preserving diffeomorphism of the interval [0;1], consider the uniform norm of the differential of its n-th iteration. We get a function of n called the growth sequence. Its asymptotic behaviour is an interesting invariant which naturally appears both in geometry of the diffeomorphisms groups and in smooth dynamics. Our main result is the following Gap Theorem: the growth rate of this sequence is either exponential, or at most quadratic with n. Further, we construct diffeomorphisms with quite an irregular behaviour of the growth sequence. This construction easily extends to…
$C^1$-Diffeomorphism Class of some Circle Maps with a Flat Interval
研究平坦段边界奇点次数不同的圆周映射类，证明其拓扑共轭若为双Lipschitz同胚则必为$C^1$微分同胚，从而两类等价。
All, most, some? On diffeomorphisms of the interval that are distorted and/or conjugate to powers of themselves
本研究探讨区间微分同胚共轭于自身幂次的问题，分析了不同正则性下相关集合的稠密性与泛型性等性质，补充了区间微分同胚群扭曲元素的相关结果。
Given a diffeomorphism of the interval, consider the uniform norm of the derivative of its n-th iteration. We get a sequence of real numbers called the growth sequence. Its asymptotic behavior is an invariant which naturally appears both in smooth dynamics and in geometry of the diffeomorphisms groups. We find sharp estimates for the growth sequence of a given diffeomorphism in terms of the modulus of continuity of its derivative. These estimates extend previous results of Polterovich and Sodin, and Borichev.
In this paper we consider the conjugacy classes of diffeomorphisms of the interval, endowed with the $C^1$-topology. We present several results in the spirit of the one below : Given two diffeomorphisms $f,g$ of the interval $[0;1]$ without hyperbolic fixed point, we give a complete answer to the two following questions: - under what conditions does there exist a sequence of smooth conjugates $h_n f h_n^{-1}$ of $f$ tending to $g$ in the $C^1$-topology ? - under what conditions does there exist a continuous path of $C^1$-diffeomorphisms $h_t$ such that $h_t f h_t^{-1}$ tends to $g$ in the $C^1…
Let D^r_+[0,1], r >= 1, denote the group of orientation-preserving C^r diffeomorphisms of [0,1]. We show that any two representations of Z^2 in D^r_+[0,1], r >= 2, are connected by a continuous path of representations of Z^2 in D^1_+[0,1]. We derive this result from the classical works by G. Szekeres and N. Kopell on the C^1 centralizers of the diffeomorphisms of [0,1) which are at least C^2 and fix only 0.
Exponential decay of correlations for random interval diffeomorphisms
该研究证明了随机区间微分同胚在特定条件下，Lipschitz观测量的相关性呈现指数衰减，关键在于证明平均意义下的指数同步。
We show that the metric entropy of a $C^1$ diffeomorphism with a dominated splitting and the dominating bundle uniformly expanding is bounded from above by the integrated volume growth of the dominating (expanding) bundle plus the maximal Lyapunov exponent from the dominated bundle multiplied by its dimension. We also discuss different types of volume growth that can be associated with an expanding foliation and relationships between them, specially when there exists a closed form non-degenerate on the foliation. Some consequences for partially hyperbolic diffeomorphisms are presented.
The uniform norm of the differential of the n-th iteration of a diffeomorphism is called the growth sequence of the diffeomorphism. In this paper we show that there is no lower universal growth bound for volume preserving diffeomorphisms on manifolds with an effective two dimensions torus action by constructing a set of volume-preserving diffeomorphisms with arbitrarily slow growth.
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…
Robust Transitivity of Partially Hyperbolic Diffeomorphisms with Interval Central Leaves
研究具有区间中心叶的边界保持部分双曲微分同胚，通过边界互连刻画其$C^k$鲁棒传递性，并将其应用于边界SRB测度的鲁棒混合盆现象刻画。
We construct area-preserving real analytic diffeomorphisms of the torus with unbounded growth sequences of arbitrarily slow growth.
Exact quadratic growth for the derivatives of iterates of interval diffeomorphisms with only parabolic fixed points
本文证明仅具抛物型不动点的区间微分同胚，若存在非二次切触且单侧拓扑排斥的不动点，则迭代导数最大增长恰为二次，否则为次二次。
On groups of diffeomorphisms of the interval with finitely many fixed points
本文针对每个非单位元仅有有限多个不动点的区间保向微分同胚群，证明其不可约子群要么为仿射群，要么具有无限围道，从而肯定了Girth Alternative。
Let M be a compact manifold of dimension at least 2, Diff^r(M) be the space of C^r diffeomorphisms of M. Define for any diffeomorphism f in Diff^r(M) number of isolated periodic points of period n by P_n(f)=# {isolated x in M: f^n(x)=x}. Artin--Mazur proved that for a dense set of diffeomorphisms the number of periodic points P_n(f) growth at most exponentially fast in n. The author proved that there is an open set N \subset Diff^r(M) such that for a Baire generic set of diffeomorphisms the number of periodic points P_n(f) growth arbitrarily fast. Arnold posed a problem: Prove that diffeomorph…
We prove that there exists an open subset of the set of real-analytic Hamiltonian diffeomorphisms of a closed surface in which diffeomorphisms exhibiting fast growth of the number of periodic points are dense. We also prove that there exists an open subset of the set of smooth area-preserving diffeomorphisms of a closed surface in which typical diffeomorphisms exhibit fast growth of the number of periodic points.
By the Thurston stability theorem, a group of C^1 orientation-preserving diffeomorphisms of the closed unit interval is locally indicable. We show that the local order structure of orbits gives a stronger criterion for nonsmoothability that can be used to produce new examples of locally indicable groups of homeomorphisms of the interval that are not conjugate to groups of C^1 diffeomorphisms.
In this paper, we consider certain partially hyperbolic diffeomorphisms with center of arbitrary dimension and obtain continuity properties of the topological entropy under $C^1$ perturbations. The systems considered have subexponential growth in the center direction and uniform exponential growth along the unstable foliation. Our result applies to partially hyperbolic diffeomorphisms which are Lyapunov stable in the center direction. It applies to another important class of systems which do have subexponential growth in the center direction, for which we develop a technique to use exponential…
According to Thurston's stability theorem, every group of C^1 diffeomorphisms of the closed interval is locally indicable (.e., every finitely generated subgroup factors through Z). We show that, even for finitely generated groups, the converse of this statement is not true. More precisely, we show that the semi-direct product between F_2 an Z^2, although locally indicable, does not embed into Diff_+^1 (]0,1[). (Here F_2 is any free subgroup of SL(2,Z), and its action on Z^2 is the projective one.) Moreover, we show that for every non-solvable subgroup G of SL(2,Z), the semi-direct product bet…
Consider a compact manifold M of dimension at least 2 and the space of C^r-smooth diffeomorphisms Diff^r(M). The classical Artin-Mazur theorem says that for a dense subset D of Diff^r(M) the number of isolated periodic points grows at most exponentially fast (call it the A-M property). We extend this result and prove that diffeomorphisms having only hyperbolic periodic points with the A-M property are dense in Diff^r(M). Our proof of this result is much simpler than the original proof of Artin-Mazur. The second main result is that the A-M property is not (Baire) generic. Moreover, in a Newhous…
We determine the largest α for which the nilpotent group of 4-by-4 triangular matrices with integer coefficients and 1 in the diagonal embeds into the group of C1+α diffeomorphism of the closed interval.
Here we use Vinogradov's prime distribution theorem and a multi-dimensional generalization due to Harman to strengthen some recent results concerning the periodic points of Hamiltonian diffeomorphisms. In particular we establish resonance relations for the mean indices of the fixed points of Hamiltonian diffeomorphisms which do not have periodic points with arbitrarily large periods in $\mathbb{P}^2$, the set of natural numbers greater than one which have at most two prime factors when counted with multiplicity. As an application of these results we partially recover, using only symplectic too…
In the present paper we study two sequences of real numbers associated to a symplectic diffeomorphism: the uniform norm of the differential of its n-th iteration and the word length of its n-th iteration. In the latter case we assume that our diffeomorphism lies in a finitely generated group of symplectic diffeomorphisms. We find lower bounds on the growth rates of these sequences in a number of situations. These bounds depend on the symplectic geometry of the manifold rather than on the specific choice of a diffeomorphism. They are obtained by using recent results of Schwarz on Floer homology…
According to the classical Plante-Thurston Theorem, all nilpotent groups of $C^2$-diffeomorphisms of the closed interval are Abelian. Using techniques coming from the works of Denjoy and Pixton, Farb and Franks constructed a faithful action by $C^1$-diffeomorphisms of $[0,1]$ for every finitely-generated, torsion-free, non-Abelian nilpotent group. In this work, we give a version of this construction that is sharp in what concerns the Hölder regularity of the derivatives. Half of the proof relies on results on random paths on Heisenberg-like groups that are interesting by themselves.
Let $\Diffeo=\Diffeo(\R)$ denote the group of infinitely-differentiable diffeomorphisms of the real line $\R$, under the operation of composition, and let $\Diffeo^+$ be the subgroup of diffeomorphisms of degree +1, i.e. orientation-preserving diffeomorphisms. We show how to reduce the problem of determining whether or not two given elements $f,g\in \Diffeo$ are conjugate in $\Diffeo$ to associated conjugacy problems in the subgroup $\Diffeo^+$. The main result concerns the case when $f$ and $g$ have degree -1, and specifies (in an explicit and verifiable way) precisely what must be added to t…
For an interval exchange map, the number of discontinuities of its iterates either exhibits linear growth or is bounded. This dichotomy is used to prove that the group of interval exchanges does not contain distortion elements, giving examples of groups that do not act faithfully via interval exchanges. As a further application of this dichotomy, a classification of centralizers in the group of interval exchanges is given. This classification of centralizers is used to compute the automorphism group of the interval exchange group.
We prove that periodic asymptotic expansiveness introduced in \cite{em} implies the equidistribution of periodic points to measures of maximal entropy. Then following Yomdin's approach \cite{Yom} we show by using semi-algebraic tools that $C^\infty$ interval maps and $C^\infty$ surface diffeomorphisms satisfy this expansiveness property respectively for repelling and saddle hyperbolic points with Lyapunov exponents uniformly away from zero.
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…
For any $θ, ω> 1/2$ we prove that, if any $d$-pseudotrajectory of length $\sim 1/d^ω$ of a diffeomorphism $f\in C^2$ can be $d^θ$-shadowed by an exact trajectory, then $f$ is structurally stable. Previously it was conjectured by Hammel-Grebogi-Yorke that for $θ= ω= 1/2$ this property holds for a wide class of non-uniformly hyperbolic diffeomorphisms. In the proof we introduce the notion of sublinear growth property for inhomogenious linear equations and prove that it implies exponential dichotomy.
Given a group G, the conjugacy problem in G is the problem of giving an effective procedure for determining whether or not two given elements f, g of G are conjugate, i.e. whether there exists h belonging to G with fh = hg. This paper is about the conjugacy problem in the group Diffeo(I) of all diffeomorphisms of an interval I in R. There is much classical work on the subject, solving the conjugacy problem for special classes of maps. Unfortunately, it is also true that many results and arguments known to the experts are difficult to find in the literature, or simply absent. We try to repair t…
We consider C^r-diffeomorphisms of a compact smooth manifold having a pair of robust heterodimensional cycles where r is a positive integer or infinity. We prove that if certain conditions about the signatures of non-linearities and Schwarzian derivatives of the transition maps are satisfied, then by giving C^r arbitrarily small perturbation, we can produce a periodic point at which the first return map in the center direction is C^r-flat. As a consequence, we will prove that C^r-generic diffeomorphisms in the neighborhood of the initial diffeomorphism exhibit super-exponential growth of numbe…
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…
Let $ G $ be a connected, simply connected nilpotent Lie group and $ Γ< G $ a lattice. We prove that each ergodic diffeomorphism $ ϕ(xΓ)=uA(x)Γ$ on the nilmanifold $ G/Γ$, where $ u\in G $ and $ A:G\to G $ is a unipotent automorphism satisfying $ A(Γ)=Γ$, enjoys the property of asymptotically orthogonal powers (AOP). Two consequences follow: (i) Sarnak's conjecture on Möbius orthogonality holds in every uniquely ergodic model of an ergodic affine unipotent diffeomorphism; (ii) For ergodic affine unipotent diffeomorphisms themselves, the Möbius orthogonality holds on so called typical short int…
We consider Abelian-by-cyclic groups for which the cyclic factor acts by hyperbolic automorphisms on the Abelian subgroup. We show that if such a group acts faithfully by $C^1$ diffeomorphisms of the closed interval with no global fixed point at the interior, then the action is topologically conjugated to that of an affine group. Moreover, in case of non-Abelian image, we show a rigidity result concerning the multipliers of the homotheties, despite the fact that the conjugacy is not necessarily smooth. Some consequences for non-solvable groups are proposed. In particular, we give new proofs/ex…
The group of $\mathcal C^1$-diffeomorphisms of any sparse Cantor subset of a manifold is countable and discrete (possibly trivial). Thompson's groups come out of this construction when we consider central ternary Cantor subsets of an interval. Brin's higher dimensional generalizations $nV$ of Thompson's group $V$ arise when we consider products of central ternary Cantor sets. We derive that the $\mathcal C^2$-smooth mapping class group of a sparse Cantor sphere pair is a discrete countable group and produce this way versions of the braided Thompson groups.
We discuss the dynamics of smooth diffeomorphisms of the disc with vanishing topological entropy which satisfy the mild dissipation property introduced in [CP]. In particular it contains the Hénon maps with Jacobian up to 1/4. We prove that these systems are either (generalized) Morse Smale or infinitely renormalizable. In particular we prove for this class of diffeomorphisms a conjecture of Tresser: any diffeomorphism in the interface between the sets of systems with zero and positive entropy admits doubling cascades. This generalizes for these surface dynamics a well known consequence of Sha…
We study topological properties of semi-group actions on the circle by orientation-preserving homeomorhisms. We prove that a generic action either possesses a forward-invariant interval-domain (i.e. a finite union of disjoint circle arcs), or is two-sided minimal (and, moreover, by a small perturbation one can create a map with arbitrary rotation number in the semigroup). For the minimal case, we also study conditions required for global synchronization.
Metric entropy and homoclinic growth rate
本文针对紧致黎曼流形上保持遍历双曲测度的C^r微分同胚，证明同宿增长速率以度量熵为下界，推广了Mendoza的曲面结果至高维，并通过Newhouse域的例子检验了估计的尖锐性。
In this paper we will show that if a sequence of natural numbers satisfies a certain growth rate, then there is a weak mixing diffeomorphism on $\mathbb{T}^2$ that is uniformly rigid with respect to that sequence. The proof is based on a quantitative version of the Anosov-Katok-method with explicitly defined conjugation maps and the constructions are done in the $C^{\infty}$-topology as well as in the real-analytic topology.
We prove that a real analytic pseudo-rotation $f$ of the disc or the sphere is never topologically mixing. When the rotation number of $f$ is of Brjuno type, the latter follows from a KAM theorem of Rüssmann on the stability of real analytic elliptic fixed points. In the non-Brjuno case, we prove that a pseudo-rotation of class $C^k$, $k\geq 2$, is $C^{k-1}$-rigid using the simple observation, derived from Franks' Lemma on free discs, that a pseudo-rotation with small rotation number compared to its $C^1$ (or Hölder) norm must be close to Identity. From our result and a structure theorem by Fr…
A translation of "The Geometry of the Group of Symplectic Diffeomorphisms"
本书介绍霍费尔度量，研究哈密顿微分同胚群的直径、测地线及单参数子群增长，并应用于动力学和遍历理论。
We consider Hamiltonian diffeomorphisms $ϕ$ of the unit cotangent bundle over a closed Riemannian manifold $(M,g)$ which extend to Hamiltonian diffeomorphisms of $T^*M$ equal to the time-1-map of the geodesic flow for $|p| \ge 1$. For such diffeomorphisms we establish uniform lower bounds for the fiberwise volume growth of $ϕ$ which were previously known for geodesic flows and which depend only on $(M,g)$ or on the homotopy type of $M$. More precisely, we show that for each $q \in M$ the volume growth of the unit ball in $T_q^*M$ under the iterates of $ϕ$ is at least linear if $M$ is rationall…
Regularity of conjugacies of linearizable generalized interval exchange transformations
本文研究可线性化广义区间交换变换的共轭正则性，利用加速 Rauzy-Veech 归纳的重整化算子证明在指数快速收敛条件下共轭映射具有 C^{1+α} 正则性，并将亏格二刚性结果从 C^1 提升到 C^{1+α}。
We prove that on certain closed symplectic manifolds a $C^1$-generic cyclic subgroup of the universal cover of the group of Hamiltonian diffeomorphisms is undistorted with respect to the Hofer metric.
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…
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…
We construct a finitely generated subgroup of $\text{Diff}^{\infty}(\mathbb{S}^3 \times \mathbb{S}^1)$ where every element is conjugate to an isometry but such that the group action itself is far from isometric (the group has "exponential growth of derivatives"). As a corollary, one obtains a locally constant $\text{Diff}^{\infty}(\mathbb{S}^3 \times \mathbb{S}^1)$ valued cocycle over a hyperbolic dynamical system which has elliptic behavior over its periodic orbits but which preserves a measure with non-zero top Fiber Lyapunov exponent. Additionally, we provide new examples of Banach cocycles…
We prove that the space of actions of Z^d by C^1 (orientation-preserving) diffeomorphisms of either the interval or the circle is connected by arcs. This is proved by showing that all such actions can be C^0 conjugated via a 1-parameter family into diffeomorphisms that converge to either the trivial action or an action by Euclidean rotations. Extensions for nilpotent group actions are provided.
We investigate the question of which growth rates are possible for the number of periodic points of a compact group automorphism. Our arguments involve a modification of Linnik's Theorem, concerning small prime numbers in arithmetic progressions which lie in intervals.
Subexponential growth and $C^1$ actions on one-manifolds
本文证明不含有限生成指数增长子群的可数群，其保持线性序或圆序的可数集合作用可实现为区间或圆周上 $C^1$ 微分同胚作用在不变子集上的限制，从而其一维流形上的同胚作用可通过半共轭变为 $C^1$ 作用。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。