Decay of correlations on Abelian covers of isometric extensions of volume-preserving Anosov flows

This paper establishes an asymptotic expansion in inverse powers of time for the correlation functions of isometric extensions of volume-preserving Anosov flows defined on Abelian covers of closed manifolds.

The Gist

Imagine you are watching a chaotic dance floor. This isn't a normal party; it's a chaotic system (mathematicians call this an "Anosov flow"). In this dance, if two people start very close together, they quickly drift apart in unpredictable ways. This is the "chaos" part.

Now, imagine this dance floor isn't just one room. It's actually an infinite hallway of identical rooms stacked on top of each other, connected by a ladder. This is an Abelian cover. The dancers in Room 1 look exactly like the dancers in Room 2, but they are shifted slightly.

The paper by Cekić, Lefevre, and Muñoz-Thon asks a very specific question: If I watch two dancers in this infinite hallway, how long does it take for their movements to stop influencing each other?

In math terms, this is called the "decay of correlations." If you measure how much Dancer A's position predicts Dancer B's position, that prediction should drop to zero as time goes on. The paper figures out exactly how fast that drop happens and what the pattern of that drop looks like.

Here is the breakdown using simple analogies:

1. The Setup: The Infinite Hotel

Think of the main dance floor as a small, closed hotel (Manifold $M_0$). It has a chaotic flow (the Anosov flow).

• The Cover: Now, imagine this hotel has an infinite number of identical floors stacked up, connected by a spiral staircase. This is the Abelian cover ($M$).
• The Problem: Because there are infinite floors, the total "volume" (number of dancers) is infinite. Usually, math breaks down with infinite volumes. But the authors found a way to handle it.

2. The "Drift" and the "Rope"

The paper introduces a concept called Isometric Extensions.

• The Analogy: Imagine the dancers aren't just moving on the floor; they are also spinning around a pole in the center of the room.
• The Rope: The "pole" is a bundle (like a principal bundle). The dancers are tied to this pole.
• The Twist: The paper studies what happens when the "pole" itself is twisted or curved. If the pole is perfectly straight, the dancers might get stuck in a loop. But if the pole is twisted (mathematically, if the "curvature" $d\alpha \neq 0$), the dancers get kicked out of their loops and spread out efficiently.

The Key Finding: The authors prove that as long as the "pole" is twisted (not flat), the dancers will eventually forget each other. The "memory" of their initial positions fades away.

3. The "Echo" of the Past

When you drop a stone in a pond, you see ripples. The paper calculates the ripples of this chaotic dance.

• The Main Ripple: The biggest ripple fades away at a specific speed. The authors found that the speed depends on the number of "floors" in our infinite hotel. If there are $d$ dimensions of floors, the memory fades at a rate of $1/t^{d/2}$.
  • Simple translation: If you have 1 dimension of extra space (like a line of rooms), the memory fades like $1/\sqrt{t}$. If you have 2 dimensions (like a grid of rooms), it fades like$1/t$.
• The Faint Echoes: After the main ripple, there are fainter, smaller ripples. The paper provides a formula to calculate these too. It's like hearing the main "thud" of the stone, followed by a series of softer "pings" that get quieter and quieter.

4. The "Frame Flow" Application

The authors apply this to a real-world example: Frame Flows.

• The Analogy: Imagine a car driving on a bumpy, curved road (negative curvature). The car has a camera attached to it.
  • The car's position is the "Anosov flow."
  • The camera's rotation (which way it's pointing) is the "Isometric extension."
• The Result: They proved that if the road is curved enough, the camera's rotation will eventually become completely random and independent of where it started. Even if you know exactly how the camera was pointing when the car started, you can't predict it after a long time.

5. Why This Matters

In the real world, we often deal with systems that look chaotic but have hidden structures (like weather patterns, fluid dynamics, or even stock markets).

• Predictability: This paper tells us that even in these complex, infinite systems, there is a precise mathematical rhythm to how quickly things become random.
• The Formula: They didn't just say "it gets random." They gave a detailed recipe (an asymptotic expansion) that tells you exactly how it gets random, down to the smallest details.

Summary in One Sentence

This paper proves that in a chaotic system stretched out over an infinite number of copies, if the system is "twisted" correctly, the memory of the past fades away at a predictable, mathematically precise speed, leaving behind a clear pattern of "echoes" before total randomness takes over.

The "Magic" Ingredient: The whole thing works because of a condition called $d\alpha \neq 0$. Think of this as the "twist" in the rope. If the rope is straight (no twist), the dancers might get stuck in a loop forever. If it's twisted, they are forced to spread out and forget each other. The authors proved that this twist is the key to unlocking the speed of forgetting.

Technical Summary

Here is a detailed technical summary of the paper "Decay of Correlations on Abelian Covers of Isometric Extensions of Volume-Preserving Anosov Flows" by Mihajlo Cekić, Thibault Lefevre, and Sebastián Muñoz-Thon.

1. Problem Statement

The paper addresses the statistical properties of Anosov flows on Abelian covers of closed manifolds, specifically focusing on the decay of correlations (mixing rates) for these systems.

• Context: Let $M_0$ be a closed manifold with a volume-preserving Anosov flow $\phi^0_t$. The authors consider a $\mathbb{Z}^d$-cover $M \to M_0$ defined by a surjective representation $\rho: \pi_1(M_0) \to \mathbb{Z}^d$. The flow lifts to a $\mathbb{Z}^d$-equivariant flow $\phi_t$ on $M$.
• The Challenge: Unlike the base manifold $M_0$, the lifted measure on the cover $M$ has infinite volume (if $d > 0$). Standard mixing results for compact manifolds do not directly apply. The goal is to determine the asymptotic behavior of the correlation function:
  $$\int_M f \circ \phi_{-t} \cdot g \, d\text{vol}_M$$
  as $t \to \infty$.
• Generalization: The authors extend this problem to isometric extensions (principal $G$-bundles where $G$ is a compact Lie group) over these Abelian covers. This involves studying flows on $P = \pi^* P_0$, where $P_0 \to M_0$ is a principal $G$-bundle.

2. Methodology

The authors employ a sophisticated blend of semiclassical analysis, microlocal analysis, and representation theory (specifically the Borel-Weil calculus).

A. Spectral Analysis and Resolvents

• Anisotropic Sobolev Spaces: The analysis is conducted on anisotropic Sobolev spaces ($H^s_{\pm}$) tailored to the hyperbolic dynamics (stable/unstable directions). This allows for the meromorphic continuation of the resolvent $(\mp X_\theta - z)^{-1}$ of the generator $X_\theta$ of the flow.
• Resonances: The decay of correlations is governed by the Ruelle resonances (poles of the resolvent) of the generator. The authors analyze the spectrum near the imaginary axis.
• Key Assumption ($d\alpha \neq 0$): A crucial non-integrability condition is imposed: the exterior derivative of the Anosov 1-form $\alpha$ (which annihilates stable/unstable bundles) must be non-zero ($d\alpha \neq 0$). This ensures the stable and unstable bundles are not jointly integrable, preventing the system from being a suspension of a diffeomorphism.

B. Semiclassical and Microlocal Techniques

• High-Frequency Estimates: The core of the proof involves establishing uniform high-frequency estimates for the resolvent. The authors prove that for large imaginary parts of $z$, the resolvent norm grows polynomially, preventing resonances from accumulating near the imaginary axis (except at 0).
• Propagation of Singularities: They utilize Egorov's theorem and propagation of singularities estimates to track the wavefront set of quasimodes.
• Horocyclic Invariance: A critical step involves showing that quasimodes are invariant under the horocyclic flow (related to the stable/unstable manifolds) up to a small error, which eventually leads to a contradiction if the curvature of the dynamical connection is non-zero.

C. Borel-Weil Calculus

• For the isometric extensions (principal $G$-bundles), the authors utilize the Borel-Weil calculus. This framework treats $G$-equivariant operators on the bundle $P_0$ as operators on sections of line bundles over the flag manifold $G/T$.
• This allows the decomposition of the problem into Fourier modes on the group $G$. The authors show that for non-trivial representations ($k \neq 0$), the system has no resonances on the imaginary axis, leading to rapid decay. The slow decay comes entirely from the trivial representation ($k=0$), which reduces to the Abelian cover case.

D. Stationary Phase Analysis

• The asymptotic expansion is derived by integrating the spectral projection over the dual torus $\widehat{\mathbb{Z}}^d \simeq \mathbb{T}^d$.
• Using the Stationary Phase Lemma, the integral is expanded around the critical point $\theta = 0$ (corresponding to the trivial representation). The Hessian of the leading resonance $\lambda_\theta$ at $\theta=0$ determines the mixing rate.

3. Key Contributions and Results

Theorem 1.1: Decay on Abelian Covers

For a volume-preserving Anosov flow on a $\mathbb{Z}^d$-cover $M$, assuming $d\alpha \neq 0$:

• Asymptotic Expansion: The correlation function admits a full asymptotic expansion in inverse powers of time $t$:
  $$t^{d/2} \int_M f \circ \phi_{-t} \cdot g \, d\text{vol}_M = \kappa \int f \int g + \sum_{j=1}^{N-1} t^{-j} C_j(f, g) + R_N(t)$$
• Mixing Rate: The leading term decays as $t^{-d/2}$. This rate corresponds to half the dimension of the connected component of the trivial representation in the unitary dual of $\mathbb{Z}^d$.
• Coefficients: The constant $\kappa$ is explicit (related to the determinant of a covariance matrix). The bilinear forms $C_j$ are non-zero and depend on the derivatives of the leading resonance.
• Remainder: The error term $R_N(t)$ decays as $O(t^{-N})$.

Theorem 1.2: Decay on Isometric Extensions

For a $G$-extension (where $G$ is a compact Lie group) over the Abelian cover:

• Transitivity Condition: If the transitivity group (Brin group) $H$ equals $G$ (ensuring ergodicity of the extension) and the curvature forms of the dynamical connection are linearly independent with $d\alpha$, the same asymptotic expansion holds.
• Dominance of Zero Mode: The expansion depends only on the 0-th Fourier mode of the observables (the average over the $G$-fibers). All non-zero Fourier modes decay super-polynomially (faster than any $t^{-N}$).
• Result: The mixing rate remains $t^{-d/2}$, determined solely by the base Abelian cover dynamics.

Corollary 1.3: Frame Flows

The results are applied to frame flows on negatively curved manifolds. If the frame flow is ergodic (which holds for odd dimensions $n \neq 7$ or under pinching conditions), the decay of correlations on the Abelian cover of the frame bundle follows the same $t^{-d/2}$ law.

4. Significance and Novelty

1. First Full Asymptotic Expansion: While previous works (e.g., Dolgopyat, Naud, Pollicott) established the leading term for specific cases (like geodesic flows), this paper provides the full asymptotic expansion in inverse powers of time for general Abelian covers and isometric extensions.
2. Generalization to Non-Compact Extensions: It extends the theory of mixing from compact manifolds to infinite-volume covers and fiber bundles, bridging the gap between hyperbolic dynamics and representation theory.
3. New Condition ($d\alpha \neq 0$): The authors identify a precise geometric condition ($d\alpha \neq 0$) that guarantees the absence of resonances on the imaginary axis (other than 0), which is essential for the polynomial decay. This condition is weaker than requiring the flow to be a geodesic flow.
4. Borel-Weil Application: The successful application of Borel-Weil calculus to dynamical systems on principal bundles is a significant methodological advancement, allowing the reduction of complex bundle dynamics to scalar problems on the base manifold.
5. Universality of the Rate: The result confirms a general principle: for hyperbolic systems extended by non-compact groups (like $\mathbb{Z}^d$) where the trivial representation is not isolated, the mixing rate is governed by the dimension of the group ($d/2$), regardless of the specific geometry of the extension (provided ergodicity holds).

5. Conclusion

The paper establishes that for a broad class of volume-preserving Anosov flows on Abelian covers and their isometric extensions, the decay of correlations follows a precise polynomial law $t^{-d/2}$ with a computable full asymptotic expansion. The proof relies on a deep synthesis of microlocal analysis, spectral theory of Anosov flows, and the representation theory of compact Lie groups, providing a robust framework for studying mixing in infinite-volume dynamical systems.