Andrés Navas, Mario Ponce
We study the projective derivative as a cocycle of Möbius transformations over groups of circle diffeomorphisms. By computing precise expressions for this cocycle, we obtain several results about reducibility and almost reducibility to a cocycle of rotations. We also introduce an extension of this cocycle to the diagonal action on the 3-torus for which we generalize the previous results.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We prove a Livsic type theorem for cocycles taking values in groups of diffeomorphisms of low-dimensional manifolds. The results hold without any localization assumption and in very low regularity. We also obtain a general result (in any dimension) which gives necessary and sufficient conditions to be a coboundary.
Let $A$ be a Hölder continuous cocycle over a hyperbolic dynamical system with values in the group of diffeomorphisms of a compact manifold $M$. We consider the periodic data of $A$, i.e., the set of its return values along the periodic orbits in the base. We show that if the periodic data of $A$ is bounded in Diff$^{\,q}(M)$, $q>1$, then the set of values of the cocycle is bounded in Diff$^{\,r}(M)$ for each $r<q$. Moreover, such a cocycle is isometric with respect to a Hölder continuous family of Riemannian metrics on $M$.
We prove that every smooth diffeomorphism group valued cocycle over certain abelian Anosov actions on tori (and more generally on infranilmanifolds), is a smooth coboundary on a finite cover, if the cocycle is center bunched and trivial at a fixed point. For smooth cocycles which are not trivial at a fixed point, we have smooth reduction of cocycles to constant ones, when lifted to the universal cover. These results on cocycle trivialisation apply, via the existing global rigidity results, to maximal Cartan actions by Anosov diffeomorphisms (with at least one transitive), on any compact smooth…
We prove a rigidity theorem for dominated Hölder cocycles with values on diffeomorphism groups of a compact manifold over hyperbolic homeomorphisms. More precisely, we show that if two such cocycles have equal periodic data, then they are cohomologous.
We consider group-valued cocycles over a partially hyperbolic diffeomorphism which is accessible volume-preserving and center bunched. We study cocycles with values in the group of invertible continuous linear operators on a Banach space. We describe properties of holonomies for fiber bunched cocycles and establish their Holder regularity. We also study cohomology of cocycles and its connection with holonomies. We obtain a result on regularity of a measurable conjugacy, as well as a necessary and sufficient condition for existence of a contionuous conjugacy between two cocycles.
We consider symplectic cocycles over two classes of partially hyperbolic diffeomorphisms: having compact center leaves and time one maps of Anosov flows. We prove that the Lyapunov exponents are non-zero in an open and dense set in the Hölder topology.
We consider extensions of Anosov diffeomorphisms of an infranilmanifold by the real vector space R^ω. Our main result, based on the analogous theorem in finite dimensions proven by Nitica and Pollicott, is that any Holder cocycle satisfying an obvious obstruction induces a topologically transitive extension (topologically weak mixing, in fact). We show how to construct cocycles satisfying these conditions for any Anosov diffeomorphism, and then observe that unlike the finite dimensional case, where cocycles satisfying the obstruction are C^0-stably transitive, there can be no infinite-dimensio…
Diffeomorphism cocycles over partially hyperbolic systems
本文研究部分双曲系统上取值于微分同胚群的Hölder连续余圈，证明了有界余圈存在不变度量族，并给出了余圈间可测或连续共轭存在的条件，且共轭正则性损失可任意小。
Livsic theorem for diffeomorphism cocycles
本研究证明了取值于任意维闭流形的$C^{1+β}$-微分同胚群上闭链的Livšic定理，该结果具有完全全局性，将已有相关结果推广到了更高维度。
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 study groups of circle diffeomorphisms whose action on the cylinder $\mathcal C=\mathbb S^1\times \mathbb S^1\setminus Δ$ preserves a volume form. We first show that such a group is topologically conjugate to a subgroup of $\rm{PSL}(2,\mathbb R)$, then discuss the existence of a differentiable conjugacy.
We deal with the problem of the validity of Livsic's theorem for cocycles of diffeomorphisms satisfying the orbit periodic obstruction over an hyperbolic dynamics. We give a result in the positive direction for cocycles of germs of analytic diffeomorphisms at the origin.
We show that for a large class of potential functions and big coupling constant $λ$ the Schrödinger cocycle over the expanding map $x\mapsto bx ~( \text{mod} 1)$ on $\mathbb{T}$ has a Lyapunov exponent $>(\logλ)/4$ for all energies, provided that the integer $b\geq λ^3$.
We compute the Poisson boundary of locally discrete groups of diffeomorphisms of the circle.
By considering the way an n-tuple of points in the 2-disk are linked together under iteration of an orientation preserving diffeomorphism, we construct a dynamical cocycle with values in the Artin braid group. We study the asymptotic properties of this cocycle and derive a series of topological invariants for the diffeomorphism which enjoy rich properties.
We consider Holder continuous fiber bunched GL(d,R)-valued cocycles over an Anosov diffeomorphism. We show that two such cocycles are Holder continuously cohomologous if they have equal periodic data, and prove a result for cocycles with conjugate periodic data. We obtain a corollary for cohomology between any constant cocycle and its small perturbation. The fiber bunching condition means that non-conformality of the cocycle is dominated by the expansion and contraction in the base. We show that this condition can be established based on the periodic data. Some important examples of cocycles c…
This book covers many of the recent results on group actions on the circle, with an emphasis in the differentiable case.
We discuss dynamics of skew product maps defined by circle diffeomorphisms forced by expanding circle maps. We construct an open class of such systems that are robust topologically mixing and for which almost all points in the same fiber converge under iteration. This property follows from the construction of an invariant attracting graph in the natural extension, a skew product of circle diffeomorphisms forced by a solenoid homeomorphism.
Pesin sets are measurable sets along which the behavior of a matrix cocycle above a measure preserving dynamical system is explicitly controlled. In uniformly hyper-bolic dynamics, we study how often points return to Pesin sets under suitable conditions on the cocycle: if it is locally constant, or if it admits invariant holonomies and is pinching and twisting, we show that the measure of points that do not return a linear number of times to Pesin sets is exponentially small. We discuss applications to the exponential mixing of contact Anosov flows, and counterexamples illustrating the necessi…
We obtain results on the growth sequences of the differential for iterations of circle diffeomorphisms without periodic points.
We show that a finite number of commuting diffeomorphisms with simultaneously Diophantine rotation numbers are smoothly conjugated to roations.
In this paper we prove the $C^1$-density of every $C^r$-conjugacy class in the closed subset of diffeomorphisms of the circle with a given irrational rotation number.
We construct, for each irrational number $α$, a minimal $C^1$-diffeomorphism of the circle with rotation number $α$ which admits a measur
We consider groups of orientation-preserving real analytic diffeomorphisms of the circle which have a finite image under the rotation number function. We show that if such a group is nondiscrete with respect to the $C^1$-topology then it has a finite orbit. As a corollary, we show that if such a group has no finite orbit then each of its subgroups contains either a cyclic group of finite index or a nonabelian free subgroup.
We initiate a study of distortion elements in the Polish groups $\mbox{Diff}_+^k(\mathbb{S}^1)$ ($1\leq k<\infty$), as well as $\mbox{Diff}_+^{1+AC}(\mathbb{S}^1)$, in terms of maximal metrics on these groups. We classify distortion in the $k=1$ case: a $C^1$ circle diffeomorphism is $C^1$-undistorted if and only if it has a hyperbolic periodic point. On the other hand, answering a question of Navas, we exhibit analytic circle diffeomorphisms with only non-hyperbolic fixed points which are $C^{1+AC}$-undistorted, and hence $C^k$-undistorted for all $k\geq 2$. In the appendix, we exhibit a maxi…
Given any Liouville number $α$, it is shown that various subspaces are $C^\infty$-dense in the space of the orientation preserving $C^\infty$ diffeomorphisms of the circle with rotation number $α$.
Classical results by Poincaré and Denjoy show that two orientation-preserving $C^2$ diffeomorphisms of the circle are topologically conjugate if and only if they have the same rotation number. We show that there is no possibility of getting such a complete numerical Borel invariant for the conjugacy relation of orientation-preserving circle diffeomorphisms by homeomorphisms with higher degree of regularity. For instance, we consider conjugacy by Hölder homeomorphisms or by $C^k$-diffeomorphisms with $k\in \mathbb{Z}^+ \cup \{\infty\}$. The proof combines techniques from Descriptive Set Theory …
Given any Liouville number $α$, it is shown that the nullity of the Hausdorff dimension of the invariant measure is generic in the space of the orientation preserving $C^\infty$ diffeomorphisms of the circle with rotation number $α$.
We consider pointwise, box, and Hausdorff dimensions of invariant measures for circle diffeomorphisms. We discuss the cases of rational, Diophantine, and Liouville rotation numbers. Our main result is that for any Liouville number $τ$ there exists a $C^\infty$ circle diffeomorphism with rotation number $τ$ such that the pointwise and box dimensions of its unique invariant measure do not exist. Moreover, the lower pointwise and lower box dimensions can equal any value $0\le β\le 1$.
We carry the argument used in the proof of the Theorem of Denjoy over to the quasiperiodically forced case. Thus we derive that if a system of quasiperiodically forced circle diffeomorphisms with bounded variation of the derivative has no invariant graphs with a certain kind of topological regularity, then the system is topologically transitive.
We consider the rotation number $ρ(t)$ of a diffeomorphism $f_t=R_t\circ f$, where $R_t$ is the rotation by $t$ and $f$ is an orientation preserving $C^\infty$ diffeomorphism of the circle $S^1$. We shall show that if $ρ(t)$ is irrational $$\limsup_{t'\to t}(ρ(t')-ρ(t))/(t'-t)\geq 1.$$
We show that no C^2 circle diffeomorphism of irrational rotation number has invariant 1-distributions other than (scalar multiples of) the invariant measure. We also show that this is false in the C^1 context by giving both minimal and non-minimal examples.
We prove that if d is an integer number bigger than 1 and f_1,...,f_d are commuting circle diffeomorphisms respectively of class C^(1+τ_k), where τ_1 + ... + τ_k > 1, then these maps are simultaneously conjugate to rotations provided that their rotation numbers are independent over the rationals.
Our aim in this note is to present some of the crucial contributions of Jean-Christophe Yoccoz to the theory of circle diffeomorphisms. We start with a short historical account before exposing Yoccoz' work. Then we give a brief description of the main conceptual and technical tools of the theory, with a focus on describing Yoccoz' work and contributions.
The classical criterion for a circle diffeomorphism to be topologically conjugate to an irrational rigid rotation was given by A. Denjoy. In 1985, one of us (Sullivan) gave a new criterion. There is an example satisfying Denjoy's bounded variation condition rather than Sullivan's Zygmund condition and vice versa. This paper will give the third criterion which is implied by either of the above criteria.
In this article we prove that iterated renormalisations of $\mathcal{C}^r$ circle diffeomorphisms with $d$ breaks, $r>2$, with given size of breaks, converge to an invariant family of piecewise Moebius maps, of dimension $2d$. We prove that this invariant family identifies with a \textit{relative character variety} $χ(π_1 Σ, \mathrm{PSL}(2,\mathbb{R}), \mathbf{h})$ where $Σ$ is a $d$-holed torus, and that the renormalisation operator identifies with a sub-action of the mapping class group $\mathrm{MCG}(Σ)$. This action is known to preserves a symplectic form, thanks to the work of Guruprasad-H…
We show that a finitely generated group of analytic diffeomorphisms that is expanding and locally discrete in the analytic category is analytically conjugate to a uniform lattice of a finite covering of the group of projective maps of the projective line, acting naturally on the corresponding finite covering of the projective line.
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 …
Let $f$ and $\tilde{f}$ be two circle diffeomorphisms with a break point, with the same irrational rotation number of bounded type, the same size of the break $c$ and satisfying a certain Zygmund type smoothness condition depending on a parameter $γ>2.$ We prove that under a certain condition imposed on the break size $c$, the diffeomorphisms $f$ and $\tilde{f}$ are $C^{1+ω_γ}$-smoothly conjugate to each other, where $ω_γ(δ)=|\log δ|^{-(γ/2-1)}.$
Generic families of circle diffeomorphisms have many coexisting periodic orbits
本文证明了对于广义的圆微分同胚族，每个对应于无理旋转数的参数值都能被具有任意大有限周期轨道数的参数值近似，表明无理旋转数出现的族不弱结构稳定。同时证明了任何局部残余集的一参数族非常数旋转数会给出弱等价类的连续集合。
Given any smooth circle diffeomorphism with irrational rotation number, we show that its invariant probability measure is the only invariant distribution (up to multiplication by a real constant). As a consequence of this, we show that the space of real smooth coboundaries of such a diffeomorphism is closed if and only if its rotation number is Diophantine.
Invariant complex structures for affine automorphisms: a cocycle viewpoint
本文证明紧复流形上的全纯微分同胚若双Lipschitz共轭于齐性空间上的遍历仿射自同构，则共轭光滑；若该自同构弱混合，则诱导复结构左不变。应用包括全纯Anosov微分同胚的正则性提升及高秩交换Anosov作用的刚性定理的全纯类比。
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.
This paper is concerned about the orbit equivalence types of $C^\infty$ diffeomorphisms of $S^1$ seen as nonsingular automorphisms of $(S^1,m)$, where $m$ is the Lebesgue measure. Given any Liouville number $α$, it is shown that each of the subspace formed by type ${\rm II}_1$, ${\rm II}_\infty$, ${\rm III}_λ$ ($λ>1$), ${\rm III}_\infty$ and ${\rm III}_0$ diffeomorphisms are $C^\infty$-dense in the space of the orientation preserving $C^\infty$ diffeomorphisms with rotation number $α$.
In this paper we answer positively a question of whether it is possible for a circle diffeomorphism with breaks to be smoothly conjugate to a rigid rotation in the case when its breaks are lying on pairwise distinct trajectories. An example constructed is a piecewise linear circle homeomorphism that has four break points lying on distinct trajectories, and whose invariant measure is absolutely continuous w.r.t.\ the Lebesgue measure. The irrational rotation number for our example can be chosen a Roth number, but not of bounded type.
Ping-pong partitions and locally discrete groups of real-analytic circle diffeomorphisms, II: Applications
该研究作为系列工作第二部分，基于第一部分提出的实解析圆微分同胚局部离散子群拓扑分类方法，证明了Dippolito关于不变康托集作用半共轭于分段线性作用的猜想，并构造了非富克斯型的局部离散极小作用实例。
Ping-pong partitions and locally discrete groups of real-analytic circle diffeomorphisms, I: Construction
本文针对实解析圆周微分同胚群的局部离散几乎自由子群，通过推广乒乓引理给出拓扑动力学分类方法，并在受限情形下解决了Dippolito的叶状结构理论古老猜想，相关推论将在配套论文详述。
We consider Holder continuous linear cocycles over partially hyperbolic diffeomorphisms. For fiber bunched cocycles with one Lyapunov exponent we show continuity of measurable invariant conformal structures and sub-bundles. Further, we establish a continuous version of Zimmer's Amenable Reduction Theorem. For cocycles over hyperbolic systems we also obtain polynomial growth estimates for the norm and quasiconformal distortion from the periodic data.
$C^1$-Diffeomorphism Class of some Circle Maps with a Flat Interval
研究平坦段边界奇点次数不同的圆周映射类，证明其拓扑共轭若为双Lipschitz同胚则必为$C^1$微分同胚，从而两类等价。
We consider Holder continuous GL(2,R)-valued cocycles over a transitive Anosov diffeomorphism. We give a complete classification up to Holder cohomology of cocycles with one Lyapunov exponent and of cocycles that preserve two transverse Holder continuous sub-bundles. We prove that a measurable cohomology between two such cocycles is Holder continuous. We also show that conjugacy of periodic data for two such cocycles does not always imply cohomology, but a slightly stronger assumption does. We describe examples that indicate that our main results do not extend to general GL(2,R)-valued cocycle…
Let $f$ be an orientation-preserving circle diffeomorphism with irrational rotation number and with a break point $ξ_{0},$ that is, its derivative $f'$ has a jump discontinuity at this point. Suppose that $f'$ satisfies a certain Zygmund condition dependent on a parameter $γ>0.$ We prove that the renormalizations of $f$ are approximated by Möbius transformations in $C^{1}$-norm if $γ\in (0,1]$ and they are approximated in $C^{2}$-norm if $γ\in (1,+\infty).$ It is also shown, that the coefficients of Möbius transformations get asymptotically linearly dependent.
We consider finitely generated groups of real-analytic circle diffeomorphisms. We show that if such a group admits an exceptional minimal set (i.e., a minimal invariant Cantor set), then its Lebesgue measure is zero; moreover, there are only finitely many orbits of connected components of its complement. For the case of minimal actions, we show that if the underlying group is (algebraically) free, then the action is ergodic with respect to the Lebesgue measure. This provides first answers to questions due to É. Ghys, G. Hector and D. Sullivan.
Let $d\geq 2$ be an integer and let $ω_1,\cdots ,ω_d$ be moduli of continuity in a specified class which contains the moduli of Hölder continuity. Let $f_k$, $k\in\{1,\cdots,d\}$, be $C^{1+ω_k}$ orientation preserving diffeomorphisms of the circle and $f_1,\cdots, f_d$ commute with each other. We prove that if the rotation numbers of $f_k$'s are independent over the rationals and $ω_1(t)\cdotsω_d(t)=tω(t)$ with $\lim_{t\rightarrow 0^+}ω(t)=0$, then $f_1,\cdots,f_d$ are simultaneously (topologically) conjugate to rigid rotations.
Dimension theory of group actions by circle diffeomorphisms I: Stationary measures
该论文研究圆周光滑随机游走平稳测度的维数性质，为同主题第二部分提供技术工具，还得到相关逼近定理与圆周作用时间反转对称性结论。
We prove that the set of fiber-bunched $SL(2,\mathbb{R})$-valued Hölder cocycles with nonvanishing Lyapunov exponents over a volume preserving, accessible and center-bunched partially hyperbolic diffeomorphism is open. Moreover, we present an example showing that this is no longer true if we do not assume acessibility in the base dynamics.
How (not) to prove (un)distortion for diffeomorphisms of one-manifolds
研究给定一维流形\(M\)及\(1\leq r\lt s\leq\infty\)，是否存在\(C^s\)保向紧支微分同胚在\(\mathrm{Diff}_{c,+}^s(M)\)中无扭曲但在更大的\(C^r\)微分同胚群中有扭曲。分析了不同\((r,s)\)情况及相关阻碍。
The Rotation Number for a Generic $C^1$ Family of Circle Diffeomorphisms is Not Hölder
研究圆周微分同胚单调单参数族中旋转数随参数的正则性，证明\(C^2\)单调族中最优赫尔德指数为\(1/2\)，\(C^{1+\alpha}\)族中旋转数正则性不超过\(\alpha/(1+\alpha)\)-赫尔德，得出一般\(C^1\)族旋转数非赫尔德连续。
In this paper we study Holder continuous linear cocycles over transitive Anosov diffeomorphisms. Under various conditions of relative pinching we establish properties including existence and continuity of measurable invariant sub-bundles and conformal structures. We use these results to obtain criteria for cocycles to be isometric or conformal in terms of their periodic data. We show that if the return maps at the periodic points are, in a sense, conformal or isometric then so is the cocycle itself with respect to a Holder continuous Riemannian metric.
The celebrated Livsic theorem states that given M a manifold, a Lie group G, a transitive Anosov diffeomorphism f on M and a Holder function η: M \mapsto G whose range is sufficiently close to the identity, it is sufficient for the existence of ϕ:M \mapsto G satisfying η(x) = ϕ(f(x)) ϕ(x)^{-1} that a condition -- obviously necessary -- on the cocycle generated by ηrestricted to periodic orbits is satisfied. In this paper we present a new proof of the main result. These methods allow us to treat cocycles taking values in the group of diffeomorphisms of a compact manifold. This has applications …
Relation between irrationality and regularity for $ C^1 $ conjugacy of $ C^2 $ circle diffeomorphisms to rigid rotations
本文研究了C^2圆微分同胚与刚性旋转的C^1共轭性中无理性和正则性的关系，推导了Denjoy型不等式并首次建立了连续性与无理性的显式关联。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。