Abelian Livšic theorems for Anosov flows

Basic Information

• Paper ID: 2410.17104
• Title: Abelian Livšic theorems for Anosov flows
• Author: Richard Sharp (University of Warwick)
• Classification: math.DS (Dynamical Systems)
• Publication Date: October 2024 (arXiv v3: November 1, 2025)
• Paper Link: https://arxiv.org/abs/2410.17104

Abstract

This paper provides two concise proofs of the abelian Livšic theorem due to Gogolev and Rodriguez Hertz. The author demonstrates that these proofs can be extended to obtain new abelian Livšic theorems for positive density sets of null-homologous orbits and for amenable covers.

Research Background and Motivation

Research Problem

This paper investigates cohomology theory for Anosov flows, with particular focus on the abelian Livšic theorem. The classical Livšic periodic orbit theorem states that if a Hölder continuous function f has zero integral over all primitive periodic orbits, then f is the Lie derivative of a Hölder continuous function u along flow lines. The abelian Livšic theorem relaxes this condition, requiring f to have zero integral only on null-homologous periodic orbits.

Significance of the Problem

1. Theoretical Significance: The Livšic theorem is a cornerstone of cohomology theory in dynamical systems, connecting geometric properties of periodic orbits with regularity of functions
2. Geometric Applications: Important applications in geometric dynamical systems such as geodesic flows and contact Anosov flows
3. Topological Generalization: The abelian version involves the homology structure of manifolds, revealing deep connections between dynamics and topology

Limitations of Existing Methods

Gogolev and Rodriguez Hertz provided the first proof of the abelian Livšic theorem in 2024, but their proof is quite involved. This paper aims to provide more concise proof strategies and extend the results to:

• Positive density sets of null-homologous orbits
• Amenable covers

Research Motivation

The author provides new proofs through two independent technical approaches (weighted equidistribution theorem and asymptotic counting results), demonstrating the flexibility of these methods for handling more general situations.

Core Contributions

1. Two New Proofs: Provides two concise and independent proofs of the Gogolev-Rodriguez Hertz abelian Livšic theorem (Theorem 1.1)
   • The first proof is based on weighted equidistribution of null-homologous periodic orbits
   • The second proof is based on asymptotic counting results from Lalley, Sharp, and Babillot-Ledrappier
2. Positive Density Version (Theorem 1.3): Proves that if function f has zero integral only on a positive density set of null-homologous orbits, the same cohomological decomposition still holds
3. Amenable Cover Generalization (Theorem 1.4): Extends the abelian Livšic theorem to amenable cover groups, handling periodic orbits with Frobenius class equal to the identity
4. General Abelian Covers (Theorem 4.1): Provides a corresponding Livšic theorem for arbitrary abelian covers

Detailed Methods

Problem Setup

Let M be a compact smooth Riemannian manifold and $X_t: M \to M$ be a transitive Anosov flow. Denote by $\mathcal{P}$ the set of primitive periodic orbits and $\ell(\gamma)$ the minimal period of orbit $\gamma$.

Classical Livšic Theorem: If a Hölder continuous function $f: M \to \mathbb{R}$ satisfies $\int_\gamma f = 0, \quad \forall \gamma \in \mathcal{P}$ then $f = \mathcal{L}_X u$, where u is a smooth function that is continuously differentiable along flow lines.

Abelian Livšic Theorem: If the flow is homologically full and f satisfies the zero integral condition only on null-homologous orbits $\mathcal{P}_0 = \{\gamma \in \mathcal{P}: [\gamma] = 0\}$, then $f = \omega(X) + \mathcal{L}_X u$ where $\omega$ is a smooth closed 1-form.

First Proof (Based on Weighted Equidistribution)

Core Idea: Utilize the weighted equidistribution theorem of Coles-Sharp to compare equilibrium states under different weight functions.

Key Steps:

1. For a Hölder continuous function $\phi$, there exists a unique $\xi(\phi) \in \mathbb{R}^b$ such that the equilibrium state $\mu(\phi) = \mu_{\phi + \sum_{i=1}^b \xi_i(\phi)\omega_i(X)}$ satisfies winding cycle $\Phi_{\mu(\phi)} = 0$
2. Weighted equidistribution for null-homologous orbit measures (equation 3.1): $\lim_{T\to\infty} \left(\sum_{\gamma\in\mathcal{P}_0, T<\ell(\gamma)\leq T+1} e^{\int_\gamma \phi}\right)^{-1} \sum_{\gamma\in\mathcal{P}_0, T<\ell(\gamma)\leq T+1} e^{\int_\gamma \phi} \frac{\int_\gamma \psi}{\ell(\gamma)} = \int \psi d\mu(\phi)$
3. If $\int_\gamma f = 0$ for all $\gamma \in \mathcal{P}_0$, then the weighted sums for $\phi = 0$ and $\phi = f$ are identical, hence $\mu(0) = \mu(f)$
4. Apply Lemma 2.4: Equilibrium states are equal if and only if the function difference is cohomologous to a constant, yielding $f = \mathcal{L}_X u + \sum_{i=1}^b (\xi_i(0) - \xi_i(f))\omega_i(X) + c$
5. From $\int f d\mu(0) = 0$ and $\Phi_{\mu(0)} = 0$, deduce $c = 0$

Second Proof (Based on Asymptotic Counting)

Core Idea: Use proof by contradiction; assuming the conclusion fails leads to a contradiction with known asymptotic counting formulas for periodic orbits.

Key Steps:

1. Known asymptotic counting of null-homologous orbits (equation 3.2): $\#\{\gamma \in \mathcal{P}_0: T < \ell(\gamma) \leq T+1\} \sim C\frac{e^{\alpha T}}{T^{1+b/2}}$
2. If f is not cohomologous to $\omega(X)$, then the f-period set $\{\int_\gamma f: \gamma \in \mathcal{P}\}$ is not contained in a discrete subgroup of $\mathbb{R}$
3. Construct the function $F = (f, \omega_1(X), \ldots, \omega_b(X))$ and apply the Babillot-Ledrappier theorem to obtain $\#\{\gamma \in \mathcal{P}_0: T < \ell(\gamma) \leq T+1, \int_\gamma f = 0\} \sim C'\frac{e^{\alpha' T}}{T^{1+(b+1)/2}}$
4. This contradicts equation (3.2) (same exponential order but different polynomial order)
5. Verify the assumptions of the Babillot-Ledrappier theorem:
   • $0 \in \text{int}(C(F))$: Proved using the fact that the gradient of the pressure function is a diffeomorphism
   • $\tilde{\Gamma} = \mathbb{R} \times \Gamma$: Utilize the Livšic theorem and Bruschlinsky cohomology theory

Technical Innovations

1. Proof Simplification: Both proofs are significantly shorter than the original, with the first proof requiring only about one page
2. Unified Framework: Demonstrates the effectiveness of equidistribution methods and large deviation methods in cohomological problems
3. Modular Design: Key lemmas in the proofs (such as Lemma 2.4 on uniqueness of equilibrium states) can be applied independently
4. Generalization Flexibility: The second proof naturally extends to the positive density case (Theorem 1.3)

Experimental Setup

This is a pure mathematics theoretical paper with no numerical experiments. All results are rigorous mathematical theorems and their proofs.

Theoretical Verification Framework

Basic Assumptions:

• M is a compact smooth Riemannian manifold
• The Anosov flow is transitive and homologically full
• Functions possess Hölder continuity

Verification Tools:

• Symbolic dynamics (Bowen-Ratner construction)
• Thermodynamic formalism (pressure functions, equilibrium states)
• Ergodic theory (equidistribution theorems)

Experimental Results

Main Theorems

Theorem 1.1 (Abelian Livšic Theorem): Let $X_t: M \to M$ be a transitive Anosov flow that is homologically full. If a Hölder continuous function $f: M \to \mathbb{R}$ satisfies $\int_\gamma f = 0, \quad \forall \gamma \in \mathcal{P}_0$ then there exist a smooth closed 1-form $\omega$ and a Hölder continuous function u (continuously differentiable along flow lines) such that $f = \omega(X) + \mathcal{L}_X u$

Theorem 1.3 (Positive Density Version): If for some $\Delta > 0$, the function f satisfies $\limsup_{T\to\infty} \frac{\#\{\gamma \in \mathcal{P}_0: T < \ell(\gamma) \leq T+\Delta, \int_\gamma f = 0\}}{\#\{\gamma \in \mathcal{P}_0: T < \ell(\gamma) \leq T+\Delta\}} > 0$ then the conclusion of Theorem 1.1 holds.

Theorem 1.4 (Amenable Covers): Let $\tilde{M}$ be a regular cover of M with amenable covering group G. If the lifted flow is topologically transitive and f has zero integral over all periodic orbits with Frobenius class equal to the identity, then the conclusion of Theorem 1.1 holds.

Important Lemmas

Lemma 2.2: The map $\iota: H^1(M,\mathbb{R}) \to H^1_\theta(X,\mathbb{R})$ is injective

• Connects manifold cohomology with dynamical cohomology

Lemma 2.3: If the f-period set is contained in a discrete subgroup of $\mathbb{R}$, then $[f] \in \iota(H^1(M,\mathbb{R}))$

• Characterizes when a function is cohomologous to a closed form

Lemma 2.4: $\mu_\phi = \mu_\psi$ if and only if $\phi - \psi$ is cohomologous to a constant

• Characterizes uniqueness of equilibrium states

Application Examples

Remark 2.1 provides rich examples:

1. Geodesic Flows: Geodesic flows on unit tangent bundles of negatively curved compact manifolds
2. Contact Anosov Flows: Flows on odd-dimensional manifolds preserving a contact form
3. Hyperbolic Orbifolds: Geodesic flows on two-dimensional hyperbolic orbifolds (zero first Betti number case)

Remark 5.5 discusses second commutator covers:

• The covering group is supersolvable, hence amenable
• Periodic orbits must lift to null-homologous orbits on the universal abelian cover

Related Work

Classical Livšic Theory

1. Livšic (1972): Original periodic orbit theorem requiring zero integral over all periodic orbits
2. Guillemin-Kazhdan: Early applications to geodesic flows
3. de la Llave et al.: Regularity improvements and generalizations

Abelian Generalizations

1. Gogolev-Rodriguez Hertz (2024): First proof of the abelian Livšic theorem
2. This paper provides two new, more concise proofs

Positive Density Versions

1. Dilsavor-Marshall Reber (2024): Positive density version of the classical Livšic theorem
2. Theorem 1.3 of this paper is the analogous result for the abelian case

Equidistribution Theory

1. Parry-Pollicott (1986, 1990): Equidistribution of periodic orbits
2. Sharp (1993): Asymptotic counting of null-homologous orbits
3. Lalley (1987), Babillot-Ledrappier (1998): Higher-order asymptotic expansions
4. Coles-Sharp (2023): Weighted equidistribution theorem (foundation of the first proof in this paper)

Cover Space Theory

1. Dougall-Sharp (2021): Growth rates on amenable covers
2. Sarig (1999, 2015): Thermodynamic formalism for countable Markov shifts

Conclusions and Discussion

Main Conclusions

1. Proof Simplification: Provides two independent and concise proofs of the abelian Livšic theorem, each significantly more accessible than the original
2. Theoretical Generalizations:
   • The positive density result shows that not all null-homologous orbits need satisfy the condition
   • The amenable cover generalization handles more general topological situations
3. Methodological Contributions: Demonstrates the effectiveness of equidistribution methods and large deviation methods in cohomological problems

Limitations

1. Homologically Full Assumption: The theorem requires the flow to be homologically full, excluding certain Anosov flows (though the author notes most natural examples satisfy this)
2. Hölder Continuity: Requires functions to be Hölder continuous; cannot handle weaker regularity
3. Amenability Requirement: Theorem 1.4 requires the covering group to be amenable; the case of non-amenable groups remains unresolved
4. Topological Transitivity: The lifted flow on the cover space must be topologically transitive, which may not hold for all covers

Future Directions

1. Non-amenable Covers: Explore Livšic theorems for non-amenable group covers
2. Regularity Optimization: Investigate whether Hölder continuity requirements can be relaxed
3. Quantitative Versions: Provide quantitative estimates for the Hölder exponent of the function u in the cohomological decomposition
4. Geometric Applications: Apply results to specific geometric dynamical systems (e.g., magnetic flows, Reeb flows)

In-Depth Evaluation

Strengths

1. Proof Conciseness: Both proofs are very concise (the first approximately 1 page, the second approximately 2-3 pages), significantly superior to the original 8-page proof
2. Method Diversity:
   • The first proof elegantly uses equidistribution with direct reasoning
   • The second proof employs proof by contradiction and asymptotic analysis with deeper techniques
   • Two independent proofs mutually verify the correctness of the result
3. Theoretical Depth:
   • Connects multiple mathematical branches: dynamical systems, differential topology, ergodic theory
   • Lemma 2.4 characterizing equilibrium state uniqueness has independent value
   • Application of Bruschlinsky cohomology demonstrates modern applications of classical techniques
4. Generalization Value:
   • The positive density version (Theorem 1.3) shows robustness of the result
   • The amenable cover generalization (Theorem 1.4) opens new research directions
   • Rich remarks and examples aid understanding
5. Writing Quality:
   • Clear structure and rigorous logic
   • Sufficient background introduction (Section 2)
   • Complete technical details (e.g., proofs of Lemmas 2.3, 2.4)

Weaknesses

1. Technical Threshold:
   • Requires strong background in dynamical systems and differential topology
   • Use of symbolic dynamics and thermodynamic formalism may be unfriendly to non-specialists
   • Some lemmas (e.g., Lemma 2.4) depend on deep symbolic dynamics results
2. Insufficient Examples:
   • While Remark 2.1 provides some examples, explicit calculations are lacking
   • No demonstration of the theorem's application in specific geometric settings
   • Completely missing examples for the positive density version
3. Completeness Issues:
   • Remark 4.2 points out technical difficulties in certain cases but leaves them unresolved
   • For general abelian covers (Section 4), only partial results are given
   • The topological transitivity assumption for amenable covers is strong but lacks verification methods
4. Comparative Analysis:
   • Lacks detailed comparison of the two proofs' merits
   • Insufficient technical comparison with the original Gogolev-Rodriguez Hertz proof

Impact

1. Theoretical Contribution:
   • Provides more accessible proofs of the abelian Livšic theorem
   • The positive density version may inspire research on similar problems
   • Techniques for handling amenable covers can apply to other cohomological problems
2. Practical Value:
   • Potential applications in rigidity theory and conjugacy problems
   • Geometric applications to geodesic flows (helicity, linking number)
   • May influence classification problems for Anosov flows
3. Reproducibility:
   • As a pure mathematics paper, all proofs are verifiable
   • All dependent results have explicit citations
   • Technical approaches are clear and can be followed by other researchers
4. Academic Impact:
   • May become the standard proof method in the field
   • Simplified proofs facilitate teaching and dissemination
   • Provides new tools for subsequent research

Applicable Scenarios

1. Theoretical Research:
   • Cohomology theory of dynamical systems
   • Rigidity problems for Anosov flows
   • Equidistribution problems in ergodic theory
2. Geometric Dynamical Systems:
   • Geodesic flows on negatively curved manifolds
   • Contact Anosov flows
   • Magnetic flows and twisted geodesic flows
3. Topological Dynamics:
   • Dynamical systems on covering spaces
   • Fundamental group actions
   • Dynamical applications of homology and cohomology
4. Teaching Applications:
   • Introductory material for Livšic theory
   • Demonstration of equidistribution methods
   • Case study connecting different mathematical branches

Selected References

1. Anosov (1969): Geodesic flows on negatively curved manifolds - Foundational work on Anosov flows
2. Livšic (1972): Cohomology of dynamical systems - Original Livšic theorem
3. Parry-Pollicott (1990): Zeta functions and periodic orbit functions for hyperbolic dynamical systems - Standard reference
4. Gogolev-Rodriguez Hertz (2024): Abelian Livšic theorem and geometric applications - Original result improved in this paper
5. Coles-Sharp (2023): Helicity, linking, and distribution of null-homologous periodic orbits for Anosov flows - Foundation of the first proof in this paper

Overall Evaluation: This is a high-quality mathematics paper that makes substantial contributions to dynamical systems cohomology theory through more concise proofs and meaningful generalizations. The two independent proof methods demonstrate the author's deep understanding of the field, while the generalized results (particularly the positive density version and amenable covers) open new research directions. The paper is written with clarity and rigor, making it suitable as a standard reference for this topic.