Periodic data rigidity for cocycles and hyperbolic automorphisms
Pith reviewed 2026-05-10 12:46 UTC · model grok-4.3
The pith
Conjugate periodic data implies Holder cohomology for cocycles over hyperbolic systems, making topological conjugacies smooth for weakly irreducible automorphisms.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For Holder continuous cocycles A and B over a hyperbolic system with conjugate periodic data, the cocycles are Holder cohomologous under the conditions that the periodic data of B has narrow spectrum and the conjugacy C(p) is Holder continuous at a periodic point, or that B is constant and diagonalizable over C with Lyapunov spaces at most two-dimensional or C(p) bounded. A topological conjugacy between a weakly irreducible hyperbolic automorphism L and an Anosov diffeomorphism f of the d-torus is smooth if the cocycles L and Df are conjugate. This implies global periodic data rigidity for such automorphisms, and the argument also yields differentiability of stable holonomies in low-regular,
What carries the argument
The periodic data conjugacy C(p) between cocycles, which transfers local linear information at periodic points to a global Holder continuous cohomology map, together with the differentiability of stable holonomies established in low regularity.
Load-bearing premise
The periodic data of the target cocycle either has narrow spectrum with Holder continuous conjugacy at one periodic point, or the cocycle is constant and diagonalizable over the complex numbers with Lyapunov spaces of dimension at most two, plus the automorphism being weakly irreducible and all cocycles being Holder continuous.
What would settle it
A concrete pair of Holder continuous cocycles over a hyperbolic system where the periodic data are conjugate via a map that is Holder at one periodic point, yet no Holder continuous cohomology exists between them, or a topological conjugacy between a weakly irreducible hyperbolic automorphism and an Anosov diffeomorphism that remains non-differentiable despite conjugate derivative cocycles.
read the original abstract
We study cohomology of Holder continuous linear cocycles over a hyperbolic dynamical system and regularity of conjugacy between Anosov systems. For cocycles $A$ and $B$ with conjugate periodic data, we establish Holder cohomology under various conditions: the periodic data of $B$ has narrow spectrum and the periodic data conjugacy $C(p)$ is Holder continuous at a periodic point; $B$ is constant and the cocycles are measurably cohomologous; $B$ is constant and diagonalizable over $\mathbb C$ and either its Lyapunov spaces are at most two-dimensional or $C(p)$ is in a bounded set. We also prove that a topological conjugacy between a weakly irreducible hyperbolic automorphism $L$ and an Anosov diffeomorphism $f$ of $\mathbb T^d$ is smooth if their derivative cocycles $L$ and $Df$ are conjugate. Using this and our results on cohomology of cocycles we obtain global periodic data rigidity results for weakly irreducible hyperbolic automorphisms. In the argument we also establish differentiability of stable holonomies in low regularity setting.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies Holder cohomology of linear cocycles over hyperbolic systems when periodic data are conjugate, establishing Holder cohomology under conditions including narrow spectrum of the periodic data for one cocycle together with Holder continuity of the conjugacy at a periodic point, constancy of one cocycle with measurable cohomology, or constancy plus diagonalizability over C with Lyapunov space dimension at most two or bounded conjugacy data. It proves that a topological conjugacy between a weakly irreducible hyperbolic automorphism L and an Anosov diffeomorphism f on the d-torus is smooth whenever the derivative cocycles are conjugate. Combining this with the cohomology results yields global periodic data rigidity theorems for weakly irreducible hyperbolic automorphisms. The argument also includes a result on differentiability of stable holonomies in a low-regularity setting.
Significance. If the proofs are correct, the work advances rigidity theory in hyperbolic dynamics by linking periodic data conjugacy to smooth conjugacy and global rigidity for automorphisms, under explicitly stated hypotheses. The technical contribution on differentiability of stable holonomies in low regularity is a potentially useful tool for future work on cocycle regularity and Anosov conjugacies. The results are conditional on natural assumptions such as weak irreducibility and Holder continuity, which aligns with the literature on Livsic-type theorems and cocycle cohomology.
major comments (2)
- [Main rigidity theorem (after the conjugacy smoothness result)] The global periodic data rigidity theorem for weakly irreducible hyperbolic automorphisms (stated after the smoothness result for derivative cocycles) relies on the new differentiability of stable holonomies; however, the precise range of Holder exponents for which this differentiability holds is not made fully explicit in the main statements, which could limit verification of applicability to the rigidity conclusion.
- [Cohomology theorems for constant cocycles] In the cohomology results for cocycles with conjugate periodic data, the case where B is constant and diagonalizable over C requires either Lyapunov spaces of dimension at most two or C(p) bounded; the manuscript should clarify whether these alternatives are sharp or if counterexamples exist when both fail, as this directly affects the scope of the Holder cohomology claim.
minor comments (2)
- [Introduction and statements of main theorems] Notation for the periodic data conjugacy C(p) and the narrow spectrum condition should be defined at first use with a reference to the precise definition of spectrum in the hyperbolic setting.
- [Introduction] The abstract mentions 'global periodic data rigidity results' but the precise statement of what 'global' means (e.g., for all periodic points or all orbits) would benefit from an explicit sentence in the introduction.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and the positive recommendation for minor revision. We address each major comment below and will incorporate the requested clarifications into the revised version.
read point-by-point responses
-
Referee: The global periodic data rigidity theorem for weakly irreducible hyperbolic automorphisms (stated after the smoothness result for derivative cocycles) relies on the new differentiability of stable holonomies; however, the precise range of Holder exponents for which this differentiability holds is not made fully explicit in the main statements, which could limit verification of applicability to the rigidity conclusion.
Authors: We agree that explicitness improves readability. The differentiability of stable holonomies is proved in Section 4 for all Holder exponents strictly less than the minimum of the hyperbolicity constants of the underlying system and the regularity of the cocycle. In the revised manuscript we will restate the main rigidity theorem (Theorem 1.3) with this precise range of exponents included in the hypothesis, so that applicability is immediately verifiable. revision: yes
-
Referee: In the cohomology results for cocycles with conjugate periodic data, the case where B is constant and diagonalizable over C requires either Lyapunov spaces of dimension at most two or C(p) bounded; the manuscript should clarify whether these alternatives are sharp or if counterexamples exist when both fail, as this directly affects the scope of the Holder cohomology claim.
Authors: The two alternatives are presented as sufficient conditions under which the measurable cohomology implies Holder cohomology. The manuscript does not claim sharpness. We are not aware of counterexamples when both conditions fail simultaneously, and proving or disproving sharpness lies outside the scope of the present work. In the revision we will add a short remark after the statement of the relevant theorem noting that it remains open whether the result continues to hold without either assumption. revision: partial
Circularity Check
No significant circularity detected
full rationale
The paper establishes theorems on Holder cohomology for linear cocycles over hyperbolic systems and smoothness of conjugacies under explicit conditional hypotheses (narrow spectrum of periodic data, Holder continuity of C(p) at periodic points, weak irreducibility, and Holder continuity of the cocycles). These results are derived from standard dynamical systems techniques including new differentiability of stable holonomies in low regularity, without any reduction of the central claims to self-definitions, fitted inputs renamed as predictions, or load-bearing self-citations. The derivation chain is self-contained against the stated assumptions and external benchmarks in the field.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The underlying dynamical system is hyperbolic (Anosov or similar) with Holder continuous cocycles.
- domain assumption Weak irreducibility of the hyperbolic automorphism.
Reference graph
Works this paper leans on
-
[1]
L. Backes. Rigidity of fiber bunched cocycles. Bul. Brazilian Math. Soc., Vol. 46, Issue 2 (2015), 163-179
work page 2015
-
[2]
R. Bowen. Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms. Lecture Notes in Mathematics, Vol. 470, Springer-Verlag, 1975
work page 1975
-
[3]
J. DeWitt. Periodic data rigidity of Anosov automorphisms with Jordan blocks. Ergodic Theory and Dynamical Systems. Vol. 45, Issue 4 (2025), 1129-1160
work page 2025
- [4]
-
[5]
J. Franks. Anosov diffeomorphisms . 1970 Global Analysis (Proc. Sympos. Pure Math., Vol. XIV, Berkeley, Calif., 1968) pp. 61--93 Amer. Math. Soc., Providence, R.I
work page 1970
-
[6]
J. Franks. Anosov diffeomorphisms on tori. Transactions of the AMS, 145 (1969), 117-124
work page 1969
-
[7]
A. Gogolev. Smooth conjugacy of Anosov diffeomorphisms on higher dimensional tori. \\ Journal of Modern Dynamics, 2, no. 4, 645-700. (2008)
work page 2008
-
[8]
A. Gogolev, B. Kalinin, V. Sadovskaya. Local rigidity for Anosov automorphisms. Math. Research Letters, 18 (2011), no. 05, 843-858
work page 2011
-
[9]
B. Hall. Lie Groups, Lie Algebras, and Representations: An Elementary Introduction. Graduate Texts in Mathematics, 222, 2nd ed., (2015) Springer
work page 2015
- [10]
- [11]
-
[12]
B. Kalinin. Liv s ic theorem for matrix cocycles. Annals of Math., 173 (2011), no. 2, 1025-1042
work page 2011
-
[13]
B. Kalinin. Non-stationary normal forms for contracting extensions . A Vision for Dynamics in the 21st Century, pp. 207-231, Cambridge University Press (2024)
work page 2024
-
[14]
B. Kalinin, V. Sadovskaya. Linear cocycles over hyperbolic systems and criteria of conformality. Journal of Modern Dynamics, vol. 4 (2010), no. 3, 419-441
work page 2010
-
[15]
B. Kalinin, V. Sadovskaya. Cocycles with one exponent over partially hyperbolic systems. Geometriae Dedicata, Vol. 167, Issue 1 (2013), 167-188
work page 2013
-
[16]
B. Kalinin, V. Sadovskaya. Holonomies and cohomology for cocyces over partially hyperbolic diffeomorphisms . Discrete and Continuous Dynamical Systems. Vol. 36, Issue 1 (2016), 245-259
work page 2016
- [17]
-
[18]
B. Kalinin, V. Sadovskaya, Z. Wang. Smooth local rigidity for hyperbolic toral automorphisms. Communication of the AMS, Vol. 3 (2023), 290-328
work page 2023
-
[19]
B. Kalinin, V. Sadovskaya, Z. Wang. Global smooth rigidity for toral automorphisms. Submitted
-
[20]
A. Katok and B. Hasselblatt. Introduction to the modern theory of dynamical systems. Encyclopedia of Mathematics and its Applications 54, Cambridge University Press, 1995
work page 1995
- [21]
-
[22]
A. N. Liv s ic. Homology properties of Y-systems. Math. Zametki 10, 758-763, 1971
work page 1971
-
[23]
A. N. Liv s ic. Cohomology of dynamical systems. Math. USSR Izvestija 6, 1278-1301, 1972
work page 1972
-
[24]
R. de la Llave. Invariants for smooth conjugacy of hyperbolic dynamical systems II. Commun. Math. Phys., 109 (1987), 368-378
work page 1987
-
[25]
R. de la Llave. Smooth conjugacy and SRB measures for uniformly and nonuniformly hyperbolic systems. Communications in Mathematical Physics, 150 (1992), 289-320
work page 1992
-
[26]
R. de la Llave. Rigidity of higher dimensional conformal Anosov systems. Ergodic Theory and Dynamical Systems 22 (2002), no. 6, 1845-1870
work page 2002
-
[27]
R. de la Llave, R. Moriy\'on. Invariants for smooth conjugacy of hyperbolic dynamical systems IV. Commun. Math. Phys., 116 (1988), 185-192
work page 1988
- [28]
-
[29]
A. Manning. Anosov diffeomorphisms on nilmanifolds. Proc. Amer. Math. Soc. 38 (1973), 423--426
work page 1973
- [30]
-
[31]
W. Parry. The Liv s ic periodic point theorem for non-Abelian cocycles. Ergodic Theory and Dynamical Systems, 19(3), 687-701, 1999
work page 1999
- [32]
-
[33]
V. Sadovskaya. Cohomology of GL(2, ) -valued cocycles over hyperbolic systems. Discrete and Continuous Dynamical Systems, vol. 33, no. 5 (2013), 2085-2104
work page 2013
-
[34]
V. Sadovskaya. Cohomology of fiber bunched cocycles over hyperbolic systems. Ergodic Theory and Dynamical Systems, Vol. 35, Issue 8 (2015), 2669-2688
work page 2015
-
[35]
V. Sadovskaya. Fiber bunching and cohomology for Banach cocycles over hyperbolic systems. Discrete and Continuous Dynamical Systems, vol. 37, no. 9 (2017), 4959-4972
work page 2017
-
[36]
K. Schmidt. Remarks on Liv s ic theory for non-Abelian cocycles. Ergodic Theory and Dynamical Systems, 19(3), (1999), 703-721
work page 1999
-
[37]
M. Taylor. Existence and Regularity of Isometries .\, Trans. Amer. Math. Soc., Vol. 358, No. 6 (2006), 2415-2423
work page 2006
-
[38]
P. Walters. Conjugacy properties of affine transformations of nilmanifolds. Math. Systems Theory 4 (1970), 327-333
work page 1970
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.